Axiomatic Theories of Truth (Typed Theories)


A basic explication of Axiomatic Theories of Truth, including an explanation of the difference between semantic and axiomatic theories of truth, the difference between typed and type free theories of truth, Axiomatic Truth Notation, T sentences, the standard axioms, mathematical induction, being conservative over the base theory, the Global Reflection Principle, and Hierarchies of truth.

Sponsors: Daniel Helland, Dennis Sexton, Will Roberts and √2. Thanks for your support!

About The Author
-

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>