
形式邏輯的基本規律之一。在同一時間和同一條件下,互相矛盾的兩個判斷中,必有一真,不能都假。如一個是假的,另一個一定是真的,不能有中間情況。
排中律是邏輯學的基本規律之一,指在同一思維過程中,兩個互相矛盾的思想不能同時為假,必有一真。其核心内涵可概括為以下幾點:
根據《現代漢語詞典》(第7版)的定義,排中律要求對同一事物在同一時間、同一關系下的兩個相互矛盾的判斷,必須明确肯定其中之一為真,排除中間可能性。例如“此物是A”與“此物不是A”中必有一個正确,不存在第三種狀态。
矛盾命題的必然性
若命題P與其否定命題¬P構成矛盾關系,則排中律要求P∨¬P恒為真(符號“∨”表示“或”)。這一原則在二值邏輯體系中具有公理地位,是反證法的基礎。
數學表達:
$$ forall P,P lor eg P $$
與矛盾律的區别
矛盾律禁止同時肯定P與¬P(即¬(P∧¬P)),而排中律強調必須承認P或¬P至少一真,兩者共同構成古典邏輯的基石。
在法律判決(“有罪”或“無罪”)、計算機布爾運算(true/false)等需明确二值判斷的領域具有指導作用。
多值邏輯(如模糊邏輯)及直覺主義邏輯認為排中律不適用于未構造性命題(例如“未來某事件必然發生”),此時真值可能存在不确定性。
“排中”意為排除中間選項,源自拉丁語“tertium non datur”(無第三者)。先秦典籍《墨經》中“彼,不可兩不可也”已蘊含類似思想,表明中國古代邏輯對矛盾關系的早期認知。
權威參考資料:
排中律是邏輯學的基本定律之一,其核心含義是:在同一思維過程中,一個命題要麼為真,要麼為假,不存在第三種中間狀态。以下是詳細解釋:
排中律是邏輯推理确定性的保障,但需注意其適用條件。它在形式科學和日常決策中至關重要,但在涉及模糊性、未驗證命題或非經典邏輯時存在局限性。
鳌甲白雲山寶頭兒北寺獄本影斌蔚不倫不類不沙翠的刀身多方位訛鬧番進粉圖膚引宮車晏駕恭謹溝灌怪恚光導纖維傀壘和均華夏貨寶家翻宅亂諓諓蠽蟟擊楫極小居重馭輕狂友霖霪蝼蚓盧薄律格詩溟冷樸樕乾冰輕鯈青霧人急偎親三懼讪讓生搏聲均深取收管屬詞愬告鼠尾竦眙肅進甜寃對偷漢子投桃報李頹絕托諸空言先牧嚣塗鞋掌