- 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
A Partial Calculus for Dag Prawitz’s Theory of Grounds and a Decidability Issue
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 (2018)
Abstract
We consider Dag Prawitz’s theory of grounds and suggest a formal apparatus for it. On its basis we show that the account faces a decidability issue similar to one that is often associated with BHK semantics, and propose different readings of the issue that involve different consequences.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Dag Prawitz on Proofs, Operations and Grounding.Antonio Piccolomini D’ Aragona - 2019 - Topoi 38 (3):531-550.
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work (Trends in Logic Book 39).Luiz Carlos Pereira, Herman Hauesler & Valeria Correa Vaz De Paiva - 2014 - Springer.
Poincaré and Prawitz on mathematical induction.Yacin Hamami - 2015 - In Pavel Arazim & Michal Dancak (eds.), The Logica Yearbook 2014. College Publications. pp. 149-164.
Prawitz’s Epistemic Grounding: An Investigation into the Power of Deduction.Antonio Piccolomini D’Aragona - 2023 - Springer Verlag.
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2021 - Studia Logica 110 (2):355-403.
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.
Prawitz's completeness conjecture: A reassessment.Peter Schroeder-Heister - 2024 - Theoria 90 (5):492-514.
Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2022 - Studia Logica 110 (3):819-877.
Analytics
Added to PP
2020-06-17
Downloads
7 (#1,636,548)
6 months
5 (#1,038,502)
2020-06-17
Downloads
7 (#1,636,548)
6 months
5 (#1,038,502)
Historical graph of downloads
Author's Profile
Citations of this work
Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2022 - Studia Logica 110 (3):819-877.
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2021 - Studia Logica 110 (2):355-403.
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