“조건이 참이면 그 조건은 거짓”이라는 문장을 받아들일 수 있을까?

연구를 읽는 두 가지 질문

하나의 문장에 두 가지 해석 기준 적용하기

LTCT 예시에서 A를 “문이 열려 있다”로 정합니다. 물질조건문 A→¬A는 A가 참이면 거짓이고, A가 거짓이면 참입니다. 따라서 ¬(A→¬A)는 고전 진리표의 모든 행에서 참인 항진식이 아닙니다. 그림은 이 두 행을 빠짐없이 보여 줍니다.

연결 논리의 대표 원리를 채택하면 ¬(A→¬A)를 논제로 요구합니다. 이때 화살표는 고전논리의 물질조건문과 같은 의미라고 전제할 수 없습니다. 그림 오른쪽의 원리 설명은 다른 논리의 모든 진릿값을 제공하는 표가 아니라, 그 체계가 만족시키려는 조건을 나타냅니다.

현실의 안내문을 평가할 때에는 시간도 고정해야 합니다. “문이 열리면 잠시 뒤 닫힌다”는 시간 변화의 규칙입니다. 이것을 같은 시점의 A→¬A로 옮기면 원래 뜻을 바꾸게 됩니다. 문장 속 시점과 조건의 적용 범위를 먼저 정하는 일이 중요합니다.

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

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