Kant: Modality

This paper proposes a novel reading of Kant’s account of the dependence of possibility on God in the pre-Critical Beweisgrund. I argue that Kant has a theistic-potentialist conception of the way God grounds possibility, according to which God grounds possibility by his understanding and will. The reason is that Kant accepts what I call the Principle of Possible Existence: If something is possible, then it is possible that it exists. Furthermore, I explore the connection between causal powers and possibility, the (...) influence of Crusius on Kant, and the significance of the distinction between internal and external possibility. (shrink)

Kant’s postulate of possibility states that possible is whatever agrees with the formal conditions of experience. As has often been noted, this is a definition of real possibility. However, little attention has been paid to the relation of Kantian real possibility to the German philosophical tradition before him. I discuss three kinds of possibility present in this tradition – internal, external, and (Crusian) real possibility – and argue that Kant endorses internal and external possibility. Furthermore, I show, specifically with respect (...) to the concept of state (Zustand), that the three traditional conceptions are reminiscent of three conceptions of real possibility that Kant implicitly distinguishes. Lastly, I argue that, according to Kant, we need experience to prove real possibility (at least as regards the three conceptions of the real possibility of states) because otherwise we could not know whether the formal conditions of experience obtain. (shrink)

This paper investigates Kant’s account of “real essence” and of a thing’s “nature”. Notwithstanding their wide negligence in the literature, these concepts belong to the central ones of Kant’s metaphysics. I argue that, on the one hand, Kant is in continuity with the Aristotelian-Scholastic tradition of essence. But, on the other hand, he also follows Locke in distinguishing between “logical” and “real” essence. Contrary to recent attempts of aligning real essence with contemporary approaches to essence, I will defend the thesis (...) that Kant equates real essence and (formal) nature, and that real essence has a causal, but no constitutive role. I shall also respond to potential objections and discuss some developments of Kant’s views. (shrink)

This chapter analyzes several key themes in Kant’s views about modality. We begin with the pre-critical Only Possible Argument in Support of a Demonstration of the Existence of God, in which Kant distinguishes between formal and material elements of possibility, claims that all possibility requires an actual ground, and argues for the existence of a single necessary being. We then briefly consider how Kant’s views change in his mature period, especially concerning the role of form and thought in defining modality. (...) Kant’s mature views, however, present two difficult interpretive puzzles. The first puzzle concerns whether Kant has a generally reductive view of modality. While Kant’s views on logical modality, the role of actuality in grounding possibility, and the relation of modality to cognition all suggest reduction, we argue that the categorial status of modal concepts and the difficulty in even identifying amodal grounds for modal facts all suggest a non-reductive view. The second puzzle concerns whether Kant accepts modal facts or properties at the noumenal level. While Kant’s appeal to noumenal necessary connections, the contingency of noumenal willing, and the idea of a necessary noumenal being suggest that he endorses noumenal modality, his claims that modal concepts express only relations to the faculty of cognition and his claim that modal concepts arise from our distinctive psychological structures, we argue, suggest that he rejects noumenal modality. We conclude by considering potential solutions to these puzzles. (shrink)

This essay reassesses the relation between Kant and Kripke on the relation between necessity and the a priori. Kripke famously argues against what he takes to be the traditional view that a statement is necessary only if it is a priori, where, very roughly, what it means for a statement to be necessary is that it is true and could not have been false and what it means for a statement to be a priori is that it is knowable independently (...) of experience. Call such a view the Entailment Thesis. Along with many Kant scholars, Kripke thinks that Kant endorses the Entailment Thesis. Thus Kripke and many others take his arguments against the Entailment Thesis to tell against Kant and to mark an important point of disagreement with him. I will argue that this is a mistake. Kant does not endorse the Entailment Thesis that Kripke and many others attribute to him. He does endorse two quite different theses concerning the relation between necessity and the a priori, as he conceives them. One is a matter of definition and the other is a very substantial philosophical thesis indeed—to establish it is the aim of the entire Critique of Pure Reason. But Kripke’s arguments against the Entailment Thesis tell against neither of Kant’s theses, as they involve crucially different conceptions of necessity and the a priori. This superficial lack of disagreement masks deep disagreements, but these result from divergent views regarding matters such as realism, modal epistemology, and philosophical methodology; views which Kant does a lot, and Kripke very little, to argue for. (shrink)

In Kantian philosophy, the term “condition of possibility” is central, but carries the following ambiguity. According to one reading, “condition of possibility” merely means “necessary condition”. However, it is demonstrated that a deeper interpretation of the term “possibility” proves to be more fruitful. This reading allows us to reconstruct an important background assumption of Kant: Every condition of the possibility of experience holds necessarily, provided that experience is possible. Or more generally: All conditions of the possibility hold necessarily as long (...) as the conditioned is actually possible. -/- This conclusion is understood through the axiomatic system S5. Therefore I argue by referencing the schematism chapter that Kant’s notion of modal terms can be formalized through S5. (shrink)

Abstractabstract:In Morning Hours (1785), Moses Mendelssohn presents a proof for the existence of God from the grounding of possibility. Although Mendelssohn claims that this proof is original, it has not received much attention in the secondary literature. In this paper, I analyze this proof and present its historical context. I show that although it resembles Leibniz's proof from eternal truths and Kant's precritical possibility proof, it has unique characteristics that can be regarded as responses to deficiencies Mendelssohn identified in these (...) earlier proofs. I argue that by analyzing the semantics of judgments about dispositions, Mendelssohn provides a novel explanation for the basic premise shared by these proofs, namely that possibility is grounded in actuality. Additionally, this analysis simplifies the inference to a unique infinite mind grounding all possibility. Thus, the proof is worth studying both for historical reasons and for its original account of modal concepts. (shrink)

This book sets out a Kant-inspired theory of modality, driven by a methodology which takes seriously questions about the function of modal judgment as a guide to a metaphysics of modality. It argues that we need logical modal concepts as a condition on our ability to think, and metaphysical modal concepts as a condition on our ability to think objectively. Concordant with this, it argues that logical necessity has its source in the laws of thought and that metaphysical necessity is (...) relative to conditions on objective thought. This this account of metaphysical necessity, which is termed “Modal Transcendentalism”, is then further developed, covering questions concerning necessary and contingent existence, de re necessity, essentialism, and modal epistemology. (shrink)

In his lectures on Logic and Metaphysics, Kant distinguishes between logical and real essences. While the former is related to concepts and is knowable, the latter is related to things and is unknowable. In this paper, I argue that the unknowability is explained by the modal characteristic of real essences as a necessitating ground on which a priori knowledge is impossible. I also show how this claim is related to the unknowable necessity of particular laws of nature. Since laws of (...) nature are conceived as grounded in real essences, the unknowability of the latter is equivalent to Kant's other claim that there can be no knowledge of the necessity of particular laws of nature. Necessity can only be known a priori, and therefore, the necessity of particular laws is only assumed and conceived as grounded in something unknowable, a real essence. This conclusion will allow me to attribute to Kant a position I label as “regulative essentialism”, meaning that real essences have an indispensable role in accordance with the rational interest to explain nature as a system of laws and natural kinds, combined with an epistemic humility about the correspondence of our empirical concepts to real essences. (shrink)

This essay considers Kant’s theory of modality in light of a debate in contemporary modal metaphysics and modal logic concerning the Barcan formulas. The comparison provides a new and fruitful perspective on Kant’s complex and sometimes confusing claims about possibility and necessity. Two central Kantian principles provide the starting point for the comparison: that the possible must be grounded in the actual and that existence is not a real predicate. Both are shown to be intimately connected to the Barcan formulas, (...) and Kant’s views on what he distinguishes as three different kinds of modality are then considered in light of this connection. (shrink)

Kant states in §76 of the third Critique that the divine intuitive intellect would not represent modal distinctions. Kohl and Stang claim that this statement entails that noumena lack modal properties, which, in turn, conflicts with Kant’s attribution of contingency to human noumenal wills. They both propose resolutions to this conflict based on conjectures regarding how God might non-modally represent what our discursive intellects represent as modally determined. I argue that these proposals fail; the viable resolution consists in recognizing that (...) we modalize human noumenal wills as a merely regulative-practical principle in our judgements of imputation. (shrink)

The Sensible and Intelligible Worlds represents a new wave of interest in 'the metaphysical Kant'. In recent decades Kant scholars have increasingly become skeptical of interpreting Kant as a philosopher who wished to truly "leave metaphysics behind". The contributors to this volume share acommon commitment to the idea that Kant's philosophy cannot be properly understood without careful attention to its metaphysical presuppositions and, in particular, to how those metaphysical presuppositions are compatible with Kant's critique of more "dogmatic" forms of metaphysical (...) thought.The authors approach Kant's thought from a wide variety of different perspectives - emphasizing not just the familiar Leibnizian background to Kant's metaphysics, but also its broadly Aristotelian underpinnings and its relationship with metaphysical themes in post-Kantian German Idealism.Similarly, although most of the essays in this volume relate in some way to the familiar question of how best to interpret Kant's transcendental idealism, they also deal with a wide range of other topics, including Kant's modal metaphysics, his views on the continuum, his epistemology of the apriori, and the foundations of his "metaethical" views. (shrink)

In this paper I propose a novel interpretation of Kant’s proof of the existence of the outer world in the Refutation of Idealism. According to this interpretation, Kant’s proof does not provide a regressive explanation of our capacity to determine the temporal order of our experiences. Rather, it expresses a counterfactual reflection on what it takes for something to be actual in contrast to being merely imagined. On the ground of this reflection, Kant argues against the Cartesian sceptic that, even (...) if all our representations of empirical objects other than ourselves failed to be veridical, we would still know a priori that in every situation in which we, as thinking things, actually exist, something outside us in space must necessarily exist. (shrink)

Uygar Abaci's Kant's Revolutionary Theory of Modality starts with a helpful and illuminating historical contextualization of Kant's theory of modality. It sets out the ontotheological debates that form the backdrop of Kant's pre-Critical modal theorizing. Abaci covers the proofs of the existence of God by Anselm and Descartes, as well as Leibniz and Wolff. The first two start from the idea of God as the ens perfectissimum and then try to establish the existence of God by arguing that existence is (...) a perfection. The last two, by contrast, consider God to be the ens necessarium, such that God exists necessarily, provided the concept of God is not self-contradictory; they then attempt to establish the possibility of... (shrink)

A philosophically and historically influential section of the Critique of Judgement presents an ‘intuitive intellect’ as a mind whose representation is limited to what actually exists, and does not extend to mere possibilities. Kant’s paradigmatic instance of such an intellect is however also the divine mind. This combination threatens to rule out the reality of the mere possibilities presupposed by Kant’s theory of human freedom. Through an analysis of the relevant issues in metaphysical cosmology, modal metaphysics and philosophical theology, I (...) show that Kant in fact possesses the resources to reconcile the philosophical claims of §76 of the Critique of Judgement with his keystone commitment to the reality of human freedom. (shrink)

The thesis that existence is radically different from the determinacy of an actually existing thing –Kant considers this thesis to be the unsurmountable objection against the cosmological and the ontological argument– is the same thesis that demands a specific explanation of the existence of that actually existing thing. The notion of existence that results from its complete exclusion from the realm of the contents thoroughgoing determined by real predicates requires, thus, precisely because this thoroughness excludes it, a specific reason that (...) explains that in the actually existing thing its own actual existence is in fact united with its own determinacy; that notion of existence, however, cancels at the same time the requirement of a sufficient reason of the existence of what actually exists, and again for the same reason, namely, because since existence is as such excluded from the determinacy of the existing things, it radically differs from the specific realm where determinacy is constituted (that is why existing things are thoroughgoing determined as possible), and, therefore, it invalidates any application to itself of the logical laws that are valid only for the merely possible domain of determinacy. (shrink)

Kant rejects the ontological argument on the grounds that the ontological argument inescapably must assume that existence is a “determination” or “real predicate,” which it is not. Most understand Kant’s argument for this claim to be premised upon his distinctive proto-Fregean theory of existence. But this leaves Kant dialectically vulnerable: the defender of the ontological argument can easily reject this as question-begging. I show that Kant relies upon two distinct arguments, both of which contend that the claim that existence is (...) a determination is inconsistent with bedrock ontological set pieces assumed by rationalist defenders of the ontological argument. (shrink)

One of Kant’s categories—a priori concepts the possession and applicability of which are necessary conditions of possible experience—is a concept of necessity. But it is unclear why the concept of necessity, as Kant defines it, should be a category thus understood. My aim is to offer a reading of Kant that fills this lacuna: the category of necessity is required to make necessity as it features in the world of experience understandable: a concept that the understanding can grasp and employ (...) in cognition of objects. Kant’s view has potential wider significance for accounts of the function of necessity judgments. (shrink)

What does Kant claim to have shown in the Resolution of the Third Antinomy? A recent publication by Bernd Ludwig shows the shortcomings of a fairly broad interpretative consensus around the claim that all that is at stake in the RTA is the mode of logical possibility. I argue that there is a lack of clarity as to what logical possibility, and that the real possibility of transcendental freedom is examined in much of the RTA. Ludwig’s own proposal that Kant (...) shows the real possibility of TF however faces major problems. I formulate an alternative proposal that pays due attention to the claim of the antinomy’s thesis, the evolution of the argument of the RTA, and Kant’s later textual references to it. This also deals with the thorny issue of the relation between practical and TF. (shrink)

This paper has three aims. First, to show Kant’s originality in using the celebrated example of the hundred thalers as a criticism of the ontological proof, despite being inspired by a 1780 booklet by Johann Bering. Second, to assess Bering’s and Kant’s different reasons for supporting the truth meant to be illustrated by the case of the thalers. Third, to point out that the debate on the example demands a discussion of the problem of universals. Indeed, the value and scope (...) of Kant’s (and Bering’s) critique of the ontological argument is decisively determined by his position on this problem. (shrink)

In this paper I argue for a strong continuity between the transcendental deduction of the principle of purposiveness of nature and the transcendental deduction of the ideas from the first critique. On these grounds, I provide an interpretation of the transcendental deduction of the principle of purposiveness of nature in which I argue that: 1) the necessity of the principle of purposiveness of nature does not derive from its role in solving some specific philosophical problem but from its relation to (...) a cognitive goal; 2) the representation of nature as conforming to the maxims of judgement is a direct, immediate consequence of a certain cognitive goal that the necessity of the empirical laws mentioned by Kant in the transcendental deduction of the principle of purposiveness of nature is not so much their nomic necessity, but their necessity as consequences of higher laws. (shrink)

Metaphysical readings of Kant’s theoretical philosophy in the Critical period are ascendant. But their possibility assumes the possibility of existence- and real-possibility-judgments about things in themselves. I argue that Kant denies the latter possibility, so metaphysical readings have dubious prospects. First, I show that Kant takes existence- and real-possibility-judgments, as necessarily synthetic, to require a relation to sensible intuition. Second, I show that the most promising metaphysical readings can ultimately neither satisfy nor explain away that requirement for existence- and real-possibility-judgments (...) about things in themselves. I conclude with pessimistic reflections on the prospects for the metaphysical interpretive project. (shrink)

Kant on Laws is a collection of papers that Eric Watkins published from 1997 to 2018, "lightly rewritten," as he says, and accompanied with a new Introduction that states the general thesis that Kant has a univocal conception of law that applies to both laws of nature and the moral law. "Kant's most generic conception of law… includes two essential elements: necessity and the act of a spontaneous faculty whose legislative authority prescribes that necessity to a specific domain through an (...) appropriate act". These conditions are satisfied by both laws of nature and the moral law. They differ, however, in that laws of nature apply ultimately to objects that are given to us through... (shrink)

The nature of Kant’s criticism of his pre-Critical ‘possibility proof’ for the existence of God, implicit in the account of the Transcendental Ideal in the Critique of Pure Reason, is still under dispute. Two issues are at stake: the error in the proof and diagnosis of the reason for committing it. I offer a new way to connect these issues. In contrast with accounts that locate the motivation for the error in reason’s interest in an unconditioned causal ground of all (...) contingent existence, I argue that it lies in reason’s interest in another kind of unconditioned ground, collective unity. Unlike the conception of the former, that of the latter directly explains the problematic ontological assumption of the possibility proof, the existence of intelligible objects as the ground of possibility. I argue that such Platonic entities are assumed because they are amenable to the kind of unity prescribed by reason. However, since the interest in collective unity has a legitimate regulative use when applied to the systematic unity of nature, the conception of God entailed by the possibility proof is retained as a regulative idea of reason. (shrink)

I examine how Kant argues for the transcendental ideality of space. I defend a reading on which Kant accepts the ideality of space because it explains our (actual) knowledge that mathematical judgments are necessarily true. I argue that this reading is preferable over the alternative suggestion that Kant can infer the ideality of space directly from the fact that we have an a priori intuition of space. Moreover, I argue that the reading I propose does not commit Kant to incoherent (...) modal views. If we carefully distinguish between different senses of modality, the fact that our spatial form of intuition is (in some sense) contingent does not undermine the claim that this form can explain how our mathematical judgments are (in some sense) necessary. (shrink)

The relation between Kant’s conception of modalities in the Postulates of Empirical Thought and Hegel’s conception in the Logic of Essence has not been addressed in the current scholarship. I argue that there is in fact a close connection that becomes visible if the desideratum which is implied by Kant’s conceptions is understood. Thus, after an analysis of the Kantian modal postulates, the article shows that they are sufficient to characterize the necessity of Kant’s Grundsätze and, hence, a specific form (...) of synthetic propositions a priori. However, I will prove that they are insufficient to characterize Kant’s synthetic propositions a priori about transcendental philosophy. This insufficiency in the characterization of transcendental philosophy itself brings into the arena Hegel, who supplements the Kantian modalities with a self-reflexive form of transcendental modality. (shrink)

The so-called ‘possibility proof’ in Kant's pre-CriticalBeweisgrundhas been widely discussed in the literature, and it is a common view that he never really abandoned it. As I shall argue, this reading is mistaken. I aim to show that the natural illusion in theCritique of Pure Reason, which is usually taken to be the possibility proof turned into a transcendental illusion, has both a different conclusion and a different argument than the possibility proof. Rather, what remains fromBeweisgrundis what I will call (...) the ‘proofa posteriori’, which theCritiqueturns into a transcendental illusion that is of regulative use for reason. (shrink)

Uygar Abaci presents a comprehensive study of Immanuel Kant's theory of modality - of the notions of possibility, actuality, and necessity. Abaci argues that Kant redefined these notions as ways in which our representations of objects are related to our cognitive faculty and thus as irreducibly subjective, relational, and conceptual.

Kant contends that necessity is a criterion of the a priori—that is, that all knowledge of necessary propositions is a priori. This contention, together with two others that Kant took to be evident—we know some mathematical propositions and such propositions are necessary—leads directly to the conclusion that some knowledge is a priori. Although many contemporary philosophers endorse Kant’s criterion, supporting arguments are hard to come by. Gordon Barnes provides one of the few examples. My purpose in this chapter is to (...) articulate and examine his argument. I have two goals in doing so. The first is to uncover several significant gaps in the argument. The second is to show that it suffers from a common defect in rationalist arguments. If the argument were successful against empiricist accounts of modal knowledge, it would apply with equal force to extant rationalist accounts of such knowledge. Hence, the cost of refuting modal empiricism is modal scepticism. (shrink)

This edited collection, which grows out of a 2013 British Society for the History of Philosophy conference on the topic of "the actual and the possible" at which early versions of some of the nine essays were presented, explores various episodes in the history of modern metaphysics of modality. It is broad and self-consciously eclectic in its coverage of figures and issues. There are chapters dealing with Spinoza, Wolff, Leibniz and Kant, Kant, Hegel, Russell, Meinong and Łukasiewicz, Heidegger, and Quine. (...) Some of the chapters are synoptic, providing a big picture account of... (shrink)

This paper argues that, despite appearances to the contrary, Kant and contemporary analytic metaphysicians are interested in the same kind of metaphysical dependence relation that finds application in a range of contexts and that is today commonly referred to as grounding. It also argues that comparing and contrasting Kant’s and contemporary metaphysicians’ accounts of this relation proves useful for both Kant scholarship and for contemporary metaphysics. The analyses provided by contemporary metaphysicians can be used to shed light on Kant’s understanding (...) of what a real conditioning relation is, while Kant’s perspective on the practice and goals of metaphysics sheds light on several claims and issues at home in the contemporary debate. (shrink)

Kant presents three principles of modality in the Critique of Pure Reason. Historically, commentators have mostly disregarded them; a few have rejected them outright. In recent years, however, a consensus has begun to develop around the idea that the role of these principles is to rule out certain metaphysical doctrines. I argue that this understates their importance. Rather, the principles of modality are essential conditions of the possibility of experience. I conclude by examining the question of their truth, which, I (...) argue, can only be grasped by considering them as postulates—i.e., as practical propositions of a certain kind. (shrink)

In this paper, I put forth a novel interpretation of how the third categories under each heading in the table of categories are derived. Drawing on a passage from the first Critique and a letter to Schultz, I argue that in order to derive these categories, a special act of the understanding is required. I propose that we interpret this special act as consisting of an application of the third logical function under the corresponding heading that unites the combination of (...) the first and second categories so as to produce the third. (shrink)

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)

We claim that Kant's doctrine of the "transcendental ideal of pure reason" contains, in an anticipatory sense, a second-order theory of reality (as a second-order property) and of the highest being. Such a theory, as reconstructed in this paper, is a transformation of Kant's metatheoretical regulative and heuristic presuppositions of empirical theories into a hypothetical ontotheology. We show that this metaphysical theory, in distinction to Descartes' and Leibniz's ontotheology, in many aspects resembles Gödel's theoretical conception of the possibility of a (...) supreme being. The proposed second-order modal formalization of the Kantian doctrine of the "transcendental ideal" of the supreme being includes some specific features of Kantian general logic like "categorical", "hypothetical", and exclusive disjunctive propositions as basic forms. (shrink)

Matter’s real essence is a ground for certain features of phenomena. Things in themselves are likewise a ground for certain features of phenomena. How do these claims relate? The former is a causal essentialism about physics, Stang argues; and the features so grounded are phenomenally nomically necessary. The latter involves a distinctive ontology of things in themselves, I argue; but the features so grounded are not noumenally nomically necessary. Stang’s version of Kant’s modal metaphysics is admirable, but does not go (...) far enough. Kant’s causal essentialism involves the essences of fundamental properties, as well as of matter. And things in themselves are grounds, because they are substances, the ‘substrate’ of phenomena. (shrink)

What is the function of modal judgment? Why do we make judgments of possibility and necessity? Or are such judgments, in fact, dispensable? This paper introduces and develops an answer to these questions based on Kant’s remarks in section 76 of the Critique of Judgment. Here, Kant appears to argue the following: that a capacity to make modal judgments using modal concepts is required for a capacity for objective representation, in light of our split cognitive architecture. This split cognitive architecture (...) leaves room for a mismatch between our concepts and intuitions and, Kant argues, that is why we need modal concepts and modal judgments. In this paper, I develop this account of the function of modal judgment and to explore the extent to which it may improve upon contemporary alternatives. I focus on one particularly important challenge for the account: to explain why a distinction between the actual and the possible, rather than merely a distinction between the actual and the non-actual, is required. In order to answer this question, I supplement the account with a particular way of thinking about objectivity. (shrink)

There is perhaps no more famous objection to the Ontological Argument than Kant’s contention that existence is not a predicate. However, this is not his only objection against the Ontological Argument. It is rather part of a more comprehensive attack on the OA, one that contains at least four distinct arguments, only one of which involves. It is the purpose of this paper to explore Kant’s case for, consider three contemporary strategies used to reinforce it, assess their merits, and then (...) finally briefly present Kant’s three further arguments. (shrink)

In the 1750s Optimism, the Leibnizian doctrine that the actual world is the best possible world, popularized by Pope in 1733 in his Essay on Man, was a hot topic. In 1759 Kant wrote and published a brief essay defending Optimism, Attempt at some Reflections on Optimism. Kant’s aim in this essay is to establish that there is one and only one best possible world. In particular, he argues against the claim that, for every possible world, there is a possible (...) world better than it and against the claim that there are two or more equally good possible worlds that are better than all the rest. Although it is not clear why, Kant was later dissatisfied with his essay. In this article I shall reconstruct, discuss, and evaluate Kant’s arguments. My evaluation will be negative, and so I think Kant had reasons to be dissatisfied with his essay. (shrink)