서로 모순된 기록이 있으면 어떤 결론이든 따라올까?

연구를 읽는 두 가지 질문

두 출입 기록과 한 개의 무관한 질문

LTCT가 만든 예시에서 기록 가는 “14시 강의실 개방”, 기록 나는 “14시 강의실 미개방”이라고 말합니다. 두 기록은 같은 시간과 장소에 대해 충돌합니다. 그러나 어느 기록도 구내식당 운영을 언급하지 않습니다. 그림은 강의실 명제에는 찬성과 반대 근거가 함께 있지만, 식당 명제에는 연결된 근거가 없음을 따로 표시합니다.

고전적 폭발을 허용하면 모순된 두 전제로부터 “구내식당이 열렸다”뿐 아니라 그 부정도 형식적으로 이끌 수 있습니다. 비폭발적 규칙에서는 결론과 관련된 경로가 없으므로 식당 질문을 미결정으로 남깁니다. 이것은 식당이 닫혔다는 판정이 아닙니다. 확인할 자료가 부족하다는 뜻입니다.

실무에서는 두 기록의 시간대, 작성 주체, 수정 이력을 먼저 대조해야 합니다. 준일관 추론은 그 조사 동안 시스템 전체가 멈추지 않도록 제한된 판단을 돕는 방식이지, 오류를 영구 보존하는 면허가 아닙니다. 그림의 붉은 합류점은 모순을, 끊어진 회색 화살표는 관련 없는 결론으로의 추론이 승인되지 않음을 나타냅니다.

같은 연구 흐름에서 이어 읽기

같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.