Chapitre D'ouvrage Année : 2018

A partial calculus for Dag Prawitz's theory of grounds and a decidability issue

Résumé

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.

Fichier non déposé

Dates et versions

hal-01757823 , version 1 (04-04-2018)

Identifiants

  • HAL Id : hal-01757823 , version 1

Citer

Antonio Piccolomini d'Aragona, Aragona Piccolomini d'. A partial calculus for Dag Prawitz's theory of grounds and a decidability issue. Christian, A., Hommen, D., Retzlaff, N., Schurz, G. (Eds.) Philosophy of Science. Between the Natural Sciences, the Social Sciences, and the Humanities, 2018, 978-3-319-72577-2. ⟨hal-01757823⟩
163 Consultations
0 Téléchargements

Partager

  • More