Formalizing Kant’s rules. A logic of conditional imperatives and permissives. (English) Zbl 1485.03014
Summary: 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 Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce \(KL_3\) as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in \(KL_3\). Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy.
MSC:
| 03A05 | Philosophical and critical aspects of logic and foundations |
| 03B45 | Modal logic (including the logic of norms) |
| 03-03 | History of mathematical logic and foundations |
| 01A50 | History of mathematics in the 18th century |
References:
| [1] | Achourioti, T.; van Lambalgen, M., A formalization of Kant’s transcendental logic, The Review of Symbolic Logic, 4.02, 254-289 (2011) · Zbl 1252.03007 · doi:10.1017/S1755020310000341 |
| [2] | Achourioti, T, & van Lambalgen, M. (2012). Kant’s logic revisited. PhML-2012. · Zbl 1430.03007 |
| [3] | Arnauld, A, & Nicole, P. (1996). Logic or the art of thinking. Cambridge University Press. · Zbl 1533.01057 |
| [4] | Bezem, M.; Coquand, T., Automating Coherent Logic. International Conference on Logic for Programming Artificial Intelligence and Reasoning (2005), Berlin: Springer, Berlin |
| [5] | Bezem, M., On the undecidability of coherent logic, Lecture Notes in Computer Science, 3838, 6 (2005) · Zbl 1171.03327 · doi:10.1007/11601548_2 |
| [6] | Brandom, R.B. (2008). Between saying and doing: towards an analytic pragmatism. Oxford University Press. |
| [7] | Brandom, R.B. (2015). From empiricism to expressivism. Harvard University Press. |
| [8] | Brandom, R.B. (2009). Norms, selves, and concepts. Reason in philosophy. Harvard University Press. |
| [9] | Brook, A. (1997). Kant and the mind. Cambridge University Press. |
| [10] | Cali, A.; Gottlob, G., A general datalog-based framework for tractable query answering over ontologies, Web Semantics: Science, Services and Agents on the World Wide Web, 14, 57-83 (2012) · doi:10.1016/j.websem.2012.03.001 |
| [11] | Charlow, N., Logic and semantics for imperatives, Journal of Philosophical Logic, 43, 4, 617-664 (2014) · Zbl 1302.03015 · doi:10.1007/s10992-013-9284-4 |
| [12] | Chellas, BF, Imperatives, Theoria, 37, 2, 114-129 (1971) · Zbl 0299.02034 · doi:10.1111/j.1755-2567.1971.tb00064.x |
| [13] | Coquand, T. (2010). A completeness proof for geometric logic. Technical report, Computer Science and Engineering Department, University of Gothenburg. |
| [14] | Dyckhoff, R.; Negri, S., Geometrisation of first-order logic, Bulletin of Symbolic Logic, 21.2, 123-163 (2015) · Zbl 1368.03013 · doi:10.1017/bsl.2015.7 |
| [15] | Van Emden, MH; Kowalski, RA, The semantics of predicate logic as a programming language, Journal of the ACM (JACM), 23.4, 733-742 (1976) · Zbl 0339.68004 · doi:10.1145/321978.321991 |
| [16] | Evans, R., A Kantian cognitive architecture. On the cognitive, ethical, and scientific dimensions of artificial intelligence, 233-262 (2019), Cham: Springer, Cham |
| [17] | Evans, R. (2017). Kant on constituted mental activity. APA on Philosophy and Computers. |
| [18] | Friedman, M. (1992). Kant and the exact sciences. Harvard University Press. |
| [19] | Grossi, D., & Jones, A. (2013). Constitutive norms and counts-as conditionals. Handbook of Deontic Logic and Normative Systems, 407-441. · Zbl 1367.03038 |
| [20] | Gurevich, Y., Bezem, M, Coquand, T. (2003). Newman’s lemma – a case study in proof automation and geometric logic. Bulletin of the European Association for Theoretical Computer Science. · Zbl 1169.03324 |
| [21] | Hansen, J. (2013). Imperative logic and its problems. Handbook of Deontic Logic and Normative Systems, 137-191. · Zbl 1367.03039 |
| [22] | Hofstadter, A.; McKinsey, JC, On the logic of imperatives, Philosophy of Science, 6, 4, 446-457 (1939) · doi:10.1086/286592 |
| [23] | Humberstone, L. (2011). The connectives. MIT Press. · Zbl 1242.03002 |
| [24] | Kant, I. (1998). Critique of pure reason. P. Guyer, A. Wood (trans., eds.). Cambridge University Press. |
| [25] | Kant, I. (2004). Lectures on logic. J. M. Young (trans., ed.). Cambridge University Press. |
| [26] | Kitcher, P. (2017). A Kantian critique of transparency. Kant and the philosophy of mind. Oxford University Press. |
| [27] | Kitcher, P. (1993). Kant’s transcendental psychology. Oxford University Press. |
| [28] | Kitcher, P. (2011). Kant’s thinker. Oxford University Press. |
| [29] | Korsgaard, C. (2009). Self constitution. Oxford University Press. |
| [30] | Korsgaard, C. (2014). The constitution of agency. Oxford University Press. |
| [31] | Kowalski, R, & Sadri, F. (2010). An agent language with destructive assignment and model-theoretic semantics. In International workshop on computational logic in multi-agent systems (pp. 200-218). Berlin: Springer. · Zbl 1286.68417 |
| [32] | Landy, D. (2015). Kant’s inferentialism: the case against Hume (Vol. 11). Routledge. |
| [33] | Longuenesse, B. (1998). Kant and the capacity to judge. Princeton UP. |
| [34] | Longuenesse, B. (2005). Kant on the human standpoint. Cambridge University Press. |
| [35] | MacFarlane, J., Frege, Kant, and the logic in logicism, The Philosophical Review, 111.1, 25-65 (2002) · doi:10.1215/00318108-111-1-25 |
| [36] | Makinson, D.; Van Der Torre, L., Input/output logics, Journal of Philosophical Logic, 29.4, 383-408 (2000) · Zbl 0964.03002 · doi:10.1023/A:1004748624537 |
| [37] | Negri, S., Contraction-free sequent calculi for geometric theories with an application to Barr’s theorem, Archive for Mathematical Logic, 42.4, 389-401 (2003) · Zbl 1025.03055 · doi:10.1007/s001530100124 |
| [38] | Ross, A., Imperatives and Logic, Theoria, 7, 53-71 (1941) |
| [39] | Searle, J.R. (1995). The construction of social reality. Simon and Schuster. |
| [40] | Stephenson, A. (2013). Kant’s theory of experience. Doctoral dissertation, University of Oxford. |
| [41] | Stephenson, A., Kant on the object-dependence of intuition and hallucination, The Philosophical Quarterly, 65, 260, 486-508 (2015) · doi:10.1093/pq/pqu100 |
| [42] | Stephenson, A. (2018). How to solve the knowability paradox with transcendental epistemology. Synthese, forthcoming. |
| [43] | Strawson, P. (2002). The bounds of sense. Routledge. |
| [44] | Vranas, P., New foundations for imperative logic I: logical connectives, consistency, and quantifiers, Noûs, 42, 4, 529-572 (2008) · Zbl 1366.03196 · doi:10.1111/j.1468-0068.2008.00684.x |
| [45] | Waxman, W. (2005). Kant and the empiricists: understanding understanding. Oxford University Press. |
| [46] | Waxman, W. (2013). Kant’s anatomy of the intelligent mind. Oxford University Press. · Zbl 1287.00002 |
| [47] | Wolff, R.P. (1963). Kant’s theory of mental activity: a commentary on the transcendental analytic of the Critique of Pure Reason. Harvard University Press. |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
