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.
A Partial Calculus for Dag Prawitz’s Theory of Grounds and a Decidability Issue / Piccolomini d’Aragona, Antonio. - (2018), pp. 223-244. [10.1007/978-3-319-72577-2_13].
A Partial Calculus for Dag Prawitz’s Theory of Grounds and a Decidability Issue
Piccolomini d’Aragona, Antonio
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.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
