邏輯學(xué)的基本原理

邏輯學(xué)基本原理

同一律，事物只能是其本身。在邏輯中，同一律聲稱 A = A。
任何自反關(guān)系都支持同一律；在討論等同性的時候，“A 是 A”的事實是重言式。這個定律通常歸功于亞里士多德，但直到十三世紀(jì)托馬斯·阿奎納之后都沒有提及過它的存在。這個定律在十七世紀(jì)經(jīng)常在哲學(xué)家中間引用，它可能是在十三世紀(jì)到十七世紀(jì)之間的某個時候來自亞里士多德教義的論斷，導(dǎo)致了這項貢獻。
排中律，對于任何事物在一定條件下的判斷都要有明確的“是”
或“非”，不存在中間狀態(tài)。在邏輯中，排中律聲稱對于任何命題 P，（P 或 非P（?P）) 為真。例如，如果 P 是“張三是禿子”則包含式析取“張三是禿子，或張三不是禿子”為真。排中律只是說（P 或 非P（?P））整體是真。不涉及 P 自身可以采用什么真值。特定的邏輯系統(tǒng)可能通過允許多于兩個真值(比如：真、假、中；真、假、非真非假、亦真亦假)而拒絕二值原理，但接受排中律。在這種邏輯中，(P 或非P（?P）) 可以為真，而 P 和 ?P 不被分別指派為對立的真值。排中律可能被誤用，導(dǎo)致排中律的邏輯謬論，這也叫做假兩難推理。
充足理由律，任何事物都有其存在的充足理由。主張充足理由律也是傳統(tǒng)邏輯基本規(guī)律之一的邏輯學(xué)家,通常把這條規(guī)律表述為：任何判斷必須有(充足)理由。充足理由律的提法源于17世紀(jì)末、18世紀(jì)初的德國哲學(xué)家 G.W.萊布尼茨