Kant: Transcendental Logic

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 KL3 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 KL3. 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. (shrink)

At A71/B96–7 Kant explains that singular judgements are ‘special’ because they stand to the general ones as Einheit to Unendlichkeit. The reference to Einheit brings to mind the category of unity and hence raises a spectre of circularity in Kant’s explanation. I aim to remove this spectre by interpreting the Einheit-Unendlichkeit contrast in light of the logical distinctions among universal, particular and singular judgments shared by Kant and his logician predecessors. This interpretation has a further implication for resolving a controversy (...) over the correlation between the logical moments of quantity (universal, particular, singular) and the categorial ones (unity, plurality, totality). (shrink)

The Question of Truth in Kant’s Transcendental Logic [English] In the third section of the “Introduction” to transcendental logic, Kant dedicates a couple of paragraphs to the subject of truth (KrV B82-83). Based on this passage, Kant’s com¬mentators have justified various and sometimes contradictory interpretations of the Kantian notion of truth. However, few have analyzed the passage in its own context, that is, as part of the strategy to introduce the idea of transcendental logic. In this work, I intend to (...) take a position in this regard. I will try to show that this passage does not subscribe to the distinction between general and transcendental logic, but between analytic and dialectic logic. [Español] En la tercera sección de la “Introducción” a la lógica trascendental, Kant dedica un par de párrafos al tema de la verdad (KrV B82-83). Basándose en este pasaje, los comentaristas de Kant han justificado diversas y a veces contradictorias interpretaciones de la noción kantiana de verdad. Sin embargo, pocos han analizado el pasaje en su propio contexto, es decir, como parte de la estrategia para introducir la idea de una lógica trascendental. En este trabajo se pretende tomar postura a este respecto. Se intentará mostrar que este pasaje no abona a la distinción entre lógica general y lógica trascendental, sino entre analítica y dialéctica. (shrink)

In the Critique of Pure Reason, Kant defends the mathematically deterministic world of physics by arguing that its essential features arise necessarily from innate forms of intuition and rules of understanding through combinatory acts of imagination. Knowing is active: it constructs the unity of nature by combining appearances in certain mandatory ways. What is mandated is that sensible awareness provide objects that conform to the structure of ostensive judgment: “This (S) is P.” -/- Sensibility alone provides no such objects, so (...) the imagination compensates by combining passing point-data into “pure” referents for the subject-position, predicate-position, and copula. The result is a cognitive encounter with a generic physical object whose characteristics—magnitude, substance, property, quality, and causality—are abstracted as the Kantian categories. Each characteristic is a product of “sensible synthesis” that has been “determined” by a “function of unity” in judgment. -/- Understanding the possibility of such determination by judgment is the chief difficulty for any rehabilitative reconstruction of Kant’s theory. I will show that Kant conceives of figurative synthesis as an act of line-drawing, and of the functions of unity as rules for attending to this act. The subject-position refers to substance, identified as the objective time-continuum; the predicate-position, to quality, identified as the continuum of property values (constituting the second-order type named by the predicate concept). The upshot is that both positions refer to continuous magnitudes, related so that one (time-value) is the condition of the other (property-value). -/- Kant’s theory of physically constructive grammar is thus equivalent to the analytic-geometric formalism at work in the practice of mathematical physics, which schematizes time and state as lines related by an algebraic formula. Kant theorizes the subject–predicate relation in ostensive judgment as an algebraic time–state function. When aimed towards sensibility, “S is P” functions as the algebraic relation “t → ƒ(t).”. (shrink)

As Ebbinghaus (1908) tells us in the opening words of his popular textbook of psychology, “psychology has a long past but only a short history.” In my opinion, there are three foundational moments in the history of psychology and, paradoxically, all three are moments of great advancement in biology. First, in the long past of psychology, psychology did not exist as such but was part of philosophy. It is extremely interesting to understand why it has been necessary, at one point (...) of time in the sixteenth century, to invent this field and to create a signifier – namely “psychology” – separate from philosophy, which enabled the field to distinguish itself from philosophy (Mengal, 2000/2001). In this century of religious violence, bare corpses lay everywhere and progresses in anatomy are major. In 1540, the German religious reformer Philippe Melanchthon publishes a book which comments the De anima of Aristotle and he completes the Aristotelian text with a long treaty of anatomy (Mengal, 2000/2001). On the basis of this new knowledge, Melanchthon attributes functions to the body which were previously reserved for the soul. The brain becomes the principal organ of sensory functions and displaces the heart as the seat of emotional life and of thought. To the Aristotelian position that all living beings, whether plant, animal, or human, to varying degrees possess a soul which organizes the body, Melanchthon opposes a dualistic anthropology which divides the human in body and soul. The two-dimensional “anthropologia” is articulated in “anatomia,” science of body, and “psychologia,” science of the soul. It is this new anthropology that is diffused into the world of the Reformation (Mengal, 2000/2001). The Dutch reformer Snellius (1594), for example, defines the body and the soul by their respective essential property: “The rational soul of man is the thought that, coupled with the body, completes man. (…) The physical things closer to natural bodies that move naturally, have an extension and for that reason occupy a space. (…) The faculty of the rational soul is the mind or will. Thought is the faculty of the soul to discourse and think about things which are and which are not.”1 (Snellius, 1594, pp. 26–27). It is as a philosopher that René Descartes proposes his dualist vision much in line with the reformist opinions. Descartes dissects animals and human cadavers and is familiar with the research on the flow of blood (Fuchs, 2001). He comes to the conclusion that the body is a complex device that is capable of moving without the soul, thus contradicting the Aristotelian doctrine of the soul. The metaphysical order, which states that the body exists by the soul, is broken. (shrink)

In this article we provide a mathematical model of Kant?s temporal continuum that satisfies the (not obviously consistent) synthetic a priori principles for time that Kant lists in the Critique of pure Reason (CPR), the Metaphysical Foundations of Natural Science (MFNS), the Opus Postumum and the notes and frag- ments published after his death. The continuum so obtained has some affinities with the Brouwerian continuum, but it also has ‘infinitesimal intervals’ consisting of nilpotent infinitesimals, which capture Kant’s theory of rest (...) and motion in MFNS. While constructing the model, we establish a concordance between the informal notions of Kant?s theory of the temporal continuum, and formal correlates to these notions in the mathematical theory. Our mathematical reconstruction of Kant?s theory of time allows us to understand what ?faculties and functions? must be in place for time to satisfy all the synthetic a priori principles for time mentioned. We have presented here a mathematically precise account of Kant?s transcendental argument for time in the CPR and of the rela- tion between the categories, the synthetic a priori principles for time, and the unity of apperception; the most precise account of this relation to date. We focus our exposition on a mathematical analysis of Kant’s informal terminology, but for reasons of space, most theorems are explained but not formally proven; formal proofs are available in (Pinosio, 2017). The analysis presented in this paper is related to the more general project of developing a formalization of Kant’s critical philosophy (Achourioti & van Lambalgen, 2011). A formal approach can shed light on the most controversial concepts of Kant’s theoretical philosophy, and is a valuable exegetical tool in its own right. However, we wish to make clear that mathematical formalization cannot displace traditional exegetical methods, but that it is rather an exegetical tool in its own right, which works best when it is coupled with a keen awareness of the subtleties involved in understanding the philosophical issues at hand. In this case, a virtuous ?hermeneutic circle? between mathematical formalization and philosophical discourse arises. (shrink)

It is often claimed that the structure of the Transcendental Logic is modeled on the Wolffian division of logic textbooks into sections on concepts, judgments, and inferences. While it is undeniable that the Transcendental Logic contains elements that are similar to the content of these sections, I believe these similarities are largely incidental to the structure of the Transcendental Logic. In this essay, I offer an alternative and, I believe, more plausible account of Wolff’s influence on the structure of the (...) Transcendental Logic, one that puts the focus on his empirical psychology rather than his logic. In particular, I argue that the structure of the Transcendental Logic is deeply indebted to a conception of purity that Wolff introduces in his empirical psychology and that this conception sheds more light on the overall structure of the Transcendental Logic than the accepted view. In section one, I outline two conceptions of purity found in Kant and trace them to similar views in Wolff. In section two, I turn to Kant’s views about logic as they are expressed in the Critique and argue that it is best to interpret Kant’s taxonomy of logic on its own terms rather than reading it through its terminological similarities to aspects of the Wolffian tradition. In section three, I argue that the second of the two conceptions of purity identified in section one is central to the structure of the Transcendental Logic. In doing so, I argue against the widespread view that this section of the Critique is modeled solely on what Kant calls pure general logic as opposed to both pure and applied general logic. I then conclude by briefly reviewing my account and considering some of its broader implications for our understanding of Kant. (shrink)

Kant's Notion of "Transcendental Truth". [English] The aim of this work is to elucidate the notion of “transcendental truth” and to show its role in the Kantian system. I will argue that this notion is in line with the traditional definition of truth, i.e., that it consists in the correspondence between knowledge and object. I will also argue that criteria of transcendental truth are provided by transcendental logic, and that it is this notion of truth what makes it possible to (...) establish the truth of a priori knowledge and delimitate the field of empirical truth. [Español] El objetivo de este trabajo es dilucidar la noción de “verdad trascendental” y mostrar su lugar en el sistema kantiano. Se defenderá que la verdad trascendental consiste, en línea con la definición tradicional de verdad, en un sentido de correspondencia entre conocimiento y objeto, que la lógica trascendental establece criterios de verdad trascendental, y que es esta noción de verdad la que permite establecer la verdad del conocimiento a priori y delimitar el territorio de la verdad empírica. (shrink)

In this paper, I consider the basis for Kant's praise of Wolff's general logic as "the best we have." I argue that Wolff's logic was highly esteemed by Kant on account of its novel analysis of the three operations of the mind (tres operationes mentis), in the course of which Wolff formulates an argument for the priority of the understanding's activity of judging.

As is well known, the linguistic/philosophical reflection on natural kind terms has undergone a remarkable development in the early seventies with Putnam and Kripke’s essentialist approaches, touching upon different aspects of Kan’s slant. Preliminarily, however, it might be useful to review some of the theoretical stages in Locke and Leibniz’s approaches on natural kind terms in the light of contemporary reflections, to eventually pinpoint Kant’s contribution and see how some commentators have placed it within the theory of direct reference. Starting (...) with textual evidence even from the logical corpus, in the present essay I will attempt to discuss some of the arguments dismissing Kant’s adherence to this view. These assume that in his approach to the semantics of natural kind Kant appears to be still holding on to a nominalist/conceptualist position, though he seems to be well aware of a few key issues for the theorists of direct reference. (shrink)

Engaging with Kant’s transcendental logic seems to be a question of mere scholarly historical interest today. It is most commonly regarded a mixture between logic and psychology or epistemology, and by that, not a serious form of logic. Transcendental logic seems to be of no systematical impact on the concept of logic. My paper aims to disclose a different account on the endeavour of Kant’s transcendental logic in particular and of the “Critique of Pure Reason” (CPR) in general. Kant’s fundamental (...) question is in a revolutionary way aiming to ground the character of necessity of knowledge, which means to justify the claim that thinking in accordance with the forms and principles of formal logic does not lead to sheer tautologies or an unsolved contradiction, but to knowledge that is objectively valid. In a first part, I shall demonstrate the necessity and the significance of this new fundamental question of the CPR with respect to its genesis out of pre-Kantian metaphysics. A brief outline of Kant’s answer to this question, with special emphasis on his revolutionary new comprehension of logical form, will be given as well. A second part shall open up a perspective that lies beyond Kant’s standpoint with reference to Nietzsche and eventually to Hegel. I will answer the question: What knowledge do we achieve about being or actuality by means of formal logic? I will argue that Kant shows that formal logic is the logic of all technical-practical conduct but also, at least indirectly, the limitation of the technical-practical knowledge and its legitimate sphere of application. (shrink)

One of the principle aims of the B version of Kant’s transcendental deduction is to show how it is possible that the same “I think” can accompany all of my representations, which is a transcendental condition of the possibility of judgment. Contra interpreters such as A. Brook, I show that this “I think” is an a priori (reflected) self-consciousness; contra P. Keller, I show that this a priori self-consciousness is first and foremost a consciousness of one’s personal identity from a (...) first person point of view. (shrink)

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...) is known as geometric logic. (shrink)

Traditionally transcendental logic has been set apart from formal logic. Transcendental logic had to deal with the conditions of possibility of judgements, which were presupposed by formal logic. Defined as a purely philosophical enterprise transcendental logic was considered as being a priori delivering either analytic or even synthetic a priori results. In this paper it is argued that this separation from the (empirical) cognitive sciences should be given up. Transcendental logic should be understood as focusing on specific questions. These do (...) not, as some recent analytic philosophy has it, include a refutation of scepticism. And they are not to be separated from meta-logical investigations. Transcendental logic properly understood, and redefined along these theses, should concern itself with the (formal) re-construction of the presupposed necessary conditions and rules of linguistic communication in general. It aims at universality and reflexive closure. (shrink)