Topoi 31 (1):47-57 (2012)
Authors |
|
Abstract |
Validity, the central concept of the so-called ‘proof-theoretic semantics’ is described as correctly applying to the arguments that denote proofs. In terms of validity, I propose an anti-realist characterization of the notions of truth and correct assertion, at the core of which is the idea that valid arguments may fail to be recognized as such. The proposed account is compared with Dummett’s and Prawitz’s views on the matter
|
Keywords | Proof-theoretic semantics Truth Assertion |
Categories | (categorize this paper) |
DOI | 10.1007/s11245-012-9121-3 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1975 - In Truth and Other Enigmas. Cambridge: Harvard UP. pp. 215--247.
Validity Concepts in Proof-Theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.
The Justification of Deduction.Michael A. E. Dummett - 1974 - In Michael Dummett (ed.), Truth and Other Enigmas. Oxford University Press.
View all 9 references / Add more references
Citations of this work BETA
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
Proof-Theoretic Harmony: Towards an Intensional Account.Luca Tranchini - 2016 - Synthese 198 (Suppl 5):1145-1176.
Similar books and articles
A Note on Formality and Logical Consequence.Mario Gómez-Torrente - 2000 - Journal of Philosophical Logic 29 (5):529-539.
How Fundamental is the Fundamental Assumption?Nils Kurbis - 2012 - Teorema: International Journal of Philosophy 2 (2):5-19.
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.
On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.
On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211 - 247.
Proof-Theoretic Semantics for a Natural Language Fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
Analytics
Added to PP index
2012-03-15
Total views
65 ( #176,017 of 2,505,228 )
Recent downloads (6 months)
1 ( #416,705 of 2,505,228 )
2012-03-15
Total views
65 ( #176,017 of 2,505,228 )
Recent downloads (6 months)
1 ( #416,705 of 2,505,228 )
How can I increase my downloads?
Downloads