直言三段論
維基百科,自由的 encyclopedia
例子:
- 所有動物都會死。
- 所有人都是動物。
- 所以,所有人都會死。
前兩個命題被分別稱為大前提和小前提[1]。如果這個三段論是有效的,這兩個前提邏輯上蘊含了最後的命題,它叫做結論。結論的真實性建立在前提的真實性和它們之間的聯繫之上:中項在前提中必須周延(distribute)至少一次,形成在結論中的主詞和謂詞之間的連接。即使直言三段論是有效的,但如果有前提為假的話結論仍可能是假,例如以下的三段論:
- 所有的魚都在水裏游。
- 烏鴉是魚。
- 所以,所有的烏鴉都在水裏游。
此為第一格AAA三段論,為有效,但是因為前提是錯的(烏鴉事實上不是魚),因而導致結論為假。