시각적 논리

어떤 논증을 더 줄이지 않아도 되는 출발점으로 삼았을까?

디오게네스 라에르티오스 7권 79~81절과 섹스투스의 보고를 현대 연구와 대조하면 다섯 형식을 다음처럼 정리할 수 있다. 첫째와 둘째는 조건문, 셋째는 두 문장이 함께 참일 수 없다는 결합 부정, 넷째와 다섯째는 둘 가운데 정확히 하나만 참이라는 선택문을 앞세운다.

조건문 두 형식, 결합 부정 한 형식, 배타적 선택문 두 형식을 전제와 결론으로 나누어 보여 주는 다섯 카드
다섯 가지 무증명 논증의 현대적 표기. P·Q와 화살표 기호는 설명을 위한 재구성이며 고대 원문의 표기가 아니다. 편집부 제작.
그림 크게 열기 ↗SVG 저장

그림에서 무엇을 볼까요?

조건문 두 형식, 결합 부정 한 형식, 배타적 선택문 두 형식을 전제와 결론으로 나누어 보여 주는 다섯 카드

디오게네스 라에르티오스 7권 79~81절과 섹스투스의 보고를 현대 연구와 대조하면 다섯 형식을 다음처럼 정리할 수 있다. 첫째와 둘째는 조건문, 셋째는 두 문장이 함께 참일 수 없다는 결합 부정, 넷째와 다섯째는 둘 가운데 정확히 하나만 참이라는 선택문을 앞세운다.

함께 볼 그림

초기 스토아의 활동, 잃어버린 크리시포스의 저술, 후대 디오게네스와 섹스투스의 증언, 현대 학술 재구성을 시간 순서로 구분한 연표사라진 저술을 후대의 보고로 어떻게 읽을까?P와 Q의 네 진릿값 조합에서 포괄적 또는와 배타적 또는의 결과를 비교하고 P와 Q가 모두 참인 행을 강조한 표‘P 또는 Q’에서 둘 다 참일 가능성을 허용했을까?논증 형식이 타당한지와 전제가 모두 참인지 두 질문을 거쳐 건전한 논증, 타당하지만 건전하지 않은 논증, 타당하지 않은 논증으로 나누는 흐름도결론이 따라오는 것과 전제가 실제로 참인 것은 다르다
← 시각적 논리 그림 더 보기