One of the characteristic features of contemporary logic is that it incorporates the Frege‐Russell thesis according to which verbs for being are multiply ambiguous. This thesis was not accepted before the nineteenth century. In Aristotle existence could not serve alone as a predicate term. However, it could be a part of the force of the predicate term, depending on the context. For Kant existence could not even be a part of the force of the predicate term. Hence, after Kant, existence (...) was left homeless. It found a home in the algebra of logic in which the operators corresponding to universal and particular judgments were treated as duals, and universal judgments were taken to be relative to some universe of discourse. Because of the duality, existential quantifier expressions came to express existence. The orphaned notion of existence thus found a new home in the existential quantifier. (shrink)

Many scholars claimed that, according to Immanuel Kant, some judgements lack a truth-value: analytic judgements, judgements about items of which humans cannot have experience, judgements of perception, and non-assertoric judgements. However, no one has undertaken an extensive examination of the textual evidence for those claims. Based on an analysis of Kant's texts, I argue that: (1) according to Kant, only judgements of perception are not truth-apt. All other judgements are truth-apt, including analytic judgements and judgements about items of which humans (...) cannot have experience. (2) Kant sometimes states that truth-apt judgements are actual bearers of truth or falsity only when they are taken to state what is actually the case. Kant calls these judgements assertoric. Other texts ascribe truth and falsity to judgements, regardless of whether they are assertoric. Kant's views on truth-aptness raise challenges for correspondentist and coherentist interpretations of Kant's theory of truth; they rule out the identification of Kant's crucial notion of objective validity with truth-aptness; and they imply that Kant was not a verificationist about truth or meaning. (shrink)

Here I revisit Bolzano's criticisms of Kant on the nature of logic. I argue that while Bolzano is correct in taking Kant to conceive of the traditional logic as a science of the activity of thinking rather than the content of thought, he is wrong to charge Kant with a failure to identify and examine this content itself within logic as such. This neglects Kant's own insistence that traditional logic does not exhaust logic as such, since it must be supplemented (...) by a transcendental logic that will in fact study nothing other than thought's content. Once this feature of Kant's views is brought to light, a much deeper accord emerges between the two thinkers than has hitherto been appreciated, on both the nature of the content that is at issue in logic and the sense of logic's generality and formality. (shrink)

The consensus view in the literature is that, according to Kant, definitions in philosophy are impossible. While this is true prior to the advent of transcendental philosophy, I argue that with Kant's Copernican Turn definitions of some philosophical concepts, the categories, become possible. Along the way I discuss issues like why Kant introduces the ‘Analytic of Concepts’ as an analysis of the understanding, how this faculty, as the faculty for judging, provides the principle for the complete exhibition of the categories, (...) how the pure categories relate to the schematized categories, and how the latter can be used on empirical objects. (shrink)

For Kant, ‘reflection’ is a technical term with a range of senses. I focus here on the senses of reflection that come to light in Kant's account of logic, and then bring the results to bear on the distinction between ‘logical’ and ‘transcendental’ reflection that surfaces in the Amphiboly chapter of the Critique of Pure Reason. Although recent commentary has followed similar cues, I suggest that it labours under a blind spot, as it neglects Kant's distinction between ‘pure’ and ‘applied’ (...) general logic. The foundational text of existing interpretations is a passage in Logik Jäsche that appears to attribute to Kant the view that reflection is a mental operation involved in the generation of concepts from non-conceptual materials. I argue against the received view by attending to Kant's division between ‘pure’ and ‘applied’ general logic, identifying senses of reflection proper to each, and showing that none accords well with the received view. Finally, to take account of Kant's notio.. (shrink)

Much of the scholarship on Kant’s theory of concept formation has focused on the question of whether his theory suffers from circularity, i. e., whether it presupposes the very concepts whose origin it should explain. In this article, I defend Kant against a well-known objection raised by Hannah Ginsborg. Ginsborg, I argue, overlooks the relatively narrow aim of Kant’s theory of concept formation. Kant explicitly frames it as an account of a concept’s inherent generality, or form. However, Ginsborg’s objection is (...) not about a concept’s form; it concerns the concept’s content. Moreover, Kant addresses the issue that she raises in his theory of definitions, which explains how a concept’s content can be revised and perfected. Kant considered all empirical concepts to be incomplete and imprecise. For this reason, he denied that they can be properly defined. Kant also did not regard the content of empirical concepts as fixed or permanent. Indeed, he expected that we would continually expand and revise their content on the basis of experience. I argue that these facts, along with the narrow scope of Kant’s theory of concept formation, effectively defuse Ginsborg’s objection. (shrink)

Kant claims that Aristotles logic as complete, explain the historical and philosophical considerations that commit him to proving the completeness claim and sketch the proof based on materials from his logic corpus. The proof will turn out to be an integral part of Kant’s larger reform of formal logic in response to a foundational crisis facing it.

This paper concentrates on some aspects of the history of the analyticsynthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also some important discontinuities. The analytic-synthetic distinction has to be seen in the first place in relation to a science, i.e. an ordered system of cognition. Looking especially to the place and role of logic it will be argued that Kant, Bolzano and Frege each developed the analytic-synthetic distinction within the same conception of scientific rationality, (...) that is, within the Classical Model of Science: scientific knowledge as cognitio exprincipiis. But as we will see, the way the distinction between analytic and synthetic judgments or propositions functions within this model turns out to differ considerably between them. (shrink)

Kant holds that some nonhuman animals “are acquainted with” objects, despite lacking conceptual capacities. What does this tell us about his theory of human cognition? Numerous authors have argued that this is a significant point in favour of Nonconceptualism—the claim that, for Kant, sensible representations of objects do not depend on the understanding. Against this, I argue that Kant’s views about animal minds can readily be accommodated by a certain kind of Conceptualism. It remains viable to think that, for Kant, (...) humans’ sensible representations necessarily represent objects as temporally structured in ways that allow us to have thoughts about them, and such representations are produced, and could only be produced, by the understanding. This allows Conceptualists to maintain that humans’ sensible representations depend on the understanding, while accepting that animals have sensible representations of objects too. We must, therefore, reassess both the warrant for Nonconceptualism and the shape Conceptualist readings must take. (shrink)

The goal of this paper is to better understand Kant’s conception of philosophy as a “world concept”, which is at the heart of the Architectonic of Pure Reason. This is pursued in two major parts. The first evaluates the textual foundation for reading Kant’s world concept of philosophy as cosmopolitanism and concludes that he most probably never himself equated philosophy as a world concept with any form of cosmopolitanism. The second major part of the paper clarifies this concept of philosophy (...) through the specific role it plays in the argument of the Architectonic. Kant’s unique concept of science is examined and compared with several specific applications of it found elsewhere in Kant’s writings. From this it is concluded that Kant’s intention in the Architectonic was to derive his world concept of philosophy from its logical counterpart, namely the scholastic concept of philosophy, and that its function there is to provide the idea from which the entire structure of Kantian critical metaphysics can be derived. Philosophy as a world concept, it is further argued, is the complete system of critical or Kantian metaphysics in application and the philosopher in this sense is the ideal critical metaphysician who fully realizes its laws through her own understanding and will. (shrink)

This dissertation concerns the methodology Kant employs in the first two sections of the Groundwork of the Metaphysics of Morals (Groundwork I-II) with particular attention to how the execution of the method of analysis in these sections contributes to the establishment of moral metaphysics as a science. My thesis is that Kant had a detailed strategy for the Groundwork, that this strategy and Kant’s reasons for adopting it can be ascertained from the Critique of Pure Reason (first Critique) and his (...) lectures on logic, and that understanding this strategy gains us interpretive insight into Kant’s moral metaphysics. At the most general level of methodology, Kant says there are four steps for the establishment of any science: 1) make distinct the idea of the natural unity of its material 2) determine the special content of the science 3) articulate the systematic unity of the science 4) critique the science to determine its boundaries The first two of these steps are accomplished by the genetically scholastic method of analysis, paradigmatically the method whereby confused and obscure ideas are made clear and distinct, thereby logically perfecting them and transforming them into possible grounds of cognitive insight that are potentially complete and adequate to philosophical purposes. The analysis of Groundwork I is a paradigmatic analysis that makes distinct what is contained in common understanding, i.e. its Inhalt or intension, making distinct the higher partial concepts that together define the concept of morality. The analysis of Groundwork II is an employment more specifically of the method of logical division, which makes distinct what is contained under the concept, i.e. its Umfang, by which the extension or object of morality is determined. Part I introduces Kant’s conception of moral metaphysical science and why he took it to be in need of establishment, explains the general method for establishing science and the scholastic method of analysis by which its first two steps are to be accomplished, then provides an interpretation of Groundwork I as an execution of this method. Part II details Kant’s determination of the special content of moral science in Groundwork II in relation to the central problem for moral metaphysics – how synthetic a priori practical cognition is possible. (shrink)

Kant's writings on logic illustrate the comparison argument about truth, which goes as follows. A truth-bearer p is true if and only if it corresponds, or it agrees, with a portion of reality: the object(s), state(s) of affairs, or event(s) p is about. In order to know whether p agrees with that portion of reality, one must check if that portion of reality is as p states. Using the terms of the comparison argument, one must compare p with that portion (...) of reality. This is impossible, because the only knowledge of reality we can have is in the form propositions, beliefs, or judgments, whose agreement with reality is as much in need of justification as the agreement of p with reality. Therefore, it is impossible to know which truth-bearers are true. This paper reconstructs Kant's version of the comparison argument. It is argued that, according to Kant, the argument is sound only under the assumption of transcendental realism. Transcendental idealism avoids the sceptical consequences of the comparison argument. (shrink)