Axiomatizing Semantic Theories of Truth?


We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of Ncategoricity and discuss its usefulness and limits.

DOI: 10.1017/S1755020314000379

Cite this paper

@article{Fischer2015AxiomatizingST, title={Axiomatizing Semantic Theories of Truth?}, author={Martin Fischer and Volker Halbach and J{\"{o}nne Kriener and Johannes Stern}, journal={Rew. Symb. Logic}, year={2015}, volume={8}, pages={257-278} }