An Axiomatic Investigation of Provability as a Primitive Predicate

In Volker Halbach & Leon Horsten (eds.), Principles of truth. New York: Hänsel-Hohenhausen. pp. 203-220 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1515/9783110332728.203

Links

PhilArchive



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

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

Horsten, Leon, The Tarskian Turn: Deflationism and Axiomatic Truth, MIT Press, 2011. [REVIEW]Jan Heylen - 2012 - Tijdschrift Voor Filosofie 74 (2):377-379.
Review of The Tarskian Turn: Deflationism and Axiomatic Truth, by Leon Horsten. [REVIEW]Matthew McKeon - 2012 - Essays in Philosophy 13 (2):623-631.
Leon Horsten. The Tarskian Turn: deflationism and axiomatic truth. MIT Press, Cambridge, Massachusetts, 2011, xii + 157 pp. [REVIEW]Martin Fischer - 2012 - Bulletin of Symbolic Logic 18 (3):403-405.
University Press, 2011, pp. 176; Leon Horsten, The Tarskian Turn. Deflationism and Axiomatic Truth, Cambridge (MA), The MIT Press, 2011, pp. XII-165; Volker Halbach, Axiomatic Theories of Truth, Cambridge, Cambridge University Press, 2011, pp. 376. [REVIEW]Alexis G. Burgess–John P. Burgess - 2012 - Rivista di Filosofia 103 (2).
Deflationary truth and the ontology of expressions.Carlo Nicolai - 2015 - Synthese 192 (12):4031-4055.
Classical Determinate Truth I.Kentaro Fujimoto & Volker Halbach - 2024 - Journal of Symbolic Logic 89 (1):218-261.
L. Horsten, The Tarskian Turn. Deflationism And Axiomatic Truth.Jiří Raclavský - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (3):415-420.
Modality and axiomatic theories of truth I: Friedman-Sheard.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):273-298.
The Tarskian Turn. Edited by Leon Horsten. [REVIEW]Brian Ball - 2013 - Philosophical Quarterly 63 (252):629-632.
The Metaphysics and Mathematics of Arbitrary Objects, by Leon Horsten.Kit Fine - 2022 - Mind 131 (522):603-618.

Analytics

Added to PP
2015-04-02

Downloads
22 (#166,999)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Leon Horsten
Universität Konstanz

Citations of this work

How not to state T-sentences.Volker Halbach - 2006 - Analysis 66 (4):276-280.
How not to state t-sentences.Volker Halbach - 2006 - Analysis 66 (4):276–280.
Proof systems for BAT consequence relations.Pawel Pawlowski - 2018 - Logic Journal of the IGPL 26 (1):96-108.
Logic of informal provability with truth values.Pawel Pawlowski & Rafal Urbaniak - 2023 - Logic Journal of the IGPL 31 (1):172-193.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references