邏輯真理是邏輯學(xué)的一個(gè)基礎(chǔ)概念，它指的是無(wú)須借助于感性經(jīng)驗(yàn)，僅依靠一定的邏輯推理即可判定其必然為真的真理。邏輯真理雖不直接與經(jīng)驗(yàn)相聯(lián)系，但這并不意味著它與經(jīng)驗(yàn)徹底無(wú)關(guān)。基本命題的真值可能性就是一切非基本命題的成真和成假的條件。
簡(jiǎn)介
各種邏輯系統(tǒng)內(nèi)所斷定的真命題。不同的邏輯學(xué)家和哲學(xué)家對(duì)邏輯真理給出了不同的定義。例如，戈特弗里德·萊布尼茨（１６４６—１７１６）認(rèn)為，凡不違反無(wú)矛盾律的就是可能的，而在所有可能世界內(nèi)都真的命題就是推理的真理（即邏輯真理）。路德維希·維特根斯坦（１８８９—１９５１）把一切命題區(qū)分為兩類：基本命題和非基本命題。基本命題是不可再分析的最簡(jiǎn)單的命題，它的“真值可能性表示原子事實(shí)存在和不存在的可能性”。而其他一切非基本命題都是基本命題的真值函項(xiàng)，或者是它們的邏輯和，或者是它們的邏輯積，或者是它們的其他真值函項(xiàng)。如果一命題對(duì)于基本命題的一切真值可能性都是真的，則稱它為重言式。威拉德·范·奧曼·蒯因（１９０８— ）則指出：“一般地說(shuō)，一個(gè)邏輯真理就是這樣一個(gè)陳述，它是真的，而且在給予它的除邏輯常項(xiàng)以外的一切成分以一切不同的解釋的情況Ｆ，它也仍然是真的。”這個(gè)定義預(yù)先假定了如下邏輯常項(xiàng)：如“有些”、“所有”、“并且”、“或者”、“并非”、“如果，則”等。其他邏輯學(xué)家和哲學(xué)家還給出了一些另外的定義。給邏輯真理以完全一般的說(shuō)明是極其困難的。
邏輯真理的特點(diǎn)可以概括為：
（１）邏輯真理不能絕對(duì)地一般地定義，而只能相對(duì)于一定的邏輯系統(tǒng)來(lái)定義，具有系統(tǒng)相對(duì)性；
（２）分析命題和綜合命題的傳統(tǒng)區(qū)分是不成立的，因此邏輯真理也不是嚴(yán)格意義上的分析命題；
（３）邏輯真理只是在某一邏輯系統(tǒng)的限制條件下才是必然的，離開這些限制條件，它就可以不再是必然的，因此邏輯真理只具有相對(duì)的必然性；
（４）邏輯真理盡管不是經(jīng)驗(yàn)命題，但也以十分間接的方式保持著與經(jīng)驗(yàn)的聯(lián)系，具有或多或少的經(jīng)驗(yàn)內(nèi)容，因而是可錯(cuò)的、可以修正的，但邏輯的修正必須慎之又慎。邏輯真理的這種與經(jīng)驗(yàn)的間接聯(lián)系表明，盡管它們不直接依賴于具體的經(jīng)驗(yàn)事實(shí)，但在某種程度上仍然受到經(jīng)驗(yàn)的影響和制約。
參考資料 >