Philosophy of Logic – Reexamining the Formalized Notion of Truth

Abstract

Tarski "proved" that there cannot possibly be any correct formalization of the notion of truth entirely on the basis of an insufficiently expressive formal system that was incapable of recognizing and rejecting semantically incorrect expressions of language. The only thing required to eliminate incompleteness, undecidability and inconsistency from formal systems is transforming the formal proofs of symbolic logic to use the sound deductive inference model.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Tarski Undefinability Theorem Succinctly Refuted.P. Olcott - manuscript
The Prolog Inference Model refutes Tarski Undefinability.P. Olcott - manuscript
Refuting Incompleteness and Undefinability.Pete Olcott - manuscript
Undefinability of truth. the problem of priority:tarski vs gödel.Roman Murawski - 1998 - History and Philosophy of Logic 19 (3):153-160.
Tarski.Benedict Eastaugh - 2017 - In Alex Malpass & Marianna Antonutti Marfori (eds.), The History of Philosophical and Formal Logic: From Aristotle to Tarski. London: Bloomsbury. pp. 293-313.
Truth, Proof and Gödelian Arguments: A Defence of Tarskian Truth in Mathematics.Markus Pantsar - 2009 - Dissertation, University of Helsinki
Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.Robert F. Hadley - 2008 - Minds and Machines 18 (1):1-15.
Tarski on the Concept of Truth.Greg Ray - 2018 - In Michael Glanzberg (ed.), The Oxford Handbook of Truth. Oxford, UK: pp. 695-717.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
Gödel on Tarski.Stanisław Krajewski - 2004 - Annals of Pure and Applied Logic 127 (1-3):303-323.
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Was Tarski's Theory of Truth Motivated by Physicalism?Greg Frost-Arnold - 2004 - History and Philosophy of Logic 25 (4):265-280.
Tarski and Primitivism About Truth.Jamin Asay - 2013 - Philosophers' Imprint 13:1-18.
From closed to open systems.Carlo Cellucci - 1993 - In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky.
How Tarski Defined the Undefinable.Cezary Cieśliński - 2015 - European Review 23 (01):139 - 149.

Analytics

Added to PP
2019-04-15

Downloads
400 (#49,541)

6 months
114 (#36,559)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).

Add more references