A note on three-valued logic and Tarski theorem on truth definitions

Studia Logica 39 (4):405 - 414 (1980)
  Copy   BIBTEX

Abstract

We introduce a notion of semantical closure for theories by formalizing Nepeivoda notion of truth. [10]. Tarski theorem on truth definitions is discussed in the light of Kleene's three valued logic (here treated with a formal reinterpretation of logical constants). Connections with Definability Theory are also established.

Categories

Keywords

Reprint years

DOI

10.1007/bf00713550

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

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

Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
What Were Tarski's Truth-Definitions for?John F. Fox - 1989 - History and Philosophy of Logic 10 (2):165-179.
A Note Concerning The Notion Of Satisfiability.Leon Horsten - 2004 - Logique Et Analyse 47.
Borderline Logic.David H. Sanford - 1975 - American Philosophical Quarterly 12 (1):29-39.
Tarski's conceptual analysis of semantical notions.Solomon Feferman - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. Oxford University Press. pp. 72.
Circularity or Lacunae in Tarski’s Truth-Schemata.Dale Jacquette - 2010 - Journal of Logic, Language and Information 19 (3):315-326.
Was Tarski's Theory of Truth Motivated by Physicalism?Greg Frost-Arnold - 2004 - History and Philosophy of Logic 25 (4):265-280.
Logical truth and tarskian logical truth.Mario Gómez-Torrente - 1998 - Synthese 117 (3):375-408.
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown

Analytics

Added to PP
2009-01-28

Downloads
58 (#276,489)

6 months
9 (#308,642)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrea Cantini
Università degli Studi di Firenze

Citations of this work

Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
An extension of basic logic.Frederic B. Fitch - 1948 - Journal of Symbolic Logic 13 (2):95-106.

Add more references