Divers (2014) argues that a Lewisian theory of modality which includes both counterpart theory and modal realism cannot account for the truth of certain intuitively true modal sentences involving cross-world comparatives. The main purpose of this paper is to defend the Lewisian theory against Divers’s challenge by developing a response strategy based on a degree-theoretic treatment of comparatives and by showing that this treatment is compatible with the theory.

A problem with recent work about the relationship between metaphysics and science, especially in the theorizing of those who identify as “naturalized metaphysicians”, is the spotty, metaphorical characterization of what it means for science to “constrain” metaphysics. The most robust account of scientific constraint on metaphysical theorizing is advanced by James Ladyman and Don Ross in their 2007 book Every Thing Must Go. Ladyman & Ross claim that the only legitimate metaphysical hypotheses are those that unify two previously disparate scientific (...) explanations. I will critique Ladyman & Ross’ account of naturalized metaphysics, and offer an alternative view of naturalized metaphysics as a practice of constructing physically possible models of reality. This account yields a different view of science’s constraint on metaphysics, specifically, that models must be physically possible in order to be of methodological and heuristic use to scientists. (shrink)

Abstract: This paper assesses the Everettian approach to the measurement problem, especially the version of that approach advocated by Simon Saunders and David Wallace. I emphasise conceptual, indeed metaphysical, aspects rather than technical ones; but I include an introductory exposition of decoherence. In particular, I discuss whether---as these authors maintain---it is acceptable to have no precise definition of 'branch' (in the Everettian kind of sense). (A version of this paper will appear in a CTNS/Vatican Observatory volume on Quantum Theory and (...) Divine Action, ed. Robert Russell et al.). (shrink)

Overview of fundamental work in deontic logic.

In this paper we argue that there is a problem with the conjunction of David Lewis' account of counterfactual conditionals and his account of laws of nature. This is a pressing problem since both accounts are individually plausible, and popular.

It is often thought that sensible qualities such as colours do not exist as properties of physical objects. Focusing on the case of colour, I discuss two views: the Galilean view, according to which colours do not exist as qualities of physical objects, and the naive view, according to which colours are, as our perception presents them to be, qualities instantiated by physical objects. I argue that it is far from clear that the Galilean view is better than the naive (...) view. Given the arguments in this paper, the naive view ought to be taken seriously. The discussion here appeals especially to theorists who, like Goff, are already convinced that the quantitative language of physical science fails to capture all qualities. (shrink)

State of art paper on the topic laws of nature, around the problem of identification what is to be a law of nature. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: the simple regularity theory, from Hume; the Mill-Ramsey-Lewis best systems theory; the Dretske-Tooley-Armstrong theory of laws as relations among universals; Ellis’s essentialist theory; Cartwright’s theory of laws as ceteris paribus laws; the anti-reductionist theories of Lange, Maudlin and Carroll, the anti-realist theories of Mumford, (...) van Fraassen and Giere; etc. (shrink)

We have two main aims: to construct mathematical models for analysing determinism, causality and supervenience; and then to use these to demonstrate the possibility of constructing an ontic construal of the operation of free will - one requiring both the presentation of genuine alternatives to an agent and their selecting between them in a manner that permits the attribution of responsibility. Determinism is modelled using trans-temporal ontic links between discrete juxtaposed universe states and shown to be distinct from predictability. Causality (...) is defined on a temporal sequence of δ-algebras and quantified using a measure. The measure leads to definitions of causal overdetermination and epiphenomena. Proofs are constructed to demonstrate deterministic universes must carry their properties essentially but not necessarily locally. We argue determinism and causality are separate doctrines. These models and results are marshalled to put the case that a counterfactual construal of ontic choice cannot work. In response we propose ‘immanence’ - a modified form of indeterminism whereby a universe can present choices to its denizens. We prove that beings subsumed within a universe cannot pilot their own actions. We then argue these beings can exercise free will only when selecting between choices inhering within immanent relata. A being is responsible for its selections if and only if it is constituted of a temporally evolving deterministic substructure. Our proposal is novel: it avoids injecting indeterminism into the decision process. Topological models for property supervenience are developed and used to reconstruct standard definitions from the literature. These are then used to demonstrate considerations of supervenience do not affect our arguments. We have demonstrated that a model of the exercise of free will involving both genuine choices and responsibility is possible but can only operate within a non-deterministic universe possessing specific traits. (shrink)

In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...) Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. (shrink)

The addiction literature is fraught with conceptual confusions, stalled debates, and an unfortunate lack of clear and careful attempts to delineate the phenomenon of addiction in a way that might lead to consensus. My dissertation has two overarching aims, one metaphysical and one practical. -/- The first aim is to defend an account of addiction as the systematic disposition to fail to control one’s desires to engage in certain types of behaviors. I defend the inclusion of desires and impaired control (...) in the definition, and I flesh out the notion of systematicity central to my dispositionalist framework. I engage the so-called ‘disease vs. choice’ debate, criticizing its presupposition that we are dealing here with a dichotomy and arguing that the movement towards a middle ground is the right track to take. I explain how the dispositionalist account can capture this middle ground and how it serves to expand upon existing views, in particular by filling in the metaphysical details. -/- The second aim is to show how the account I defend can help to unify the extant views and disciplinary perspectives in the literature. Both the dispositionalist aspect of my framework and the methodology adopted (applied ontology and systematic metaphysics) can move the literature towards both substantive and methodological unification. This will help to clear up conceptual confusions, resolve (or sometimes dissolve) apparently intractable disputes, situate different research perspectives with respect to each other, facilitate interdisciplinary dialogue, and help to frame important questions about addiction. Finally, I offer the beginnings of an ontology of addiction, which will provide a terminologically well-structured guide to the addiction literature in a way that will facilitate more effective and efficient communication and data management across disciplines. (shrink)

I consider whether evolutionary explanations can debunk our moral beliefs. Most contemporary discussion in this area is centred on the question of whether debunking implications follow from our ability to explain elements of human morality in terms of natural selection, given that there has been no selection for true moral beliefs. By considering the most prominent arguments in the literature today, I offer reasons to think that debunking arguments of this kind fail. However, I argue that a successful evolutionary debunking (...) argument can be constructed by appeal to the suggestion that our moral outlook reflects arbitrary contingencies of our phylogeny, much as the horizontal orientation of the whale’s tail reflects its descent from terrestrial quadrupeds. An introductory chapter unpacks the question of whether evolutionary explanations can debunk our moral beliefs, offers a brief historical guide to the philosophical discussion surrounding it, and explains what I mean to contribute to this discussion. Thereafter follow six chapters and a conclusion. The six chapters are divided into three pairs. The first two chapters consider what contemporary scientific evidence can tell us about the evolutionary origins of morality and, in particular, to what extent the evidence speaks in favour of the claims on which debunking arguments rely. The next two chapters offer a critique of popular debunking arguments that are centred on the irrelevance of moral facts in natural selection explanations. The final chapters develop a novel argument for the claim that evolutionary explanations can undermine our moral beliefs insofar as they show that our moral outlook reflects arbitrary contingencies of our phylogeny. A conclusion summarizes my argument and sets out the key questions that arise in its wake. (shrink)

The capacity for representing and reasoning over sets of possibilities, or modal cognition, supports diverse kinds of high-level judgments: causal reasoning, moral judgment, language comprehension, and more. Prior research on modal cognition asks how humans explicitly and deliberatively reason about what is possible but has not investigated whether or how people have a default, implicit representation of which events are possible. We present three studies that characterize the role of implicit representations of possibility in cognition. Collectively, these studies differentiate explicit (...) reasoning about possibilities from default implicit representations, demonstrate that human adults often default to treating immoral and irrational events as impossible, and provide a case study of high-level cognitive judgments relying on default implicit representations of possibility rather than explicit deliberation. (shrink)

En el presente trabajo se realiza una exposición breve del punto de vista filosófico de la teoría de la decisión, profundizando específicamente en el trabajo que propone David Lewis al respecto. Este autor sustenta que la teoría de la decisión puede sostenerse sobre bases causales o no causales, siendo la Teoría Causal de la Decisión un modelo necesario para el análisis de este tipo de problemas. En casos particulares como en la Paradoja de Newcomb, las teorías no causales de la (...) decisión serían insuficientes. A continuación se presentarán brevemente las nociones básicas del análisis de decisiones, para en segundo lugar explicar en detalle algunos aspectos de la Paradoja deNewcomb. Finalmente se presentan las tesis principales de la teoría de Lewis y algunas posibles objeciones de la misma. -/- In this work a brief account of the philosophical point of view on decision theory is shown by studying David Lewis’s work in particular. This author states that a theory of decision can have either causal or non causal grounds and that causal decision theory is a necessary model for the analysis of this kind ofproblems. In particular cases like Newcomb’s Paradox, non causal decision theories would be insufficient. I will show some basic notions of decision analysis, in order to explain in detail some aspects of Newcomb’s Paradox. Finally, the fundamental theses of Lewis’s Theory and some possible objections are presented. (shrink)

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...) 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

Within philosophy, the word “possible” is generally used to speak about either of the following. (1) Possibility: the notion that is expressed by sentences such as “It is possible that there are green cats,” “She may become the best surgeon in the city,” and “Our team can win the race.” Among the features of possibility, three are of particular interest to philosophers: it is closely related with necessity, contingency, and actuality; it is not unified, but comes in multiple varieties; it (...) is intuitively linked to conceivability. (2) The possible: the target of sentences expressing a possibility, i.e., whatever is possible. Philosophical inquiry is notably interested in the existence and the nature of possible things. For those who think possible things exist, the challenge is to say how and where. For those who think possible things do not exist, the challenge is to say how sentences stating a possibility can be true. (shrink)

Previous studies of children’s counterfactual reasoning have focused on scenarios in which a single causal event yielded an outcome. However, there are also cases in which an outcome would have occurred even in the absence of its actual cause, because of the presence of a further potential cause. In this study, 152 children aged 4-9 years reasoned counterfactually about such scenarios, in which there were ‘doubly-determined’ outcomes. The task involved dropping two metal discs down separate runways, each of which was (...) sufficient to knock over a toy pig. One of the runways was shorter than the other, meaning that one of the discs actually knocked over the pig whereas the other always arrived too late to do so. Children were asked whether the pig would have been knocked over in the absence of the first metal disc descending the runway. We found that children could accurately answer such counterfactual questions by 6-7 years. (shrink)

This thesis is about indicative conditionals and apparent counterexamples to classically valid argument forms. Specifically, it applies the following four theories: - material (inspired by Grice (1961, 1975 and 1989)); - possible-worlds (inspired by Stalnaker (1981); Lewis (1976); and Kratzer (2012)), - suppositional (inspired by Adams (1975) and Edgington (1995 and 2014)); and - hybrid (inspired by Jackson (1987)) to try and solve the following two counterexamples: - Vann McGee’s to modus ponens (1985); and - Lewis Carroll’s to modus tollens (...) (1894). I argue that none of the theories I consider can explain – without facing any problems – the three individually plausible but jointly inconsistent theses that give rise to the apparent counterexamples. The three theses of the trilemma are the following: (1) the argument is invalid; (2) the argument is an instance of modus ponens or modus tollens; and (3) modus ponens or modus tollens is valid. (shrink)

Theoretical models are widely held as sources of knowledge of reality. Imagination is vital to their development and to the generation of plausible hypotheses about reality. But how can imagination, which is typically held to be completely free, effectively instruct us about reality? In this paper I argue that the key to answering this question is in constrained uses of imagination. More specifically, I identify make-believe as the right notion of imagination at work in modelling. I propose the first overarching (...) taxonomy of types of constraints on scientific imagination that enables knowledge of reality. And I identify two main kinds of knowledge enabled by models, knowledge of the imaginary scenario specified by models and knowledge of reality. (shrink)

Davidson’s antisceptical considerations, like Putnam’s, are transcendental in character: they start from facts that the sceptic has to accept, and are intended to show that those facts would not be such if the sceptical hypotheses were true. It is doubtful that these considerations are finally successful. However, I do not think that Davidson was really interested in a detailed refutation of scepticism. His interest focused instead on the context which gives rise to it: the Cartesian image of the relationships between (...) subjectivity, intersubjectivity, and objectivity. Correspondingly, the true value of Davidson’s antisceptical reflections lies in the alternative image that inspires them, in the light of which scepticism no longer appears as an urgent and interesting problem. (shrink)

The disappearing agent problem is an argument in the metaphysics of agency. Proponents of the agent-causal approach argue that the rival event-causal approach fails to account for the fact that an agent is active. This paper examines an analogy between this disappearing agent problem and the exclusion problem in the metaphysics of mind. I develop the analogy between these two problems and survey existing solutions. I suggest that some solutions that have received significant attention in response to the exclusion problem (...) have seen considerably less attention in response to the disappearing agent problem. For example, one solution to the exclusion problem is to reject the exclusion assumption. Analogously, one solution to the disappearing agent problem could be to deny the claim that the agent-causal approach and the event-causal approach are mutually exclusive. Similarly, proportionality theories of causation, a solution to the exclusion problem, can be transferred to the disappearing agent problem. After establishing the plausibility of the analogy between the two problems, I examine how this latter solution in particular can be transferred from the one problem to the other. (shrink)

What the Sorites has to tell us is a simple truth regarding our categories. It appears to saddle us with something other than a simple truth—something worse, a contradiction or a problem or a paradox—only when we insist on viewing it through a discrete logic of categories. Discrete categories and discrete logic are for robots. We aren’t robots, and the simple truth is that we don’t handle categories in the way any discrete logic would demand. For us non-robots, what the (...) Sorites has to offer is a straightforward truth regarding how incapable robots and their logic are of handling categories like ours. (shrink)

Philosophical work on free will, contemporary as well as historical, is inevitably framed by the problem of free will and determinism. One of my goals in what follows is to give a feel for the main lines of that debate in philosophy today. I will also be outlining a particular perspective on free will. Many working philosophers consider themselves Compatibilists; the perspective outlined, building on a number of arguments in the recent literature, is a contemporary form of such a view. (...) It cannot, however, claim to be the contemporary philosophical perspective. There is no such thing. Against a background of the perennial problem of free will and determinism, through ongoing argument and debate, philosophers continue to try to work toward an understanding of precisely what it means for an action to be free. (shrink)

The text examines the status of the truth in the legal norms, trying to answer the questions of whether they can be subject to a truth assessment and, if such an assessment is possible, how a truth value can be attributed to legal norms. To achieve this goal, first of all, the text discusses some basic linguistic conceptions concerning the nature and truth of legal norms and subsequently, a a complex approach is being proposed for attributing truth-value to legal norms. (...) On On the one hand, the latter’s being studied by the methods of deontic logic and theory of possible worlds, and on the other hand, their relation to truth is being explained by semantic anti-realism. (shrink)

Causation is defined as a relation between facts: C causes E if and only if C and E are nomologically independent facts and C is a necessary part of a nomologically sufficient condition for E. The analysis is applied to problems of overdetermination, preemption, trumping, intransitivity, switching, and double prevention. Preventing and allowing are defined and distinguished from causing. The analysis explains the direction of causation in terms of the logical form of dynamic laws. Even in a universe that is (...) deterministic in both temporal directions, not every fact must have a cause and present facts may have no future causes. (shrink)

This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is committed to its own necessity. I claim that their argument fails to establish this result for two reasons. First, their assumptions force our hand on a controversial debate within counterfactual logic. In particular, they license counterfactual strengthening— the inference from ‘If A (...) were true then C would be true’ to ‘If A and B were true then C would be true’—which many reject. Second, the system they develop is provably equivalent to appending Deduction Theorem to a T modal logic. It is unsurprising that the combination of Deduction Theorem with T results in necessitation; indeed, it is precisely for this reason that many logicians reject Deduction Theorem in modal contexts. If Deduction Theorem is unacceptable for modal logic, it cannot be assumed to derive the necessity of mathematics. (shrink)

Proves Completeness for the Evidential Conditional.

The two main features of this thesis are (i) an account of contextualized (context indexed) counterfactuals, and (ii) a non-vacuist account of counterpossibles. Experience tells us that the truth of the counterfactual is contingent on what is meant by the antecedent, which in turn rests on what context is assumed to underlie its reading (intended meaning). On most conditional analyses, only the world of evaluation and the antecedent determine which worlds are relevant to determining the truth of a conditional, and (...) consequently what its truth value is. But that results in the underlying context being fixed, when evaluating distinct counterfactuals with the same antecedent on any single occasion, even when the context underlying the evaluation of each counterfactual may vary. Alternative approaches go some of the way toward resolving this inadequacy by appealing to a difference in the consequents associated with counterfactuals with the same antecedent. That is, in addition to the world of evaluation and the antecedent, the consequent contributes to the counterfactual’s evaluation. But these alternative approaches nevertheless give a single, determinate truth value to any single conditional (same antecedent and consequent), despite the possibility that this value may vary with context. My reply to these shortcomings (chapter 4) takes the form of an analysis of a language that makes appropriate explicit access to the intended context available. That is, I give an account of a contextualized counterfactual of the form ‘In context C: If it were the case that … , then it would be the case that …’. Although my proposal is largely based on Lewis’ (1973, 1981) analyses of counterfactuals (the logic VW and its ordering semantics), it does not require that any particular logic of counterfactuals should serve as its basis – rather, it is a general prescription for contextualizing a conditional language. The advantage of working with ordering semantics stems from existing results (which I apply and develop) concerning the properties of ordering frames that facilitate fashioning and implementing a notion of contextual information preservation. Analyses of counterfactuals, such as Lewis’ (1973), that cash out the truth of counterfactuals in terms of the corresponding material conditional’s truth at possible worlds result in all counterpossibles being evaluated as vacuously true. This is because antecedents of counterpossibles are not true at any possible world, by definition. Such vacuist analyses have already been identified and challenged by a number of authors. I join this critical front, and drawing on existing proposals, I develop an impossible world semantics for a non-vacuist account of counterpossibles (chapter 5), by modifying the same system and semantics that serve the basis of the contextualized account offered in chapter 4, i.e. Lewis’ (1986) ordering semantics for the logic VW. I critically evaluate the advantages and disadvantages of key conditions on the ordering of worlds on the extended domain and show that there is a sense in which all of Lewis’ analysis of mere counterfactuals can be preserved, whilst offering an analysis of counterpossibles that meets our intuitions. The first part of chapter 1 consists of an outline of the usefulness of impossible worlds across philosophical analyses and logic. That outline in conjunction with a critical evaluation of Lewis’ logical arguments in favour of vacuism in chapter 2, and his marvellous mountain argument against impossible worlds in chapter 3, serves to motivate and justify the impossible world semantics for counterpossibles proposed in chapter 5. The second part of chapter 1 discusses the limitations that various conditional logics face when tasked to give an adequate treatment of the influence of context. That introductory discussion in conjunction with an overview of conditional logics and their various semantics in chapter 2 – which includes an in-depth exposition of Stalnaker-Lewis similarity semantics for counterfactuals – serves as the motivation and conceptual basis for the contextualized account of counterfactuals proposed in chapter 4. (shrink)

I present and defend (1) an account of ethical judgments as judgments about our reasons to feel specific motivationally laden attitudes, (2) an account of what an agent should do in terms of what would achieve ends that she has reason to be motivated to pursue, and (3) an account of an agent’s reasons for motivation (and thus action) in terms of the prescriptions of the most fundamental principles that guide her deliberations. Using these accounts, I explain the connection between (...) ethics and reasons for action, how ethical judgments are both descriptive and intrinsically motivating, and how ethical facts arise from facts about agents’ deliberations. (shrink)

I demonstrate that a "speech act" theory of meaning for imperatives is—contra a dominant position in philosophy and linguistics—theoretically desirable. A speech act-theoretic account of the meaning of an imperative !φ is characterized, broadly, by the following claims. -/- LINGUISTIC MEANING AS USE !φ’s meaning is a matter of the speech act an utterance of it conventionally functions to express—what a speaker conventionally uses it to do (its conventional discourse function, CDF). -/- IMPERATIVE USE AS PRACTICAL !φ's CDF is to (...) express a practical (non-representational) state of mind—one concerning an agent's preferences and plans, rather than her beliefs. -/- Opposed to speech act accounts is a preponderance of views which deny that a sentence's linguistic meaning is a matter of what speech act it is used to perform, or its CDF. On such accounts, meaning is, instead, a matter of "static" properties of the sentence—e.g., how it depicts the world as being (or, more neutrally, the properties of a model-theoretic object with which the semantic value of the sentence co-varies). On one version of a static account, an imperative 'shut the window!' might, for instance, depict the world as being such that the window must be shut. -/- Static accounts are traditionally motivated against speech act-theoretic accounts by appeal to supposedly irremediable explanatory deficiencies in the latter. Whatever a static account loses in saying (prima facie counterintuitively) that an imperative conventionally represents, or expresses a picture of the world, is said to be offset by its ability to explain a variety of phenomena for which speech act-theoretic accounts are said to lack good explanations (even, in many cases, the bare ability to offer something that might meet basic criteria on what a good explanation should be like). -/- I aim to turn the tables on static accounts. I do this by showing that speech act accounts are capable of giving explanations of phenomena which fans of static accounts have alleged them unable to give. Indeed, for a variety of absolutely fundamental phenomena having to do with the conventional meaning of imperatives (and other types of practical language), speech act accounts provide natural and theoretically satisfying explanations, where a representational account provides none. (shrink)

The practice of thought experimentation plays a central role in contemporary philosophical methodology. Many philosophers rely on thought experimentation as their primary and even sole procedure for testing theories about the natures of properties and relations. This test procedure involves entertaining hypothetical cases in imaginative thought and then undergoing intuitions about the distribution of properties and relations in them. A theory’s comporting with an intuition is treated as evidence in favour of it; but a clash is treated as evidence against (...) the theory and may even be regarded as falsifying it. -/- The epistemic power of thought experimentation is mysterious. How can experiments carried out within the mind enable us to discover truths about the natures of properties and relations like knowledge, causation, personal identity, reference, meaning, consciousness, beauty, justice, morality, and free will? This epistemological challenge is urgent, but a model of philosophical thought experimentation would seem to be a necessary propaedeutic to any serious discussion of it. An adequate model would make the relevant test procedure explicit, thereby assisting in the identification of points of potential epistemic vulnerability. -/- In this monograph I advance the propaedeutical model-building work already done by Timothy Williamson, Anna-Sara Malmgren, and Jonathan Ichikawa and Benjamin Jarvis. Following the lead of these philosophers, I focus on a single Gettier-style thought experiment and the problem of identifying the real content of the Gettier intuition. My first contribution is to establish the inadequacy of all of the existing models. Each of them, I argue, fails to solve the content problem. It emerges from my discussion, however, that Ichikawa and Jarvis’s truth in fiction approach holds out the prospect of a solution. -/- My second contribution is to develop and defend a new way of implementing the general idea behind the truth in fiction approach. The model I put forward does a better overall job of modelling Gettier-style thought experiments than any of the existing models. It has none of the defects which render those models inadequate and Iam unable to find any major defects peculiar to it. This should make us feel confident that my model is adequate. Moreover, since the Gettier-style thought experiment I focus on is paradigmatic, we should also feel confident that my model will generalise naturally to other philosophical thought experiments. (shrink)

In this paper, I want to address once more the venerable problem of intentional identity, the problem of how different thoughts can be about the same thing even if this thing does not exist. First, I will try to show that antirealist approaches to this problem are doomed to fail. For they ultimately share a problematic assumption, namely that thinking about something involves identifying it. Second, I will claim that once one rejects this assumption and holds instead that thoughts are (...) constituted either by what they are about, their intentional objects, or by what determines their proposition-like intentional contents, one can address the problem of intentional identity in a different way. One can indeed provide a new solution to it that basically relies on two factors: a) what sort of metaphysical nature intentional objects effectively possess, once they are conceived as schematic objects à la Crane (2001, 2013); b) whether such objects really belong to the overall ontological inventory of what there is. According to this solution, two thoughts are about the same nonexistent intentional object iff i) that object satisfies the identity criterion for objects of that metaphysical kind and ii) objects of that kind belong to the overall ontological inventory of what there is, independently of whether they exist (in a suitable first-order sense of existence). As such, this solution is neither realist nor antirealist: only if condition ii) is satisfied, different thoughts can be about the same nonexistent intentionale; otherwise, they are simply constituted by the same intentional content (provided that this content is not equated with that intentionale). Third, armed with this solution, I will hold that one can find a suitable treatment of the specific and related problem of whether different people may mock-think about the same thing, even if there really is no such thing. Finally, I will try to show that this treatment can be also applied to the case in which different thoughts are, according to phenomenology, about the same intentionale and yet this intentionale is of a kind such that there really are no things of that kind. For in this case, such thoughts are about the same intentionale only fictionally. (shrink)

Aaccording to D. K. lewis (1973), would-couterfactuals and might-counterfactuals are duals. from this, it follows that the negation of a would-counterfactual is equiv- alent to the corresponding “might-not”-counterfactual and that the negation of a might-counterfactual is equivalent to the corresponding “would-not”- counterfactual. there are cases, however, where we seem to be entitled to accept the would- counterfactual and we are also equally entitled to accept the corresponding might-not-counterfactual and cases where we seem to be entitled to accept the might-counterfactual without (...) being equally entitled to reject the corresponding would-not-counterfactual. In this paper, I will show that a distinction between two types of rejections for counterfactuals (p-rejection and s-rejection) and the recognition that might-not-counterfactuals may play the role of p-rejections (by an application to counterfactuals of the lewisian approach to conversational scores) could explain why the problematic cases should not be seen as cases where the duality of would- and might-counterfactuals fails. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

We propose a philosophical theory of scientific models. Our main claim is that they should be understood as fictions. We illustrate the relevance of the claim by illustrations drawn from the history of science, and we propose a typology.

The paper proposes an account of the contrast (noticed in Karttunen 1976) between the interpretations of the following two discourses: Harvey courts a girl at every convention. {She is very pretty. vs. She always comes to the banquet with him.}. The initial sentence is ambiguous between two quantifier scopings, but the first discourse as a whole allows only for the wide-scope indefinite reading, while the second allows for both. This cross-sentential interaction between quantifier scope and anaphora is captured by means (...) of a new dynamic system couched in classical type logic, which extends Compositional DRT (Muskens 1996) with plural information states (modeled, following van den Berg 1996, as sets of variable assignments). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The paper also shows that modal subordination (A wolf might come in. It would eat Harvey first) can be analyzed in a parallel way, i.e. the system captures the anaphoric and quantificational parallels between the individual and modal domains argued for in Stone (1999) (among others). In the process, we see that modal / individual-level quantifiers enter anaphoric connections as a matter of course, usually functioning simultaneously as both indefinites and pronouns. (shrink)

In this paper, we study the parameters that come into play when assessing the truth conditions of say reports and contrast them with belief attributions. We argue that these conditions are sensitive in intricate ways to the connection between the interpretation of the complement of say and the properties of the reported speech act. There are three general areas this exercise is relevant to, besides the immediate issue of understanding the meaning of say: (i) the discussion shows the need to (...) go beyond the simplest view of propositional attitudes, which treats them as restricted quantifiers over worlds; (ii) the complex connections that must exist between the say report and its source speech act show that one has to be able to differentiate between various layers of meaning for the antecedent sentences; (iii) finally, this paper is a small step towards a typology of propositional attitudes that allows us to uncover the complex web of relationships that grammatical mood is sensitive to. (shrink)

The paper proposes a novel analysis of quantificational subordination, e.g. Harvey courts a woman at every convention. {She is very pretty. vs. She always comes to the banquet with him.} (Karttunen 1976), in particular of the fact that the indefinite in the initial sentence can have wide or narrow scope, but the first discourse as a whole allows only for the wide scope reading, while the second discourse allows for both readings. The cross-sentential interaction between scope and anaphora is captured (...) in terms of structured anaphora to quantifier domains, formalized in a new dynamic system couched in classical type logic; given the underlying type logic, Montague-style compositionality at sub-clausal level follows automatically. Modal subordination (Roberts 1987) is analyzed in a parallel way, thereby capturing the parallels between the individual and modal domains argued for in Stone (1999). Several other phenomena are analyzed in terms of structured anaphora: exceptional wide scope, weak / strong donkey readings, anaphoric / uniqueness-implying definite descriptions and interactions between same / different and quantifier scope. (shrink)

Teresa believes in God. Maggie’s wife believes that the Earth is flat, and also that Maggie should be home from work by now. Anouk—a cat—believes it is dinner time. This dissertation is about what believing is: it concerns what, exactly, ordinary people are attributing to Teresa, Maggie’s wife, and Anouk when affirming that they are believers. Part I distinguishes the attitudes of belief that people attribute to each other (and other animals) in ordinary life from the cognitive states of belief (...) theoretically posited by (some) cognitive scientists. Part II defends the view that to have an attitude of belief is to live—to be disposed to act, react, think, and feel—in a pattern that an actual belief attributor identifies with taking the world to be some way. Drawing on scientific, scholarly, and literary sources of evidence, How Beliefs are like Colors provides a framework for research on belief across the humanities and sciences of the mind. (shrink)

This thesis in an invistigation into the concept of "harm" and its moral relevance. A common view is that an analysis of harm should include a counterfactual condition: an act harms a person iff it makes that person worse off. A common objection to the moral relevance of harm, thus understood, is the non-identity problem. -/- This thesis criticises the counterfactual condition, argues for an alternative analysis and that harm plays two important normative roles. -/- The main ground for rejecting (...) the counterfactual condition is that it has unacceptable consequences in cases of overdetermination and pre-emption. Several modifications to the condition are considered but all fail to solve this problem. -/- According to the alternative analysis to do harm is to perform an act which is responsible for the obtaining of a state of affairs which makes a person’s life go worse. It is argued that should be understood in terms of counterfactual dependence. This claim is defended against counterexamples based on redundant causation. An analysis of is also provided using the notion of a well-being function. It is argued that by introducing this notion it is possible to analyse contributive value without making use of counterfactual comparisons and to solve the non-identity problem. -/- Regarding the normative importance of harm, a popular intuition is that there is an asymmetry in our obligations to future people: that a person would have a life worth living were she to exist is not a reason in favour of creating that person while that a person would have a life not worth living is a reason against creating that person. It is argued that the asymmetry can be classified as a moral option grounded in autonomy. Central to this defence is the suggestion that harm is relevant to understanding autonomy. Autonomy involves partly the freedom to pursue one’s own aims as long as one does no harm. (shrink)

According to necessitarianism, all truths are logically necessary, and the modal doctrine of a necessitarian philosopher is in a sharp contrast with something that seems manifest—the view that there are contingent truths. At least on the face of it, then, necessitarianism is highly implausible. René Descartes is usually not regarded as a necessitarian philosopher, but some of his philosophical views raise the worry as to whether he is committed to the necessity of all truths. This paper is an appraisal of (...) this worry. (shrink)

In this paper, we explore semantics for comparative epistemic modals that avoid the entailment problems shown to result from Kratzer’s (1991) semantics by Yalcin (2006, 2009, 2010). In contrast to the alternative semantics presented by Yalcin and Lassiter (2010, 2011), based on finitely additive probability measures, we introduce semantics based on qualitatively additive measures, as well as semantics based on purely qualitative orderings, including orderings on propositions derived from orderings on worlds in the tradition of Kratzer (1991). All of these (...) semantics avoid the entailment problems that result from Kratzer’s semantics. Our discussion focuses on methodological issues concerning the choice between different semantics. (shrink)

Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that catalyzed the rapid maturation of the field. Moreover, like modal logic, conditional logic has subsequently found a wide array of uses, from the traditional (e.g. counterfactuals) to the exotic (e.g. conditional (...) obligation). Despite the close connections between conditional and modal logic, both the technical development and philosophical exploitation of the latter has outstripped that of the former, with the result that noticeable lacunae exist in the literature on conditional logic. My dissertation addresses a number of these underdeveloped frontiers, producing new technical insights and philosophical applications. -/- I contribute to the solution of a problem posed by Priest of finding sound and complete labeled tableaux for systems of conditional logic from Lewis' V-family. To develop these tableaux, I draw on previous work on labeled tableaux for modal and conditional logic; errors and shortcomings in recent work on this problem are identified and corrected. While modal logic has by now been thoroughly studied in non-classical contexts, e.g. intuitionistic and relevant logic, the literature on conditional logic is still overwhelmingly classical. Another contribution of my dissertation is a thorough analysis of intuitionistic conditional logic, in which I utilize both algebraic and worlds semantics, and investigate how several novel embedding results might shed light on the philosophical interpretation of both intuitionistic logic and conditional logic extensions thereof. -/- My dissertation examines deontic and connexive conditional logic as well as the underappreciated history of connexive notions in the analysis of conditional obligation. The possibility of interpreting deontic modal logics in such systems (via embedding results) serves as an important theoretical guide. A philosophically motivated proscription on impossible obligations is shown to correspond to, and justify, certain (weak) connexive theses. Finally, I contribute to the intensifying debate over counterpossibles, counterfactuals with impossible antecedents, and take—in contrast to Lewis and Williamson—a non-vacuous line. Thus, in my view, a counterpossible like "If there had been a counterexample to the law of the excluded middle, Brouwer would not have been vindicated" is false, not (vacuously) true, although it has an impossible antecedent. I exploit impossible (non-normal) worlds—originally developed to model non-normal modal logics—to provide non-vacuous semantics for counterpossibles. I buttress the case for non-vacuous semantics by making recourse to both novel technical results and theoretical considerations. (shrink)

Our aim in this survey article is to provide an accessible overview of some key results and questions in the theory of judgment aggregation. We omit proofs and technical details, focusing instead on concepts and underlying ideas.