Troubles with (the concept of) truth in mathematics

Logic and Logical Philosophy 15 (4):285-303 (2006)

Abstract
In the paper the problem of definability and undefinability of the concept of satisfaction and truth is considered. Connections between satisfaction and truth on the one hand and consistency of certain systems of omega-logic and transfinite induction on the other are indicated
Keywords satisfaction class  Peano arithmetic  transfinite induction  satisfaction  second-order arithmetic  nonstandard model  omega-logic  truth
Categories (categorize this paper)
Reprint years 2007
DOI 10.12775/LLP.2006.017
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 42,236
Through your library

References found in this work BETA

The Semantic Conception of Truth and the Foundations of Semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
Transfinite Recursive Progressions of Axiomatic Theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.

View all 13 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Arithmetic with Satisfaction.James Cain - 1995 - Notre Dame Journal of Formal Logic 36 (2):299-303.
Minimal Truth and Interpretability.Martin Fischer - 2009 - Review of Symbolic Logic 2 (4):799-815.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Models Without Indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
Nonstandard Arithmetic and Reverse Mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
On the Complexity of Models of Arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
Die Idee Hinter Tarskis Definition Von Wahrheit.Dirk Greimann - 1997 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (1):121-158.
A Note on a Theorem of Kanovei.Roman Kossak - 2004 - Archive for Mathematical Logic 43 (4):565-569.
The Concept of Truth in a Finite Universe.Panu Raatikainen - 2000 - Journal of Philosophical Logic 29 (6):617-633.

Analytics

Added to PP index
2013-11-24

Total views
32 ( #258,521 of 2,253,885 )

Recent downloads (6 months)
22 ( #35,781 of 2,253,885 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature