Erkenntnis 53 (1-2):97-126 (2000)
The proof-theoretic results on axiomatic theories oftruth obtained by different authors in recent years are surveyed.In particular, the theories of truth are related to subsystems ofsecond-order analysis. On the basis of these results, thesuitability of axiomatic theories of truth for ontologicalreduction is evaluated.
|Keywords||Philosophy Philosophy Epistemology Ethics Logic Ontology|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Axiomatizing Kripke's Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.
An Ordinal Analysis for Theories of Self-Referential Truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.
Similar books and articles
On Rules of Inference and the Meanings of Logical Constants.Panu Raatikainen - 2008 - Analysis 68 (300):282-287.
Relative Truth Definability of Axiomatic Truth Theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
Added to index2009-01-28
Total downloads25 ( #201,033 of 2,158,887 )
Recent downloads (6 months)2 ( #193,044 of 2,158,887 )
How can I increase my downloads?