Truth in applicative theories
Studia Logica 68 (1):103-128 (2001)
| Abstract | We give a survey on truth theories for applicative theories. It comprises Frege structures, universes for Frege structures, and a theory of supervaluation. We present the proof-theoretic results for these theories and show their syntactical expressive power. In particular, we present as a novelty a syntactical interpretation of ID1 in a applicative truth theory based on supervaluation. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesHannes Leitgeb (2001). Theories of Truth Which Have No Standard Models. Studia Logica 68 (1):69-87.
Volker Halbach, Axiomatic Theories of Truth. Stanford Encyclopedia of Philosophy.
Wang Lu (2008). Theories of Meaning. Frontiers of Philosophy in China 3 (1):83-98.
Volker Halbach (2000). Truth and Reduction. Erkenntnis 53 (1-2):97-126.
Ryan Christensen (2011). Theories and Theories of Truth. Metaphysica 12 (1):31-43.
Inge Bethke & Piet Rodenburg (forthcoming). Typability in Partial Applicative Structures. Journal of Logic, Language and Information.
Kentaro Fujimoto (2010). Relative Truth Definability of Axiomatic Truth Theories. Bulletin of Symbolic Logic 16 (3):305-344.
Reinhard Kahle (2000). N \Hbox{\Sf N} -Strictness in Applicative Theories. Archive for Mathematical Logic 39 (2).
Eduardo Alejandro Barrio (2010). Theories of Truth Without Standard Models and Yablo's Sequences. Studia Logica 96 (3):375-391.
Jeffrey Ketland (1999). Deflationism and Tarski's Paradise. Mind 108 (429):69-94.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,556 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
