Troubles with (the concept of) truth in mathematics

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

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

Categories

Keywords

Reprint years

2007

DOI

10.12775/llp.2006.017

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Undefinability vs. Definability of Satisfaction and Truth.Roman Murawski - 1999 - Vienna Circle Institute Yearbook 6:203-215.
Nonstandard definability.Stuart T. Smith - 1989 - Annals of Pure and Applied Logic 42 (1):21-43.
Deflationary Truth and Pathologies.Cezary Cieśliński - 2010 - Journal of Philosophical Logic 39 (3):325-337.
Iterations of satisfaction classes and models of peano arithmetic.Roman Murawski - 1992 - Mathematical Logic Quarterly 38 (1):59-84.
Full Satisfaction Classes, Definability, and Automorphisms.Bartosz Wcisło - 2022 - Notre Dame Journal of Formal Logic 63 (2):143-163.
Omega-inconsistency without cuts and nonstandard models.Andreas Fjellstad - 2016 - Australasian Journal of Logic 13 (5).
Undefinability of truth and nonstandard models.Roman Kossak - 2004 - Annals of Pure and Applied Logic 126 (1-3):115-123.
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.
Conservative theories of classical truth.Volker Halbach - 1999 - Studia Logica 62 (3):353-370.

Analytics

Added to PP
2013-11-24

Downloads
64 (#246,164)

6 months
8 (#506,524)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Proof vs Truth in Mathematics.Roman Murawski - 2020 - Studia Humana 9 (3-4):10-18.

Add more citations

References found in this work

The semantic conception of truth and the foundations of semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
The Semantic Conception of Truth.Alfred Tarski - 2005-01-01 - In José Medina & David Wood (eds.), Truth. Blackwell.

View all 19 references / Add more references