Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: if (X & Y), then (X > Y) valid? Stalnaker and Lewis think so, but many others disagree. We note here that the extant arguments for Conjunction Conditionalization are unpersuasive, before presenting a family of more compelling arguments. These arguments rely on some standard theorems of the logic of counterfactuals as well as a plausible and popular semantic claim about certain semifactuals. Denying Conjunction Conditionalization, then, requires (...) rejecting other aspects of the standard logic of counterfactuals, or else our intuitive picture of semifactuals. (shrink)

The morphological marking that distinguishes conditionals that are called “counterfactual” from those that are not, can also be found in other modal constructions, such as in the expression of wishes and oughts. We propose to call it “X-marking”. In this article, we lay out desiderata for a successful theory of X-marking and make some initial informal observations. Much remains to be done.

In Spanish (and other Romance languages) certain predicates select the subjunctive mood in the embedded clause, while others select the indicative mood. In this paper, I present a new analysis for the predicates that select the subjunctive mood in Spanish that is based on a semantics of comparison. The main generalization proposed here is the following: in Spanish, a predicate selects the subjunctive mood in its embedded proposition if the proposition is compared to its contextual alternatives on a scale introduced (...) by the predicate. In this proposal, predicates that select the subjunctive mood are thus analyzed as gradable predicates. Furthermore, the subjunctive mood morpheme is claimed to make a semantic contribution, namely to evaluate the contextual alternatives that are compared by the predicate. In comparing this proposal to other approaches, I show that it can more straightforwardly account for a number of properties of these predicates (entailment relations, practical inferences, and contexts with more than two alternatives). New empirical evidence for two crucial properties of the predicates that select the subjunctive mood is provided: these predicates are focus sensitive and they are gradable, two properties that follow directly from the proposal developed here. In the vast literature on mood, the link between the appearance of the subjunctive mood and these important properties has never been made before. (shrink)

How does deductive logic constrain probability? This question is difficult for subjectivistic approaches, according to which probability is just strength of (prudent) partial belief, for this presumes logical omniscience. This paper proposes that the way in which probability lies always between possibility and necessity can be made precise by exploiting a minor theorem of de Finetti: In any finite set of propositions the expected number of truths is the sum of the probabilities over the set. This is generalized to apply (...) to denumerable languages. It entails that the sum of probabilities can neither exceed nor be exceeded by the cardinalities of all consistent and closed (within the set) subsets. In general any numerical function on sentences is said to be logically coherent if it satisfies this condition. Logical coherence allows the relativization of necessity: A function p on a language is coherent with respect to the concept T of necessity iff there is no set of sentences on which the sum of p exceeds or is exceeded by the cardinality of every T-consistent and T-closed (within the set) subset of the set. Coherence is easily applied as well to sets on which the sum of p does not converge. Probability should also be relativized by necessity: A T-probability assigns one to every T-necessary sentence and is additive over disjunctions of pairwise T-incompatible sentences. Logical T-coherence is then equivalent to T-probability: All and only T-coherent functions are T-probabilities. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. Keywords Epistemic logic - Cognitive science - Intelligent interaction - Cognitive modeling. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (shrink)

As the content of propositional attitudes, propositions are usually taken to help explain the behavior of rational agents. However, a closer look at signaling games suggests otherwise: rational agents often acquire partial beliefs, and many of their signals are ambiguous. Signaling games also suggest that it is rational for agents to mix their behavior in response to partial beliefs and ambiguous signals. But as I show in this paper, propositions cannot help explain the mixing behavior of rational agents: to explain (...) mixing behavior, we need a probabilistic notion of content. I also show that a probabilistic notion of content renders propositions explanatorily idle in the case of unambiguous signals and full beliefs as well. My suggestion is thus that we should abandon propositions in explanations of rational behavior and adopt instead a probabilistic notion of content. The notion of probabilistic content ultimately provides a simpler framework for explanations of rational behavior than the notion of propositional content. (shrink)

This paper provides an update semantics for counterfactual conditionals. It does so by giving a dynamic twist to the ‘Premise Semantics’ for counterfactuals developed in Veltman (1976) and Kratzer (1981). It also offers an alternative solution to the problems with naive Premise Semantics discussed by Angelika Kratzer in ‘Lumps of Thought’ (Kratzer, 1989). Such an alternative is called for given the triviality results presented in Kanazawa et al. (2005, this issue).

The philosophical literature on reasoning is dominated by the assumption that reasoning is essentially a matter of following rules. This paper challenges this view, by arguing that it misrepresents the nature of reasoning as a personal level activity. Reasoning must reflect the reasoner’s take on her evidence. The rule-following model seems ill-suited to accommodate this fact. Accordingly, this paper suggests replacing the rule-following model with a different, semantic approach to reasoning.

D. M. Armstrong, Michael Tooley, and Fred Dretske have recently proposed a new realist account of laws of nature, according to which laws of nature are objective relations between universals. After criticizing this account, I develop an alternative realist account, according to which (1) the nomic structure of a world is a relation between initial world-histories and world-histories, and (2) a law of nature is a fact that holds solely in virtue of nomic structure (and not, for example, in virtue (...) of past history). (shrink)

We commonly say that some evidence supports a hypothesis or that some premise evidentially supports a conclusion. Both internalists and externalists attempt to analyze this notion of evidential support, and the primary purpose of this paper is to argue that reliabilist and proper functionalist accounts of this relation fail. Since evidential support is one component of inferential justification, the upshot of this failure is that their accounts of inferential justification also fail. In Sect. 2, I clarify the evidential support relation. (...) In Sects. 3–5, I subject reliabilist and proper functionalist accounts of evidential support to various counterexamples. In Sect. 6, I show that the most promising ways to address these counterexamples aren’t very promising. (shrink)

The problem of closure for the traditional unstructured possible worlds model of attitudinal content is that it treats belief and other cognitive states as closed under entailment, despite apparent counterexamples showing that this is not a necessary property of such states. One solution to this problem, which has been proposed recently by several authors (Schaffer 2005; Yalcin 2018; Hoek forthcoming), is to restrict closure in an unstructured setting by treating propositional attitudes as question-sensitive. Here I argue that this line of (...) response is unsatisfying as it stands because the problem of closure is more general than is typically discussed. A version of the problem recurs for attitudes like wondering, entertaining, considering, and so on, which are directed at questions rather than propositions. For such questioning attitudes, the appeal to question-sensitivity is much less convincing as a solution to the problem of closure. (shrink)

Some philosophers argue that all concepts cannot have the same representational structure, because no single kind of representation has been successful in accounting for the phenomena related to the formation and application of concepts. Here, I argue against this “appeal to cognitive science” by demonstrating that different theories of the kind concept cohere with different interpretations of the argument. To circumvent the threat of relativism, I argue that theories of concept should be understood as working hypotheses, which are provisionally accepted (...) to facilitate the investigation and explanation of the mind/brain. From this perspective, theories of concept are to be evaluated as part of a comparative analysis of the different kinds of cognitive science they inspire. (shrink)

Suppose we wish to provide a naturalistic account of intentionality. Like several other philosophers, we focus on the intentionality of belief, hoping that we may later supplement our account to accommodate other intentional states like desires and fears. Now suppose that we also take partial beliefs or credences seriously. In cashing out our favoured theory of intentionality, we may for the sake of simplicity talk as if belief is merely binary or all-or-nothing. But we should be able to supplement or (...) modify our account to accommodate credences. I shall argue, however, that it is difficult to do so with respect to certain causal or teleological theories of intentionality-in particular, those advanced by the likes of Stalnaker (Inquiry, 1984) and Millikan (J Philos 86:281–297, 1989). I shall first show that such theories are tailor-made to account for the intentionality of binary beliefs. Then I shall argue that it is hard to extend or supplement such theories to accommodate credences. Finally, I shall offer some natural ways of modifying the theories that involve an appeal to objective probabilities. But unfortunately, such modifications face problems. (shrink)

The aim of this paper is to discuss theories that attempt to single out the class of intentional states by appealing to factors that are supposedly criterial for intentional sentences. The papers starts with distinguishing two issues that arise when one thinks about intentional expressions: the Taxonomy Problem and the Fundamental Demarcation Problem. The former concerns the relation between the classes of distinct intentional verbs and distinct intentional states. The latter concerns the question about how to distinguish intentional states and (...) acts from the non-intentional ones. Next, the general desiderata for theories providing criteria for singling out the class of intentional sentences are introduced. Finally, distinct proposals for providing such criteria are analyzed. Author argues that neither is satisfactory. (shrink)

This paper develops a compositional, type-driven constraint semantic theory for a fragment of the language of subjective uncertainty. In the particular application explored here, the interpretation function of constraint semantics yields not propositions but constraints on credal states as the semantic values of declarative sentences. Constraints are richer than propositions in that constraints can straightforwardly represent assessments of the probability that the world is one way rather than another. The richness of constraints helps us model communicative acts in essentially the (...) same way that we model agents’ credences. Moreover, supplementing familiar truth-conditional theories of epistemic modals with constraint semantics helps capture contrasts between strong necessity and possibility modals, on the one hand, and weak necessity modals, on the other. (shrink)

Conventional wisdom has it that many intriguing features of indicative conditionals aren’t shared by subjunctive conditionals. Subjunctive morphology is common in discussions of wishes and wants, however, and conditionals are commonly used in such discussions as well. As a result such discussions are a good place to look for subjunctive conditionals that exhibit features usually associated with indicatives alone. Here I offer subjunctive versions of J. L. Austin’s ‘biscuit’ conditionals—e.g., “There are biscuits on the sideboard if you want them”—and subjunctive (...) versions of Allan Gibbard’s ‘stand-off’ or ‘Sly Pete’ conditionals, in which speakers with no relevant false beliefs can in the same context felicitously assert conditionals with the same antecedents and contradictory consequents. My cases undercut views according to which the indicative/subjunctive divide marks a great difference in the meaning of conditionals. They also make trouble for treatments of indicative conditionals that cannot readily be generalized to subjunctives. (shrink)

This paper argues that if propensities are displayed in objective physical chances then the appropriate representation of these chances is as indexed probability functions. Two alternative formal models, or accounts, for the relation between propensity properties and their chancy or probabilistic manifestations, in terms of conditionals and conditional probability are first reviewed. It is argued that both confront important objections, which are overcome by the account in terms of indexed probabilities. A number of further advantages of the indexed probability account (...) are discussed, which suggest that it is promising as a general theory of objective physical chance. The paper ends with a discussion of the indexical character of the objective chances that are grounded in propensities. (shrink)

This paper considers an orectic penetration hypothesis which says that desires and desire-like states may influence perceptual experience in a non-externally mediated way. This hypothesis is clarified with a definition, which serves further to distinguish the interesting target phenomenon from trivial and non-genuine instances of desire-influenced perception. Orectic penetration is an interesting possible case of the cognitive penetrability of perceptual experience. The orectic penetration hypothesis is thus incompatible with the more common thesis that perception is cognitively impenetrable. It is of (...) importance to issues in the philosophy of mind and cognitive science, epistemology, and general philosophy of science. The plausibility of orectic perception can be motivated by some classic experimental studies, and some new experimental research inspired by those same studies. The general suggestion is that orectic penetration thus defined, and evidenced by the relevant studies, cannot be deflected by the standard strategies of the cognitive impenetrability theorist. (shrink)

This note responds to criticism put forth by Jessica Keiser against a theory of lying as Stalnakerian assertion. According to this account, to lie is to say something one believes to be false and thereby propose that it become common ground. Keiser objects that this view wrongly counts particular kinds of non-literal speech as instances of lying. In particular, Keiser argues that the view invariably counts metaphors and certain uses of definite descriptions as lies. It is argued here that both (...) these claims are false. (shrink)

This essay argues that the distinction between lying and misleading while not lying is sensitive to discourse structure. It shows that whether an utterance is a lie or is merely misleading sometimes depends on the topic of conversation, represented by so-called questions under discussion. It argues that to mislead is to disrupt the pursuit of the goal of inquiry—that is, to discover how things are. Lying is seen as a special case requiring assertion of disbelieved information, where assertion is characterized (...) as a mode of contributing information to a discourse that is sensitive to the state of the discourse itself. The resulting account is applied to a number of ways of exploiting the lying-misleading distinction, involving conversational implicature, incompleteness, presuppositions, and prosodic focus. The essay shows that assertion, and hence lying, is preserved from subquestion to superquestion under a strict entailment relation between questions, and it discusses ways of lying and misleading in relation to multiple questions. (shrink)

If the computational theory of mind is right, then minds are realized by machines. There is an ordered complexity hierarchy of machines. Some finite machines realize finitely complex minds; some Turing machines realize potentially infinitely complex minds. There are many logically possible machines whose powers exceed the Church–Turing limit (e.g. accelerating Turing machines). Some of these supermachines realize superminds. Superminds perform cognitive supertasks. Their thoughts are formed in infinitary languages. They perceive and manipulate the infinite detail of fractal objects. They (...) have infinitely complex bodies. Transfinite games anchor their social relations. (shrink)

Predicates of personal taste (fun, tasty) and epistemic modals (might, must) share a similar analytical difficulty in determining whose taste or knowledge is being expressed. Accordingly, they have parallel behavior in attitude reports and in a certain kind of disagreement. On the other hand, they differ in how freely they can be linked to a contextually salient individual, with epistemic modals being much more restricted in this respect. I propose an account of both classes using Lasersohn’s (Linguistics and Philosophy 28: (...) 643–686, 2005) “judge” parameter, at the same time arguing for crucial changes to Lasersohn’s view in order to allow the extension to epistemic modals and address empirical problems faced by his account. (shrink)

It has recently been argued that indeterminacy and indeterminism make most ordinary counterfactuals false. I argue that a plausible way to avoid such counterfactual skepticism is to postulate the existence of primitive modal facts that serve as truth-makers for counterfactual claims. Moreover, I defend a new theory of ‘might’ counterfactuals, and develop assertability and knowledge criteria to suit such unobservable ‘counterfacts’.

Conditionals somehow express conditional beliefs. However, conditional belief is a bi-propositional attitude that is generally not truth-evaluable, in contrast to unconditional belief. Therefore, this article opts for an expressivistic semantics for conditionals, grounds this semantics in the arguably most adequate account of conditional belief, that is, ranking theory, and dismisses probability theory for that purpose, because probabilities cannot represent belief. Various expressive options are then explained in terms of ranking theory, with the intention to set out a general interpretive scheme (...) that is able to account for the most variegated usage of conditionals. The Ramsey test is only the first option. Relevance is another, familiar, but little understood item, which comes in several versions. This article adds a further family of expressive options, which is able to subsume also counterfactuals and causal conditionals, and indicates at the end how this family allows for partial recovery of truth conditions for conditionals. (shrink)

Even if spectrum inversion of various sorts is possible, spectrum inversion without a difference in representation is not. So spectrum inversion does not pose a challenge for the intentionalist thesis that, necessarily, within a given sense modality, if two experiences are alike with respect to content, they are also alike with respect to their phenomenal character. On the contrary, reflection on variants of standard cases of spectrum inversion provides a strong argument for intentionalism. Depending on one’s views about the possibility (...) of spectrum inversion, the impossibility of spectrum inversion without a difference in representation can also be used as an argument against a variety of reductive theories of mental representation. (shrink)

This paper explores some consequences of Lewis’s (Australas J Philos 74(4):549–567, 1996) understanding of how knowledge is compartmentalized. It argues, first, that he underestimates how badly it impacts his view. When knowledge is compartmentalized, it lacks at least one of two essential features of Lewis’s account: (a) Elusiveness—familiar skeptical possibilities, when relevant, are incompatible with everyday knowledge. (b) Knowledge is a modality—when a thinker knows that p, there is no relevant possibility where p is false. Lewis proposes compartmentalized knowledge to (...) keep treating knowledge as a modality while mitigating one of its unrealistic epistemological implications: In normal modal epistemic logic (and standard possible world semantics), a thinker always counts as knowing the strongest proposition that follows from the set of all the individual propositions that this thinker knows. Lewis’s compartmentalization proposal is that thinkers merely know the conjunctions of propositions that are known in each of, but not across, their compartments. The irony is that in avoiding overblown knowledge the view now allows for thinkers to attend to skeptical error possibilities and yet knowledge is present. The account avoids inflation of knowledge in one sense only to acquire another type of knowledge the view denies subjects can have. This problem motivates an inspection of knowledge accounts whose intra-compartment closure principles are weaker than those that are valid in normal modal-logic. The conclusion is that some formulations of closure can avoid the challenge Lewis’s view faces. Nevertheless, even these closure principles pose a barrier—perhaps an implausible barrier—for knowledge of ignorance. Even when the reasoning supporting the lack of knowledge is sound, a subject cannot always know she doesn’t know. Interestingly, this obstacle is one that knowledge of knowledge doesn’t seem to face. (shrink)

In this paper, I defend the metalinguistic solution to the problem of mathematical omniscience for the possible-worlds account of propositions by combining it with a computational model of knowledge and belief. The metalinguistic solution states that the objects of belief and ignorance in mathematics are relations between mathematical sentences and what they express. The most pressing problem for the metalinguistic strategy is that it still ascribes too much mathematical knowledge under the standard possible-worlds model of knowledge and belief on which (...) these are closed under entailment. I first argue that Stalnaker's fragmentation strategy is insufficient to solve this problem. I then develop an alternative, computational strategy: I propose a model of mathematical knowledge and belief adapted from the algorithmic model of Halpern et al. which, when combined with the metalinguistic strategy, entails that mathematical knowledge and belief require computational abilities to access metalinguistic information, and thus aren't closed under entailment. As I explain, the computational model generalizes beyond mathematics to a version of the functionalist theory of knowledge and belief that motivates the possible-worlds account in the first place. I conclude that the metalinguistic and computational strategies yield an attractive functionalist, possible-worlds account of mathematical content, knowledge, and inquiry. (shrink)

Various philosophers authors have argued—on the basis of powerful examples—that we can have compelling moral or practical reasons to believe, even when the evidence suggests otherwise. This paper explores an alternative story, which still aims to respect widely shared intuitions about the motivating examples. Specifically, the paper proposes that what is at stake in these cases is not belief, but rather acceptance—an attitude classically characterized as taking a proposition as a premise in practical deliberation and action. I suggest that acceptance’s (...) theoretical usefulness in the ethics of belief has been hidden by its psychological obscurity. I thus aim to develop an empirically adequate and mechanistically specific psychological profile of acceptance. I characterize acceptance as centrally involving a cognitive gating function, in which we prevent a target belief state from having its characteristic downstream effects on reasoning, cognition, and action, and restructure those downstream processes. I then argue that there is substantial empirical support for the existence of the cognitive mechanisms needed to instantiate this view, coming from the science of emotion regulation. I argue that acceptance involves deploying the same mechanisms used in emotional response modulation to belief states: acceptance is doxastic response modulation. I then propose that having a better understanding of the psychological profile of acceptance leaves us better positioned to appreciate its potential usefulness for making progress on various puzzles within the ethics of belief. (shrink)

Mights plug gaps. If p lacks a truth-value, then ‘It might be that p’ should also lack truth-value. Yet epistemic hedges often turn an unassertible statement into an assertible one. The phenomenon is illustrated in detail for two kinds of statements that are frequently alleged to be counterexamples to the principle of bivalence: future contingents and statements that apply predicates to borderline cases. The paper concludes by exploring the prospects for generalizing this gap-plugging strategy.

What is the normative role of knowledge? I argue that knowledge plays an important role as a norm of assertion and action, which is explained and unified by its more fundamental role as a norm of belief. Moreover, I propose a distinctive account of what this normative role consists in. I argue that knowledge is the aim of belief, which sets a normative standard of correctness and a corresponding normative standard of justification. According to my proposal, it is correct to (...) believe, assert and act on a proposition if and only if one is in a position to know it, but one has justification to believe, assert and act on a proposition if and only if one has justification to believe that one is in a position to know it. (shrink)

In this paper I defend the claim that justification is closed under conjunction, and confront its most alarming consequence — that one can have justification for believing propositions that are unlikely to be true, given one's evidence.

What is the role of affective experience in explaining how our desires provide us with reasons for action? When we desire that p, we are thereby disposed to feel attracted to the prospect that p, or to feel averse to the prospect that not-p. In this paper, we argue that affective experiences – including feelings of attraction and aversion – provide us with reasons for action in virtue of their phenomenal character. Moreover, we argue that desires provide us with reasons (...) for action only insofar as they are dispositions to have affective experiences. On this account, affective experience has a central role to play in explaining how desires provide reasons for action. (shrink)

What is the relationship between understanding and knowing? This paper offers a defence of reductionism about understanding: the view that instances of understanding reduce to instances of knowing. I argue that knowing is both necessary and sufficient for understanding. I then outline some advantages of reductionism.

This paper starts by criticising some olderaccounts of conditionals based on the so-called `Ramsey Test', and ends by proposing their replacement, in part with a material account, in part with a probabilistic account using epsilon terms. The combined replacement is in fact closer to Ramsey's ideas. But there is also a resemblance between the latter and a more recent account of conditionals, which relates some of them to causality. The comparison provides a basis for assessment of the proposed replacement.

The paradox of desire is an objection to desire-satisfaction, or preferentist, theories of welfare. In a nutshell, the objection goes like this. I can certainly desire that I be badly off. But if a desire-satisfaction theory of welfare is true, then—under certain assumptions—the hypothesis that I desire that I be badly off entails a contradiction. So much the worse for desire-satisfaction theories of welfare.

The view that dominates the literature on intentional attitudes holds that beliefs and desires both have propositional content. A commitment to what I call “content uniformity” underlies this view. According to content uniformity, beliefs and desires are but different psychological modes having a uniform kind of content. Prima facie, the modes don’t place any constraint on the kinds of content the attitude can have. I challenge this consensus by pointing out an asymmetry between belief contents and desire contents which shows (...) content uniformity to be mistaken. I do this by revisiting the arguments of Richard (Philosophical Studies, 39(1): 1–13, 1981), and show that arguments which purport to show the temporal specificity of belief contents yield the opposite results for desire contents. I defend this preliminary conclusion from various strategies to neutralize the asymmetry claim. My defense provides occasions to respond to objections by Brogaard (2012) and Recanati (2007) to the Richard argument, and to get clearer on the role of temporal adjuncts in desire ascriptions. Finally, I consider whether the construal of attitude content as centered propositions (as in Lewis Philosophical Review, 88(4): 513–543, 1979) can be invoked to vindicate content uniformity. My conclusion is that while the framework itself doesn’t vindicate content uniformity, it could, but only if it availed itself of a further, substantive thesis about desire, which itself is in need of defense. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing semantic distinctions (...) between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

Why must incompatibility be symmetric? An odd question, but recent work in the semantics of non-classical logic, which appeals to the notion of incompatibility as a primitive and defines negation in terms of it, has brought this question to the fore. Francesco Berto proposes such a semantics for negation argues that, since incompatibility must be symmetric, double negation introduction must be a law of negation. However, he offers no argument for the claim that incompatibility really must be symmetric. Here, I (...) provide such an argument, showing that, insofar as we think of incompatibility in normative pragmatic terms, it can play its basic pragmatic function only if it is symmetric. The upshot is that we can vindicate Berto’s claim about the symmetry of incompatibility but only if we, pace Berto, think about incompatibility, in the first instance, as a pragmatic relation between acts rather than a semantic relation between contents. (shrink)

According to existing accounts of indicative conditionals, any argument of the following form is valid: ϕ → ψ, ( ϕ ∧ ψ ) → χ ∴ ϕ → χ. Here, I present a set of counterexamples to show that there exist invalid arguments of this form. I argue that this data poses serious problems to variably strict accounts of conditionals, as such accounts are structurally unable to accommodate it. Dynamic strict accounts, however, are a different story. While existing dynamic strict (...) accounts do not accommodate the data, they are in principle able to, and I propose a modified dynamic strict account, drawing from von Fintel, that does. The key modification is this: whereas existing dynamic strict accounts take into account only the effects of conditional antecedents in changing the semantic context, the data shows that we must also take into account the effects of conditional consequents in changing the semantic context. (shrink)

The problem of creeping minimalism concerns how to tell the difference between metaethical expressivism and its rivals given contemporary expressivists’ acceptance of minimalism about truth and related concepts. Explanationism finds the difference in what expressivists use to explain why ethical language and thought has the content it does. I argue that two recent versions of explanationism are unsatisfactory and offer a third version, subject matter explanationism. This view, I argue, captures the advantages of previous views without their disadvantages and gives (...) us a principled and general characterisation of non-representational views about all kinds of language and thought. (shrink)

The Ramsey Test is considered to be the default test for the acceptability of indicative conditionals. I will argue that it is incompatible with some of the recent developments in conceptualizing conditionals, namely the growing empirical evidence for the _Relevance Hypothesis_. According to the hypothesis, one of the necessary conditions of acceptability for an indicative conditional is its antecedent being positively probabilistically relevant for the consequent. The source of the idea is _Evidential Support Theory_ presented in Douven (2008). I will (...) defend the hypothesis against alleged counterexamples, and show that it is supported by growing empirical evidence. Finally, I will present a version of the Ramsey test which incorporates the relevance condition and therefore is consistent with growing empirical evidence for the relevance hypothesis. (shrink)

Cumming (2008) uses a puzzle about belief ascription to argue against a Millian semantics, and in favor of a semantics on which names are assigned denotations relative to a shiftable variable assignment. I use Cumming's puzzle to showcase the virtues of a rival, broadly Stalnakerian, treatment of attitude ascriptions that safeguards Millianism. I begin by arguing that Cumming's solution seems unable to account for substitutivity data that helps constitute the very puzzle he uses to motivate his account. Once the substitutivity (...) data is acknowledged, the puzzle actually seems to strengthen, rather than weaken, the Millian position. I then argue that the real force of the puzzle is to place special constraints on our accounts of de re belief ascription. To help bring out the nature of those constraints, I connect aspects of Cumming's puzzle to more familiar problems about belief ascription raised by Quine. I then defend three theses making up a skeletal account of de re belief ascription that promises to cope naturally with the variants of Cumming's puzzle, and integrate them into a broader theory of de re intensionality. (shrink)

It is often taken for granted that our desires can contribute to what it is rational for us to do. This paper examines an account of desire—the ‘guise of the good’— that promises an explanation of this datum. I argue that extant guise-of-the-good accounts fail to provide an adequate explanation of how a class of desires—basic desires—contributes to practical rationality. I develop an alternative guise-of-the-good account on which basic desires attune us to our reasons for action in virtue of their (...) biological function. This account emphasises the role of desire as part of our competence to recognise and respond to normative reasons. (shrink)

This paper evaluates the claim that some desires provide reasons in virtue of their connection with conscious affective experiences like feelings of attraction or aversion. I clarify the nature of affective desires and several distinct ways in which affective desires might provide reasons. Against accounts proposed by Ruth Chang, Declan Smithies and Jeremy Weiss, I motivate doubts that it is the phenomenology of affective experiences that explains their normative or rational significance. I outline an alternative approach that centralises the function (...) of such experiences. (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)

It is sometimes argued that certain sentences of natural language fail to express truth conditional contents. Standard examples include e.g. Tipper is ready and Steel is strong enough. In this paper, we provide a novel analysis of truth conditional meaning using the notion of a question under discussion. This account explains why these types of sentences are not, in fact, semantically underdetermined, provides a principled analysis of the process by which natural language sentences can come to have enriched meanings in (...) context, and shows why various alternative views, e.g. so-called Radical Contextualism, Moderate Contextualism, and Semantic Minimalism, are partially right in their respective analyses of the problem, but also all ultimately wrong. Our analysis achieves this result using a standard truth conditional and compositional semantics and without making any assumptions about enriched logical forms, i.e. logical forms containing phonologically null expressions. (shrink)