David Corfield
Do R-inferentialism

In the context of this project Friedman's Dynamics of Reason, we need the tale of the philosophical currents that feed into the inferentialism that is exemplified in modal HoTT. Perhaps not only is this a part of the new constitutive language, but also it captures itself the dependency relations (variety of type theory, type theory, context - Shulman’s nn-theories).

So Gentzen, Prawitz, Martin-Lof

Sellars, Brandom

Last revised on December 11, 2019 at 09:54:15. See the history of this page for a list of all contributions to it.