Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics

Journal of Philosophical Logic 51 (2):249-281 (2021)
  Copy   BIBTEX

Abstract

Prawitz has recently developed a theory of epistemic grounding that differs in many respects from his earlier semantics of arguments and proofs. An innovative approach to inferences yields a new conception of the intertwinement of the notions of valid inference and proof. We aim at singling out three reasons that may have led Prawitz to the ground-theoretic turn, i.e.: a better order in the explanation of the relation between valid inferences and proofs; a notion of valid inference based on which valid inferences and proofs are recognisable as such; a reconstruction of the deductive activity that makes inferences capable of yielding justification per se. These topics are discussed by Prawitz with reference to a very general and ancient question: why and how correct deduction has the epistemic power to compel us to accept its conclusions, provided its premises are justified? We conclude by remarking that, in spite of some improvements, the ground-theoretic approach shares with the previous one a problem of vacuous validity which, as Prawitz himself points out, blocks in both cases a satisfactory explanation of epistemic compulsion.

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Partial Calculus for Dag Prawitz’s Theory of Grounds and a Decidability Issue.Antonio Piccolomini D’Aragona - 2018 - In Antonio Piccolomini D’Aragona, Martin Carrier, Roger Deulofeu, Axel Gelfert, Jens Harbecke, Paul Hoyningen-Huene, Lara Huber, Peter Hucklenbroich, Ludger Jansen, Elizaveta Kostrova, Keizo Matsubara, Anne Sophie Meincke, Andrea Reichenberger, Kian Salimkhani & Javier Suárez (eds.), Philosophy of Science: Between the Natural Sciences, the Social Sciences, and the Humanities. Cham: Springer Verlag. pp. 223-244.
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Inferential Semantics.Kosta Došen - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer Verlag. pp. 147--162.
Truth as an Epistemic Notion.Dag Prawitz - 2012 - Topoi 31 (1):9-16.
How Fundamental is the Fundamental Assumption?Nils Kurbis - 2012 - Teorema: International Journal of Philosophy 2 (2):5-19.
Poincaré and Prawitz on mathematical induction.Yacin Hamami - 2015 - In Pavel Arazim & Michal Dancak (eds.), Logica Yearbook 2014. London: College Publications. pp. 149-164.
Inferentialism without Verificationism: Reply to Prawitz.Julien Murzi - 2011 - In Emiliano Ippoliti & Carlo Cellucci (eds.), Logic and Knowledge. Cambridge Scholars Press. pp. 285-90.

Analytics

Added to PP
2021-08-11

Downloads
30 (#491,063)

6 months
11 (#170,645)

Historical graph of downloads
How can I increase my downloads?