第三十一章 客觀真理
這裏也許有必要就歸納的神話以及我反對歸納的一些論據說幾句話。由於眼下這個神話的一些最時髦的形式使歸納同一種站不住腳的主觀主義演繹哲學聯係在一起，我必須首先多說一點客觀的演繹推理理論以及客觀的真理理論。
我原來不想在這本《自傳》中說明塔爾斯基的客觀真理的理論，但在第20節扼要地寫了這個理論以後，我偶然發現一些證據，表明某些邏輯學家並沒有在我認為應該按此理解它的意義上來理解這個理論。由於需要用這個理論來說明演繹推理與虛構的
歸納推理之間的基本區別，我要扼要地說明它。我將從下列問題開始。
人們怎樣才能有希望理解說一個陳述符合事實是什麼意思？確實，除非人們接受像語言的圖像理論那樣的理論，人們就根本不可能談到陳述和事實之間符合那樣的事。但是圖像理論是沒有希望的，實際上是極端錯誤的，因此似乎沒有希望來說明陳述之符合事實了。
可以把這一點說成所謂“真理符合理論”，即把真理解釋為符合事實的理論遇到的基本問題。完全可以理解，這個困難使一些哲學家懷疑符合理論必定是謬誤的或——甚至更糟——是無意義的。我認為塔爾斯基這方麵的哲學成就是他扭轉了這個判定。他十分簡單地做到了這一點，因為他考慮到涉及陳述和事實之間關係的理論必定能談論（a）陳述以及（b）事實。為了能談論陳述，就必須使用陳述的名稱或陳述的描述，也許還有像“陳述”那樣的詞，即理論必須用元語言、用人們用以談論語言的語言。而為了能談論事實和有意義的事實，就必須使用事實的名稱或事實的描述，也許還有像“事實”那樣的詞。一旦我們有了元語言，類似這種我們能用以談論陳述和事實的語言，就容易就陳述和事實之間的符合做出斷言；因為我們可以說：
由“Gras”，“ist”以及“grun”三詞按此次序組成的德語陳述是符合事實的，當且僅當草是綠的時。
第一部分是德語陳述的描述；而第二部分含有某種事實、某種事態的描述。而整個陳述斷言符合。我們可以更概括地作如此表達。讓“X”作為屬於語言L的某一陳述的英語名稱或英語描述的縮寫，讓“x”表示X之譯為英語；那麼我們完全可以概括地說：
用語言L的陳述X符合事實，當且僅當x。
因此用相應的元語言談論陳述和事實之間的符合是可能的，甚至一眼看出就是可能的。謎就這樣解開了：符合並不包括陳述和事實之間結構上的相似，或類似圖畫和所畫景色之間那樣的關係。因為我們一旦有一個適宜的元語言，借助就容易解釋我們說符合事實是什麼意思。
一旦我們這樣解釋了符合事實，我們就能用“是真的”代替“符合事實”。注意：“是真的”是元語言的謂語，陳述的屬性。它的前麵是陳述的元語言名詞——例如引語的名詞——所以可以清楚地把它同“……是真的”這樣的短語區別開來。例如“雪是紅的是真的”並不含有陳述的元語言謂語；它與“雪是紅的”同屬一種語言，不屬於那種語言的元語言。塔爾斯基的結果出乎意外地淺顯，似乎是它為什麼難以理解的一個理由。另一方麵，可以合情合理地料想到這種淺顯，因為每個人理解“真理”是什麼意思，隻要他還沒有開始思考它。
符合理論最重要的應用不是用於像“草是紅的”或“草是綠的”那樣的特定陳述，而是用於一般邏輯境況的描述。例如我們要說這樣一些事情。如果推理是正確的，前提全是真的，結論也必定是真的，即前提的真理不變地傳遞到結論；而結論的謬誤不變地重新傳遞到至少一個前提。
這些定律對於演繹理論是基本的，而這裏使用“真理”和“是真的”等詞，顯然這不是多餘的。
塔爾斯基所挽救的真理符合理論是把真理視為客觀的理論：把真理視為理論的性質而不是視為經驗或信仰或類似主觀的東西的理論。真理也是絕對的，而不是相對於某一組假定而言的，因為我們可以詢問任何一組假定，看看它們是不是真的。
現在我來談演繹。可以說一個演繹推理是有效的，當且僅當它不變地把真理從前提傳遞到結論時；這就是說，當且僅當同一邏輯形式的一切推理傳遞真理時。人們可以用這種說法來解釋這一點：一個演繹推理是有效的，當且僅當沒有反例存在時。這裏一個反例，是前提真而結論假的同一形式的一種推理，如：