This essay is an attempt to explain Kantian transcendental idealism to contemporary metaphysicians and make clear its relevance to contemporary debates in what is now called ‘meta-metaphysics.’ It is not primarily an exegetical essay, but an attempt to translate some Kantian ideas into a contemporary idiom.

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)

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)

European Journal of Philosophy, EarlyView.

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 the Critique of Pure Reason, following his elucidation of the ‘postulates’ of possibility, actuality, and necessity, Kant makes a series of puzzling remarks. He seems to deny the somewhat metaphysically intuitive contention that the extension of possibility is greater than that of actuality, which, in turn, is greater than that of necessity. Further, he states that the actual adds nothing to the possible. This leads to the view, fairly common in the literature, that Kant holds that all modal categories, (...) in their empirical applications, are coextensive. I diverge from the common view. First, Kant is not committed to the coextensiveness thesis, understood as above. Instead, he espouses a weaker, epistemological version of the coextensiveness thesis, namely that what we can assert to be really possible is coextensive with what we cognize to be actual. Second, Kant's remarks are not intended to introduce a positive ontological thesis about the extensions of modal categories. Rather, he means to criticize a certain conception of modalities that was prevalent among his rationalist predecessors, i.e., the conception of modalities as various determinations that enter the intensions of concepts of things. (shrink)

The paper presents an account of the concept of existence that is based on Brentano’s work. In contrast to Frege and Russell, Brentano took ‘exists’ to express a that subsumes objects and explained it with recourse to the non-propositional attitude of acknowledgment. I argue that the core of Brentano’s view can be developed to a defensible alternative to the Frege-Russell view of existence.