Axiomatizing semantic theories of truth?

, , &
Review of Symbolic Logic 8 (2):257-278 (2015)
  Copy   BIBTEX

Abstract

We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of ℕ-categoricity and discuss its usefulness and limits

Categories

Keywords

Reprint years

DOI

10.1017/s1755020314000379

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,169

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

On the extension of Beth's semantics of physical theories.Bas C. van Fraassen - 1970 - Philosophy of Science 37 (3):325-339.
Modality and axiomatic theories of truth I: Friedman-Sheard.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):273-298.
Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
Revision Revisited.Leon Horsten, Graham E. Leigh, Hannes Leitgeb & Philip Welch - 2012 - Review of Symbolic Logic 5 (4):642-664.
Theories of truth which have no standard models.Hannes Leitgeb - 2001 - Studia Logica 68 (1):69-87.
Axiomatic truth, syntax and metatheoretic reasoning.Graham E. Leigh & Carlo Nicolai - 2013 - Review of Symbolic Logic 6 (4):613-636.
Reference and Truth.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):439-474.
Truth and speed-up.Martin Fischer - 2014 - Review of Symbolic Logic 7 (2):319-340.
On the Aim of Scientific Theories in Relating to the World: A Defence of the Semantic Account.Michael Baur - 1990 - Dialogue 29 (3):323-.
Modality and axiomatic theories of truth II: Kripke-Feferman.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):299-318.

Analytics

Added to PP
2015-03-10

Downloads
168 (#147,105)

6 months
14 (#232,717)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Volker Halbach
Oxford University
Jonne Kriener
Birkbeck College
Martin Fischer
Ludwig Maximilians Universität, München
1 more

Citations of this work

On the Costs of Nonclassical Logic.Volker Halbach & Carlo Nicolai - 2018 - Journal of Philosophical Logic 47 (2):227-257.
Should the Non‐Classical Logician be Embarrassed?Lucas Rosenblatt - 2022 - Philosophy and Phenomenological Research 104 (2):388-407.
Naïve validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.

View all 25 citations / Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Saving truth from paradox.Hartry Field - 2008 - New York: Oxford University Press.

View all 38 references / Add more references