(1988). Explanation, subjunctives and statistical theories. International Studies in the Philosophy of Science: Vol. 3, No. 1, pp. 80-96. doi: 10.1080/02698598808573326.

The variably strict analysis of conditionals does not only largely dominate the philosophical literature, since its invention by Stalnaker and Lewis, it also found its way into linguistics and psychology. Yet, the shortcomings of Lewis–Stalnaker’s account initiated a plethora of modifications, such as non-vacuist conditionals, presuppositional indicatives, perfect conditionals, or other conditional constructions, for example: reason relations, difference-making conditionals, counterfactual dependency, or probabilistic relevance. Many of these new connectives can be treated as strengthened or weakened conditionals. They are definable conditionals. (...) This article develops a technique to infer the logic for such definable conditionals from the known logic of the underlying defining conditional. The technique is applied to central examples. The results show that a large part of the zoo of conditionals arises from a basic conditional—a constant nucleus of the different contextual and conceptual variations of variably strict conditionals. (shrink)

The well-known argument of Frederick Fitch, purporting to show that verificationism (= Truth implies knowability) entails the absurd conclusion that all the truths are known, has been disarmed by Dorothy Edgington''s suggestion that the proper formulation of verificationism presupposes that we make use of anactuality operator along with the standardly invoked epistemic and modal operators. According to her interpretation of verificationism, the actual truth of a proposition implies that it could be known in some possible situation that the proposition holds (...) in theactual situation. Thus, suppose that our object language contains the operatorA — it is actually the case that ... — with the following truth condition: vA iff w0, wherew 0 stands for the designated world of the model — the actual world. Then we can formalize the verificationist claim as follows. (shrink)

Even if our justified beliefs are closed under known entailment, there may still be instances of transmission failure. Transmission failure occurs when P entails Q, but a subject cannot acquire a justified belief that Q by deducing it from P. Paradigm cases of transmission failure involve inferences from mundane beliefs (e.g., that the wall in front of you is red) to the denials of skeptical hypotheses relative to those beliefs (e.g., that the wall in front of you is not white (...) and lit by red lights). According to the Bayesian explanation, transmission failure occurs when (i) the subject’s belief that P is based on E, and (ii) P(Q|E) P(Q). No modifications of the Bayesian explanation are capable of accommodating such cases, so the explanation must be rejected as inadequate. Alternative explanations employing simple subjunctive conditionals are fully capable of capturing all of the paradigm cases, as well as those missed by the Bayesian explanation. (shrink)

: Among the current philosophical accounts of causation two are the most prominent. The first is James Woodward's interventionist counterfactual approach; the second is the mechanistic approach advocated by Peter Machamer, Lindley Darden, Carl Craver, Jim Bogen and Stuart Glennan. Thecounterfactual approach takes it that causes make a difference to their effects, where this difference-making is cashed out in terms of actual and counterfactual interventions. The mechanistic approach takes it that two events are causally related if and only if there (...) is a mechanism that connects them. In this paper I examine them both in some detail. After pointing out some important problems that both approaches face, I argue that there is a sense in which the counterfactual approach is more basic than the mechanistic one in that a proper account of mechanisms depends on counterfactuals while counterfactuals need not be supported (or depend on) mechanisms. Nonetheless, I also argue that if both approaches work in tandem in practice, they can offer us a better understanding of aspects of Hume's secret connexion and hence a glimpse of it. (shrink)

This is an expanded and revised discussion of the argument briefly put forward in my 'A New Problem for the A-Theory of Time', where it is claimed that it is impossible to experience real temporal passage and that no such phenomenon exists. In the first half of the paper the premises of the argument are discussed in more detail than before. In the second half responses are given to several possible objections, none of which were addressed in the earlier paper. (...) There is also some discussion of some related epistemic arguments against the passage of time given by Huw Price and David Braddon-Mitchell along with objections raised against them recently by Tim Maudlin and Peter Forrest respectively. (shrink)

A certain construal of the Gettier problem is offered, according to which this problem concerns the task of identifying the anti-luck condition on knowledge. A methodology for approaching this construal of the Gettier problem—anti-luck epistemology—is set out, and the utility of such a methodology is demonstrated. It is argued that a range of superficially distinct cases which are meant to pose problems for anti-luck epistemology are in fact related in significant ways. It is claimed that with these cases properly understood, (...) anti-luck epistemology is able to offer a suitable diagnosis of them which doesn’t threaten the necessity of the anti-luck condition for knowledge. (shrink)

Support is canvassed for a new approach to epistemology called anti-risk epistemology. It is argued that this proposal is rooted in the motivations for an existing account, known as anti-luck epistemology, but is superior on a number of fronts. In particular, anti-risk epistemology is better placed than anti-luck epistemology to supply the motivation for certain theoretical moves with regard to safety-based approaches to knowledge. Moreover, anti-risk epistemology is more easily extendable to epistemological questions beyond that in play in the theory (...) of knowledge specifically. A key advantage of the view, however, is that anti-risk epistemology fares much better than anti-luck epistemology when it comes to accounting for the phenomenon of negative epistemic dependence. In particular, anti-risk epistemology is ideally placed to explain why such epistemic dependence is incompatible with knowledge, even when the negative epistemic dependence in play is of a purely modal variety. (shrink)

A distinctive approach to the theory of knowledge is described, known as anti-luck epistemology. The goal of the paper is to consider whether there are specific features of this proposal that entails that it is committed to pragmatic encroachment, such that whether one counts as having knowledge significantly depends on non-epistemic factors. In particular, the plausibility of the following idea is explored: that since pragmatic factors play an essential role when it comes to the notion of luck, then according to (...) anti-luck epistemology they must likewise play an essential role in our understanding of knowledge as well. It is argued that once anti-luck epistemology is properly understood—where this means, in turn, having the right account of luck in play—then this putative entailment to pragmatic encroachment does not go through. (shrink)

The distinction between rules and similarity is central to our understanding of much of cognitive psychology. Two aspects of existing research have motivated the present work. First, in different cognitive psychology areas we typically see different conceptions of rules and similarity; for example, rules in language appear to be of a different kind compared to rules in categorization. Second, rules processes are typically modeled as separate from similarity ones; for example, in a learning experiment, rules and similarity influences would be (...) described on the basis of separate models. In the present article, I assume that the rules versus similarity distinction can be understood in the same way in learning, reasoning, categorization, and language, and that a unified model for rules and similarity is appropriate. A rules process is considered to be a similarity one where only a single or a small subset of an object's properties are involved. Hence, rules and overall similarity operations are extremes in a single continuum of similarity operations. It is argued that this viewpoint allows adequate coverage of theory and empirical findings in learning, reasoning, categorization, and language, and also a reassessment of the objectives in research on rules versus similarity. Key Words: categorization; cognitive explanation; language; learning; reasoning; rules; similarity. (shrink)

Common-sense morality includes various agent-centred constraints, including ones against killing unnecessarily and breaking a promise. However, it's not always clear whether, had an agent ϕ-ed, she would have violated a constraint. And sometimes the reason for this is not that we lack knowledge of the relevant facts, but that there is no fact about whether her ϕ-ing would have constituted a constraint-violation. What, then, is a constraint-accepting theory to say about whether it would have been permissible for her to have (...) ϕ-ed? In this paper, I canvass various possible approaches to answering this question and I argue that teleology offers the most plausible approach—teleology being the view that every act has its deontic status in virtue of how its outcome ranks, relative to those of its alternatives. So although, until recently, it had been thought that only deontological theories can accommodate constraints, it turns out that teleological theories not only can accommodate constraints, but can do so more plausibly than deontological theories can. (shrink)

There is, on a given moral view, an agent-centered restriction against performing acts of a certain type if that view prohibits agents from performing an instance of that act-type even to prevent two or more others from each performing a morally comparable instance of that act-type. The fact that commonsense morality includes many such agent-centered restrictions has been seen by several philosophers as a decisive objection against consequentialism. Despite this, I argue that agent-centered restrictions are more plausibly accommodated within a (...) consequentialist framework than within the more standard side-constraint framework. For I argue that when we combine agent-relative consequentialism with a Kantian theory of value, we arrive at a version of consequentialism, which I call 'Kantsequentialism', that has several advantages over the standard side-constraint approach to accommodating constraints. What’s more, I argue that Kantsequentialism doesn’t have any of the disadvantages that critics of consequentializing have presumed that such a theory must have. (shrink)

The platonism/nominalism debate in the philosophy of mathematics concerns the question whether numbers and other mathematical objects exist. Platonists believe the answer to be in the positive, nominalists in the negative. According to non-factualists, the question is ‘moot’, in the sense that it lacks a correct answer. Elaborating on ideas from Stephen Yablo, this article articulates a non-factualist position in the philosophy of mathematics and shows how the case for non-factualism entails that standard arguments for rival positions fail. In particular, (...) showing how and why non-factualists reject nominalism illuminates the originality and interest of their position. (shrink)

We show that truth conditions for counterfactuals need not always be given in terms of a vague notion of similarity. To this end, we single out the important class of historical counterfactuals and give formally rigorous truth conditions for these counterfactuals, employing a partial ordering relation called "comparative closeness" that is defined in the framework of branching space-times. Among other applications, we provide a detailed analysis of counterfactuals uttered in the context of lost bets. In an appendix we compare our (...) theory with the branching space-times based reading of counterfactuals recently proposed by Belnap. (shrink)

It is natural to ask under what conditions negating a conditional is equivalent to negating its consequent. Given a bivalent background logic, this is equivalent to asking about the conjunction of Conditional Excluded Middle (CEM, opposite conditionals are not both false) and Weak Boethius' Thesis (WBT, opposite conditionals are not both true). In the system CI.0 of consequential implication, which is intertranslatable with the modal logic KT, WBT is a theorem, so it is natural to ask which instances of CEM (...) are derivable. We also investigate the systems CIw and CI of consequential implication, corresponding to the modal logics K and KD respectively, with occasional remarks about stronger systems. While unrestricted CEM produces modal collapse in all these systems, CEM restricted to contingent formulas yields the Alt2 axiom (semantically, each world can see at most two worlds), which corresponds to the symmetry of consequential implication. It is proved that in all the main systems considered, a given instance of CEM is derivable if and only if the result of replacing consequential implication by the material biconditional in one or other of its disjuncts is provable. Several related results are also proved. The methods of the paper are those of propositional modal logic as applied to a special sort of conditional. (shrink)

The conservation of energy and momentum have been viewed as undermining Cartesian mental causation since the 1690s. Modern discussions of the topic tend to use mid-nineteenth century physics, neglecting both locality and Noether’s theorem and its converse. The relevance of General Relativity has rarely been considered. But a few authors have proposed that the non-localizability of gravitational energy and consequent lack of physically meaningful local conservation laws answers the conservation objection to mental causation: conservation already fails in GR, so there (...) is nothing for minds to violate. This paper is motivated by two ideas. First, one might take seriously the fact that GR formally has an infinity of rigid symmetries of the action and hence, by Noether’s first theorem, an infinity of conserved energies-momenta. Second, Sean Carroll has asked how one should modify the Dirac–Maxwell–Einstein equations to describe mental causation. This paper uses the generalized Bianchi identities to show that General Relativity tends to exclude, not facilitate, such Cartesian mental causation. In the simplest case, Cartesian mental influence must be spatio-temporally constant, and hence 0. The difficulty may diminish for more complicated models. Its persuasiveness is also affected by larger world-view considerations. The new general relativistic objection provides some support for realism about gravitational energy-momentum in GR. Such realism also might help to answer an objection to theories of causation involving conserved quantities, because energies-momenta would be conserved even in GR. (shrink)

In this paper, I examine whether agents who commit testimonial injustice are morally responsible for their wrongdoing, given that they are ignorant of their wrongdoing. Fricker (2007) argues that agents whose social setting lacks the concepts or reasons necessary for them to correct for testimonial injustice are excused. I argue that agents whose social settings have these concepts or reasons available are also typically excused, because they lack the capacity to recognise those concepts or reasons. Attempts to trace this lack (...) of capacity back to an earlier culpable wrongdoing will often fail, due to there being no point at which these perpetrators knowingly chose to develop their prejudices. Attempts to ground culpability under Talbert’s (2008) Attributionist account of moral responsibility will also fail. This is because perpetrators’ lack of awareness of what they are doing makes it the case that they are not expressing objectionable evaluative judgments in the way required for blameworthiness. Finally, I argue that our temptation to blame agents who commit testimonial injustice is not completely unfounded. Appealing to Watson’s (1996) attributability/accountability distinction allows us to make sense of how some responses to the jurors are appropriate, despite their being excused. (shrink)

I argue in favor of a certain connection between knowledge and the permissibility of action. On this approach, we do not think of the relation between those notions as reflecting a universal epistemic principle. Instead, we think of it as something resembling a platitude from folk psychology. With the help of some elementary tools from the logic of normativity and counterfactuals, I attempt to establish the connection by deriving it from more elementary principles. The new formulation involves a ceteris paribus (...) clause. Though it is often difficult to specify the exact content of a ceteris paribus clause, we will see that our clause is derived from a descriptive generalization with independent motivation. (shrink)

Sidney Morgenbesser brought to attention cases of the following form: (MC1) Chump tosses an indeterministic coin and, whilst it is in mid-air, calls heads. The coin lands tails, and Chump loses. His betting was causally independent of the coin’s fall. Chump seems right to say: ‘If I had bet tails, I would have won.’1 (MC2).

We present a unified approach for investigating rational reasoning about basic argument forms involving indicative conditionals, counterfactuals, and basic quantified statements within coherence-based probability logic. After introducing the rationality framework, we present an interactive view on the relation between normative and empirical work. Then, we report a new experiment which shows that people interpret indicative conditionals and counterfactuals by coherent conditional probability assertions and negate conditionals by negating their consequents. The data support the conditional probability interpretation of conditionals and the (...) narrow-scope reading of the negation of conditionals. Finally, we argue that coherent conditional probabilities are important for probabilistic analyses of conditionals, nonmonotonic reasoning, quantified statements, and paradoxes. (shrink)

Many people seem to share some version of what has been called the “intuition of neutrality” aboutcreating new people, which, roughly, says that there exists a certain range of levels of well-beingsuch that creating people within this range is, in itself, morally neutral, but creating people with alevel of well-being outside this range is not morally neutral. In this paper, I will discuss differentinterpretations of this intuition, and specifically distinguish between what I will call counterfactualinterpretations and Do-interpretations of the intuition. (...) I will argue that it is hard to interpret theintuition in a way that does not give rise to antinatalist moral reasons, i.e. reasons favoring an emptyfuture population, when it comes to choices of social policy. In particular, this holds if we assume aconception of relevant outcomes of actions reflecting consequentialist moral intuitions. In the end, I will formulate a normative principle of welfare promotion which I argue respects the most plausiblecounterfactual version of the neutrality intuition. (shrink)

Molinism is named after Luis de Molina (1535–1600). Molina and his fellow Jesuits became entangled in a fierce debate over issues involving the doctrine of divine providence, which is a picture of how God runs the world. Molinism reemerged in the 1970s after Alvin Plantinga unwittingly assumed it in his Free Will Defense against the ‘Logical’ Argument from Evil. Molinism has been the subject of vigorous debate in analytic philosophy of religion ever since. The main aim of this essay is (...) to survey the main contours of this debate. We will visit some ‘old’ battlefields and current hot spots in the ongoing Molinism Wars. (shrink)

Our objectives in this article are to bring some theoretical order into developmental sequences and simultaneities in children’s ability to appreciate multiple labels for single objects, to reason with identity statements, to reason hypothetically, counterfactually, and with beliefs and desires, and to explain why an ‘implicit’ understanding of belief occurs before an ‘explicit’ understanding. The central idea behind our explanation is the emerging grasp of how objects of thought and desire relate to real objects and to each other. To capture (...) this idea we make use of the notion of discourse referents, as did Perner and Brandl (2005), to explain the developmental link between understanding beliefs and alternative naming. We present confirming evidence of the prediction from this analysis that children should have comparable problems with understanding identity statements. We explain the precociously correct answers in ‘implicit’ false belief tests based on indirect measures in the following way: From infancy children are able to keep track of other people’s experiences, to reason about counterfactual circumstances, and to reason about goal-directed (rational) action depending on given circumstances. Indirect tasks reduce the bias to use actual circumstances for reasoning about goal directed action compared to the traditional task, which leads to more correct answers. An emerging metarepresentational understanding helps overcome these biases and enables not only correct action prediction but also the explanation of erroneous actions. The common metarepresentational element explains why false belief tasks and the alternative naming task are mastered at the same time as children understand identity statements. (shrink)

One of the main line of responses to the infamous causal exclusion problem has been based on the counterfactual account of causation. However, arguments have begun to surface to the effect that the counterfactual theory is in fact ill-equipped to solve the exclusion problem due to its commitment to downward causation. This argumentation is here critically analysed. An analysis of counterfactual dependence is presented and it is shown that if the semantics of counterfactuals is taken into account carefully enough, the (...) counterfactual notion of causation does not need to be committed to downward causation. However, it is a further question whether this is eventually enough to solve the exclusion problem for the analysis shows how the problem itself can take various different forms. (shrink)

In the literature there are at least two models for probabilistic belief revision: Bayesian updating and imaging [Lewis, D. K. (1973), Counterfactuals, Blackwell, Oxford; Gärdenfors, P. (1988), Knowledge in flux: modeling the dynamics of epistemic states, MIT Press, Cambridge, MA]. In this paper we focus on imaging rules that can be described by the following procedure: (1) Identify every state with some real valued vector of characteristics, and accordingly identify every probabilistic belief with an expected vector of characteristics; (2) For (...) every initial belief and every piece of information, choose the revised belief which is compatible with this information and for which the expected vector of characteristics has minimal Euclidean distance to the expected vector of characteristics of the initial belief. This class of rules thus satisfies an intuitive notion of minimal belief revision. The main result in this paper is to provide an axiomatic characterization of this class of imaging rules. (shrink)

In a recent article, Zhang and Foo generalized the AGM postulates for contraction to include infinite epistemic input. The new type of belief change is called set contraction. Zhang and Foo also introduced a constructive model for set contraction, called nicely ordered partition, as a generalization of epistemic entrenchment. It was shown however that the functions induced from nicely ordered partitions do not quite match the postulates for set contraction. The mismatch was fixed with the introduction of an extra condition (...) called the limit postulate. The limit postulate establishes a connection between contraction by infinite epistemic input and contraction by finite epistemic input (reducing the former to the latter) and it is appealing both on mathematical and on conceptual grounds. It is debatable however whether the limit postulate can be adopted as a general feature of rationality in set contraction. Instead we propose that the limit postulate is viewed as a condition characterizing an important special case of set contraction functions. With this reading in mind, in this article we introduce an alternative generalization of epistemic entrenchment, based on the notion of comparative possibility. We prove that the functions induced from comparative possibility preorders precisely match those satisfying the postulates for set contraction (without the limit postulate). The relationship between comparative possibility and epistemic entrenchment is also investigated. Finally, we formulate necessary and sufficient conditions under which the functions induced from comparative possibility preorders coincide with the special class of contraction functions characterized by the limit postulate. (shrink)

Default reasoning occurs whenever the truth of the evidence available to the reasoner does not guarantee the truth of the conclusion being drawn. Despite this, one is entitled to draw the conclusion “by default” on the grounds that we have no information which would make us doubt that the inference should be drawn. It is the type of conclusion we draw in the ordinary world and ordinary situations in which we find ourselves. Formally speaking, ‘nonmonotonic reasoning’ refers to argumentation in (...) which one uses certain information to reach a conclusion, but where it is possible that adding some further information to those very same premises could make one want to retract the original conclusion. It is easily seen that the informal notion of default reasoning manifests a type of nonmonotonic reasoning. Generally speaking, default statements are said to be true about the class of objects they describe, despite the acknowledged existence of “exceptional instances” of the class. In the absence of explicit information that an object is one of the exceptions we are enjoined to apply the default statement to the object. But further information may later tell us that the object is in fact one of the exceptions. So this is one of the points where nonmonotonicity resides in default reasoning. (shrink)

According to some scholars, while sets of greenhouse gases emissions generate harms deriving from climate change, which can be mitigated through collective actions, individual emissions and mitigation activities seem to be causally insufficient to cause harms. If so, single individuals are neither responsible for climate harms, nor they have mitigation duties. If this view were true, there would be collective responsibility for climate harms without individual responsibility and collective mitigation duties without individual duties: this is puzzling. This paper explores a (...) way to solve this puzzle. First, it will be argued that individual emissions, though not proper and full-fledged causes, causally contribute to raise the probability of climate harms. As a consequence, individuals are in fact responsible for their expected contributions to climate harms – this is contributive responsibility for likely outcomes. Second, it will be argued that people have responsibility also for the possible impacts of their individual emissions on climate harms. People can plausibly be regarded as individually responsible for the possible outcomes of their actions in close possible alternative worlds – this is robust responsibility. Non-causal individual responsibility for climate harms is plausible, and the puzzle may be solved. (shrink)

The nonexistence of fictional entities does not seem incompatible with their possible existence. The aim of this paper is to give an account of the intuitive truth of statements of possible existence involving fictional proper names in an actualist framework. After having clarified the opposition between a possibilist and an actualist approach of possible wolds, I distinguish fictional individuals from fictional characters and the fictional use of fictional proper names from their metafictional use. On that basis, statements of possible existence (...) involving fictional proper names literally say of fictional characters conceived as abstract objects that they might have been exemplified. (shrink)

David Armstrong argues that necessitation relations among universals are the best explanation of some of our observations. If we consequently accept them into our ontologies, then we can justify induction, because these necessitation relations also have implications for the unobserved. By embracing Armstrongian universals, we can vindicate some of our strongest epistemological intuitions and answer the Problem of Induction. However, Armstrong’s reasoning has recently been challenged on a variety of grounds. Critics argue against both Armstrong’s usage of inference to the (...) best explanation and even whether, by Armstrong’s own standards, necessitation relations offer a potential explanation of this explanandum, let alone the best explanation. I defend Armstrong against these particular criticisms. Firstly, even though there are reasons to think that Armstrong’s justification fails as a self-contained defence of induction, it can usefully complement several other answers to Hume. Secondly, I argue that Armstrong’s reasoning is consistent with his own standards for explanation. (shrink)

This paper begins by considering Dummett's justificationist treatment of statements about the past in his book Truth and the Past (2004). Contrary to Dummett's position, there is no way of applying the intuitionistic distinction in the arithmetical case between direct and indirect methods of establishing a content to the case of past-tense statements. Attempts to do so either give the wrong truth conditions, or rely on notions not available to a justificationist position. A better, realistic treatment makes ineliminable use of (...) identity of state in its positive account of understanding of the past tense; this account can also be applied to other subject matters besides the past. A theory is developed of how realists should conceive of the relation between meaning and evidence. Points from this discussion are used in criticism of Wright's minimalist conception of truth. Three grades of possible involvement of truth and reference in a substantive theory of intentional content are distinguished, and reasons are given for thinking that a range of contents involve the highest degree of involvement of reference and truth in their substantive individuation. (shrink)

Making sense of our reasoning in disputes about necessary truths requires admitting nonvacuous counterpossibles. One class of these is the counteressentials, which ask us to make contrary to fact suppositions about essences. A popular strategy in accounting for nonvacuous counterpossibles is to extend the standard possible worlds semantics for subjunctive conditionals by the addition of impossible worlds. A conditional A □-> C is then taken to be true if all of the nearest A worlds are C worlds. I argue that (...) a straightforward extension of the standard possible worlds semantics to impossible worlds does not result in a viable account of counteressentials and propose an alternative covering law semantics for counteressentials. (shrink)

Traditional procedures for rational updating fail when it comes to self-locating opinions, such as your credences about where you are and what time it is. This paper develops an updating procedure for rational agents with self-locating beliefs. In short, I argue that rational updating can be factored into two steps. The first step uses information you recall from your previous self to form a hypothetical credence distribution, and the second step changes this hypothetical distribution to reflect information you have genuinely (...) learned as time has passed. While the second step resembles traditional procedures of updating by conditionalization, the first is best understood by analogy to traditional models of how agents transmit self-locating opinions through ordinary interpersonal communication. (shrink)

In this paper, I will present a problem for reductive accounts of knowledge-undermining epistemic luck. By “reductive” I mean accounts that try to analyze epistemic luck in non-epistemic terms. I will begin by briefly considering Jennifer Lackey's (2006) criticism of Duncan Pritchard's (2005) safety-based account of epistemic luck. I will further develop her objection to Pritchard by drawing on the defeasible-reasoning tradition. I will then show that her objection to safety-based accounts is an instance of a more general problem with (...) reductive accounts of epistemic luck. In short, they face a dilemma: they can either fail to vindicate the intuitive verdicts about cases or they can illicitly appeal to the epistemic vocabulary they are trying to reduce. The upshot is that we can only understand epistemic luck in terms of the assessment of the subject's reasons and we can't give a reductive account of that. (shrink)

The idea that sentences can be closer or further apart in meaning is highly intuitive. Not only that, it is also a pillar of logic, semantic theory and the philosophy of science, and follows from other commitments about similarity. The present paper proposes a novel way of comparing the ‘distance’ between two pairs of propositions. We define ‘\ is closer in meaning to \ than \ is to \’ and thereby give a precise account of comparative propositional similarity facts. Notably, (...) our definition eschews metric assumptions, which are unrealistic in most applications of interest. (shrink)

Certain measurement-related constructions impose a requirement that the measure function used track the part-whole structure of the domain of measurement, so that a given entity or eventuality must have a larger measurement in the chosen dimension than any of its salient proper parts. I provide evidence from English and Chinese that these constructions can be used to measure the intensity of mental states like hatred and love, indicating that in the natural language ontology of such states, intensity correlates with part-whole (...) structure. A natural language metaphysics of psychological intensity meeting this requirement is then developed and integrated into the semantics. Further complications arise when looking at attitudes like want, wish, and regret, which also permit measurements of intensity in the relevant constructions. To account for such attitudes, the ontology and semantics are then enriched in a way that integrates ordering and quantification over possible worlds into the part-whole structure of attitude states, so that even in these more complicated cases, the constructions at hand have a unified compositional semantics. (shrink)

This paper reports completeness results for dyadic deontic logics in the tradition of Hansson’s systems. There are two ways to understand the core notion of best antecedent-worlds, which underpins such systems. One is in terms of maximality, and the other in terms of optimality. Depending on the choice being made, one gets different evaluation rules for the deontic modalities, but also different versions of the so-called limit assumption. Four of them are disentangled, and compared. The main observation of this paper (...) is that, even in the partial order case, the contrast between maximality and optimality is not as significant as one could expect, because the logic remains the same whatever notion of best is used. This is established by showing that, given analogous properties for the betterness relation, the same system is sound and complete with respect to its intended modelling. The chief result of this paper concerns Åqvist’s system F supplemented with the principle of cautious monotony. It is established that, under the maximality rule, F + is sound and complete with respect to the class of models in which the betterness relation is required be reflexive and smooth . From this, a number of spin-off results are obtained. First and foremost, it is shown that a similar determination result holds for optimality; that is, under the optimality rule, F + is also sound and complete with respect to the class of models in which the betterness relation is reflexive and smooth . Other spin-off results concern classes of models in which further constraints are placed on the betterness relation, like totalness and transitivity. (shrink)

The aim of this paper is to strengthen the point made by Horty about the relationship between reason holism and moral particularism. In the literature prima facie obligations have been considered as the only source of reason holism. I strengthen Horty’s point in two ways. First, I show that contrary-to-duties provide another independent support for reason holism. Next I outline a formal theory that is able to capture these two sources of holism. While in simple settings the proposed account coincides (...) with Horty’s one, this is not true in more complicated or “realistic” settings in which more than two norms collide. My chosen formalism is so-called input/output logic. A bottom-line example is introduced. It raises the issue of whether the conventional wisdom is right in assuming that normative reasons run parallel to epistemic ones. (shrink)