Editorial introduction

Studia Logica 68 (1):3-20 (2001)
  Copy   BIBTEX

Abstract

I survey some important semantical and axiomatic theories of self-referential truth. Kripke's fixed-point theory, the revision theory of truth and appraoches involving fuzzy logic are the main examples of semantical theories. I look at axiomatic theories devised by Cantini, Feferman, Freidman and Sheard. Finally some applications of the theory of self-referential truth are considered.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1011933220835

Links

PhilArchive



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

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

Meaning: Truth-referential or use?Michael Devitt - unknown
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.
Comparing fixed-point and revision theories of truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
Theories of truth which have no standard models.Hannes Leitgeb - 2001 - Studia Logica 68 (1):69-87.
Logical frameworks for truth and abstraction: an axiomatic study.Andrea Cantini (ed.) - 1996 - New York: Elsevier Science B.V..
Conservative theories of classical truth.Volker Halbach - 1999 - Studia Logica 62 (3):353-370.
The liar speaks the truth: a defense of the revision theory of truth.Aladdin Mahmūd Yaqūb - 1993 - New York: Oxford University Press.

Analytics

Added to PP
2009-01-28

Downloads
45 (#345,268)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Volker Halbach
Oxford University

Citations of this work

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.

View all 32 references / Add more references