An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

This paper argues for the existence of a fourth positive generic value relation that can hold between two items beyond ‘better than’, ‘worse than’, and ‘equally good’: namely ‘on a par’.

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

If there are fundamental laws of nature, can they fail to be exact? In this paper, I consider the possibility that some fundamental laws are vague. I call this phenomenon 'fundamental nomic vagueness.' I characterize fundamental nomic vagueness as the existence of borderline lawful worlds and the presence of several other accompanying features. Under certain assumptions, such vagueness prevents the fundamental physical theory from being completely expressible in the mathematical language. Moreover, I suggest that such vagueness can be regarded as (...) 'vagueness in the world.' For a case study, we turn to the Past Hypothesis, a postulate that (partially) explains the direction of time in our world. We have reasons to take it seriously as a candidate fundamental law of nature. Yet it is vague: it admits borderline (nomologically) possible worlds. An exact version would lead to an untraceable arbitrariness absent in any other fundamental laws. However, the dilemma between fundamental nomic vagueness and untraceable arbitrariness is dissolved in a new quantum theory of time's arrow. (shrink)

This paper investigates the way that linguistic expressions influence vagueness, focusing on the interpretation of the positive (unmarked) form of gradable adjectives. I begin by developing a semantic analysis of the positive form of ‘relative’ gradable adjectives, expanding on previous proposals by further motivating a semantic basis for vagueness and by precisely identifying and characterizing the division of labor between the compositional and contextual aspects of its interpretation. I then introduce a challenge to the analysis from the class of ‘absolute’ (...) gradable adjectives: adjectives that are demonstrably gradable, but which have positive forms that relate objects to maximal or minimal degrees, and do not give rise to vagueness. I argue that the truth conditional difference between relative and absolute adjectives in the positive form stems from the interaction of lexical semantic properties of gradable adjectives—the structure of the scales they use—and a general constraint on interpretive economy that requires truth conditions to be computed on the basis of conventional meaning to the extent possible, allowing for context dependent truth conditions only as a last resort. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...) which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases. (shrink)

Several philosophers deny that an individual person’s emissions of greenhouse gas do any harm; I call these “individual denialists.” I argue that each individual’s emissions may do harm, and that they certainly do expected harm. I respond to the denialists’ arguments.

A dynamic semantics for epistemically modalized sentences is an attractive alternative to the orthodox view that our best theory of meaning ascribes to such sentences truth-conditions relative to what is known. This essay demonstrates that a dynamic theory about might and must offers elegant explanations of a range of puzzling observations about epistemic modals. The first part of the story offers a unifying treatment of disputes about epistemic modality and disputes about matters of fact while at the same time avoiding (...) the complexities of alternative theories. The second part of the story extends the basic framework to cover some complicated data about retraction and the interaction between epistemic modality and tense. A comparison between the suggestion made in this essay and current versions of the orthodoxy is provided. (shrink)

I propose that the meanings of vague expressions render the truth conditions of utterances of sentences containing them sensitive to our interests. For example, 'expensive' is analyzed as meaning 'costs a lot', which in turn is analyzed as meaning 'costs significantly greater than the norm'. Whether a difference is a significant difference depends on what our interests are. Appeal to the proposal is shown to provide an attractive resolution of the sorites paradox that is compatible with classical logic and semantics.

The Rachels–Temkin spectrum arguments against the transitivity of better than involve good or bad experiences, lives, or outcomes that vary along multiple dimensions—e.g., duration and intensity of pleasure or pain. This paper presents variations on these arguments involving combinations of good and bad experiences, which have even more radical implications than the violation of transitivity. These variations force opponents of transitivity to conclude that something good is worse than something that isn’t good, on pain of rejecting the good altogether. That (...) is impossible, so we must reject the spectrum arguments. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (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)

In this paper I develop a framework for understanding ontic vagueness. The project of the paper is two-fold. I first outline a definitional account of ontic vagueness – one that I think is an improvement on previous attempts because it remains neutral on other, independent metaphysical issues. I then develop one potential manifestation of that basic definitional structure. This is a more robust (and much less neutral) account which gives a fully classical explication of ontic vagueness via modal concepts. The (...) overarching aim is to systematically investigate the puzzling question of what exactly it could be for the world itself to be vague. (shrink)

This paper argues against relativism, focusing on relativism based on the semantics of predicates of personal taste. It presents and defends a contextualist semantics for these predicates, derived from current work on gradable adjectives. It then considers metasemantic questions about the kinds of contextual parameters this semantics requires. It argues they are not metasemantically different from those in other gradable adjectives, and that contextual parameters of this sort are widespread in natural language. Furthermore, this paper shows that if such parameters (...) are rejected, it leads to an unacceptably rampant form of relativism, that relativizes truth to an open-ended list of parameters. (shrink)

Decisions are made under uncertainty when there are distinct outcomes of a given action, and one is uncertain to which the act will lead. Decisions are made under indeterminacy when there are distinct outcomes of a given action, and it is indeterminate to which the act will lead. This paper develops a theory of (synchronic and diachronic) decision-making under indeterminacy that portrays the rational response to such situations as inconstant. Rational agents have to capriciously and randomly choose how to resolve (...) the indeterminacy relevant to a given choice-situation, but such capricious choices once made constrain how they will choose in the future. The account is illustrated by the case of self-interested action in situations where it is indeterminate whether you yourself will survive to benefit or suffer the consequences. The conclusion emphasizes some distinctive anti-hedging predictions of the account. (shrink)

This paper explores quantum indeterminacy, as it is operative in the failure of value‐definiteness for quantum observables. It first addresses questions about its existence, its nature, and its relations to extant quantum interpretations. Then, it provides a critical discussions of the main accounts of quantum indeterminacy.

An influential theory has it that metaphysical indeterminacy occurs just when reality can be made completely precise in multiple ways. That characterization is formulated by employing the modal apparatus of ersatz possible worlds. As quantum physics taught us, reality cannot be made completely precise. I meet the challenge by providing an alternative theory which preserves the use of ersatz worlds but rejects the precisificational view of metaphysical indeterminacy. The upshot of the proposed theory is that it is metaphysically indeterminate whether (...) p just in case it is neither true nor false that p, and no terms in ‘p’ are semantically defective. In other words, metaphysical indeterminacy arises when the world cannot be adequately described by a complete set of sentences defined in a semantically nondefective language. Moreover, the present theory provides a reductive analysis of metaphysical indeterminacy, unlike its influential predecessor. Finally, I argue that any adequate logic of a language with an indeterminate subject matter is neither compositional nor bivalent. (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

The main thesis of this paper is that we sometimes are disposed to accept false and even jointly inconsistent claims by virtue of our semantic competence, and that this comes to light in the sorites and liar paradoxes. Among the subsidiary theses are that this is an important source of indeterminacy in truth conditions, that we must revise basic assumptions about semantic competence, and that classical logic and bivalence can be upheld in the face of the sorites paradox.

The purpose of this essay is to shed some light on a certain type of sentence, which I call a borderline contradiction. A borderline contradiction is a sentence of the form F a ∧ ¬F a, for some vague predicate F and some borderline case a of F , or a sentence equivalent to such a sentence. For example, if Jackie is a borderline case of ‘rich’, then ‘Jackie is rich and Jackie isn’t rich’ is a borderline contradiction. Many theories (...) of vague language have entailments about borderline contradictions; correctly describing the behavior of borderline contradictions is one of the many tasks facing anyone offering a theory of vague language. Here, I first briefly review claims made by various theorists about these borderline contradictions, attempting to draw out some predictions about the behavior of ordinary speakers. Second, I present an experiment intended to gather relevant data about the behavior of ordinary speakers. Finally, I discuss the experimental results in light of several different theories of vagueness, to see what explanations are available. My conclusions are necessarily tentative; I do not attempt to use the present experiment to demonstrate that any single theory is incontrovertibly true. Rather, I try to sketch the auxiliary hypotheses that would need to be conjoined to several extant theories of vague language to predict the present result, and offer some considerations regarding the plausibility of these various hypotheses. In the end, I conclude that two of the theories I consider are better-positioned to account for the observed data than are the others. But the field of logically-informed research on people’s actual responses to vague predicates is young; surely as more data come in we will learn a great deal more about which (if any) of these theories best accounts for the behavior of ordinary speakers. (shrink)

A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of logical consequence according (...) to which α1, ..., αn entails β just in case □α1, ..., □αn entails □β in the modal logic S5. This raises a natural question: If we start with a different underlying modal logic, can we generate a strongly classical logic? This paper explores this question. In particular, it discusses four related technical issues: (1) Which base modal logics generate strongly classical logics and which generate weakly classical logics? (2) Which base logics generate themselves? (3) How can we directly characterize the logic generated from a given base logic? (4) Given a logic that can be generated, which base logics generate it? The answers to these questions have philosophical interest. They can help us to determine whether there is a plausible supervaluational approach to modelling vague language that yields the usual meta-rules. They can also help us to determine the feasibility of other philosophical projects that rely on an analogous formalism, such as the project of defining logical consequence in terms of the preservation of an epistemic status. (shrink)

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

According to an old and attractive view, vagueness must be eliminated before semantic notions — truth, implication, and so on — may be applied. This view was accepted by Frege, but is rarely defended nowadays.1 This..

Inspired by Cantor's Theorem (CT), orthodoxy takes infinities to come in different sizes. The orthodox view has had enormous influence in mathematics, philosophy, and science. We will defend the contrary view---Countablism---according to which, necessarily, every infinite collection (set or plurality) is countable. We first argue that the potentialist or modal strategy for treating Russell's Paradox, first proposed by Parsons (2000) and developed by Linnebo (2010, 2013) and Linnebo and Shapiro (2019), should also be applied to CT, in a way that (...) vindicates Countabilism. Our discussion dovetails with recent independently developed treatments of CT in Meadows (2015), Pruss (2020), and Scambler (2021), aimed at establishing the mathematical viability, and therefore epistemic possibility, of Countabilism. Unlike these authors, our goal isn't to vindicate the mathematical underpinnings of Countabilism. Rather, we aim to argue that, given that Countabilism is mathematically viable, Countabilism should moreover be regarded as true. After clarifying the modal content of Countabilism, we canvas some of Countabilism's many positive implications, including that Countabilism provides the best account of the pervasive independence phenomena in set theory, and that Countabilism has the power to defuse several persistent puzzles and paradoxes found in physics and metaphysics. We conclude that in light of its theoretical and explanatory advantages, Countabilism is more likely true than not. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

The linchpin of Williamson (2000)'s radically externalist epistemological program is an argument for the claim that no non-trivial condition is luminous—that no non-trivial condition is such that whenever it obtains, one is in a position to know that it obtains. I argue that Williamson's anti-luminosity argument succeeds only if one assumes that, even in the limit of ideal reflection, the obtaining of the condition in question and one's beliefs about that condition can be radically disjoint from one another. However, no (...) self-respecting defender of the luminosity of the mental would ever make such an assumption. Thus Williamson can only secure his controversial claims in epistemology by taking for granted certain equally controversial claims in the philosophy of mind. What emerges is that the best bet for defending an internalist epistemology against Williamson's attack is to take there to be a tight, intimate connection between (to take one example) our experiences and our beliefs upon reflection about the obtaining of those experiences, or between (to take another example) the rationality of our beliefs and our beliefs upon reflection about the rationality of those beliefs. (shrink)

Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. (...) What follows is a categorial scheme that is both critically realistic and comprehensive. Thus it enjoys some of the benefits of linguistic idealism and physicalism, without (or so it is hoped) the corresponding disadvantages of each.The starting point for our categorial scheme is the concept of extended entity. (shrink)

Mereological nihilism is the view that no objects have proper parts. Despite how counter‐intuitive it is, it is taken quite seriously, largely because it solves a number of puzzles in the metaphysics of material objects – or so its proponents claim. In this article, I show that for every puzzle that mereological nihilism solves, there is a similar puzzle that (a) it doesn’t solve, and (b) every other solution to the original puzzle does solve. Since the solutions to the new (...) puzzles apply just as well to the old puzzles, the old puzzles provide no motivation to be a mereological nihilist. (shrink)

It is clear that beliefs can be assessed both as to their justification and their rationality. What is not as clear, however, is how the rationality and justification of belief relate to one another. Stewart Cohen has stumped for the popular proposal that rationality and justification come to the same thing, that rational beliefs just are justified beliefs, supporting his view by arguing that ‘justified belief’ and ‘rational belief’ are synonymous. In this paper, I will give reason to think that (...) Cohen’s argument is spurious. I will show that ‘rational’ and ‘justified’ occupy two distinct semantic categories – ‘rational’ is an absolute gradable adjective and ‘justified’ is a relative gradable adjective – telling against the thought that ‘rational belief’ and ‘justified belief’ are synonymous. I will then argue that the burden of proof is on those who would equate rationality and justification, making the case that those who hold this prominent position face the difficulty of explaining how rationality and justification come to the same thing even though ‘rational’ and ‘justified’ are not synonymous. (shrink)

Timothy Williamson thinks that every object is a necessary, eternal existent. In defense of his view, Williamson appeals primarily to considerations from modal and tense logic. While I am uncertain about his modal claims, I think there are good metaphysical reasons to believe permanentism: the principle that everything always exists. B-theorists of time and change have long denied that objects change with respect to unqualified existence. But aside from Williamson, nearly all A-theorists defend temporaryism: the principle that there are temporary (...) existents. I think A-theorists are better off without this added commitment, but I will not argue for that in any great detail here. Instead, I will contend that a very tempting A-theoretic argument for temporaryism is unsound. In the first half of the paper, I will develop the Moorean “common sense” argument for temporaryism and dispute its central premise, namely that temporaryism is a valid generalization from highly plausible beliefs about change. I will argue that given the pervasive vagueness in our ordinary beliefs about change and the background commitments of all A-theories, no party can claim to be the common sense view because no party can accommodate most of our common sense beliefs about change in existence. In the second half of the paper, I will propose a permanentist A-theory that explains all change over time as a species of property change. I call it the minimal A-theory, since it dispenses with the change in existence assumption. As we'll see, the permanentist alternative performs well enough in explaining our ordinary beliefs about change, and it has better prospects for answering some objections commonly levied against A-theories. (shrink)

Lewis (1973) gave a short argument against conditional excluded middle, based on his treatment of ‘might’ counterfactuals. Bennett (2003), with much of the recent literature, gives an alternative take on ‘might’ counterfactuals. But Bennett claims the might-argument against CEM still goes through. This turns on a specific claim I call Bennett’s Hypothesis. I argue that independently of issues to do with the proper analysis of might-counterfactuals, Bennett’s Hypothesis is inconsistent with CEM. But Bennett’s Hypothesis is independently objectionable, so we should (...) resolve this tension by dropping the Hypothesis, not by dropping CEM. (shrink)

I argue that there can be no such thing as a borderline case of the predicate ‘phenomenally conscious’: for any given creature at any given time, it cannot be vague whether that creature is phenomenally conscious at that time. I first defend the Positive Characterization Thesis, which says that for any borderline case of any predicate there is a positive characterization of that case that can show any sufficiently competent speaker what makes it a borderline case. I then appeal to (...) the familiar claim that zombies are conceivable, and I argue that this claim entails that there can be no positive characterizations of borderline cases of ‘phenomenally conscious’. By the Positive Characterization Thesis, it follows that ‘phenomenally conscious’ can not have any borderline cases. (shrink)

A number of authors have defended permissivism by appealing to rational supererogation, the thought that some doxastic states might be rationally permissible even though there are other, more rational beliefs available. If this is correct, then there are situations that allow for multiple rational doxastic responses, even if some of those responses are rationally suboptimal. In this paper, I will argue that this is the wrong approach to defending permissivism—there are no doxastic states that are rationally supererogatory. By the lights (...) of contemporary linguistics, ‘rational’ is an absolute gradable adjective, and as such, can only be applied to things that satisfy the top of the scale of rationality. For this reason, it is not possible to believe what is rational while also failing to believe what is rationally optimal. (shrink)

Our ordinary assertions are often imprecise, insofar as the way we represent things as being only approximates how things are in the actual world. The phenomenon of assertoric imprecision raises a challenge to standard accounts of both the norm of assertion and the connection between semantics and the objects of assertion. After clarifying these problems in detail, I develop a framework for resolving them. Specifically, I argue that the phenomenon of assertoric imprecision motivates a rejection of the widely held belief (...) that a semantic theory for a language associates a single semantic value with each of the simple and complex expressions of that language, relative to the contexts in which they occur. Instead, I propose that we adopt a framework I call semantic pluralism. (shrink)

This paper motivates and explores an expressivist theory of vagueness, modelled on Allan Gibbard’s normative expressivism. It shows how Chris Kennedy’s semantics for gradable adjectives can be adjusted to fit into a theory on Gibbardian lines, where assertions constrain not just possible worlds but plans for action. Vagueness, on this account, is literally indecision about where to draw lines. It is argued that the distinctive phenomena of vagueness, such as the intuition of tolerance, can be explained in terms of practical (...) constraints on plans, and that the expressivist view captures what is right about several contending theories of vagueness. (shrink)

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...) a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (shrink)

A basic intuition we have regarding the nature of time is that the future is open whereas the past is fixed. For example, whereas we think that there are things we can do to affect how the future will unfold, we think that there are not things we can do to affect how the past unfolded. However, although this intuition is largely shared, it is not a straightforward matter to determine the nature of the asymmetry it reflects. So, in this (...) paper, I survey various philosophical ways of characterizing the asymmetry between the ‘open future’ and the ‘fixed past’ in order to account for our intuition. In particular, I wonder whether the asymmetry is to be characterized in semantic, epistemic, metaphysical or ontological terms. I conclude that, although many of these characterizations may contribute to a global understanding of the phenomenon, an ontological characterization of the asymmetry is to be preferred, since it is superior to the alternatives in explanatory power, intelligibility, and in how it coheres with interesting senses of openness. (shrink)

Crucially, blame can be addressed to its targets, as an implicit demand for recognition. But when we ask whether offenders would actually appreciate this demand, via a sound deliberative route from their existing motivations, we face a puzzle. If they would, their offense reflects a deliberative mistake, and blame’s hostility seems unnecessary. If they wouldn’t, addressing them is futile, and blame’s emotional engagement seems unwarranted. To resolve this puzzle, I develop an account of blame as a proleptic response to indeterminacy (...) in its target’s reasons, yielding attractive accounts of blame’s relation both to internal reasons claims and to free will. (shrink)

Logical Pluralists maintain that there is more than one genuine/true logical consequence relation. This paper seeks to understand what the position could amount to and some of the challenges faced by its formulation and defence. I consider in detail Beall and Restall’s Logical Pluralism—which seeks to accommodate radically different logics by stressing the way that they each fit a general form, the Generalised Tarski Thesis (GTT)—arguing against the claim that different instances of GTT are admissible precisifications of logical consequence. I (...) then consider what it is to endorse a logic within a pluralist framework and criticise the options Beall and Restall entertain. A case study involving many-valued logics is examined. I next turn to issues of the applications of different logics and questions of which logic a pluralist should use in particular contexts. A dilemma regarding the applicability of admissible logics is tackled and it is argued that application is a red herring in relation to both understanding and defending a plausible form of logical pluralism. In the final section, I consider other ways to be and not to be a logical pluralist by examining analogous positions in debates over religious pluralism: this, I maintain, illustrates further limitations and challenges for a very general logical pluralism. Certain less wide-ranging pluralist positions are more plausible in both cases, I suggest, but assessment of those positions needs to be undertaken on a case-by-case basis. (shrink)

A report of a person's desire can be true even if its embedded clause underspecifies the content of the desire that makes the report true. It is true that Fiona wants to catch a fish even if she has no desire that is satisfied if she catches a poisoned minnow. Her desire is satisfied only if she catches an edible, meal-sized fish. The content of her desire is more specific than the propositional content of the embedded clause in our true (...) report of her desires. Standard semantic accounts of belief reports require, however, that the embedded clause of a true belief report specify precisely the content of the belief that makes it true. Such accounts of belief reports therefore face what I call "the problem of underspecification" if they are extended to desire reports. Such standard accounts are sometimes refined by requiring that a belief report can be true not only if its subject has a belief with precisely the propositional content specified by its embedded clause, but also only if its subject grasps that content in a particular way. Such refinements do not, however, help to address the problem of underspecification for desire reports. (shrink)