對立四邊形

對立四邊形 （ 又譯邏輯方陣 、 四角對當 ） 是來自亞里士多德邏輯或詞項邏輯的術語 ， 它明確說明了各種句子類型之間的邏輯關係 。 對於主詞 " S " 和謂詞 " P " ， 提供瞭如下規則: 全稱陳述不同真 （ contrariety又譯反對關係 ） ， 至少有一個必須是假 。 矛盾 （ contradiction ） 的陳述有對立的真值 。 全稱陳述蘊涵 （ subalternation又譯差等關係 ） 它們的下級特稱陳述 。 特稱陳述不同假 （ subcontrariety又譯下反對關係 ） ， 至少有一個必須是真 。 只有前兩個規則是亞里士多德在他的著作 《 解釋篇 》 中陳述的 ， 第三個規則是後人從他的 《 前分析篇 》 中補充進來的 ， 第四個規則是後人從前兩個規則做出的推論 。 發人深省的是亞里士多德在 《 解釋篇 》 中對特稱否定命題的陳述爲 “ 並非所有的S是P ” 而不是 “ 有些S不是P ” 。