통합검색

화자가 ‘열지 않았다’고 말하면 사건도 그대로 믿어야 할까?

화자의 표현·대조 단서·판단할 주장을 바꾸어 사건 보고의 충돌, 경쟁 해석과 보류할 동기를 구분합니다.

Unreliability

AI가 문장을 인용해도 앞뒤 문맥이 빠지면 근거가 될까?

핵심 문장·적용 조건·예외를 넣고 빼며 인용이 주장 전체를 실제로 받치는지 확인합니다.

AI가 여러 번 시도해 하나를 맞히면 한 번의 실력도 같은 걸까?

한 번의 성공 확률과 시도 횟수를 바꾸어 한 번 성공할 가능성과 단일 시도 실력을 분리합니다.

한 장면에서 들어갈 수 있으면, 모든 장면에서 반드시 들어갈까?

배지·안내자 단서와 입장 규칙을 바꾸어 가능한 장면, 반례 장면과 ‘가능’·‘필연’ 결론의 성립 여부를 다시 계산합니다.

Modal Logic

이름을 말할 수 있으면 그 대상도 반드시 존재할까?

자유논리는 가리키는 대상이 없는 이름을 허용하고, 이름이 들어간 문장에서 존재 결론으로 넘어갈 때 어떤 조건이 필요한지 따집니다.

Free Logic