元詩選

[拼音]：maodunlü

[英文]：law of contradiction

傳統邏輯基本規律之一。又稱不矛盾律。它通常被表述為 A不是非A，或A不能既是B又不是B。在傳統邏輯裡，矛盾律首吸a href='http://www.baiven.com/baike/224/276460.html' target='_blank' >仁親魑攣錒媛商岢隼吹模饢我皇攣鋝荒芡奔染哂心呈糶雜植瘓哂心呈糶浴Ｋ魑?a href='http://www.baiven.com/baike/224/297309.html' target='_blank' >思維規律，則是任一命題不能既真又不真。矛盾律也被當作一種關於認識活動的規範性規律，它意為任何人不應同時斷定一個命題(A)及其否定（並非A）。這就是說，對一個命題及其否定不應持兩可之說，以免自相矛盾。矛盾律還被看成是關於邏輯語義的規律，即在同一上下文中，同一語詞或語句不應既表述某一思想又不表述某一思想。作為後兩種規律，也叫做矛盾律的要求。違背了矛盾律的要求，思維就會陷入邏輯矛盾(A並且非A)。而任何包含邏輯矛盾的思想又總是錯誤的，所以思想的無矛盾性是正確思維不可缺少的條件，也是構造一個理論體系的重要原則之一。

邏輯矛盾與哲學上所揭示的對立面的統一和鬥爭這種辯證矛盾是根本不同的。在現代邏輯中，塡(A∧塡A)（讀作A並且非A是假的），是矛盾律在命題邏輯中的體現；塡ヨｘ(F(ｘ)∧塡F(ｘ))（讀作並非存在著一個個體ｘ，ｘ既有性質F又沒有性質F），是矛盾律在謂詞邏輯中的體現。