Many political theorists believe that a state cannot be neutral when it comes to languages. Legislatures cannot avoid picking a language in which to conduct their business and teachers have to teach their pupils in a language. However, against that, some political liberals argue that liberal neutrality is consistent with the state endorsement of particular languages. Claims to the contrary, they say, are based on a misguided understanding of what neutrality is. I will argue that this line of argument fails, (...) for two reasons. First, the primary challenge to which political liberals should respond is not that of reconciling the promotion of languages with liberal neutrality but, rather, that of reconciling liberal neutrality with the fact that reasonable people disagree about the existence and nature of languages. Second, even if everyone accepted the existence of languages along essentialist lines, one should still doubt the possibility of state neutrality with respect to them, regardless of the conception of neutrality one prefers. The reason why is that human beings cannot care about or value languages so when a state promotes a particular language, it is not supporting the preferences of its citizens but, rather, acting on perfectionist or simply irrational grounds. (shrink)

A main function of common natures in Avicenna’s metaphysics is supposed to be providing an objective ground for the categories. Thus, it is commonly assumed that in his metaphysics things are objectively divided into the categories into which they are because members of each category share the same common nature. However, common natures cannot perform the function unless they are shared, in a real sense of the word, by the members of the respective categories, and it is not clear at (...) all in what real sense Avicenna took common natures to be shared by them. On the one hand, he rejected Platonic and Aristotelian realisms about common natures, the two standard accounts of how common natures are shared by their instances. On the other hand, it is unclear that his alternative account(s) of common natures renders them genuinely common. The primary goal of this paper is to examine whether Avicenna’s common natures can provide an objective ground for the categories. It considers various interpretations of Avicenna's account and argues that they are either incorrect interpretations of Avicenna or do not render common natures genuinely common. It concludes with proposing to look elsewhere in Avicenna’s system to find the objective ground. (shrink)

Multidimensional adjectives are ubiquitous in natural language. An adjective F is multidimensional just in case whether F applies to an object or pair of objects depends on how those objects stand with respect to multiple underlying dimensions of F-ness. Developing a semantics for multidimensional adjectives requires us to address the problem of dimensional aggregation: how do the application conditions of an adjective F in its positive and comparative forms depend on its underlying dimensions? Here we develop a semantics for multidimensional (...) adjectives that incorporates aggregation functions. We then explore an analogy between dimensional aggregation and preference aggregation, bringing results from social choice theory to bear on the number and kind of aggregation functions that are admissible in a context. These results suggest that, for any given adjective, there will often be multiple aggregation functions admissible, meaning that multidimensional comparatives are often vague. (shrink)

What grounds the facts about what is identical to/distinct from what? A natural answer is: the facts about what exists. Despite its prima facie appeal, this view has received surprisingly little attention in the literature. Moreover, those who have discussed it have been inclined to reject it because of the following important challenge: why should the existence of some individuals ground their identity in some cases and their distinctness in others? (Burgess 2012, Shumener 2020b). This paper offers a sustained defense (...) of the view. The first half provides some positive motivations in terms of other natural principles involving ground. The second half considers various ways of distilling the challenge into a precise objection to the view, and argues that none of the resulting objections proves persuasive. (shrink)

Attitude verbs like ‘believe’ and ‘want’ exhibit neg-raising: an ascription of the form a doesn’t believe that p tends to convey that a disbelieves—i.e., believes the negation of—p. In ‘Belief is Weak’, Hawthore et al. observe that neg-raising does not occur with verbs like ‘know’ or ‘need’. According to them, an ascription of the form a believes that p is true just in case a is in a belief state that makes p more likely than not, and so—excepting cases of (...) complete indifference—a will either believe p or disbelieve p. I expand and revise this explanation: so-called ‘weak’ attitude verbs are used in ascriptions of an opinion about some subject matter S—a kind of selection from among the elements of S—and these ascriptions are themselves responsive to conversational topics that presuppose that the subject of the ascription has an opinion about S. ‘Strong’ attitude verbs denote more direct relationships between subject and world. (shrink)

Conspicuously missing some planks, a latter-day Ship of Theseus catches the eye when one picks up this Book of Three Authors. Teasingly, differentiated pre.

Many people believe that human beings begin to exist with the emergence of the 1-cell zygote at fertilization. I present a novel argument against this belief, one based on recently discovered facts about human embryo development. I first argue that a human zygote is developmentally plastic: A zygote that naturally develops into a singleton (i.e., develops into exactly one infant/adult without twinning) might have naturally developed into a numerically different singleton. From this, I derive the conclusion that a human infant (...) or adult is numerically distinct from the zygote she came from and so did not begin to exist at fertilization. This implies that a zygote does not have a “future like ours” and strongly suggests that it is not a human being. (shrink)

Recent years have witnessed a revival of interest in the method of explication as a procedure for conceptual engineering in philosophy and in science. In the philosophical literature, there has been a lively debate about the different desiderata that a good explicatum has to satisfy. In comparison, the goal of explicating the concept of explication itself has not been central to the philosophical debate. The main aim of this work is to suggest a way of filling this gap by explicating (...) ‘explication’ by means of conceptual spaces theory. Specifically, I show how different, strictly-conceptual readings of explication desiderata can be made precise as geometrical or topological constraints over the conceptual spaces related to the explicandum and the explicatum. Moreover, I show also how the richness of the geometrical representation of concepts in conceptual spaces theory allows us to achieve more fine-grained readings of explication desiderata, thereby overcoming some alleged limitations of explication as a procedure of conceptual engineering. (shrink)

What is the relation between metaphysical necessity and essence? This paper defends the view that the relation is one of identity: metaphysical necessity is a special case of essence. My argument consists in showing that the best joint theory of essence and metaphysical necessity is one in which metaphysical necessity is just a special case of essence. The argument is made against the backdrop of a novel, higher-order logic of essence, whose core features are introduced in the first part of (...) the paper. The second part investigates the relation between metaphysical necessity and essence in the context of HLE. Reductive hypotheses are among the most natural hypotheses to be explored in the context of HLE. But they also have to be weighed against their non-reductive rivals. I investigate three different reductive hypotheses and argue that two of them fare better than their non-reductive rivals: they are simpler, more natural, and more systematic. Specifically, I argue that one candidate reduction, according to which metaphysical necessity is truth in virtue of the nature of all propositions, is superior to the others, including one proposed by Kit Fine, according to which metaphysical necessity is truth in virtue of the nature of all objects. The paper concludes by offering some reasons to think that the best joint theory of essence and metaphysical necessity is one in which the logic of metaphysical necessity includes S4, but not S5. (shrink)

This paper presents a distinctively metaphysical version of the problem of other minds. The main source of this version of the problem lies in the principle that, when it comes to consciousness, no distinction can sensibly be drawn between appearance and reality. I will argue that, unless we want to call that principle into question, we should seriously consider the possibility of accepting the conclusion that other minds are not like our own. This option is less problematic than it might (...) seem at first if we are willing to reconceive facts of consciousness as subjective rather than objective in nature. -/- . (shrink)

Näive Realists have recently proposed that illusions occur in circumstances that are ‘non-paradigmatic’ or with which we are insufficiently familiar. While this proposal may work for many of the illusions philosophers normally discuss, I argue in this paper that there are other illusions that do not fit this pattern. In particular, the vertical-horizontal illusion (VHI) occurs in circumstances that are both familiar and paradigmatic, while disappearing (or becoming attenuated) in more unusual circumstances.

Several have denied that there is, specifically, a criterion of identity for persons and some deny that there are, for any kind, diachronic criteria of identity. I argue, however, that there are no criteria of identity, either synchronic or diachronic, for any kind whatsoever. I begin by elaborating the notion of a criterion of identity in order to clarify what exactly is being denied when I maintain there are none. I examine the motivation of those who qualify in some way (...) the general claim that there are synchronic and diachronic criteria of identity for every kind, then present my direct and categorical argument against such criteria. I next evaluate the objections of those who argue that rejecting criteria of identity has untenable results. These objections are ineffective, each based on the incorrect assumption that if there is no criterion of identity for a kind, the identity of an instance of that kind is independent of its qualities. I conclude by considering some of the upshots of rejecting criteria of identity and the insight doing so provides into things in general and the limits of ontological inquiry. (shrink)

A popular stance amongst philosophers is one according to which, in Lewis’ words, “identity is utterly simple and unproblematic”. Building from Lewis’ famous passage on the matter, we reconstruct, and then criticize, an argument to the conclusion that identities cannot be grounded. With the help of relatively uncontroversial assumption concerning identity facts, we show that not all identities are equi-fundamental, and, on the contrary, some appear to be provided potential grounding bases using two-level identity criteria. Further potential grounding bases for (...) identities are presented. Identity might be utterly simple and unproblematic, but this is not sufficient to conclude that identities are ungrounded, or fundamental. (shrink)

Paradoxes of nested modality, like Chisholm’s paradox, rely on S4 or something stronger as the propositional logic of metaphysical modality. Sarah-Jane Leslie’s objection to the resolution of Chisholm’s paradox by means of rejection of S4 modal logic is investigated. A modal notion of essence congenial to Leslie’s objection is clarified. An argument is presented in support of Leslie’s crucial but unsupported assertion that, on pain of inconsistency, an object’s essence is the same in every possible world. A fallacy in the (...) argument is exposed. Alternative interpretations of Leslie’s objection are provided and are found to involve equivocation between different notions of “essence.” A material artifact’s modal essence, as distinct from its quiddity essence, could have been different than it is. (shrink)

We think of the world around us as divided into physical objects like toasters and daisies, rather than solely as a smear of properties like yellow and smooth. How do we single out these objects? One theory of object concepts uses part‐of relations and relations of connectedness. According to this proposal, an object is a connected spatial item of maximal extent: Any other connected item that overlaps (i.e., shares a part with) the object must be a part of that object. (...) This article reports four experiments that test this proposal. Participants see descriptions or diagrams of spatial items that vary across trials in their relative positions. In separate experiments, participants decide whether the items are physical objects, whether they are wholes, or how many objects are present. All experiments find support for connectedness as a contributor to object status, but they find little support for maximality. The results suggest that maximality is not a necessary feature of wholes or of objects. (shrink)

Can an identity be the proper subject of an explanation? A popular stance, albeit not one often argued for, gives a negative answer to this question. Building from a contentious passage from Jaegwon Kim in this direction, we reconstruct an argument to the conclusion that identities, to the extent in which they are necessary, cannot be explained. The notion of contrastive explanation, characterized as difference-seeking, will be crucial for this argument; however, we will eventually find the argument to be unsatisfactory. (...) On the contrary, the discussion provides enough resource to sketch a very simple framework for a non-causal contrastive explanation of identities. Many instances will be provided, with different varieties of explanans, ultimately suggesting that certain entailment or biconditional principles involving identities (first and foremost, so-called two-level identity criteria) may indeed be taken to have an inherent explanatory value. (shrink)

It is tempting to think that one’s perceptual evidence comprises just what issues from perceiving with each of the respective sensory modalities. However, empirical, rational, and phenomenological considerations show that one’s perceptual evidence can outstrip what one possesses due to perceiving with each separate sense. Some novel perceptual evidence stems from the coordinated use of multiple senses. This paper argues that some perceptual evidence in this respect is distinctively multisensory.

Discrimination is a central epistemic capacity but typically, theories of discrimination only use discrimination as a vehicle for analyzing knowledge. This paper aims at developing a self-contained theory of discrimination. Internalist theories of discrimination fail since there is no compelling correlation between discriminatory capacities and experiences. Moreover, statistical reliabilist theories are also flawed. Only a modal theory of discrimination is promising. Versions of sensitivity and adherence that take particular alternatives into account provide necessary and sufficient conditions on discrimination. Safety in (...) contrast is not sufficient for discrimination as there are cases of safety that are clearly instances of discrimination failure. The developed account of discrimination between objects will be extended to discrimination between kinds and between types. (shrink)

This paper distinguishes bruteness from fundamentality by developing a theory of stochastic grounding that makes room for non-fundamental bruteness. Stochastic grounding relations, which only underwrite incomplete explanations, arise when the fundamental level underdetermines derivative levels. The framework is applied to fission cases, showing how one can break symmetries and mitigate bruteness whilst avoiding arbitrariness and hypersensitivity.

The aim of this article is to investigate the relevance and implications of synthetic models for the study of the interactive dimension of minimal life and cognition, by taking into consideration how the use of artificial systems may contribute to an understanding of the way in which interactions may affect or even contribute to shape biological identities. To do so, this article analyzes experimental work in synthetic biology on different types of interactions between artificial and natural systems, more specifically: between (...) protocells and between biological living cells and protocells. It discusses how concepts such as control, cognition, communication can be used to characterize these interactions from a theoretical point of view, which criteria of relevance and evaluation of synthetic models can be applied to these cases, and what are their limits. (shrink)

I investigate when we can (rationally) have attitudes, and when we cannot. I argue that a comprehensive theory must explain three phenomena. First, being related by descriptions or names to a proposition one has strong reason to believe is true does not guarantee that one can rationally believe that proposition. Second, such descriptions, etc. do enable individuals to rationally have various non-doxastic attitudes, such as hope and admiration. And third, even for non-doxastic attitudes like that, not just any description will (...) allow it. I argue that we should think of attitude formation like we do (practical) choices among options. I motivate this view linguistically, extending "relevant alternatives'' theories of the attitudes to both belief and to the other, non-doxastic attitudes. Given a natural principle governing choice, and some important differences between doxastic and non-doxastic "choices'', we can explain these puzzling phenomena. (shrink)

The way in which vision represents objects as being the same despite movement and qualitative changes has been extensively investigated in contemporary psychology. However, the formal properties of the visual sameness relation are still unclear, for example, whether it is an identity-like, equivalence relation. The paper concerns one aspect of this problem: the transitivity of visual sameness. Results obtained by using different experimental paradigms are analysed, in particular studies using streaming/bouncing stimuli, multiple object tracking experiments and investigations concerning object-specific preview (...) benefit, and it is argued that the transitive interpretation of visual sameness is the most plausible given the current stage of knowledge. What is more, it is claimed that the way in which visual sameness is represented suggests that in some cases it should be characterized as a “primitive sameness”, similarly as in philosophical theories postulating “thisness”. (shrink)

I would like to attack a certain view: The view that the concept of identity can fail to apply to some things although, for some positive integer n, we have n of them. The idea of entities without self-identity is seriously entertained in the philosophy of quantum mechanics. It is so pervasive that it has been labelled the Received View. I introduce the Received View in Section 1. In Section 2 I explain what I mean by entity, and I argue (...) that supporters of the Received View should agree with my characterization of the corresponding notion of entity. I also explain what I mean by identity, and I show that supporters of the Received View agree with my characterization of that notion. In Section 3 I argue that the concept of identity, so characterized, is one with the concept of oneness. Thus, it cannot but apply to what belongs to a collection with n elements, n being a positive integer. In Section 4 I add some considerations on the primitiveness of identity or unity and the status of the Identity of Indiscernibles. In Section 5 I address the problem of how reference to indiscernible objects with identity can be achieved. (shrink)

Section 1 introduces the category of objective modality, closely related to linguists’ category of circumstantial or dynamic modals, and explains metaphysical modality as its maximal element. Section 2 discusses various kinds of skepticism about modality, as in Hume and recent authors, and argues that it is illmotivated to apply such skepticism to metaphysical modality but not to more restricted objective modalities, including nomic modality. Section 3 suggests that the role of counterfactual conditionals in applications of scientific theories involves an objective (...) modal dimension. Section 4 briefly discusses the role of objective probabilities in scientific theories as exemplifying the scientific study of objective modality. Section 5 summarizes a case study of dynamical systems theory, widely used in natural science, as a mathematical theory whose intended applications are objectively modal, as perspicuously articulated in a language with modal and temporal operators and propositional quantification. State spaces in natural science characterize objective possibilities. Section 6 argues that, although those possibilities are usually more restricted than metaphysical possibility, their scientific study is a partial study of metaphysical possibility too. (shrink)

This paper first argues that we can bring out a tension between the following three popular doctrines: (i) the canonical reduction of metaphysical modality to essence, due to Fine, (ii) contingentism, which says that possibly something could have failed to be something, and (iii) the doctrine that metaphysical modality obeys the modal logic S5. After presenting two such arguments (one from the theorems of S4 and another from the theorems of B), I turn to exploring various conclusions we might draw (...) in light of these results, and argue that none comes cost free. In the course of laying out possible responses to my arguments, we'll have a chance to evaluate various doctrines about the interplay between contingency and essence, as well as develop some alternative reductions of metaphysical modality to essence. I don't decisively come down in favor of one response over the others, though I say some things that point towards the conclusion that essence has no role to play in reducing metaphysical modality. (shrink)

The central and paradigmatic cases of knowledge discussed in philosophy involve the possession of truth. Is there in addition a distinct type of practical knowledge, which does not aim at the truth? This question is often approached through asking whether states attributed by “know-how” locutions are distinct from states attributed by “know-that”. This paper argues that the question of practical knowledge can be raised not only about some cases of “know-how” attributions, but also about some cases of so-called “know-wh” attributions; (...) and that certain features of this practical knowledge-wh put pressure on the standard analysis of know-wh. (shrink)

Anthony Everett () argues that those who embrace the reality of fictional entities run into trouble when it comes to specifying criteria of character identity. More specifically, he argues that realists must reject natural principles governing the identity and distinctness of fictional characters due to the existence of fictions which leave it indeterminate whether certain characters are identical and the existence of fictions which say inconsistent things about the identities of their characters. Everett's critique has deservedly drawn much attention and (...) a number of defensive moves have been made by, or on the behalf of, fictional realists. My goal in this paper is to move this debate on a further step. I have three goals: to clarify the importance of Everett's discussion of identity criteria within the context of fictional realism, to reassess Everett's objections to realism in light of the resultant literature, and to develop a novel strategy for responding to Everett's concerns. On the approach to be developed, the problems emerge due to an indeterminacy inherent in the concept of a fictional character itself. (shrink)

Colour vision plays a foundational explanatory role in the philosophy of colour, and serves as perennial quarry in the wider philosophy of perception. I present two contributions to our understanding of this notion. The first is to develop a constitutive approach to characterizing colour vision. This approach seeks to comprehend the nature of colour vision qua psychological kind, as contrasted with traditional experiential approaches, which prioritize descriptions of our ordinary visual experience of colour. The second contribution is to argue that (...) colour vision does not constitutively involve the ability to see colours, in a natural and categorically committed sense. I argue that two subjects exactly alike in respect of their constitutive colour vision abilities could differ in respect of whether or not they have categorical perception of colour. The argument is supported by thought experiment and dissociations observed in cognitive neuropsychology. The argument also bears connections to recent neo-Whorfian accounts of colour categorization. _1._ Introduction _2._ Colour Vision, Experience, and Natures _3._ The Central Argument _3.1._ Colour constancy and discrimination _3.2._ Dissociating colour vision and categorical perception for colour _4._ Whorf and the View from Cognitive Neuropsychology _5._ Conclusion. (shrink)

Suppose you're unable to discriminate the colors of two objects. According to the triangulation view, their colors might nonetheless look different to you, and that's something you can discover as a result of further comparisons. The primary motivation for this view is its apparent ability to solve a puzzle involving a series of pairwise indiscriminable objects. I argue that, due to visual noise, the triangulation view doesn't really solve the puzzle.

Is it possible to characterize the sortal essence of Fs for a sortal concept F solely in terms of a criterion of identity C for F? That is, can the question ‘What sort of thing are Fs?’ be answered by saying that Fs are essentially those things whose identity can be assessed in terms of C? This paper presents a case study supporting a negative answer to these questions by critically examining the neo-Fregean suggestion that cardinal numbers can be fully (...) characterized as those things whose identity can be assessed in terms of one-one correspondence between concepts. (shrink)

Michael Dummett argues, against Saul Kripke, that there could have been unicorns. He then claims that this possibility shows that the logic of metaphysical modality is not S5, and, in particular, that the B axiom is false. Dummett’s argument against B, however, is invalid. I show that although there are number of ways to repair Dummett’s argument against B, each requires a controversial metaphysical or semantic commitment, and that, regardless of this, the case against B is undermotivated. Dummett’s case is (...) still of interest, however, as if his assumptions are correct, S5 has to go, with the natural culprit being S4. (shrink)

According to anti-atomism, we represent color properties (e.g., red) in virtue of representing color relations (e.g., redder than). I motivate anti-atomism with a puzzle involving a series of pairwise indistinguishable chips. I then develop two versions of anti-atomism.

This paper expands on the discussion in the first section of 'Beyond phenomenal naivete'. Let Phenomenal Naivete be understood as the doctrine that some phenomenal characters of veridical experiences are factive properties concerning the external world. Here I present in detail a phenomenological case for Phenomenal Naivete and an argument from hallucination against it. I believe that these arguments show the concept of phenomenal character to be defective, overdetermined by its metaphysical and epistemological commitments together with the world. This does (...) not establish a gappish eliminativism, but a gluttish pluralism, on which there are many imperfect deservers of the name 'phenomenal character'. Different projects in the philosophy of mind -- phenomenology, philosophy of conscious, metaphysics and epistemology of perception -- are concerned with different deservers of the name. (shrink)

Dispositions (powers, potentialities) have become popular in metaphysics in recent years, and some of their proponents are advertising them as the best metaphysical grounds for modality. This project has a logical as well as an ontological side: dispositionalists offer modal and counterfactual semantics that make no use of possible worlds. I argue that, as a result of their counterfactual semantics, dispositionalists are in fact committed to entities that play the same theoretical role as possible worlds. Roughly, the claim is that (...) certain counterfactuals (ones that concern 'very large' states) force the dispositionalist to posit world-sized states that play the theoretical role of worlds. As a result, dispositionalists can (and perhaps should) make use of the mainstream framework (Kripke frames and the Lewis–Stalnaker counterfactual semantics) even if they ground all modal facts in dispositions. (shrink)

The concept of being in a position to know is an increasingly popular member of the epistemologist’s toolkit. Some have used it as a basis for an account of propositional justification. Others, following Timothy Williamson, have used it as a vehicle for articulating interesting luminosity and anti-luminosity theses. It is tempting to think that while knowledge itself does not obey any closure principles, being in a position to know does. For example, if one knows both p and ‘If p then (...) q’, but one dies or gets distracted before being able to perform a modus ponens on these items of knowledge and for that reason one does not know q, one is still plausibly in a position to know q. It is also tempting to suppose that, while one does not know all logical truths, one is nevertheless in a position to know every logical truth. Putting these temptations together, we get the view that being in a position to know has a normal modal logic. A recent literature has begun to investigate whether it is a good idea to give in to these twin temptations—in particular the first one. That literature assumes very naturally that one is in a position to know everything one knows and that one is not in a position to know things that one cannot know. It has succeeded in showing that, given the modest closure condition that knowledge is closed under conjunction elimination, being a position to know cannot satisfy the so-called K axiom of normal modal logics. In this paper, we explore the question of the normality of the logic of being in a position to know in a more far-reaching and systematic way. Assuming that being in a position to know entails the possibility of knowing and that knowing entails being in a position to know, we can demonstrate radical failures of normality without assuming any closure principles at all for knowledge. Moreover, the failure of normality cannot be laid at the door of the K axiom for knowledge, since the standard principle NEC of necessitation also fails for being in a position to know. After laying out and explaining our results, we briefly survey the coherent options that remain. (shrink)

Some philosophers of biology state that the metaphysical status of biological species is context determined by the use different branches of biology make of their corresponding proper names, so that one and the same biological species can be both an individual and a natural kind. In this paper, I aim to undermine the idea, often associated with the present thesis, according to which the debate about the metaphysical status of biological species should be deflated, since it would be possible to (...) translate every sentence from natural-kind talk to individual-talk and vice versa. I offer a charitable interpretation of the principle grounding such an idea and show how it is in tension with independent theoretical biological notions. (shrink)

I argue that we can explain how we acquire knowledge from what a speaker tells us by appealing to facts about the speaker's reasons for telling. That is because (1) among our reasons for telling somebody that P can be the fact that P; and (2) these reasons that are facts can be made manifest to our audiences by our telling them that P.

Motivated by avoiding a difficulty confronting the usual formulations of identity criteria, Fine has proposed and developed a generic account of grounding. In this paper, I examine two versions of the account. I argue that both proposals fail, as it is difficult to see how the strategy of ‘going generic’ can really solve the problem. I conclude that the idea of generic grounding is mysterious and unmotivated.

The phrase ‘autoepistemic logic’ was introduced in Moore [1985] to refer to a study inspired in large part by criticisms in Stalnaker [1980] of a particular nonmonotonic logic proposed by McDermott and Doyle.1 Very informative discussions for those who have not encountered this area are provided by Moore [1988] and the wide-ranging survey article Konolige [1994], and the scant remarks in the present introductory section do not pretend to serve in place of those treatments as summaries of the field. A (...) good deal of the material omitted here pertains to the specifically nonmonotonic nature of autoepistemic logic as standardly developed, but as we shall urge, there is from one point of view nothing distinctively nonmonotonic about the basic motivating ideas of the subject. (shrink)

Before the law sits a gatekeeper. To this gatekeeper comes a man from the country who asks to gain entry into the law. But the gatekeeper says that he cannot grant him entry at the moment. The man thinks about it and then asks if he will be allowed to come in sometime later on. “It is possible,” says the gatekeeper, “but not now.”—Franz Kafka..

Chisholm’s paradox serves as an important constraint on our modal theorising. For example, one lesson of the paradox is that widely accepted essentialist theses appear incompatible with metaphysical necessity obeying a logic that includes S4. However, this article cautions against treating Chisholm’s paradox in isolation, as a single line of reasoning. To this end, the article outlines two crucial morals about Chisholm’s paradox which situate the paradox within a broad family of paradoxes. Each moral places significant constraints on the paradox’s (...) solution space. In light of this perspective, the paper applies the two morals to a recently proposed solution to Chisholm’s Paradox by Benj Hellie, Murray and Wilson Oxford studies in metaphysics, Oxford University Press, Oxford, 2012). (shrink)