Kant: Modality

According to what Jonathan Bennett calls the Kant–Frege view of existence, Frege gave solid logical foundations to Kant’s claim that existence is not a real predicate. In this article I will challenge Bennett’s claim by arguing that although Kant and Frege agree on what existence is not, they agree neither on what it is nor on the importance and justification of existential propositions. I identify three main differences: first, whereas for Frege existence is a property of a concept, for Kant (...) it is a relational property pertaining between the concept and intuition of an object. Second, whereas for Frege truth about individuals presupposes their existence, for Kant truth is in many cases independent of the existence of objects. Third, whereas Frege binds logic to existence and removes modalities from logic, for Kant existence is a modal category that is emphatically removed from the domain of logic and set in the core of metaphysics. Due to these differences in Kant’s and Frege’s theories of existence, Frege cannot be seen as giving logical clarity to Kant’s view. (shrink)

In this extended critical discussion of 'Kant's Modal Metaphysics' by Nicholas Stang (OUP 2016), I focus on one central issue from the first chapter of the book: Stang’s account of Kant’s doctrine that existence is not a real predicate. In §2 I outline some background. In §§3-4 I present and then elaborate on Stang’s interpretation of Kant’s view that existence is not a real predicate. For Stang, the question of whether existence is a real predicate amounts to the question: ‘could (...) there be non-actual possibilia?’ (p.35). Kant’s view, according to Stang, is that there could not, and that the very notion of non-actual or ‘mere’ possibilia is incoherent. In §5 I take a close look at Stang’s master argument that Kant’s Leibnizian predecessors are committed to the claim that existence is a real predicate, and thus to mere possibilia. I argue that it involves substantial logical commitments that the Leibnizian could reject. I also suggest that it is danger of proving too much. In §6 I explore two closely related logical commitments that Stang’s reading implicitly imposes on Kant, namely a negative universal free logic and a quantified modal logic that invalidates the Converse Barcan Formula. I suggest that each can seem to involve Kant himself in commitment to mere possibilia. (shrink)

Andrew Chignell and Omri Boehm have recently argued that Kant’s pre-Critical proof for the existence of God entails a Spinozistic conception of God and hence substance monism. The basis for this reading is the assumption common in the literature that God grounds possibilities by exemplifying them. In this article I take issue with this assumption and argue for an alternative Leibnizian reading, according to which possibilities are grounded in essences united in God’s mind (later also described as Platonic ideas intuited (...) by God). I show that this view about the distinction between God’s cognition of essences as the ground of possibility and the actual world is not only explicitly stated by Kant, but is also consistent with his metaphysical picture of teleology in nature and causality during the pre-Critical period. Finally, I suggest that the distinction between the conceptual order of essences embodied in the idea of God and the order of the objects of experience plays a role in the transition into the Critical system, where it is transformed into the distinction between the intelligible and the sensible worlds. (shrink)

There are two traditional ways to read Kant's claim that every event necessarily has a cause: the weaker every-event some-cause and the stronger same-cause same-effect causal principles. The focus of the debate about whether and where he subscribes to the SCP has been in the Analogies in the Critique of Pure Reason and in the Metaphysical Foundations of Natural Science. By analysing the arguments and conclusions of both the Analogies and the Postulates as well as the two Latin principles non (...) datur casus and non datur fatum that summarise their results, I will argue for the novel thesis that the SCP is actually demonstrated in the Postulates of the First Critique. (shrink)

In the course of his philosophy, in various contexts, Kant comes to reject three theses about existence: (i) that the thoroughgoing determination of a thing implies its existence, (ii) that existence is a real predicate or determination of a thing, and (iii) that existence is the complement of inner possibility or essence. Kant’s target here is Baumgarten, who advocates these theses as the criterion, classification, and definition of existence. In this article I seek to clarify Kant’s elusive theory of existence (...) through its opposition to Baumgarten. I will show that Kant’s refutation of (i)–(iii) does not stand alone but is grounded on his own definition of existence as (absolute) positing. Thus contrary to common practice, Kant’s negative claims about what existence is not cannot be understood in isolation but must be taken as jointly dependent on Kant’s positive claim of what existence is. I will show that the theses (i)–(iii) fail because they presuppose that existence contributes to the intension or content of a concept, whereas according to Kant existence in fact posits a (non-empty) extension to the concept. (shrink)

This is the second in a two part series of articles that attempt to clarify the nature and enduring relevance of Kant's concept of a priori knowledge. (For Part I, see below.) In this article I focus mainly on Saul Kripke's critique of Kant, in Naming and Necessity. I argue that Kripke draws attention to a genuine defect in Kant's epistemological framework, but that he used definitions of certain key terms that were quite different from Kant's definitions. When Kripke's definitions (...) are replaced by Kant's definitions, Kripke's account of the status of naming turns out to be a defense of analytic aposteriority as a significant classification of knowledge that Kant neglected. I also introduce here a new way of understanding such epistemological labels, as defining the perspective adopted by the knowing subject in a given situation, rather than an objective characteristic of certain propositions as such. (shrink)

My goal in this paper is to show that Kant’s prohibition on certain kinds of knowledge of things-in-themselves is motivated less by his anti-soporific encounter with Hume than by his new view of the distinction between “real” and “logical” modality, a view that developed out of his reflection on the rationalist tradition in which he was trained. In brief: at some point in the 1770’s, Kant came to hold that a necessary condition on knowing a proposition is that one be (...) able to prove that all the items it refers to are either really possible or really impossible. Most propositions about things-in-themselves, in turns out, cannot meet this condition. I conclude by suggesting that the best interpretation of this modal condition is as a kind of coherentist constraint. (shrink)

Kant holds that in order to have knowledge of an object, a subject must be able to “prove” that the object is really possible—i.e., prove that there is neither logical inconsistency nor “real repugnance” between its properties. This is (usually) easy to do with respect to empirical objects, but (usually) impossible to do with respect to particular things-in-themselves. In the first section of the paper I argue that an important predecessor of Kant’s account of our ignorance of real possibility can (...) be found in Locke’s Essay Concerning Human Understanding. In the middle sections I discuss the way in which our inability to prove the real possibility of things-in-themselves motivates Kant’s famous prohibition on certain kinds of knowledge-claims about them. In the final section I examine Hegel’s attempts to dissolve this problem of real repugnance and thereby remove an inherited obstacle to speculative knowledge of the supersensible. -/- . (shrink)

Kant says that it can be rational to accept propositions on the basis of non-epistemic or broadly practical considerations, even if those propositions include “transcendental ideas” of supersensible objects. He also worries, however, about how such ideas (of freedom, the soul, noumenal grounds, God, the kingdom of ends, and things-in-themselves generally) acquire genuine positive content in the absence of an appropriate connection to intuitional experience. How can we be sure that the ideas are not empty “thought-entities (Gedankendinge)”—that is, speculative fancies (...) that do not and perhaps even cannot have referents in reality? In this paper I argue for an account of the fundamental problem here (i.e. that it is based in a concern about whether or not the objects of such ideas are "really possible" in Kant's technical sense). I then critically evaluate Kant's three proposed solutions to the problem. -/- . (shrink)

In the presentation I will analyse Kant’s conception of modalities and consider its relevance to his critical metaphysics. With his Tables of Judgements and of Categories Kant makes an important division between two kinds of modality, of which the former is only logical and the latter transcendental, i.e., objective. Only judgements that are necessary in both ways are properly metaphysical. This distinction is important for Kant’s distinction between Transcendental Analytic and Transcendental Dialectic, i.e., between acceptable and unacceptable metaphysics. I submit (...) that not only is Kant’s theory of modality useful for properly understanding his arguments in the Dialectic, but that only by distinguishing between the two types of modality can one can make sense of his theory that the ideas of reason are simultaneously inevitable and erroneous. This modal analysis thus offers a new and important point of view to Kant’s metaphysics and its critique. (shrink)

I reply to recent criticisms by Uygar Abaci and Peter Yong, among others, of my reading of Kant's pre-Critical of God's existence, and of its fate in the Critical period. Along the way I discuss some implications of this debate for our understanding of Kant's modal metaphysics and modal epistemology generally.

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 the first part of the paper I reconstruct Kant’s proof of the existence of a ‘most real being’ while also highlighting the theory of modality that motivates Kant’s departure from Leibniz’s version of the proof. I go on to argue that it is precisely this departure that makes the being that falls out of the pre-critical proof look more like Spinoza’s extended natura naturans than an independent, personal creator-God. In the critical period, Kant seems to think that transcendental idealism (...) allows him to avoid this conclusion, but in the last section of the paper I argue that there is still one important version of the Spinozistic threat that remains. -/- . (shrink)

Ernst Cassirer claimed that Kant's notion of actual object presupposes the notion of truth. Therefore, Kant cannot define truth as the correspondence of a judgement with an actual object. In this paper, I discuss the relations between Kant's notions of truth, object, and actuality. I argue that's notion of actual object does not presuppose the notion of truth. I conclude that Kant can define truth as the correspondence of a judgement with an actual object.

Kant's speculative theistic proof rests on a distinction between “logical” and “real” modality that he developed very early in the pre-critical period. The only way to explain facts about real possibility, according to Kant, is to appeal to the properties of a unique, necessary, and “most real” being. Here I reconstruct the proof in its historical context, focusing on the role played by the theory of modality both in motivating the argument (in the pre-critical period) and, ultimately, in undoing it (...) as a source of knowledge of God's existence (in the critical period). Along the way I examine Kant's version of the now-popular “actualist” thesis that facts about what is possible must be explained by facts about what is actual. I conclude by discussing why the critical Kant claims both that there are rational grounds for accepting the conclusion of his theistic proof, and that such acceptance can not count as knowledge. This is important, I argue, because the same considerations ultimately motivate his prohibition on knowledge of things-in-themselves generally. -/- . (shrink)