Modalists think that knowledge requires forming your belief in a “modally stable” way: using a method that wouldn't easily go wrong, or using a method that wouldn't have given you this belief had it been false. Recent Modalist projects from Justin Clarke-Doane and Dan Baras defend a principle they call “Modal Security,” roughly: if evidence undermines your belief, then it must give you a reason to doubt the safety or sensitivity of your belief. Another recent Modalist project from Carlotta Pavese (...) and Bob Beddor defends “Modal Virtue Epistemology”: knowledge is a belief that is maximally modally robust across “normal” worlds. We'll offer new objections to these recent Modalist projects. We will then argue for a rival view, Explanationism: knowing something is believing it because it's true. We will show how Explanationism offers a better account of undermining defeaters than Modalism, and a better account of knowledge. (shrink)

I begin by retracing an argument from Aristotle for final causes in science. Then, I advance this ancient thought, and defend an argument for a stronger conclusion: that no scientific explanation can succeed, if Naturalism is true. The argument goes like this: (1) Any scientific explanation can be successful only if it crucially involves a natural regularity. Next, I argue that (2) any explanation can be successful only if it crucially involves no element that calls out for explanation but lacks (...) one. From (1) and (2) it follows that (3) a scientific explanation can be successful only if it crucially involves a natural regularity, and this regularity does not call out for explanation while lacking one. I then argue that (4) if Naturalism is true, then all natural regularities call out for explanation but lack them. From (3) and (4) it follows that (5) if Naturalism is true, then no scientific explanation can be successful. If you believe that scientific explanation can be (indeed, often has been) successful, as I do, then this is a reason to reject Naturalism. (shrink)

Many philosophers believe that our ordinary English words man and woman are “gender terms,” and gender is distinct from biological sex. That is, they believe womanhood and manhood are not defined even partly by biological sex. This sex/gender distinction is one of the most influential ideas of the twentieth century on the broader culture, both popular and academic. Less well known are the reasons to think it’s true. My interest in this paper is to show that, upon investigation, the arguments (...) for the sex/gender distinction have feet of clay. In fact, they all fail. We will survey the literature and tour arguments in favor of the sex/gender distinction, and then we’ll critically evaluate those arguments. We’ll consider the argument from resisting biological determinism, the argument from biologically intersex people and vagueness, the argument from the normativity of gender, and some arguments from thought experiments. We’ll see that these arguments are not up to the task of supporting the sex/gender distinction; they simply don’t work. So, philosophers should either develop stronger arguments for the sex/gender distinction, or cultivate a variety of feminism that’s consistent with the traditional, biologically-based definitions of woman and man. (shrink)

Neofregeanism and structuralism are among the most promising recent approaches to the philosophy of mathematics. Yet both have serious costs. We develop a view, structuralist neologicism, which retains the central advantages of each while avoiding their more serious costs. The key to our approach is using arbitrary reference to explicate how mathematical terms, introduced by abstraction principles, refer. Focusing on numerical terms, this allows us to treat abstraction principles as implicit definitions determining all properties of the numbers, achieving a key (...) neofregean advantage, while preserving the key structuralist advantage, which objects play the number role does not matter. (shrink)

In this paper I argue that propositionalism is what generates a tension between referentialism and harmony. Harmony can be preserved if we replace propositionalism by centred referentialism, according to which referential thoughts and utterances about an object have descriptive contents that must be evaluated relative to a world centred on that object at the relevant time. By disentangling truth-conditions and contents, this move allows us to dissolve the tension between referentialism and descriptivism. The view that emerges has three main components: (...) the truth-conditions of a referential utterance or thought involves its referent ; its reference is determined by causal relations of acquaintance in the context of use ; and its cognitive value is fully explained by associated descriptions or truth-conditional contents. (shrink)

My double aim in this paper is to argue for the claims that, when they are formed in certain ways, some judgements expressed by “I am here now” are both (a) apriori (although not solely in virtue of their meaning), and (b) necessary (albeit trivially so). I will submit that such judgements are “analytic” in the same sense that some judgements are “immune to error through misidentification” when this notion is understood in a relativistic way: in both cases, no component (...) of the content determines the referents upon which the truth of the corresponding judgement depends. I will attempt to show that, beyond conventionally-analytic sentences which are supposed to be (known apriori to be) true just in virtue of (knowledge of their) meaning, there are also contextuallyanalytic judgements that are (known apriori to be) true in virtue of (apriori knowledge of the) reflexive relation between the context of the judgement and the circumstance of evaluation which it targets. (shrink)

Philosophical Investigations, EarlyView.

Philosophical Investigations, EarlyView.

We show, that given two fundamental theses of Kripke, no statement of the form ‘‘a=b’ is necessarily true’, is true, if ‘a’ and ‘b’ are distinct rigid designators.

I exploit parallel considerations in the philosophy of mind and metaethics to argue that the reasoning employed in an important argument for panpsychism overgeneralizes to support an analogous position in metaethics: panmoralism. Next, I raise a number of problems for panmoralism and thereby build a case for taking the metaethical parallel to be a reductio ad absurdum of the argument for panpsychism. Finally, I contrast panmoralism with a position recently defended by Einar Duenger Bohn and argue that the two suffer (...) from similar problems. I conclude by drawing some general lessons for panpsychism. (shrink)

Standard motivational internalism is the claim that by a priori or conceptual necessity, a psychological state is a moral opinion only if it is suitably related to moral motivation. Many philosophers, the authors of this paper included, have assumed that this claim is supported by intuitions to the effect that amoralists—people not suitably related to such motivation—lack moral opinions proper. In this paper we argue that this assumption is mistaken, seeming plausible only because defenders of standard internalism have failed to (...) consider the possibility that our own actual moral practice as a whole is one where moral opinions fail to motivate in the relevant way. To show this, we present a cynical hypothesis according to which the tendency for people to act in accordance with their moral opinions ultimately stems from a desire to appear moral. This hypothesis is most likely false, but we argue, on both intuitive and methodological grounds, that it is conceptually possible that it correctly describes our actual moral opinions. If correct, this refutes standard motivational internalism. Further, we propose an explanation of why many have seemingly internalist intuitions. Such intuitions, we argue, stem from the fact that standard amoralist cases allow (or even suggest) that we apprehend the putative moral opinions of amoralists as radically different from how we understand actual paradigmatic moral opinions. Given this, it is reasonable to understand them as not being moral opinions proper. However, since these intuitions rest on substantial a posteriori assumptions about actual moral opinions, they provide no substantial a priori constraints on theories of moral judgment. (shrink)

A number of important legal theorists have recently argued for metaphysically realist approaches to legal determinacy grounded in particular semantic theories or theories of reference, in particular, views of meaning and reference based on the works of Putnam and Kripke. The basic position of these theorists is that questions of legal interpretation and legal determinacy should be approached through semantic meaning. However, the role of authority (in the form of lawmaker choice) in law in general, and democratic systems in particular, (...) require that these realist solutions to the problem of legal determinacy be rejected, or at least significantly revised. (shrink)

In this paper I argue that it is not a priori that all the laws of nature are contingent. I assume that the fundamental laws are contingent and show that some non-trivial, a posteriori, non-basic laws may nonetheless be necessary in the sense of having no counterinstances in any possible world. I consider a law LS (such as 'salt dissolves in water') that concerns a substance S. Kripke's arguments concerning constitution show that the existence of S requires that a certain (...) deeper level law or variants thereof hold. At the same time, that law and its variants may each entail the truth of LS. Thus the existence of S entails LS. Consequently there is no world in which S exists and fails to obey LS. I consider the conditions concerning the fundamental laws that would make this phenomenon ubiquitous. I conclude with some consequences for metaphysics. (shrink)

This article discusses the quiddity of the empty set from its epistemological and linguistic aspects. It consists of four parts. The first part compares the concept of _nihil privativum_ and the empty set in terms of representability, arguing the empty set can be treated as a negative and formal concept. It is argued that, unlike Frege’s definition of zero, the quantitative negation with a full scope is what enables us to represent the empty set conceptually without committing to an antinomy. (...) The second part examines the type and scope of the negation in the concept of _nihil privativum_ and the empty set. In the third part the empty set is interpreted as a rigid abstract general term. The uniqueness of the empty set is explained via a widened version of Kripke’s notion of rigidity. The fourth part proposes a construction for the pure singleton, comparing it with Zermelo’s conception of singletons with the Ur-elements. It is argued that the proposed construction does not face the criterion and ontological inflation problems. The first conclusion of the article is that the empty set can be construed as a negative, formal and unique abstract general term, with quantitative negation full in scope. The second conclusion is that the pure singleton constructed out of the empty set construed in this way overcomes the criterion and ontological inflation problems. (shrink)

In this paper I aim to show that a certain law of nature, namely that common salt (sodium chloride) dissolves in water, is metaphysically necessary. The importance of this result is that it conflicts with a widely shared intuition that the laws of nature (most if not all) are contingent. There have been debates over whether some laws, such as Newton’s second law, might be definitional of their key terms and hence necessary. But the law that salt dissolves in water (...) is not that kind of law. The law statement ‘salt dissolves in water’ is clearly synthetic. It appears a classic case of a contingent law. We like to believe that there are possible worlds in which the laws of nature are different and in which salt does not dissolve in water. (shrink)

Those who favour an ontology based on dispositions are thereby able to provide a dispositional essentialist account of the laws of nature. In part 1 of this paper I sketch the dispositional essentialist conception of properties and the concomitant account of laws. In part 2, I characterise various claims about the modal character of properties that fall under the heading ‘quidditism’ and which are consequences of the categoricalist view of properties, which is the alternative to the dispositional essentialist view. I (...) argue that quidditism should be rejected. In part 3, I address a criticism of a strong dispositional essentialist view, viz. that ‘structural’ (i.e. geometrical, numerical, spatial and temporal) properties must be regarded as categorical. (shrink)

Descartes was certain that he was thinking and he was accordingly certain that he existed. Like Descartes, we seem to be more certain of our thoughts and our existence than of anything else. What is less clear is the reason why we are thus certain. Philosophers throughout history have provided different interpretations of the cogito, disagreeing both on the kind of thoughts it characterizes and on the reasons for its cogency. According to what we may call the empiricist interpretation of (...) the cogito, I can only claim to be certain of having experiences, and this certainty, as well as that of my own existence, stems from their phenomenal and subjective character. According to rationalist interpretations, on the other hand, I am certain of having some self-reflexive propositional attitudes, and this certainty derives from their rational features. Psychiatric patients suffering from acute forms of depersonalization or of the Cotard syndrome often doubt that they think and exist, and might even believe that they don't. I argue that their study allows us to favor the empiricist interpretation of the cogito. (shrink)

Here we challenge the orthodoxy according to which abduction is an a posteriori mode of inference. We start by providing a case study illustrating how abduction can justify a philosophical claim not justifiable by empirical evidence alone. While many grant abduction's epistemic value, nearly all assume that abductive justification is a posteriori, on grounds that our belief in abduction's epistemic value depends on empirical evidence about how the world contingently is. Contra this assumption, we argue, first, that our belief in (...) abduction’s epistemic value is not and could not be justified a posteriori, and second, that attention to the roles experience plays in abductive justification supports taking abduction to be an a priori mode of inference. We close by highlighting how our strategy for establishing the a priority of abduction positively contrasts with strategies in Bonjour (1998), Swinburne (2001), and Peacocke (2004) aiming to establish the a priority of certain ampliative modes of inference or abductive principles. (shrink)

The aim of this paper is to reconstruct and correct one argument in support of the symmetrization postulate in quantum mechanics. I identify the central premise of the argument as a thesis specifying a particular ontic property of quantum superpositions. The precise form of this thesis depends on some underlying assumptions of a metaphysical character. I compare the exchange degeneracy argument with alternative formal arguments for the symmetrization postulate, and I discuss the role and meaning of labels in the symmetric/antisymmetric (...) representations of the states of many particles. (shrink)

Notwithstanding the recent prominence of the term “problem” in the humanities, few scholars have analysed its history. This essay tries to partially fill that lack, principally covering the period from late modernity through to the 1960s, in order to understand the role that the term plays in “Continental” philosophy, with special emphasis on the writings of Gilles Deleuze. This analysis focuses on the strategies employed by different agents to define “philosophical” problems, or “philosophical” ways of posing problems. The term, originally (...) used in antiquity by knowledge-producers located in an autonomous position, implied an idea of cognition oscillating between production and reproduction. Once the term escaped the context of geometry, it was involved in symbolic struggles that radicalized during modernity. The Kantians placed “philosophy” in a supposedly neutral position of science treating “the problem of all the problems” and invented a new genre, the “history of philosophy,” focusing on the analysis of “philosophical problems.” This approach had great institutional success in the German and French universities and clashed, during the twentieth century, with another usage of philosophy as a practice of “dissolution of problems,” developed in the United Kingdom and the Austro-Habsburg Empire. (shrink)

In this paper, I try to outline what I take to be Naming and Necessity’s fundamental legacy to my generation and those that follow, and the new perspectives it has opened up for twenty-first century philosophy. The discussion is subdivided into three sections, concerning respectively philosophy of language, metaphysics, and metaphilosophy. The general unifying theme is that Naming and Necessity is helping philosophy to recover a Golden Age, by freeing it from the strictures coming from the empiricist and Kantian traditions (...) and reconnecting it to the world and the objects that populate it. Because of this, in the concluding paragraph I tentatively suggest that Kripke’s philosophy may be seen as a sui generis form of naturalism. (shrink)

The aim of this paper is to show what sorts of logics are required by externalist and internalist accounts of the meanings of natural kind nouns. These logics give us a new perspective from which to evaluate the respective positions in the externalist-internalist debate about the meanings of such nouns. The two main claims of the paper are the following: first, that adequate logics for internalism and externalism about natural kind nouns are second-order logics; second, that an internalist second-order logic (...) is a free logic—a second order logic free of existential commitments for natural kind nouns, while an externalist second-order logic is not free of existential commitments for natural kind nouns—it is existentially committed. (shrink)

I outline a neo-Fregean strategy in the debate on the existence of possible worlds. The criterion of identity and the criterion of application are formulated. Special attention is paid to the fact that speakers do not possess proper names for worlds. A broadly Quinean solution is proposed in response to this difficulty.

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...) We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

The argument from absence of analysis (AAA) infers primitivism about some x from the absence of a reductive analysis ofx. But philosophers use the word ‘primitive’ to mean many distinct things. I argue that there is a robust sense of ‘primitive’ present in the metaphysics literature that cannot be inferred via the AAA. Successfully demonstrating robust primitivism about somexrequires showing two things at once: that a reduction ofxis not possible and that an explanatorily deep characterization ofxis not available. In order (...) to secure this second explanatory claim, the AAA must wrongly assume that reductive analysis is our only source of explanatory characterization. I argue that this is false by offering a distinct way of providing explanatory characterizations backed by suitably understood metaphysical constraints. While there remains a minimal sense of ‘primitive’ inferable via the AAA, this sense is exhausted by the denial of reduction. With minimal primitivism as its target, the AAA is uninteresting. (shrink)

The Humean view that conceivability entails possibility can be criticized via input from cognitive psychology. A mainstream view here has it that there are two candidate codings for mental representations (one of them being, according to some, reducible to the other): the linguistic and the pictorial, the difference between the two consisting in the degree of arbitrariness of the representation relation. If the conceivability of P at issue for Humeans involves the having of a linguistic mental representation, then it is (...) easy to show that we can conceive the impossible, for impossibilities can be represented by meaningful bits of language. If the conceivability of P amounts to the pictorial imaginability of a situation verifying P, then the question is whether the imagination at issue works purely qualitatively, that is, only by phenomenological resemblance with the imagined scenario. If so, the range of situations imaginable in this way is too limited to have a significant role in modal epistemology. If not, imagination will involve some arbitrary labeling component, which turns out to be sufficient for imagining the impossible. And if the relevant imagination is neither linguistic nor pictorial, Humeans will appear to resort to some representational magic, until they come up with a theory of a ‘third code’ for mental representations. (shrink)

The basic form of the exclusion problem is by now very, very familiar. 2 Start with the claim that the physical realm is causally complete: every physical thing that happens has a sufficient physical cause. Add in the claim that the mental and the physical are distinct. Toss in some claims about overdetermination, give it a stir, and voilá—suddenly it looks as though the mental never causes anything, at least nothing physical. As it is often put, the physical does all (...) the work, and there is nothing left for the mental to do. (shrink)

RésuméConsidérons la «thèse d'inexprimabilité» : un locuteur incapable de formuler dans ses propres mots la pensée que p est incapable d'avoir cette pensée. On peut remettre en question la TI, puisqu'un locuteur peut se servir des mots d'autrui pour exprimer des pensées qu'il serait sinon incapable d'exprimer. La première partie de cet article montre qu'en faisant ressortir la pratique jusque-lè négligée consistant à utiliser les mots d'autrui, on met au jour une ambiguïte fondamentale de la théorie causale de la référence. (...) Dans la seconde partie, je me sers de cette ambiguïte pour démontrer que les craintes sceptiques traditionnelles face à la théorie causale de la référence peuvent être reformulées et que le scepticisme implicite dans le réalisme métaphysique résiste à l'argument de bon sens de Putnam selon lequel nous ne sommes pas des cerveaux dans une cuve. (shrink)

An intensional logic is presented and suggested as a framework for a formal investigation of learning. The framework allows for discussing and comparing concepts and representations, and makes it possible to view learning processes as iterations of a certain type of functions. It is shown how this framework may be used to shed light on Meno’s paradox, but also on concepts such as Vygotsky’s ZPD and learning trajectories. In the case of mathematics, where there are recent attempts to merge ideas (...) from the philosophy of mathematics with ideas from the philosophy of education, a formal framework such as the one presented here, may constitute a common arena of discussion. (shrink)

The concept of reputation has hardly been analyzed by philosophers. My analysis presents a puzzle: reputation is a portrayal of who one is. However, it is dependent on others. This description contradicts David Oderberg’s analogy between reputation and property. I discuss the relation of reputation to gossip and conclude that we should take spreading information seriously. We should go back to the original meaning of gossip: the term “Godsib,” meaning godfather. In our global village we are all entrusted with other’s (...) identities. We should pave our way with that information in a manner that would manifest great care. But this does not mean that these people are exempt from responsibility: the chain that ends in reputation starts with how you behave. It is your very identity that you entrust to other people—make sure to behave in a way that would result in the reputation you want to deserve. (shrink)

Recent epistemology offers an account of what it is to know other persons. Such views hold promise for illuminating several issues in philosophy of religion, and for advancing a distinctive approach to religious epistemology. This paper develops an account of interpersonal knowledge, and clarifies its relation to propositional and qualitative knowledge. I then turn to our knowledge of God and God's knowledge of us, and compare my account of interpersonal knowledge with important work by Eleonore Stump on "Franciscan" knowledge. I (...) examine how interpersonal knowledge may figure in liturgical practice, in diffusing the problem of divine hiddenness, and in motivating a novel understanding of divine love. I also explore the possibility of epistemic injustice arising from dismissal or neglect of our religious testimony to one another, or of divine testimony to humanity, focusing specifically on the import of interpersonal knowledge. (shrink)

Essentialism can be defined as a metaphysical theory according to which things have essential and accidental properties. In this paper, I will address Avicennian essentialism, that is, essentialism...

The aim of this paper is to provide a complete Natural Kind Semantics for an Essentialist Theory of Kinds. The theory is formulated in two-sorted first order monadic modal logic with identity. The natural kind semantics is based on Rudolf Willes Theory of Concept Lattices. The semantics is then used to explain several consequences of the theory, including results about the specificity (species–genus) relations between kinds, the definitions of kinds in terms of genera and specific differences and the existence of (...) negative kinds. First, I show under which conditions the Hierarchy principle, which has been subjected to counterexamples in the literature, holds. I also show that a different principle about the species–genus relations between kinds, namely Kant’s Law, follows from the essentialist theory. Second, I introduce two new operations for kinds and show that they can be used to provide traditional definitions of kinds in terms of genera and specific differences. Finally, I show that these operations of specific difference induce, for each kind, a uniquely specified contrary kind and a uniquely specified subcontrary kind, which can be used as semantic values for non-classical predicate negations of kind terms. (shrink)

What is the status of a cat in a virtual reality environment? Is it a real object? Or part of a fiction? Virtual realism, as defended by D. J. Chalmers, takes it to be a virtual object that really exists, that has properties and is involved in real events. His preferred specification of virtual realism identifies the cat with a digital object. The project of this paper is to use a comparison between virtual reality environments and scientific computer simulations to (...) critically engage with Chalmers’s position. I first argue that, if it is sound, his virtual realism should also be applied to objects that figure in scientific computer simulations, e.g. to simulated galaxies. This leads to a slippery slope because it implies an unreasonable proliferation of digital objects. A philosophical analysis of scientific computer simulations suggests an alternative picture: The cat and the galaxies are parts of fictional models for which the computer provides model descriptions. This result motivates a deeper analysis of the way in which Chalmers builds up his realism. I argue that he buys realism too cheap. For instance, he does not really specify what virtual objects are supposed to be. As a result, rhetoric aside, his virtual realism isn’t far from a sort of fictionalism. (shrink)

The paper examines the connection between Aristotle's theory of generated substance and his notion of potentiality in "Metaphysics" Θ.7. Aristotle insists that the matter of a substance is not what that substance is, against a competing view that was widely held both in his day and now. He coined the term thaten (ἐ[unrepresentable symbol]νινονον) in order to make this point. The term highlights a systematic correspondence between the metaphysics of matter and of quality: the relationship between a thing and its (...) matter is like the relationship between a qualified thing and the relevant quality. It is argued that Aristotle's view about the matter of particular substances is connected with his view about ultimate matter. His conception of the matter of particular substances allows him to block an argument, from Plato's "Timaeus", that ultimate matter must be something imperceptible and lacking all perceptible qualities. Aristotle uses the term thaten to introduce an alternative conception of ultimate matter on which ultimate matter might well be an ordinary perceptible kind of thing. (shrink)

In 2004 Edouard Machery, Ron Mallon, Shaun Nichols and Stephen Stich published what has become one of the most widely discussed papers in experimental philosophy, in which they reported that East Asian and Western participants had different intuitions about the semantic reference of proper names. A flurry of criticisms of their work has emerged, and although various replications have been performed, many critics remain unconvinced. We review the current debate over Machery et al.’s (2004) results and take note of which (...) objections to their work have been satisfactorily answered and which ones still need to be addressed. We then report the results of studies that reveal significant cross-cultural and intra-cultural differences in semantic intuitions when we control for variables that critics allege have had a potentially distorting effect on Machery et al.’s findings. These variables include the epistemic perspective from which participants are supposed to understand the research materials, unintended anchoring effects of those materials, and pragmatic factors involved in the interpretation of speech acts within them. Our results confirm the robustness of the cross-cultural differences observed by Machery et al. and thereby strengthen the philosophical challenge they pose. (shrink)

Thought-experiments in which one person divides into two have been important in the literature on personal identity. I consider three influential arguments which aim to undermine the force of these thought-experiments – arguments from David Wiggins, Patricia Kitcher and Kathleen Wilkes. I argue that all three fail, leaving us to face the consequences of splitting, whatever those may be.

Thought-experiments in which one person divides into two have been important in the literature on personal identity. I consider three influential arguments which aim to undermine the force of these thought-experiments – arguments from David Wiggins, Patricia Kitcher and Kathleen Wilkes. I argue that all three fail, leaving us to face the consequences of splitting, whatever those may be.

The paper begins with an argument against eliminativism with respect to the propositional attitudes. There follows an argument that concepts are sui generis ante rem entities. A nonreductionist view of concepts and propositions is then sketched. This provides the background for a theory of concept possession, which forms the bulk of the paper. The central idea is that concept possession is to be analyzed in terms of a certain kind of pattern of reliability in one’s intuitions regarding the behavior of (...) the concept. The challenge is to find an analysis that is at once noncircular and fully general. Environmentalism, anti-individualism, holism, analyticity, etc. provide additional hurdles. The paper closes with a discussion of the theory’s implications for the Wittgenstein-Kripke puzzle about rule-following and the Benacerraf problem concerning mathematical knowledge. (shrink)

This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic approach is also (...) used to defend antiexistentialism against existentialist prejudices. The paper closes with a suggestion about how this theory of content might enable us to give purely semantic (as opposed to pragmatic) solutions to the puzzles based on a novel formulation of the principle of compositionality. (shrink)

It has been argued recently that classical theism and Lewisian modal realism are incompatible theses. The most substantial argument to this effect takes the form of a trilemma. It argues that no sense can be made of God’s being a necessary being in the modal realistic picture, on pain of, among other things, modal collapse. The question of this essay is: Is that so? My goal here is to detail the reasons that have been offered in support of this contention (...) and then defend the coherence of theistic modal realism from the trilemma. I call my reply to the argument an “Anselmian-Thomistic” defense, since it appeals to resources from classical medieval philosophy, especially from Anselm and Aquinas. (shrink)

The requirement of total evidence is a mainstay of Bayesian epistemology. Peter Fisher Epstein argues that the requirement generates mistaken conclusions about several examples that he devises. Here we examine the example of Epstein’s that we find most interesting and argue that Epstein’s analysis of it is flawed.

According to some, there is a problem concerning the emotions we feel toward fictional entities such as Anna Karenina, Werther and the like. We feel pity, fear, and sadness toward them, but how is that possible? “We are saddened, but how can we be? What are we sad about? How can we feel genuinely and involuntarily sad, and weep, as we do know that no one has suffered or died?” (Radford, in: Proceedings of the Aristotelian Society, 1975). This is the (...) paradox of fiction which is based on the assumption that emotions, to be genuine and rational, should be directed toward existent beings. But if beliefs about existence are necessary for us to be rationally moved by something, and such beliefs are lacking when we are moved by fiction (because we do not believe fictional characters and events to be real), then our capacity for an emotional response to fiction is irrational. Consequently, our emotional attitude toward future generations should be considered as irrational as well. But is this really the case? Are there good arguments to consider future and fictional entities as similar from this point of view? Or would it be better to distinguish the two? Is there such a thing as a paradox of the future? If so, how does it relate to the more famous paradox of fiction? (shrink)

The aim of this paper is to take a fresh look at a discussion about the distinct existences argument that took place between David Armstrong and Frank Jackson more than fifty years ago. I will try to show that Armstrong’s argument can be successfully defended against Jackson’s objections (albeit at the price of certain concessions concerning Armstrong’s view on the meaning of psychological terms as well as his conception of universals). Focusing on two counterexamples that Jackson put forward against Hume’s (...) principle (which is central to Armstrong’s argument), I will argue that they are either compatible with Hume’s principle, or imply a false claim. I will also look at several other considerations that go against Hume’s principle, such as, for example, Kripke’s origin essentialism and counterexamples from aposteriori necessity. (shrink)

This essay develops the thesis that Frege’s notion of grasping does not refer to some special psychological relation between a subject and a proposition. Instead, the verb “to grasp” is a contextually defined technical term that, taken by itself, has no meaning. If that is right, then not only Frege’s resentment to the idea of grasping singular propositions is unfounded. The view that intentionality without representations is possible, championed by some advocates of the New Theory of Reference, is groundless as (...) well. (shrink)