- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Revisiting Dummett's Proof-Theoretic Justification Procedures
In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications. pp. 141-155 (2017)
Abstract
Dummett’s justification procedures are revisited. They are used as background for the discussion of some conceptual and technical issues in proof-theoretic semantics, especially the role played by assumptions in proof-theoretic definitions of validity.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Inference Rules and the Meaning of the Logical Constants.Hermógenes Oliveira - 2019 - Dissertation, Eberhard Karls Universität Tübingen
On Dummett’s Pragmatist Justification Procedure.Hermógenes Oliveira - 2019 - Erkenntnis 86 (2):429-455.
On Dummett’s verificationist justification procedure.Wagner de Campos Sanz & Hermógenes Oliveira - 2016 - Synthese 193 (8):2539-2559.
Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford - 2021 - Journal of Philosophical Logic 50 (5):1199-1229.
Decidability in Proof-Theoretic Validity.Will Stafford - 2022 - In Igor Sedlár (ed.), The Logica Yearbook 2021. College Publications. pp. 153-166.
Categorical Proof-theoretic Semantics.David Pym, Eike Ritter & Edmund Robinson - forthcoming - Studia Logica:1-38.
Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity.Will Stafford & Victor Nascimento - 2023 - Analysis 83 (3):507-516.
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.
Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.
Analytics
Added to PP
2017-07-20
Downloads
475 (#57,888)
6 months
77 (#76,514)
2017-07-20
Downloads
475 (#57,888)
6 months
77 (#76,514)
Historical graph of downloads
Author's Profile
Citations of this work
Proof-Theoretic Validity isn’t Intuitionistic; So What?Will Stafford - forthcoming - Australasian Journal of Philosophy.
References found in this work
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1975 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-lxkd2 dc2