模態三段論

模態三段論是在三段論系統中引入模態詞而構成的三段論。主要有必然模態三段論與可能模態三段論兩種。必然模態三段論是結論為必然命題，並且前提中至少有一個必然命題的三段論。以第一格的AAA式為例，必然模態三段論的推理形式是：(1)“所有的M必然是P；所有的S必然是M；所以，所有的S必然是P。”(2)“所有的M必然是P；所有的S都是M；所以，所有的S必然是P。”如：“綠色植物必然能進行光合作用；海洋里的藻類是綠色植物；所以，海洋里的藻類必然能進行光合作用。”可能模態三段論是結論為可能命題，並且前提中至少有一個可能命題的三段論。

以第一格AAA式為例，可能模態三段論的推理形式是：(1)“所有的M必然是P；所有的S可能是M；所以，所有的S可能是P。”(2)“所有的M可能是p；所有的S都是（或可能是）M；所以，所有的S可能是P。”如：“靈長目動物可能具有發達的大腦；那個動物可能是靈長目動物；所以，那個動物可能有發達的大腦。”由於在前一種可能模態三段論的前提中，既有必然命題，也有可能命題，所以，亦稱為必然與可能兩種模態結合的三段論。運用模態三段論時應遵守三段論推理的各項規則。