The Barcan formula (BF) is commonly paraphrased as the schematic conditional that if it is possible that there be a phi then something or other is possibly a phi. It is validated by the most straightforward systems of quantified modal logic. It is also widely considered to pose a threat to the commonsensical metaphysical view that there are no non-actual (or ‘merely possible’) things. I show how BF can be cleared of such a charge by construing it as a bridge (...) principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters. (shrink)

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)

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)

In "Actualism or Possibilism?" (Philosophical Studies, 84 (2-3), December 1996), James Tomberlin develops two challenges for actualism. The challenges are to account for the truth of certain sentences without appealing to merely possible objects. After canvassing the main actualist attempts to account for these phenomena, he then criticizes the new conception of actualism that we described in our paper "In Defense of the Simplest Quantified Modal Logic" (Philosophical Perspectives 8: Philosophy of Logic and Language, Atascadero, CA: Ridgeview, 1994). We respond (...) to Tomberlin's criticism by showing that we wouldn't analyze the problematic claim (e.g., "Ponce de Leon searched for the fountain of youth") in the way he suggests. (shrink)

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...) every theorem of arithmetic can be proved using only the basic laws of logic. Hence, Kant was wrong to think that our grasp of arithmetical concepts and our knowledge of arithmetical truth depend on an extralogical source—the pure intuition of time (Frege 1884, §89, §109). Arithmetic, properly understood, is just a part of logic. (shrink)

Kant holds that the human cognitive power is divided into two "stems", understanding and sensibility. This doctrine has seemed objectionably dualistic to many critics, who see these stems as distinct parts, each able on its own to produce representations, which must somehow interact, determining or constraining one another, in order to secure the fit, requisite for cognition, between concept and intuition. This reading cannot be squared, however, with what Kant actually says about theoretical cognition and the way understanding and sensibility (...) cooperate in it. Such cognition, as Kant conceives of it, satisfies two conditions: it has unity, and it depends on the existence of its object. The first of these conditions entails that the cognitive power must lie in spontaneity, or understanding, while the second implies that this spontaneity depends on receptivity, or sensibility, to be the cognitive power that it is. Consideration of how these capacities must be conceived as cooperating in cognition reveals them to be related, not as interacting parts, but as form and matter. Such a conception of their relation may at first glance seem to be merely another version of dualistic thinking; in fact, however, a proper appreciation of it eliminates the appearance of dualism and helps allay an associated concern that Kant's distinction would taint our cognition with an unacceptable subjectivism. (shrink)

are synthetic a priori judgements possible?" In both cases, i~thas usually been t'aken for granted in fife one case by Kant that synthetic a priori judgements were possible, and in the other case in contemporary,'d-". philosophical literature that contingent statements of identity are ppss. ible. I do not intend to deal with the Kantian question except to mention:ssj~".

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)

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 paper draws out and connects two neglected issues in Kant’s conception of a priori knowledge. Both concern topics that have been important to contemporary epistemology and to formal epistemology in particular: knowability and luminosity. Does Kant commit to some form of knowability principle according to which certain necessary truths are in principle knowable to beings like us? Does Kant commit to some form of luminosity principle according to which, if a subject knows a priori, then they can know that (...) they know a priori? I defend affirmative answers to both of these questions, and by considering the special kind of modality involved in Kant’s conceptions of possible experience and the essential completability of metaphysics, I argue that his combination of knowability and luminosity principles leads Kant into difficulty. (shrink)

Analytic philosophy in the mid-twentieth century underwent a major change of direction when a prior consensus in favour of extensionalism and descriptivism made way for approaches using direct reference, the necessity of identity, and modal logic. All three were first defended, in the analytic tradition, by one woman, Ruth Barcan Marcus. But analytic philosophers now tend to credit them to Kripke, or Kripke and Carnap. I argue that seeing Barcan Marcus in her historical context – one dominated by extensionalism and (...) descriptivism – allows us to see how revolutionary she was, in her work and influence on others. I focus on her debate with Quine, who found himself retreating to softened, and more viable, versions of his anti-modal arguments as a result. I make the case that Barcan's formal logic was philosophically well-motivated, connected to her views on reference, and well-matched to her overall views on ontology. Her nominalism led her to reject posits which could not be directly observed and named, such as possibilia. She conceived of modal calculi as facilitating counterfactual discourse about actual existents. I conclude that her contributions ought to be recognized as the first of their kind. Barcan Marcus must be awarded a central place in the canon of analytic philosophy. (shrink)

I begin by arguing that, for Kant, the pure category of substance has both a general content that is in play whenever we think of any entity as a substance as well as a more specific content that arises in conjunction with the thought of what Kant calls a positive noumenon. Drawing on this new “Dual Content” account of the pure category of substance, I offer new answers to two contested questions: What is the relation of the pure category to (...) phenomenal substance? What, if any, epistemic gains can we achieve when we apply the pure category to noumena? Regarding the first question, I argue that while phenomenal substance does not qualify as a substance according to the Inner-Simple Conception, it does qualify as one according to the Subsistence-Power Conception. Regarding the second question, I argue that, in the case of the substantiality of positive noumena, Kant’s account allows for justified conditional beliefs involving the Inner-Simple Conception. In the case of negative noumena, it allows for justified existential beliefs involving the Subsistence-Power Conception. (shrink)

Kant's readers have disagreed about whether, according to his account of cognition, concepts, representations of the understanding, are involved in intuitions, representations of sensibility. But proponents of the affirmative 'conceptualist' answer and those of the negative 'non-conceptualist' answer have alike presupposed that such involvement should be construed in a particular way: i.e., as the involvement of particular concepts in particular exercises of sensibility. I argue, on the contrary, that it should not be: that though, for Kant, no concepts are applied (...) in exercises of sensibility, nonetheless the understanding, the faculty of concepts, is teleologically internal to sensibility and, therefore, to its exercises. That is, those exercises are per se directed towards the provision to the understanding of objects to which its fundamental concepts, the categories, are applicable, though no act of categorical application is internal to them. This conception of sensibility, available only in light of a careful distinction between capacities and acts, is demanded, I argue, by Kant's conception of a priori knowledge as elaborated in his Transcendental Deduction. (shrink)

For Kant, the human cognitive faculty has two sub-faculties: sensibility and the understanding. Each has pure forms which are necessary to us as humans: space and time for sensibility; the categories for the understanding. But Kant is careful to leave open the possibility of there being creatures like us, with both sensibility and understanding, who nevertheless have different pure forms of sensibility. They would be finite rational beings and discursive cognizers. But they would not be human. And this raises a (...) question about the pure forms of the understanding. Does Kant leave open the possibility of discursive cognizers who have different categories? Even if other discursive cognizers might not sense like us, must they at least think like us? We argue that textual and systematic considerations do not determine the answers to these questions and examine whether Kant thinks that the issue cannot be decided. Consideration of his wider views on the nature and limits of our knowledge of mind shows that Kant could indeed remain neutral on the issue but that the exact form his neutrality can take is subject to unexpected constraints. The result would be an important difference between what Kant says about discursive cognizers with other forms of sensibility and what he is in a position to say about discursive cognizers with other forms of understanding. Kantian humility here takes on a distinctive character. (shrink)

Kant’s conception of the centrality of intellectual self-consciousness, or “pure apperception”, for scientific knowledge of nature is well known, if still obscure. Here I argue that, for Kant, at least one central role for such self-consciousness lies in the acquisition of the content of concepts central to metaphysical theorizing. I focus on one important concept, that of <substance>. I argue that, for Kant, the representational content of the concept <substance> depends not just on the capacity for apperception, but on the (...) actual intellectual awareness of oneself in such apperception. I then defend this interpretation from a variety of objections. (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)

European Journal of Philosophy, EarlyView.

one of kant's most famous claims is his dictum about existence. In the course of his criticism of the ontological argument, he writes:Being is obviously not a real predicate, i.e., a concept of something that could be added to the concept of a thing.One reason why this passage is so famous is that many people think that it anticipates a discovery about the logical form of existence claims that was later central for the development of analytic philosophy and its project (...) of overcoming metaphysical confusions by logical analysis. There are two prominent interpretations that read Kant's dictum along these lines. The first, and by far most popular, interprets Kant as holding a proto-Fregean view about existence.2... (shrink)

A novel solution to the knowability paradox is proposed based on Kant’s transcendental epistemology. The ‘paradox’ refers to a simple argument from the moderate claim that all truths are knowable to the extreme claim that all truths are known. It is significant because anti-realists have wanted to maintain knowability but reject omniscience. The core of the proposed solution is to concede realism about epistemic statements while maintaining anti-realism about non-epistemic statements. Transcendental epistemology supports such a view by providing for a (...) sharp distinction between how we come to understand and apply epistemic versus non-epistemic concepts, the former through our capacity for a special kind of reflective self-knowledge Kant calls ‘transcendental apperception’. The proposal is a version of restriction strategy: it solves the paradox by restricting the anti-realist’s knowability principle. Restriction strategies have been a common response to the paradox but previous versions face serious difficulties: either they result in a knowability principle too weak to do the work anti-realists want it to, or they succumb to modified forms of the paradox, or they are ad hoc. It is argued that restricting knowability to non-epistemic statements by conceding realism about epistemic statements avoids all versions of the paradox, leaves enough for the anti-realist attack on classical logic, and, with the help of transcendental epistemology, is principled in a way that remains compatible with a thoroughly anti-realist outlook. (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)

This volume succeeds the same authors' well-known An Introduction to Modal Logic and A Companion to Modal Logic. We designate the three books and their authors NIML, IML, CML and H&C respectively. Sadly, George Hughes died partway through the writing of NIML.

It is often claimed that anti-realism is a form of transcendental idealism or that Kant is an anti-realist. It is also often claimed that anti-realists are committed to some form of knowability principle and that such principles have problematic consequences. It is therefore natural to ask whether Kant is so committed, and if he is, whether this leads him into difficulties. I argue that a standard reading of Kant does indeed have him committed to the claim that all empirical truths (...) are knowable and that this claim entails that there is no empirical truth that is never known. I extend the result to a priori truths and draw some general philosophical lessons from this extension. However, I then propose a re-examination of Kant’s notion of experience according to which he carefully eschews any commitment to empirical knowability. Finally I respond to a remaining problem that stems from a weaker, justified believability principle. (shrink)

Against a view currently popular in the literature, it is argued that Kant was not a niıve realist about perceptual experience. Naive realism entails that perceptual experience is object-dependent in a very strong sense. In the first half of the paper, I explain what this claim amounts to and I undermine the evidence that has been marshalled in support of attributing it to Kant. In the second half of the paper, I explore in some detail Kant’s account of hallucination and (...) argue that no such account is available to someone who thinks that veridical perceptual experience is object-dependent in the naive realist sense. Kant’s theory provides for a remarkably sophisticated, bottom-up explanation of the phenomenal character of hallucinatory episodes and is crucial for gaining a proper understanding of his model of the mind and its place in nature. (shrink)

Abstract: Kant follows a substantial tradition by defining judgment so that it must involve a relation of concepts, which raises the question of why he thinks that single-term existential judgments should still qualify as judgments. There is a ready explanation if Kant is somehow anticipating a Fregean second-order account of existence, an interpretation that is already widely held for separate reasons. This paper examines Kant's early (1763) critique of Wolffian accounts of existence, finding that it provides the key idea in (...) his mature model of existential judgment, which is in fact sharply opposed to the Fregean strategy. By relating this to Kant's theory of judgment in general—in particular, to his claim for an isomorphism between the assertoric function of judgment and the category of existence—a preliminary case is made that absolute positing, far from being a marginal special case, accomplishes the primary function of judgment. This argument shows the importance of distinguishing between contexts in which Kant is treating judgment as a vehicle for inference (e.g. pure general logic) and contexts in which he is treating it, more robustly, as the cognition of an object. (shrink)

Some philosophers, for example Quine, doubt the possibility of jointly using modalities and quantification. Simple model-theoretic considerations, however, lead to a reconciliation of quantifiers with such modal concepts as logical, physical, and ethical necessity, and suggest a general class of modalities of which these are instances. A simple axiom system, analogous to the Lewis systems S1 —S5, is considered in connection with this class of modalities. The system proves to be complete, and its class of theorems decidable.

The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have introduced variations (...) on Kripke-models to eliminate their objectionable features, the most well-known variations all have difficulties of their own. The present authors reexamine simple QML and discover that, in addition to having a possibilist interpretation, it has an actualist interpretation as well. By introducing a new sort of existing abstract entity, the contingently nonconcrete, they show that the seeming drawbacks of the simplest QML are not drawbacks at all. Thus, simple QML is independent of certain metaphysical questions. (shrink)

ABSTRACT Analytic philosophy in the mid-twentieth century underwent a major change of direction when a prior consensus in favour of extensionalism and descriptivism made way for approaches using direct reference, the necessity of identity, and modal logic. All three were first defended, in the analytic tradition, by one woman, Ruth Barcan Marcus. But analytic philosophers now tend to credit them to Kripke, or Kripke and Carnap. I argue that seeing Barcan Marcus in her historical context – one dominated by extensionalism (...) and descriptivism – allows us to see how revolutionary she was, in her work and influence on others. I focus on her debate with Quine, who found himself retreating to softened, and more viable, versions of his anti-modal arguments as a result. I make the case that Barcan's formal logic was philosophically well-motivated, connected to her views on reference, and well-matched to her overall views on ontology. Her nominalism led her to reject posits which could not be directly observed and named, such as possibilia. She conceived of modal calculi as facilitating counterfactual discourse about actual existents. I conclude that her contributions ought to be recognized as the first of their kind. Barcan Marcus must be awarded a central place in the canon of analytic philosophy. (shrink)

In recent years, more and more people have become attracted by the idea that the imagination should play a central role in explaining our knowledge of what is possible and necessary and what would be the case if things were different from how they actually are. The biggest challenge for this account is to explain how the imagination can be restricted in such a way that it can play this epistemic role, for there are certainly also unrestricted uses of the (...) imagination in which it fails to yield the requisite knowledge. In this paper, I inquire how Kant’s account of the imagination could inspire the contemporary debate at this point. I first give an overview about Kant’s account of the imagination and its different roles for our cognition of the real world. I then show that some recent attempts to separate the epistemically valuable uses of the imagination from the epistemically worthless ones bear some striking similarities to Kant’s ideas about how the imagination helps us to get insight into metaphysical possibility. By discussing what Kant says about the method of a priori imaginative construction in the case of concepts such as that of matter and that of disembodied minds, I also point to those aspects of his view which make his views really distinct from all contemporary accounts, but which he himself thought bear the greatest potential of making the imagination a source of modal knowledge. (shrink)

A central debate in early modern philosophy, between empiricism and rationalism, turned on the question which of two cognitive faculties—sensibility or understanding—should be accorded logical priority in an account of the epistemic credentials of knowledge. As against both the empiricist and the rationalist, Kant wants to argue that the terms of their debate rest on a shared common assumption: namely that the capacities here in question—qua cognitive capacities—are self-standingly intelligible. The paper terms this assumption the Layer-Cake Conception of Human Mindedness (...) and focuses on Kant’s argument against the empiricist version of the assumption, in particular, as that argument is developed in the B version of the Transcendental Deduction in the Critique of Pure Reason. The paper seeks to show how a proper understanding of the structure of the B Deduction reveals its aim to be one of making sense of each of these two capacities (sensibility and understanding) in the light of the other. For the front of the argument that is directed against the empiricist, this means coming to see how a reading of the text that is informed by the layer-cake conception (and which therefore takes the Transcendental Aesthetic to furnish us with the full story about the nature of our faculty for sensory apprehension) is mistaken. For the front of the argument which is directed against the rationalist, this requires coming to see how a mere inversion of the central claim of such a reading would be equally wrong. It would require seeing how a discursive faculty of understanding able to traffic in nothing more than empty concepts would no more amount to a genuinely cognitive power than would a faculty of intuition able to traffic in nothing more than blind intuitions. That is, it requires seeing how each of these faculties depends on its relation to the other to be the sort of faculty that it is in a finite rational being. (shrink)

We shall try to defend two non-standard views that run counter to two well-entrenched familiar views. The standard views are the universal and existential quantifiers of first-order logic are not modal operators, and the quantifiers are extensional. If that is correct then the counterclaims create genuine problems for some traditional philosophical doctrines.

Béatrice Longuenesse presents an original exploration of our understanding of ourselves and the way we talk about ourselves. In the first part of the book she discusses contemporary analyses of our use of 'I' in language and thought, and compares them to Kant's account of self-consciousness, especially the type of self-consciousness expressed in the proposition 'I think.' According to many contemporary philosophers, necessarily, any instance of our use of 'I' is backed by our consciousness of our own body. For Kant, (...) in contrast, 'I think' just expresses our consciousness of being engaged in bringing rational unity into the contents of our mental states. In the second part of the book, Longuenesse analyzes the details of Kant's view and argues that contemporary discussions in philosophy and psychology stand to benefit from Kant's insights into self-consciousness and the unity of consciousness. The third and final part of the book outlines similarities between Kant's view of the structure of mental life grounding our uses of 'I' in 'I think' and in the moral 'I ought to, ' on the one hand; and Freud's analysis of the organizations of mental processes he calls 'ego' and 'superego' on the other hand. Longuenesse argues that Freudian metapsychology offers a path to a naturalization of Kant's transcendental view of the mind. It offers a developmental account of the normative capacities that ground our uses of 'I, ' which Kant thought could not be accounted for without appealing to a world of pure intelligences, distinct from the empirical, natural world of physical entities. (shrink)