불가능한 가정에서도 결론을 서로 다르게 판단할 수 있을까?
불가능세계 의미론은 모순된 믿음과 반가능 조건문을 모두 똑같이 참으로 만들지 않는 방법을 탐구합니다.
그림에서 무엇을 볼까요?
불가능한 가정에서도 결론을 서로 다르게 판단할 수 있을까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
학습자가 “2+2=5라면 계산 규칙은 모두 쓸모없다”와 “2+2=5라면 이 예제의 합계가 5다”를 비교한다고 하자. 고전적 폭발 원리만 기계적으로 적용하면 둘 다 따라오지만, 실제 추론 평가는 전건과 결론 사이의 최소 변화와 관련성을 구별하고 싶을 수 있다.
도식에서는 가능한 영역과 불가능 영역을 나누고, 같은 불가능 전건에서 서로 다른 결론으로 가는 두 경로를 표시한다. 경로를 인정하는 기준은 모델이 추가로 정해야 한다. 이는 원 논문의 도표 복제가 아니라 의미론적 선택 지점을 드러내기 위한 LTCT 재구성이다.
함께 확인할 점
불가능세계는 하나의 통일 이론이 아니라 여러 의미론적·존재론적 입장의 묶음이며, 항목이 특정 체계를 최종 정답으로 확정하지 않는다.
비형식적 일상 추론에서 ‘가까움’이나 ‘관련성’을 어떻게 측정할지는 별도 경험 연구와 과제 설계가 필요하다.
공개본에서 확인한 범위를 넘어 저자나 참가자의 속성을 추측하지 않았고 최초 발표일과 개정·권호 출판일을 구분했습니다.
생각해 볼 질문
불가능한 전건을 가진 조건문은 모두 참이라고 처리해야 할까?
