A Partial Calculus for Dag Prawitz’s Theory of Grounds and a Decidability IssueIn 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, Springer Verlag. pp. 223-244. 2018.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.
Aix-Marseille UniversityDepartment of PhilosophyGraduate student
Università degli Studi di Roma La SapienzaDepartment of PhilosophyGraduate student
Areas of Specialization
|Logic and Philosophy of Logic|