Bob Hale presents a broadly Fregean approach to metaphysics, according to which ontology and modality are mutually dependent upon one another. He argues that facts about what kinds of things exist depend on facts about what is possible. Modal facts are fundamental, and have their basis in the essences of things--not in meanings or concepts.

This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

Analytic philosophy has recently demonstrated a revived interest in metaphysical problems about possibility and necessity. Graeme Forbes here provides a careful description of the logical background of recent work in this area for those who may be unfamiliar with it, moving on to d discuss the distinction between modality de re and modality de dicto and the ontological commitments of possible worlds semantics. In addition, Forbes offers a unified theory of the essential properties of sets, organisms, artefacts, substances, and events, (...) based on the doctrine that identity facts must be intrinsically grounded, and analyzes and rejects apparent counterexamples to this doctrine. (shrink)

Imperatives may be interpreted with many subvarieties of directive force, for example as orders, invitations, or pieces of advice. I argue that the range of meanings that imperatives can convey should be identified with the variety of interpretations that are possible for non-dynamic root modals (what I call ‘priority modals’), including deontic, bouletic, and teleological readings. This paper presents an analysis of the relationship between imperatives and priority modals in discourse which asserts that, just as declaratives contribute to the Common (...) Ground and thus provide information relevant to the interpretation of epistemic modals in subsequent discourse, imperatives contribute to another component of the discourse context, the addressee’s To-Do List, which serves as a contextual resource for the interpretation of priority modals. This analysis predicts that the interpretation of imperatives and modals in discourse is constrained in surprising ways; these predictions are borne out. (shrink)

This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses themselves to be "sense-functions," functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or "deviant" sense-functions. Certain absurdities result, e.g., an argument can be found for equating any two (...) senses of the same type. An alternative treatment of the senses of functions is discussed, and is thought to do better justice to Frege's original theory. (shrink)

There are several relations which may fall short of genuine identity, but which behave like identity in important respects. Such grades of discrimination have recently been the subject of much philosophical and technical discussion. This paper aims to complete their technical investigation. Grades of indiscernibility are defined in terms of satisfaction of certain first-order formulas. Grades of symmetry are defined in terms of symmetries on a structure. Both of these families of grades of discrimination have been studied in some detail. (...) However, this paper also introduces grades of relativity, defined in terms of relativeness correspondences. This paper explores the relationships between all the grades of discrimination, exhaustively answering several natural questions that have so far received only partial answers. It also establishes which grades can be captured in terms of satisfaction of object-language formulas and draws connections with definability theory. (shrink)

Philosophers have found postulating possible worlds to be very useful in a number of areas, including philosophy of language and mind, logic, and metaphysics. Impossible worlds are a natural extension to this use of possible worlds, and can help resolve a number of difficulties thrown up by possible‐worlds frameworks.

Ducks lay eggs' is a true sentence, and `ducks are female' is a false one. Similarly, `mosquitoes carry the West Nile virus' is obviously true, whereas `mosquitoes don't carry the West Nile virus' is patently false. This is so despite the egg-laying ducks' being a subset of the female ones and despite the number of mosquitoes that don't carry the virus being ninety-nine times the number that do. Puzzling facts such as these have made generic sentences defy adequate semantic treatment. (...) However complex the truth conditions of generics appear to be, though, young children grasp generics more quickly and readily than seemingly simpler quantifiers such as `all' and `some'. I present an account of generics that not only illuminates the strange truth conditions of generics, but also explains how young children find them so comparatively easy to acquire. I then argue that generics give voice to our most cognitively primitive generalizations and that this hypothesis accounts for a variety of facts ranging from acquisition patterns to cross-linguistic data concerning the phonological articulation of operators. I go on to develop an account of the nature of these cognitively fundamental generalizations and argue that this account explains the strange truth-conditional behavior of generics. (shrink)

This paper concerns non-causal normative explanations such as ‘This act is wrong because/in virtue of__’. The familiar intuition that normative facts aren't brute or ungrounded but anchored in non- normative facts seems to be in tension with the equally familiar idea that no normative fact can be fully explained in purely non- normative terms. I ask whether the tension could be resolved by treating the explanatory relation in normative explanations as the sort of ‘grounding’ relation that receives extensive discussion in (...) recent metaphysics. I argue that this would help only under controversial assumptions about the nature of normative facts, and perhaps not even then. I won't try to resolve the tension, but draw a distinction between two different sorts of normative explanations which helps to identify constraints on a resolution. One distinctive constraint on normative explanations in particular might be that they should be able to play a role in normative justification. (shrink)

Arrow’s axiomatic foundation of social choice theory can be understood as an application of Tarski’s methodology of the deductive sciences—which is closely related to the latter’s foundational contribution to model theory. In this note we show in a model-theoretic framework how Arrow’s use of von Neumann and Morgenstern’s concept of winning coalitions allows to exploit the algebraic structures involved in preference aggregation; this approach entails an alternative indirect ultrafilter proof for Arrow’s dictatorship result. This link also connects Arrow’s seminal result (...) to key developments and concepts in the history of model theory, notably ultraproducts and preservation results. (shrink)

This Handbook maps a central terrain of philosophy, and provides the definitive guide to it. An illustrious team of philosophers explore the concept of a reason to do or believe something, in order to determine what these reasons are and how they work. And they investigate the nature of 'normative' claims about what we ought to do or believe.

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure that interacts directly (...) with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

Current treatments of practical rationality understand reasons as considerations counting in favor of or against some practical option, treating the positive and the negative case as symmetrical. Typically the focus is on examples of positive reasons. However, I want to shift the spotlight to negative reasons, as making a tighter or more direct link to rationality — and ultimately to morality, which is what much of the current interest in reasons is meant to clarify. Recognizing a positive/negative asymmetry in normative (...) force will let us reconcile the view of moral or other requirements as based on reasons with the denial that reasons as such, even all-thingsconsidered reasons, yield requirements — or as I like to put it, rationally compel. (shrink)

This book presents the most important problems of reference and considers their solution. It presupposes no technical knowledge, presents analyses from first principles, illustrates every stage with examples, and is written with verve and clarity. This is the ideal introduction to reference for students of linguistics and philosophy of language.

This is a revised and expanded edition of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding father of temporal logic, and his book offers an excellent introduction to the fundamental questions in the field. Several important papers have been added to the original selection, as well as a comprehensive bibliography of Prior's work and an illuminating interview with his widow, Mary Prior. In addition, the Polish logic which (...) made Prior's writings difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book. (shrink)

A brief introduction to Meinong, his theory of objects, and modern interpretations of it. Sections include: The Theory of Objects, Castañeda's Theory of Guises, Parsons,'s Theory of Nonexistent Objects, Rapaport's Theory of Meinongian Objects, Routley's Theory of Items.

This paper presents a new challenge to the thesis that moral responsibility for an omission requires the ability to do the omitted action, whereas moral responsibility for an action does not require the ability to do otherwise than that action. Call this the asymmetry thesis. The challenge arises from the possibility of cases in which an omission is identical to an action. In certain of such cases, the asymmetry thesis leads to a contradiction. The challenge is then extended to recent (...) variations of the asymmetry thesis defended by John Martin Fischer and Carolina Sartorio. Finally, a possible objection to the challenge is addressed. (shrink)

Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such as the (...) aforementioned validity of attitude-report inferences. It then shows that the notion of a predication act-type, which remains importantly Russellian in spirit, is sufficient to explain the range of propositional phenomena in question, in particular the validity of attitude-report inferences. The paper concludes with a discussion of whether predication act-types are really just propositions by another name. (shrink)

This paper develops the first deontic logic in the context of paraconsistent logics.

Say that two sentences are factually equivalent when they describe the same facts or situations, understood as worldly items, i.e. as bits of reality rather than as representations of reality. The notion of factual equivalence is certainly of central interest to philosophical semantics, but it plays a role in a much wider range of philosophical areas. What is the logic of factual equivalence? This paper attempts to give a partial answer to this question, by providing an answer the following, more (...) specific question: Given a standard propositional language with negation, conjunction and disjunction as primitive operators, which sentences of the language should be taken to be factually equivalent by virtue of their logical form? The system for factual equivalence advocated in this paper is a proper fragment of the first-degree system for the logic of analytic equivalence put forward in the late seventies by R. B. Angell. I provide the system with two semantics, both formulated in terms of the notion of a situation’s being fittingly described by a linguistic item. In the final part of the paper I argue, contra a view I defended in my “Grounding and Truth-Functions”, that the logic for factual equivalence I advocate here should be preferred to Angell’s logic if one wishes to follow the general conception of the relationships between factual equivalence and the notion of grounding put forward in the 2010 paper. (shrink)

I identify a notion of logical grounding, clarify it, and show how it can be used (i) to characterise various consequence relations, and (ii) to give a precise syntactic account of the notion of “groundedness” at work in the literature on the paradoxes of truth.

Two competing accounts of value incomparability have been put forward in the recent literature. According to the standard account, developed most famously by Joseph Raz, ‘incomparability’ means determinate failure of the three classic value relations ( better than , worse than , and equally good ): two value-bearers are incomparable with respect to a value V if and only if (i) it is false that x is better than y with respect to V , (ii) it is false that x (...) is worse than y with respect to V and (iii) it is false that x and y are equally good with respect to V . Most philosophers have followed Raz in adopting this account of incomparability. Recently, however, John Broome has advocated an alternative view, on which value incomparability is explained in terms of vagueness or indeterminacy . In this paper I aim to further Broome’s view in two ways. Firstly, I want to supply independent reasons for thinking that the phenomenon of value incomparability is indeed a matter of the indeterminacy inherent in our comparative predicates. Secondly, I attempt to defend Broome’s account by warding off several objections that worry him, due mainly to Erik Carlson and Ruth Chang. (shrink)

It is widely agreed that generics tolerate exceptions. It turns out, however, that exceptions are tolerated only so long as they do not violate homogeneity: when the exceptions are not concentrated in a salient “chunk” of the domain of the generic. The criterion for salience of a chunk is cognitive: it is dependent on the way in which the domain is mentally represented. Findings of psychological experiments about the ways in which different domains are represented, and the actors affecting such (...) representations, account for judgments of generic sentences, facts which cannot be explained by linguistics alone. The reason for the homogeneity requirement itself is, in turn, also dependent on cognitive considerations. Generics express default rules, and psychological findings have shown that, the more homogeneous the domain, the easier it is for subjects to infer rules about it. Thus, cognitive results form a crucial part of a comprehensive account of the meaning of a linguistic expression. (shrink)

While opinions on the semantic analysis of generics vary widely, most scholars agree that generics have a quasi-universal flavor. However, there are cases where generics receive what appears to be an existentialinterpretation. For example, B's response is true, even though only theplatypus and the echidna lay eggs: (1) A: Birds lay eggs. B: Mammals lay eggs too. In this paper I propose a uniform account of the semantics of generics,which accounts for their quasi-existential readings as well as for their more (...) familiar quasi-universal ones. Generics are focus-sensitiveoperators: their domain is restricted by a set of alternatives, which may be provided by focus. I claim that, unlike otherfocus-sensitive operators, generics may, but do not have to, associate with focus. When alternatives are introduced, either by focus or by other means, generics get their usual quasi-universal readings. But when no alternatives are introduced, quasi-existential readings result.I argue that generics, unlike adverbs of quantification, do not introduce tripartite structures directly, but are initially interpreted as cases ofdirect kind predication. Only when this interpretation fails to make sense, the phonologically null generic quantifier is derived, and tripartite structures result. This two-level interpretation has the effect that while adverbs of quantification require focus to determine which elements go to the restrictor and which to the nuclear scope, and hence must associate with focus, generics do not, and hence may fail to associate with focus, resulting in quasi-existential readings. (shrink)

There is a prominent line of work in natural language semantics, rooted in the work of Hamblin, in which the meaning of a sentence is not taken to be a single proposition, but rather a set of propositions—a set of alternatives. This allows for a more fine-grained view on meaning, which has led to improved analyses of a wide range of linguistic phenomena. However, this approach also faces a number of problems. We focus here on two of these, in our (...) view the most fundamental ones. The first has to do with how meanings are composed, i.e., with the type-theoretic operations of function application and abstraction; the second has to do with how meanings are compared, i.e., the notion of entailment. Our aim is to reconcile what we take to be the essence of Hamblin’s proposal with the more orthodox type-theoretic framework rooted in the work of Montague in such a way that both the explanatory utility of the former and the solid formal foundations of the latter are preserved. Our proposal builds on insights from recent work on inquisitive semantics, and it also contributes to the further development of this framework by specifying how the inquisitive meaning of a sentence may be built up compositionally. (shrink)

This paper considers two competing pictures of knowledge of what one ought to do—one which assimilates this to other propositional knowledge conceived as partial ‘locational’ knowledge of where one is in a space of possibilities, the other which distinguishes this from other propositional knowledge by construing it as partial ‘directional’ knowledge of what to do in particular circumstances. I argue that the apparent tension can be lessened by better understanding the contextualized modal-cum-prescriptive nature of ‘ought’ and enriching our conception of (...) the kinds of possibilities within which we can locate ourselves. (shrink)

Although expected utility theory has proven a fruitful and elegant theory in the finite realm, attempts to generalize it to infinite values have resulted in many paradoxes. In this paper, we argue that the use of John Conway's surreal numbers shall provide a firm mathematical foundation for transfinite decision theory. To that end, we prove a surreal representation theorem and show that our surreal decision theory respects dominance reasoning even in the case of infinite values. We then bring our theory (...) to bear on one of the more venerable decision problems in the literature: Pascal's Wager. Analyzing the wager showcases our theory's virtues and advantages. To that end, we analyze two objections against the wager: Mixed Strategies and Many Gods. After formulating the two objections in the framework of surreal utilities and probabilities, our theory correctly predicts that (1) the pure Pascalian strategy beats all mixed strategies, and (2) what one should do in a Pascalian decision problem depends on what one's credence function is like. Our analysis therefore suggests that although Pascal's Wager is mathematically coherent, it does not deliver what it purports to, a rationally compelling argument that people should lead a religious life regardless of how confident they are in theism and its alternatives. (shrink)

The result of an interaction is influenced by its epistemic state, and several epistemic notions are related to multiagent situations. Strong belief-disagreement on a certain proposition between agents means that one agent believes the proposition and the other believes its negation. This paper presents a logical system describing strong belief-disagreement between agents and demonstrates its soundness and completeness. The notion of belief-disagreement as well as belief-agreement can facilitate gaining a clearer understanding of the acts of trade and speech.

This introductory article describes the phenomena of incommensurability and incomparability, how they are related, and why they are important. Since incomparability is the more significant phenomenon, the paper takes that as its focus. It gives a detailed account of what incomparability is, investigates the relation between the incomparability of values and the incomparability of alternatives for choice, distinguishes incomparability from the related phenomena of parity, indeterminacy, and noncomparability, and, finally, defends a view about practical justification that vindicates the importance of (...) incomparability — assuming it exists — for practical reason. (shrink)

I resolve the major challenge to an Expressivist theory of the meaning of normative discourse: the Frege–Geach Problem. Drawing on considerations from the semantics of directive language (e.g., imperatives), I argue that, although certain forms of Expressivism (like Gibbard’s) do run into at least one version of the Problem, it is reasonably clear that there is a version of Expressivism that does not.

This article surveys a range of current views on the semantics of imperatives, presenting them as more or less conservative with respect to the Truth-Conditional Paradigm in semantics. It describes and critiques views at either extreme of this spectrum: accounts on which the meaning of an imperative is a modal truth-condition, as well as various accounts that attempt to explain imperative meaning without making use of truth-conditions. It briefly describes and encourages further work on a family of views lying somewhere (...) in the middle. On such views, an imperative will semantically determine, without having as its meaning, a modal truth-condition, which figures centrally in accounting for various aspects of its meaning. (shrink)

This paper begins with a response to Josh Gert’s challenge that ‘on a par with’ is not a sui generis fourth value relation beyond ‘better than’, ‘worse than’, and ‘equally good’. It then explores two further questions: can parity be modeled by an interval representation of value? And what should one rationally do when faced with items on a par? I argue that an interval representation of value is incompatible with the possibility that items are on a par (a mathematical (...) proof is given in the appendix). I also suggest that there are three senses of ‘rationally permissible’ which, once distinguished, show that parity does distinctive practical work that cannot be done by the usual trichotomy of relations or by incomparability. In this way, we have an additional argument for parity from the workings of practical reason. (shrink)

In other work I have argued that items can be on a par, where being on a par is a fourth, basic, sui generis value relation beyond the usual trichotomy of ‘better than’, ‘worse than’, and ‘equally good’. In this paper, I aim to marshal non-technical, intuitive arguments for this view. First, I try to cast doubt on the leading source of intuitive resistance to parity, the conviction that if two items are comparable, one must be better than the other, (...) worse than it, or they must be equally good. Second, I explain how parity can arise by appealing to an uncontroversial distinction between quantity and quality of value. I propose both sufficient conditions for parity and a nontechnical model of the notion. My overall aim is to bring into view a simple and intuitive picture of value – and more generally of normativity – in which parity plays a significant role. (shrink)

In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...) of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (shrink)

We introduce a family of tableau calculi for deontic action logics based on finite boolean algebras, these logics provide deontic operators which are applied to a finite number of actions ; furthermore, in these formalisms, actions can be combined by means of boolean operators, this provides an expressive algebra of actions. We define a tableau calculus for the basic logic and then we extend this calculus to cope with extant variations of this formalism; we prove the soundness and completeness of (...) these proof systems. In addition, we investigate the computational complexity of the satisfiability problem for DAL and its extensions; we show this problem is NP-complete when the number of actions considered is fixed, and it is \-Hard when the number of actions is taken as an extra parameter. The tableau systems introduced here can be implemented in PSPACE, this seems reasonable taking into consideration the computational complexity of the logics. (shrink)

Ruth Chang has defended a concept of "parity", implying that two items may be evaluatively comparable even though neither item is better than or equally good as the other. This article takes no stand on whether there actually are cases of parity. Its aim is only to make the hitherto somewhat obscure notion of parity more precise, by defining it in terms of the standard value relations. Given certain plausible assumptions, the suggested definiens is shown to state a necessary and (...) sufficient condition for parity, as this relation is envisaged by Chang. (shrink)

Many philosophers have claimed that extensive or additive measurement is incompatible with the existence of "higher values", any amount of which is better than any amount of some other value. In this paper, it is shown that higher values can be incorporated in a non-standard model of extensive measurement, with values represented by sets of ordered pairs of real numbers, rather than by single reals. The suggested model is mathematically fairly simple, and it applies to structures including negative as well (...) as positive values. (shrink)

The semantic puzzles posed by propositional attitude contexts have, since Frege, been understood primarily in terms of certain substitution puzzles. We will take as paradigmatic of such substitution puzzles cases in which two coreferential proper names cannot be intersubstituted salva veritate in the context of an attitude verb. Thus, for example, the following sentences differ in truth value: (1) Lois Lane believes Superman can fly. (2) Lois Lane believes Clark Kent can fly. despite the fact that "Superman" and "Clark Kent" (...) pick out the same individual.1 Equivalently, the following sentence may be true: (3) Lois Lane believes that Superman can fly, but that Clark Kent cannot fly. despite the coreferentiality of the names. (It will at times be convenient to appeal to this conjunctive attitude report in order to fix a single context of utterance.) Substitution failures such as these create a puzzle when conjoined with the assumptions (a) that attitude reports report a binary relation between an individual and some object of that individual's attitude and (b) that that object of the attitude is determined by the content of the complement sentence in the attitude report. If all of the terms in two complement sentences (e.g., "Superman can fly" and "Clark Kent can fly") have the same semantic content, then, prima facie, they ought to generate the same object of believe and, a fortiori, materially equivalent attitude reports. Frege, famously, attempts to defuse the puzzle by positing a semantic value of sense in addition to that of reference, and thereby distinguishing the semantic contents of the two complement sentences. (shrink)

This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical modal systems (...) by Stolpe, 557–575, 2003), but unfortunately that work used only models and not frames. (shrink)