Kant: Inference

This paper reconstructs and defends Kant's argument for the transcendental status of reason's principles of the systematic unity of nature in the Appendix to the Transcendental Dialectic. On the present account, these principles are neither mere methodological recommendations for conducting scientific inquiry nor do they have the normative force of categorical imperatives, two extant interpretations of Kant's discussion of reason in the Appendix. Instead, they are regulative yet transcendental principles restricted to theoretical cognition. The principles of the systematic unity of (...) nature count as transcendental in virtue of their role as conditions of the inferential articulation of empirical concepts. (shrink)

Kant holds that the applicability of the moral ‘ought’ depends on a kind of agent-causal freedom that is incompatible with the deterministic structure of phenomenal nature. I argue that Kant understands this determinism to threaten not just morality but the very possibility of our status as rational beings. Rational beings exemplify “cognitive control” in all of their actions, including not just rational willing and the formation of doxastic attitudes, but also more basic cognitive acts such as judging, conceptualizing, and synthesizing.

In this paper, I examine Kant's famous objection to the ontological argument: existence is not a determination. Previous commentators have not adequately explained what this claim means, how it undermines the ontological argument, or how Kant argues for it. I argue that the claim that existence is not a determination means that it is not possible for there to be non-existent objects; necessarily, there are only existent objects. I argue further that Kant's target is not merely ontological arguments as such (...) but the larger ‘ontotheist’ metaphysics they presuppose: the view that God necessarily exists in virtue of his essence being contained in, or logically entailed by, his essence. I show that the ontotheist explanation of divine necessity requires the assumption that existence is a determination, and I show that Descartes and Leibniz are implicitly committed to this in their published versions of the ontological argument. I consider the philosophical motivations for the claim that existence is a determination and then I examine Kant's arguments in the Critique of Pure Reason against it. (shrink)

In §12 of his 1837 magnum opus, the Wissenschaftslehre, Bolzano remarks that “In the new logic textbooks one reads almost constantly that ‘in logic one must consider not the material of thought but the mere form of thought, for which reason logic deserves the title of a purely formal science’” (WL §12, 46).1 The sentence Bolzano quotes is his own summary of others’ philosophical views; he goes on to cite Jakob, Hoffbauer, Metz, and Krug as examples of thinkers who held (...) that logic abstracts from the matter of thought and considers only its form. Although Bolzano does not mention Kant by name here, Kant does of course hold that “pure general logic”, what Bolzano would consider logic in the traditional sense (the theory of propositions, representations, inferences, etc.), is formal. As Kant remarks in the Introduction to the 2nd edition of Kritik der reinen Vernunft , (pure general) logic is “justified in abstracting – is indeed obliged to abstract – from all objects of cognition and all of their differences; and in logic, therefore, the understanding has to do with nothing further than itself and its own form” (KrV, Bix).2. (shrink)

This article reconstructs Kant's view on the existential import of categorical sentences. Kant is widely taken to have held that affirmative sentences (the A and I sentences of the traditional square of opposition) have existential import, whereas negative sentences (E and O) lack existential import. The article challenges this standard interpretation. It is argued that Kant ascribes existential import only to some affirmative synthetic sentences. However, the reasons for this do not fall within the remit of Kant's formal logic. Unlike (...) traditional logic and modern standard quantification theory, Kant's formal logic is free from existential commitments. (shrink)

This paper discusses Immanuel Kant’s views on the role of experiments in natural science, focusing on their relationship with hypotheses, laws of nature, and the heuristic principles of scientific enquiry. Kant’s views are contrasted with the philosophy of experiment that was first sketched by Francis Bacon and later developed by Robert Boyle and Robert Hooke. Kant holds that experiments are always designed and carried out in the light of hypotheses. Hypotheses are derived from experience on the basis of a set (...) of heuristic principles. The function of experiments is testing hypotheses in order to either reject them as false, or else to transform them into empirical laws of nature. To this end, we must integrate the hypotheses that are confirmed by experiments with the a priori principles which are the foundations of natural science. Compared with Bacon, Boyle, and Hooke, Kant has elaborate views on the one hand, on how our theoretical and pre-theoretical assumptions bear on experimental practice, and on the other hand, on how the results of experimental activity can be integrated with theories to advance our knowledge of nature. However, Kant overstates the dependence of experiments on theories. (shrink)

In the transcendental deduction, the central argument of the Critique of Pure Reason, Kant seeks to secure the objective validity of our basic categories of thought. He distinguishes objective and subjective sides of this argument. The latter side, the subjective deduction, is normally understood as an investigation of our cognitive faculties. It is identified with Kant’s account of a threefold synthesis involved in our cognition of objects of experience, and it is said to precede and ground Kant’s proof of the (...) validity of the categories in the objective deduction. I challenge this standard reading of the subjective deduction, arguing, first, that there is little textual evidence for it, and, second, that it encourages a problematic conception of how the deduction works. In its place, I present a new reading of the subjective deduction. Rather than being a broad investigation of our cognitive faculties, it should be seen as addressing a specific worry that arises in the course of the objective deduction. The latter establishes the need for a necessary connection between our capacities for thinking and being given objects, but Kant acknowledges that his readers might struggle to comprehend how these seemingly independent capacities are coordinated. Even worse, they might well believe that in asserting this necessary connection, Kant’s position amounts to an implausible subjective idealism. The subjective deduction ismeant to allay these concerns by showing that they rest on a misunderstanding of the relation between these faculties. This new reading of the subjective deduction offers a better fit with Kant’s text. It also has broader implications, for it reveals the more philosophically plausible account of our relation to the world as thinkers that Kant is defending – an account that is largely obscured by the standard reading of the subjective deduction. (shrink)

In his critical works of the 1780's, Kant claims, seemingly inconsistently, that (1) theoretical and practical reason are one and the same reason, applied differently, (2) that he still needs to show that they are, and (3) that theoretical and practical reason are united. I first argue that current interpretations of Kant's doctrine of the unity of reason are insufficient. But rather than concluding that Kant’s doctrine becomes coherent only in the Critique of Judgment, I show that the three statements (...) are compatible, providing a new and more coherent account of Kant's 1780's doctrine of the unity of reason. (shrink)