讀書筆記︰Formal Theories of Truth

Formal Theories of Truth
Jc Beall, Michael Glanzberg, and David Ripley

書如其名，就係介紹唔同嘅formal theories of truth，之所以有咁多套，都係因為要處理liar paradox（當然仲有其他類似嘅paradox，chapter 2有介紹，但主要都係解決liar），事關一旦接受truth predicate符合T-schema（i.e. T<A> iff A），再加上classical logic嘅話就會出現liar paradox。

Tarski著名嘅解決方法係引入hierarchy of language，分層之後每個truth predicate都只可以指涉下層嘅句子，從而禁止liar paradox出現。不過Kripke 1975篇 Outline of a Theory of Truth 顯示其實仲有其他方法處理，令到語言本身可以有自己嘅truth predicate（Tarski個approach唔得），呢本書主要介紹三大類方法。