《語言、真理與邏輯》的核心主題#
A. J. Ayer 在二十六歲生日前出版了《語言、真理與邏輯》（Language, Truth and Logic），這是一部具有破壞性力量的哲學著作。書中提出了一個他稱為 Verification Principle（驗證原則）的雙重檢驗標準，用以區分有意義與無意義的陳述。透過這個原則，Ayer 證明了大量傳統哲學寫作根本不配被稱為哲學，因為它們純粹是無意義的廢話。本書的思想主要源自 David Hume 的經驗主義以及維也納學派（Vienna Circle）的 logical positivism（邏輯實證主義），但 Ayer 是將這些觀點以英文綜合呈現的第一人，也是最為人知的一位。
驗證原則#
驗證原則對任何陳述提出兩個問題：第一，「它是否根據定義為真？」第二，如果不是，「它是否原則上可被驗證？」通過檢驗的陳述是有意義的，未通過的則是無意義的。
- 根據定義為真的陳述（analytic truth，分析真理）：例如「所有單身漢都是未婚男性」，無需經驗調查即可確認其真偽，純粹取決於詞語的意義。這類陳述也被稱為 tautology（同義反覆）。
- 經驗陳述：例如「大多數單身漢不整潔」，需要某種觀察才能判斷真偽。對於這類陳述，Ayer 要求它們「原則上可被驗證」——即在理論上可以設想出某些觀察來判斷其真偽，即使實際操作上尚不可行。
Ayer 將陳述分為三種可能性：有意義且為真、有意義但為假、以及完全無意義。第三類——完全無意義的言論——是他在本書中的主要攻擊目標。他將哲學領域中的無意義稱為 metaphysics（形上學），在 Ayer 的用法中，這個詞始終是貶義的。
強義與弱義的「可驗證性」#
如果 Ayer 要求經驗陳述必須被決定性地驗證（strong sense，強義），那麼所有經驗概括（如「所有女人都會死」）都將被排除，因為無論觀察多少案例也無法百分之百證明。因此，Ayer 採用了 weak sense（弱義）的可驗證性：一個經驗陳述只需存在某些與判斷其真偽相關的觀察即可。
有批評者指出，強義與弱義的區分本身可能是無意義的，因為沒有經驗陳述能真正滿足強義的嚴格要求。Ayer 在第二版中回應指出，存在所謂的「基本命題」（basic propositions），如「我現在感到疼痛」，這些是不可能出錯的（incorrigible）。
形上學與詩歌#
有人為形上學辯護，認為它雖然字面上無意義，卻能像詩歌一樣產生效果。Ayer 對此嗤之以鼻：詩歌很少是無意義的，即使無意義時，詞語也是因其韻律或聲音而被選擇的。形上學家意圖寫出有意義且為真的內容，但事實上他們寫的是廢話。用詩歌的品質來為形上學辯護無法掩蓋這一事實。
哲學的角色#
對 Ayer 而言，哲學有著非常狹窄的角色。哲學不是經驗學科——這是它與科學的區別。科學涉及關於世界本質的陳述，提供事實知識；而哲學的角色是釐清概念定義的含義，特別是科學家所使用的概念。哲學本質上是邏輯的一個分支。
歸納問題#
problem of induction（歸納問題）通常被理解為：我們如何能為基於過去觀察的經驗概括將在未來成立這一信念提供令人滿意的辯護？太陽昨天升起了，但這並不能決定性地證明它明天會升起。
Ayer 的方法與眾不同——他試圖消解而非解決這個問題，將其視為一個 pseudo-problem（偽問題）。他的推理如下：
- 定義性辯護行不通，因為從定義性陳述中無法推導出事實結論
- 經驗性辯護也行不通，因為用歸納法來證成歸納法是循環論證（begs the question）
既然沒有有意義的解答可能，歸納問題就不是真正的問題。
數學#
數學命題顯然必須是有意義的。Ayer 認為數學真理是根據定義為真的——如 7 + 5 = 12 只是關於符號如何使用的問題。但有些數學真理並非一眼可見，例如 91 × 79 = 7,189，需要計算來驗證。這種計算本質上是同義反覆的轉換，但因為我們無法立即看出答案，所以覺得它有趣，儘管它最終不提供任何新的事實資訊。
倫理學#
Ayer 對倫理學的處理是本書最具爭議的部分。他認為關於對錯的判斷大多只是情感的表達，如同「噓！」和「萬歲！」一樣字面上無意義。這就是所謂的 emotivism（情感主義）。
Ayer 將倫理哲學中的陳述分為四類：
- 倫理術語的定義——根據定義為真，通過檢驗，是唯一可接受的倫理哲學
- 道德現象的描述——可經驗驗證，但屬於心理學或社會學，而非哲學
- 道德勸勉——既非真也非假，字面上無意義
- 實際的倫理判斷——如「酷刑是道德邪惡」——既非定義性真理也非可經驗驗證，因此無意義
情感主義的後果是：不可能有關於某行為是否錯誤的真正爭論。看似爭論的東西只是一系列情感表達，沒有任何立場可以判斷倫理立場的真偽。
宗教#
Ayer 對「上帝存在」這一陳述的處理同樣具有挑戰性。他認為這個陳述既非根據定義為真（因為定義只表明詞語用法，無法證明任何事物的存在），也非可經驗驗證。因此，「上帝存在」是字面上無意義的。
Ayer 的立場與傳統的有神論、無神論和不可知論都不同。這三者都將「上帝存在」視為有意義的陳述，分別認為它是真的、假的或未經證明的。而 Ayer 認為它根本就是無意義的——不值得花費任何哲學精力去討論。
批評與回應#
實際操作困難#
即使接受驗證原則，如何在實踐中判斷一個命題是否「原則上可驗證」仍然困難重重。「原則上」這個詞的確切含義並不清楚。例如，「實在是一體的」這樣的形上學陳述，是否能透過想像某種情境而變成原則上可驗證的？
孤立處理命題#
W. V. O. Quine 指出，Ayer 的方法將命題視為可以從其所嵌入的複雜意義網絡中分離出來，但事實上判斷任何陳述的真偽都需要借助科學理論和大量其他假設。
自我反駁#
這是對 Ayer 最嚴重的批評：驗證原則似乎無法通過自己的檢驗。它是根據定義為真的嗎？並非顯而易見。它是可經驗驗證的嗎？很難看出怎麼可能。因此，按照它自己的標準，它本身就是無意義的。
Ayer 回應說驗證原則是根據定義為真的，只是像 91 × 79 = 7,189 一樣不是顯而易見地為真。但他既沒有說明從何推導出這個原則，也沒有提供任何相當於數學計算的方法來驗證它。如果將驗證原則視為一種建議或推薦，那麼按照它自己的標準，它將是一個形上學陳述——恰恰是 Ayer 最急切要從哲學中消除的那種陳述。
無論從哪個角度看，驗證原則自我反駁的批評都具有毀滅性的力量。如果整個哲學計畫都建立在驗證原則的真實性之上，而這個原則本身無法通過自己的檢驗，那麼 Ayer 的整個體系就面臨崩潰的危險。