Formalizing Kant's Rules: A Logic of Conditional Imperatives and Permissives.

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a K...

Full description

Bibliographic Details

Published in:	Journal of Philosophical Logic Vol. 49; no. 4; pp. 613 - 681
Main Authors:	Evans, R., Sergot, M., Stephenson, A.
Format:	Article
Published:	Springer Nature Aug2020
Subjects:	Conditionals (Logic) First-order logic Logic design Natural languages Logic
Online Access:	View this record in EBSCOhost