[주의!] 문서의 이전 버전(에 수정)을 보고 있습니다. 최신 버전으로 이동
분류
1. 개요[편집]
사람은 다 죽는다.
소크라테스는 사람이다.
그러므로 소크라테스는 죽는다.
미리 알려진 두 판단에서 그것들과는 다른 하나의 새로운 판단으로 이끄는 추론 방법으로, 2개의 명제를 전제로 결론을 내는 대표적인 간접추론 형식이자 연역추론이다.
2. 상세[편집]
주로 대명제(1),소명제(2),결론(3), 대명사(A), 중명사(B),소명사(C) 에서
1 : A/B
2 : C/B
3 : C/A
를 형식으로 갖는 일반적인 3단논법은 두 전제와 한 결론으로 이루어져야 하지만 이들 중 어떠한 한 명제가 생략될 경우가 있다. 이를 생략3단논법 또는 약식삼단논법이라고 한다. 또한 몇몇 3단논법을 결부시켜 하나의 추리를 진행시키는 경우가 있다. 이를 '복합 3단논법'이라고 한다. 특히 이러한 기술은 기호논리학으로 다루어질 수 있다. 또한 딜레마 형식으로 유명한 양도논법도 삼단논법의 변형된 정형화된 형식을 취한다.
1 : A/B
2 : C/B
3 : C/A
를 형식으로 갖는 일반적인 3단논법은 두 전제와 한 결론으로 이루어져야 하지만 이들 중 어떠한 한 명제가 생략될 경우가 있다. 이를 생략3단논법 또는 약식삼단논법이라고 한다. 또한 몇몇 3단논법을 결부시켜 하나의 추리를 진행시키는 경우가 있다. 이를 '복합 3단논법'이라고 한다. 특히 이러한 기술은 기호논리학으로 다루어질 수 있다. 또한 딜레마 형식으로 유명한 양도논법도 삼단논법의 변형된 정형화된 형식을 취한다.