The aim of this paper is to argue in favor of the view that some counterpossibles are false. This is done indirectly by showing that accepting the opposite view, i.e., one that ascribes truth to each and every counterpossible, results in the claim that every necessarily false theory has exactly the same consequences. Accordingly, it is shown that taking every counterpossible to be true not only undermines the value of debates over various alternative theories and their consequences, but also puts (...) into question the very possibility of such debates. In order to explicate this thesis, the close bond between counterpossibles and the so-called story prefix is explored. A number of possible responses to this criticism are also presented, and it is argued that none of them address the main problem. (shrink)

According to the most popular theories, counterfactuals with impossible antecedents are vacuously true. Critiques of this view argue that contrary to this, we tend to consider only some of them true and others to be false. In his recent paper Timothy Williamson has ingeniously explained the motivations for the orthodox view and argued that although there are some heuristic reasons that may suggest the plausibility of the unorthodox view, they are fallible. The most important of Williamson’s arguments is that the (...) unorthodox interpretation is inconsistent with the heuristic assumption that supposedly motivates this very view. The aim of this paper is to consider Williamson’s critique and to support the unorthodox approach towards counterpossibles. In order to do so, we argue in favor of the modified version of the heuristic assumption. (shrink)

This paper suggests that it should be possible to develop dynamic deontic logic as a counterpart to the very successful development of dynamic doxastic logic (or dynamic epistemic logic, as it is more often called). The ambition, arrived at towards the end of the paper, is to give formal representations of agentive concepts such as “the agent is about to do (has just done) α ” as well as of deontic concepts such as “it is obligatory (permissible, forbidden) for the (...) agent to do α ”, where α stands for an action (event). (shrink)

This paper explores the possibility of supplementing the suppositional view of indicative conditionals with a corresponding view of epistemic modals. The most striking feature of the suppositional view consists in its claim that indicative conditionals are to be evaluated by conditional probabilities. On the basis of a natural link between indicative conditionals and epistemic modals, a corresponding thesis about the probabilities of statements governed by epistemic modals can be derived. The paper proceeds by deriving further consequences of this thesis, in (...) particular, the logic of epistemic modals and their logical interaction with indicative conditionals are studied. (shrink)

The expansion or revision of false theories by true evidence does not always increase their verisimilitude. After a comparison of different notions of verisimilitude the relation between verisimilitude and belief expansion or revision is investigated within the framework of the relevant element account. We are able to find certain interesting conditions under which both the expansion and the revision of theories by true evidence is guaranteed to increase their verisimilitude.

This paper concerns anti-Humean intuitions about connections in nature. It argues for the existence of a de re link that is not necessity.Some anti-Humeans tacitly assume that metaphysical necessity can be used for all sorts of anti-Humean desires. Metaphysical necessity is thought to stick together whatever would be loose and separate in a Hume world, as if it were a kind of universal superglue.I argue that this is not feasible. Metaphysical necessity might connect synchronically co-existent properties—kinds and their essential features, (...) for example—but it is difficult to see how it could also serve as the binding force for successions of events. That is, metaphysical necessity seems not to be fit for diachronic, causal affairs in which causal laws, causation, or dispositions are involved. A different anti-Humean connection in nature has to do that job.My arguments focus mainly on a debate which has been the battleground for Humean vs. anti-Humean intuitions for many decades—namely, the analysis of dispositional predicates—yet I believe (but do not argue here) that the arguments generalise to causation and causal laws straightforwardly. (shrink)

INTRODUCTION I. CETERIS PARIBUS LAWS An alleged law of nature—like Newton's law of gravitation—is said to be a ceteris paribus law if it does not hold under ...

The better best system account, short BBSA, is a variation on Lewis’s theory of laws. The difference to the latter is that the BBSA suggests that best system analyses can be executed for any fixed set of properties. This affords the possibility to launch system analyses separately for the set of biological properties yielding the set of biological laws, chemical properties yielding chemical laws, and so on for the other special sciences. As such, the BBSA remains silent about possible interrelations (...) between these freestanding sets of laws. In this paper, I explicate an emergence relation between them which preserves the autonomy or novelty of each special science’s laws but also shows their dependence: the autonomy of each level’s generalisations is given because nomicity is conferred to them system intrinsic, their dependence is established via their supervenience on lower level laws. As will be shown, the autonomy of special science laws is further strengthened by their ceteris paribus character. (shrink)

Recent advances in the Super Linguistics of pictures have laid the Super Semantic foundation for modelling the phenomena of narrative sequencing and co-reference in pictorial and mixed linguistic-pictorial discourses. We take up the question of how one arrives at the pragmatic interpretations of such discourses. In particular, we offer an analysis of: (i) the discourse composition problem: how to represent the joint meaning of a multi-picture discourse, (ii) observed differences in narrative sequencing in prima facie equivalent linguistic vs pictorial discourses, (...) and (iii) the phenomenon of co-referencing across pictures. We extend Segmented Discourse Representation Theory to spell out a formal Super Pragmatics that applies to linguistic, pictorial and mixed discourses, while respecting the particular ‘genius’ of either medium and computing their distinctive pragmatic interpretations. (shrink)

There seem to be two ways of supposing a proposition: supposing “indicatively” that Shakespeare didn’t write Hamlet, it is likely that someone else did; supposing “subjunctively” that Shakespeare hadn’t written Hamlet, it is likely that nobody would have written the play. Let P be the probability of B on the subjunctive supposition that A. Is P equal to the probability of the corresponding counterfactual, A □→B? I review recent triviality arguments against this hypothesis and argue that they do not succeed. (...) On the other hand, I argue that even if we can equate P with P, we still need an account of how subjunctive conditional probabilities are related to unconditional probabilities. The triviality arguments reveal that the connection is not as straightforward as one might have hoped. (shrink)

I argue that none of the usual interpretations of probability provide an adequate interpretation of probabilistic theories in science. Assuming that the aim of such theories is to capture noisy relationships in the world, I suggest that we do not have to give them classical truth-conditional content at all: their probabilities can remain uninterpreted. Indirectly, this account turns out to explain what is right about the frequency interpretation, the best-systems interpretation, and the epistemic interpretation.

Normic Laws and the Significance of Nonmonotonic Reasoning for Philosophy of Science. Normic laws have the form ‘if A then normally B’. They have been discovered in the explanation debate, but were considered as empirically vacuous (§1). I argue that the prototypical (or ideal) normality of normic laws implies statistical normality (§2), whence normic laws have empirical content. In §3–4 I explain why reasoning from normic laws is nonmonotonic, and why the understanding of the individual case is so important here. (...) After sketching some foundations of nonmonotonic reasoning as developed by AI-researchers (§5), Iargue that normic laws are also the best way to understand ceteris paribus laws (§6). §7 deals with the difference between physical and non-physical disciplines and §9 with the difference between normicity and approximation. In §8 it is shown how nonmonotonic reasoning provides a new understanding of the protection of theories against falsification by auxiliary hypotheses. §10, finally, gives a system- and evolution-theoretical explanation of the deeper reason for the omnipresence of normic laws in practice and science, and forthe connection between ideal and statistical normality. (shrink)

There is a renewed debate about modus ponens. Strikingly, the recent counterexamples in Cantwell, Dreier and MacFarlane and Kolodny are generated by restricted readings of the ‘if’-clause. Moreover, it can be argued on general grounds that the restrictor view of conditionals developed in Kratzer and Lewis leads to counterexamples to modus ponens. This paper provides a careful analysis of modus ponens within the framework of the restrictor view. Despite appearances to the contrary, there is a robust sense in which modus (...) ponens is valid, owing to the fact that conditionals do not only allow for restricted readings but have bare interpretations, too. (shrink)

This article aims to propagate Logic Programming as a formal tool to deal with non-monotonic reasoning. In philosophy and linguistics non-monotonic reasoning is modelled using Minimal Models as standard, i.e., by imposing an order (or selection function) on the class of all models and then by defining entailment as only caring about the minimal models of the premises with respect to the order. In this article we investigate the question whether instead of minimal models we should use logic programming to (...) model non-monotonic reasoning. Logic programming is an attractive alternative to a minimal models approach in that it makes concrete predictions in an efficient and transparent way. We study this question by focusing on one particular phenomenon that gives rise to non-monotonic inferences: conditional sentences. (shrink)

A paper by Schulz (Philos Stud 149:367–386, 2010) describes how the suppositional view of indicative conditionals can be supplemented with a derived view of epistemic modals. In a recent criticism of this paper, Willer (Philos Stud 153:365–375, 2011) argues that the resulting account of conditionals and epistemic modals cannot do justice to the validity of certain inference patterns involving modalised conditionals. In the present response, I analyse Willer’s argument, identify an implicit presupposition which can plausibly be denied and show that (...) accepting it would blur the difference between plain assumptions and their epistemic necessitations. (shrink)

This paper analyzes the notion of a minimal belief change that incorporates new information. I apply the fundamental decision-theoretic principle of Pareto-optimality to derive a notion of minimal belief change, for two different representations of belief: First, for beliefs represented by a theory – a deductively closed set of sentences or propositions – and second for beliefs represented by an axiomatic base for a theory. Three postulates exactly characterize Pareto-minimal revisions of theories, yielding a weaker set of constraints than the (...) standard AGM postulates. The Levi identity characterizes Pareto-minimal revisions of belief bases: a change of belief base is Pareto-minimal if and only if the change satisfies the Levi identity (for “maxichoice” contraction operators). Thus for belief bases, Pareto-minimality imposes constraints that the AGM postulates do not. The Ramsey test is a well-known way of establishing connections between belief revision postulates and axioms for conditionals (“if p, then q”). Pareto-minimal theory change corresponds exactly to three characteristic axioms of counterfactual systems: a theory revision operator that satisfies the Ramsey test validates these axioms if and only if the revision operator is Pareto-minimal. (shrink)

Many languages allow for “fake” uses of their past tense marker: the marker: can occur in certain contexts without conveying temporal pastness. Instead it appears to bear a modal meaning. Iatridou :231–270, 2000) has dubbed this phenomenon Fake Tense. Fake Tense is particularly common to conditional constructions. This paper analyzes Fake Tense in English conditional sentences as a certain kind of ambiguity: the past tense morphology can mark the presence of a temporal operator, but it can also signal a specific (...) modal operator. The ambiguity is proposed to be the result of recategorization: the Simple Past develops a second, modal meaning because of structural similarities between the temporal and the modal/epistemic domain. The proposal is spelled out in the generative semantics framework, using the restrictor approach to conditionals Semantics from different points of view, 1979; in: A. von Stechow and D. Wunderlich Semantics: an international handbook of contemporary research, 1991), and building on von Stechows et al.’s recent work on the English tense system The expression of time in language, 2010; Romero and von Stechow, Tense: introduction, 2008). (shrink)

Can there be deterministic chance? That is, can there be objective chance values other than 0 or 1, in a deterministic world? I will argue that the answer is no. In a deterministic world, the only function that can play the role of chance is one that outputs just Os and 1s. The role of chance involves connections from chance to credence, possibility, time, intrinsicness, lawhood, and causation. These connections do not allow for deterministic chance.

This paper has three goals. The first goal is to work out the difference between literal ceteris paribus laws in the sense of “all others being equal” and ceteris rectis “laws” in the sense of “all others being right”. While cp laws involve a universal quantification, cr generalizations involve an existential quantification over the values of the remainder variables Z. As a result, the two differ crucially in their confirmability and lawlikeness. The second goal is to provide a classification of (...) different kinds of cr generalizations, including certain transition cases between cr generalizations and cp laws. The third goal is to work out what cp laws and all kinds of cr assertions have in common: they figure as an information source for assertions of causal influence between variables. (shrink)

IntroductionThe meaning of conditional sentences bears an intrinsic relation to a number of central philosophical problems, like the nature of reasoning, the possibility of knowledge, and the status of laws of nature. This has incited philosophers to spend a lot of time working on conditionals and to fill countless bookshelves with inspiring and sophisticated theories on their meaning. However, the overall question of how to approach the meaning of conditionals is still open. There are many different theories on the market, (...) many central issues still need to be solved.But as a topic philosophers are interested in conditionals are special in that they are real; they can be the subject of empirical investigations. And they are actually investigated – in linguistic, in psychology, in the cognitive sciences. The goal of this paper is to illustrate how this ‘external’ information can be used to answer questions on the semantics of conditional sentences that philosophers and logicians are int .. (shrink)

What is the property of being true like? To answer this question, begin with a Canberra-plan analysis of the concept of truth. That is, assemble the platitudes for the concept of truth, and then investigate which property might satisfy them. This project is aided by Friedman and Sheard’s groundbreaking analysis of twelve logical platitudes for truth. It turns out that, because of the paradoxes like the liar, the platitudes for the concept of truth are inconsistent. Moreover, there are so many (...) distinct paradoxes that only small subsets of platitudes for truth are consistent. The result is that there is no property of being true. The failure of the Canberra plan analysis of the concept of truth, points the way toward a new methodology: a conceptual engineering project for the concept of truth. Conceptual engineering is assessing the quality of our concepts, and when they are found defective, offering new and better concepts to replace them for certain purposes. Still, there are many aletheic properties, which are properties satisfied by reasonably large subsets of platitudes for the concept of truth. We can treat these aletheic properties as a guide to the multitude of new aletheic concepts, which are concepts similar to, but distinct from, the concept of truth. Any new aletheic concept or team of concepts might be called on to replace the concept of truth. In particular, the concepts of ascending truth and descending truth are recommended, but the most important point is that we need a full-scale investigation into the space of aletheic properties and new aletheic concepts—that is, we need an Aletheic Principles Project. (shrink)

Sydney Shoemaker's "Subset Account" offers a new take on determinable properties and the realization relation as well as a defense of non-reductive physicalism from the problem of mental causation. At the heart of this account are the claims that (1) mental properties are determinable properties and (2) the causal powers that individuate a determinable property are a proper subset of the causal powers that individuate the determinates of that property. The second claim, however, has led to the accusation that the (...) effects caused by the instantiation of a determinable property will also be caused by the instantiation of the determinates of that property—so instead of solving the problem of mental causation, the Subset Account ends up guaranteeing that the effects of mental properties (and all other types of determinable property) will be causally overdetermined! In this paper, I explore this objection. I argue that both sides in this debate have failed to engage the question at the heart of the objection: Given that both a determinable property and its determinates have the power to cause some effect (E), does it follow that both will actually cause E when the relevant conditions obtain? To make genuine progress towards answering this question, we need to take a serious look at the metaphysics of causation. With the debate properly reframed and issues about the metaphysics of causation front and center, I explore the question of whether the Subset Account is doomed to result in problematic causal overdetermination. (shrink)

David Lewis’s semantics for counterfactuals remains the standard view. Yet counter-examples have emerged, which suggest a need to invoke causal independence, and thus threaten conceptual circularity. I will review some of these counter-examples (§§1–2), illustrate how causal independence proves useful (§3), and suggest that any resulting circularity is unproblematic (§4).

This paper combines two ideas: (1) That the Lewisian best system analysis of lawhood (BSA) can cope with laws that have exceptions (cf. Braddon-Mitchell in Noûs 35(2):260–277, 2001; Schrenk in The metaphysics of ceteris paribus laws. Ontos, Frankfurt, 2007). (2) That a BSA can be executed not only on the mosaic of perfectly natural properties but also on any set of special science properties (cf., inter alia, Schrenk 2007, Selected papers contributed to the sections of GAP.6, 6th international congress of (...) the society for analytical philosophy. Mentis, Paderborn/Münster, 2008; Cohen and Callender in Philos Stud 145:1–34, 2009, Erkenntnis 73:427–447, 2010). Bringing together (1) and (2) results in an analysis of special science ceteris paribus laws. (shrink)

This chapter contains sections titled: Introduction Modal propositional Logics (MPLs) Modal Quantificational Logics(QMLs).

Cohen and Meskin 2006 have recently proposed a novel counterfactual account of information. I argue that it is a step down from its intended target, namely Dretske's 1981 theory of information. Thinking of the information carried by signals in terms of counterfactuals leads to falsely diagnosing bona fide instances of information transmission as not being instances of information transmission at all, with major loss of explanatory power.

Abstract: According to the Veridicality Thesis, information requires truth. On this view, smoke carries information about there being a fire only if there is a fire, the proposition that the earth has two moons carries information about the earth having two moons only if the earth has two moons, and so on. We reject this Veridicality Thesis. We argue that the main notions of information used in cognitive science and computer science allow A to have information about the obtaining of (...) p even when p is false. (shrink)

In this paper, I argue that standard psychological continuity theory does not account for an important feature of what is important in survival—having the property of personhood. I offer a theory that can account for this, and I explain how it avoids the implausible consequences of standard psychological continuity theory, as well as having certain other advantages over that theory.

Gendler reformulated the so-called imaginability puzzle in terms of authorial breakdown. The main idea behind this move was to isolate the essential features displayed by the alleged problematic cases and to specify a puzzle general enough to be applied to a variety of different types of imaginative resistance. I offer various criticisms of Gendler’s approach to imaginative resistance that also raise some more general points on the recent literature on the topic.

In this paper, we show that it is not a conceptual truth about laws of nature that they are immutable (though we are happy to leave it as an open empirical question whether they do actually change once in a while). In order to do so, we survey three popular accounts of lawhood—(Armstrong-style) necessitarianism, (Bird-style) dispositionalism and (Lewis-style) ‘best system analysis’—and expose the extent, as well as the philosophical cost, of the amendments that should be enforced in order to leave (...) room for the possibility of changing laws. (shrink)

It is often remarked that Indian logic (IL) has no conception of necessity. But what kind of necessity is absent in this system? Logical necessity is presumably absent: the structure of the logical argument in IL is often given as a reason for this claim. However even a cursory understanding of IL illustrates an abiding attempt to formulate the idea of necessity. In Dharmakīrti's classification of inferences, one can detect the formal process of entailment in the inferences arising from class (...) inclusion. In Western philosophy, Leibniz's invocation of 'contingent necessity' as distinguished from the 'necessary necessity' is part of a tradition that finds value in the idea of contingent necessity. In contemporary philosophy, this has been championed by Armstrong, specifically in the context of understanding the necessity inherent in scientific laws. In IL, the analysis of 'invariable concomitance' (vyāpti) is of crucial importance and its definitions are very complex. This paper argues how vyāpti can be understood in terms of contingent necessity and also how the complex definitions can be interpreted as an attempt to define contingent necessity in terms of 'logical' necessity. (shrink)

According to the orthodox account developed by Kaplan, indexicals like I, you, and now invariably refer to elements of the context of speech. This essay argues that the orthodoxy is wrong. I, you, and the like are shifted by certain modal operators and hence can fail to refer to elements of the context, for example, I can fail to refer to the speaker. More precisely, indexicals are syntactically akin to logical variables. They can be free, in which case they work, (...) roughly, on the Kaplan model. But they can also be bound: this happens, in a systematic fashion, when they are in the scope of epistemic modals or attitude verbs. The new view has two interesting philosophical consequences. First, it vindicates a broadly Fregean perspective on referential expressions, essentially refuting the idea that indexicals are rigid designators. Second, it suggests a new picture of the interaction between context and linguistic meaning: compositional semantics does not need to look at the context and hence has no need for a context parameter. (shrink)

The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive options. (...) But the options are not exclusive. This paper develops a theory of the semantics and assertability of conditionals that is both selectional and informational. The theory vindicates the signature inferences of both selectional and informational theories, including so-called Conditionals Excluded Middle and principles about the interplay between conditionals and ‘might’. It also predicts some interesting and puzzling facts about the assertion of conditionals. (shrink)

On an influential line of thinking tracing back to Ramsey, conditionals are closely linked to the attitude of supposition. When applied to counterfactuals, this view suggests a subjunctive version of the so-called Ramsey test: the probability of a counterfactual If A, would B ought to be equivalent to the probability of B, under the subjunctive supposition that A. I present a collapse result for any view that endorses the subjunctive version of the Ramsey test. Starting from plausible assumptions, the result (...) shows that one’s rational credence in a would-counterfactual and in the corresponding might-counterfactual have to be identical. (shrink)

The unificationist theory of causal explanation offers a theory of causation and explanation with no causal primitives. Kitcher proposed that it offered an account of explanatory asymmetry, but his proposal has been criticized for being too dependent on contingent facts and surreptitiously supposing causal realism. In addition, critics have argued that unificationism cannot account for asymmetry in a world with symmetric laws of physics and is lead to accept backwards explanation in certain epistemic situations. Unificationism has been defended from some (...) of these objections. We critique those defenses, rejecting some and developing others, as well as adding new ones. In doing so, we argue that objectors are wrong to treat explanatory asymmetry as an a priori matter and that unificationism is appropriately sensitive to the right sort of empirical facts. (shrink)

This paper defends an account of the laws of nature in terms of irreducibly modal properties (aka powers) from the threat posed by functional laws, conservation laws and symmetries. It thus shows how powers theorists can avoid ad hoc explanations and resist an inflated ontology of powers and governing laws. The key is to understand laws not as flowing from the essences of powers, as per Bird (2007), but as features of a description of how powers are possibly distributed, as (...) per Demarest (2017), Kimpton-Nye (2017, 2021) and Williams (2019); call this the Powers-BSA. This underappreciated powers-based account of laws is continuous with actual scientific practice and thereby quite naturally accommodates functional laws, conservation laws and symmetries. This paper thus positions the Powers-BSA as the leading anti-Humean account of the relationship between laws and properties. (shrink)

It is sometimes argued that there is an analogy between time and modality: What is true of time, mutatis mutandis, should be true of modality, and vice versa. However, I think that the importance of this analogy has not been truly appreciated in the literature. In this paper, I try to offer a plausible account of the relationship between time and modality based on what is known as presentist ersatzism. If the attempt succeeds, it will be shown that ersatzists about (...) time are better able to explain what possible worlds are. (shrink)

As I will use the term, an object is a mereological sum of some things just in case those things compose it simply in virtue of existing. In the first half of this paper, I argue that there are no sums. The key premise for this conclusion relies on a constraint on what, in certain cases, it takes for something to ground, or metaphysically explain, something else. In the second half, I argue that in light of my argument against sums, (...) Universalism, which is perhaps the most widely accepted answer to the Special Composition Question, is false. (shrink)

I present an analysis of Free Choice Items (FCIs), based on Scandinavian, where FCIs are complex and distinct from polarity sensitive items. Scandinavian FCIs are argued to have two components. One is a universal quantifying into modal contexts. The other is an operator mapping a type (s,t) expression onto itself, adjoining to the closest type t or (s,t) expression. Thus invoking Intensional Functional Application, this operator requires the presence of a modal in the scope of the universal quantifier. Facts concerning (...) ‘essential connections’ and ‘existential import’ are accounted for by assuming that the FC determiner has the option of acting like a quantifier. (shrink)

We point out a simple but hitherto ignored link between the theoryof updates, the theory of counterfactuals, and classical modal logic: update is a classicalexistential modality, counterfactual is a classical universalmodality, and the accessibility relations corresponding to these modalities are inverses. The Ramsey Rule (often thought esoteric) is simply an axiomatisation of this inverse relationship. We use this fact to translate between rules for updates andrules for counterfactuals. Thus, Katsuno and Mendelzons postulatesU1--U8 are translated into counterfactual rules C1--C8(Table VII), and (...) many of the familiar counterfactual rulesare translated into rules for updates (Table VIII). Ourconclusions are summarised in Table V. (shrink)

Structural realism has been suggested as the best compromise in the debate on scientific realism. It proposes that we should be realist about the relational structure of the world, not its nature. However, it faces an important objection, first raised by Newman against Russell: if relations are not qualified, then the position is either trivial or collapses into empiricism, but if relations are too strongly qualified, then it is no longer SR. A way to overcome this difficulty is to talk (...) about modal, or nomological relations instead of purely extensional relations. I argue that this is insufficient, for then, SR collapses into modal empiricism. I suggest, however, that ME could be the best position in the debate on scientific realism. 1Introduction2Objections to Structural Realism3How to Escape Newman’s Objection4Which Modal Relations Are Retained in Theory Change?5Are Modal Relations Real?6Relativity and Fundamentality7Is Modal Empiricism Really Empiricism?8Could Modal Empiricism Be the Best of Both Worlds? (shrink)

It is generally assumed that relations of necessity cannot be known by induction on experience. In this paper, I propose a notion of situated possibilities, weaker than nomic possibilities, that is compatible with an inductivist epistemology for modalities. I show that assuming this notion, not only can relations of necessity be known by induction on our experience, but such relations cannot be any more underdetermined by experience than universal regularities. This means that any one believing in a universal regularity is (...) as well warranted to believe in the corresponding relation of necessity. (shrink)

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

What constitutes numerically one and the same tradition diachronically, at different times? This question is the focus of often violent dispute in societies. Is it capable of a rational resolution? Many accounts attempt that resolution with a diagnosis of ambiguity of the disputed concept-Islam, Marxism, or democracy for example. The diagnosis offered is in terms of vagueness, namely the vague criteria for sameness or similarity of central beliefs and practices.

In their unifying theory to model uncertainty, Friedman and Halpern (1995–2003) applied plausibility measures to default reasoning satisfying certain sets of axioms. They proposed a distinctive condition for plausibility measures that characterizes “qualitative” reasoning (as contrasted with probabilistic reasoning). A similar and similarly fundamental, but more general and thus stronger condition was independently suggested in the context of “basic” entrenchment-based belief revision by Rott (1996–2003). The present paper analyzes the relation between the two approaches to formalizing basic notions of plausibility (...) as used in qualitative default reasoning. While neither approach is a special case of the other, translations can be found that elucidate their relationship. I argue that Rott’s notion of plausibility allows for a more modular set-up and has a better philosophical motivation than that of Friedman and Halpern. (shrink)

In this paper I discuss the relation between various properties that have been regarded as important for determining whether or not a belief constitutes a piece of knowledge: its stability, strength and sensitivity to truth, as well as the strength of the epistemic position in which the subject is with respect to this belief. Attempts to explicate the relevant concepts more formally with the help of systems of spheres of possible worlds (à la Lewis and Grove) must take care to (...) keep apart the very different roles that systems of spheres can play. Nozicks sensitivity account turns out to be closer to the stability analysis of knowledge (versions of which I identify in Plato, Descartes, Klein and Lehrer) than one might have suspected. (shrink)

The paper proposes a unified analysis of the natural language connectives 'if', 'if … might', 'even if' (all of them with indicative and subjunctive mood), 'because' and 'though'. They are all interpreted as instances of universal (pro)conditionals, unconditionals, or counterconditionals. The paper imports the notion of relevance into the meaning of conditionals, viewing conditionals as close in meaning to explanations and statements about causal relations. The antecedent of a conditional is interpreted as being relevant for its consequent, thus avoiding the (...) general inference from A and B to 'If A, B'. The analysis is based on different variants of the Ramsey test (among them the 'Strong Ramsey Test') together with a fragment of the belief revision theory of Alchourrón, Gärdenfors and Makinson. (shrink)

Discusses how to capture the link between the probability of indicative conditionals and conditional probability using a classical semantics for conditionals.