Skip to content

Quine, Meaning and Existential Inference

Posted on:2024年3月17日 at 下午09:06
Quine, Meaning and Existential Inference

考慮兩個量化理論的定理:

這兩個定理的陳述卻並非是邏輯真理,因為這依賴於宇宙中有某物存在。

Langford 認為,FaFa¬Fa\neg Fa 不構成真正的對立,它們共享了「aa 存在」作為邏輯結果。因此 (1) 可以從 Fx¬FxFx \lor \neg Fx 加上「aa 存在」邏輯地推出。

Quine 並不同意 FaFa¬Fa\neg Fa 能夠推出「aa 存在」,同時他也反對 Fa¬FaFa \lor \neg Fa 能夠推出 (1)。

Quine 認為,可以對原子單一陳述 FaFa 任意賦值,看哪一個比較方便,並讓邏輯系統遞迴地決定包含這些陳述的語句的真值。因此若只要 aa 無法命名 FaFa 就是假的,這麼一來 ¬Fa\neg Fa 便推不出「aa 存在」。