In early essays and in more recent work, Fred Dretske argues against the closure of perception, perceptual knowledge, and knowledge itself. In this essay I review his case and suggest that, in a useful sense, perception is closed, and that, while perceptual knowledge is not closed under entailment, perceptually based knowledge is closed, and so is knowledge itself. On my approach, which emphasizes the safe indication account of knowledge, we can both perceive, and know, that sceptical scenarios (such as being (...) a brain in a vat) do not hold. (shrink)

Many years ago, C.B. Martin drew our attention to the possibility of ‘finkish’ dispositions: dispositions which, if put to the test would not be manifested, but rather would disappear. Thus if x if finkishly disposed to give response r to stimulus s, it is not so that if x were subjected to stimulus r, x would give response z; so finkish dispositions afford a counter‐example to the simplest conditional analysis of dispositions. Martin went on to suggest that finkish dispositions required (...) a theory of primitive causal powers; there, I think, he was mistaken. All that they require is an improved conditional analysis, and this improved analysis can be built upon whatever treatments of properties and of laws we may favour on other grounds. (shrink)

I offer a novel solution to the problem of counterfactual skepticism: the worry that all contingent counterfactuals without explicit probabilities in the consequent are false. I argue that a specific kind of contextualist semantics and pragmatics for would- and might-counterfactuals can block both central routes to counterfactual skepticism. One, it can explain the clash between would- and might-counterfactuals as in: If you had dropped that vase, it would have broken. and If you had dropped that vase, it might have safely (...) quantum tunneled to China. Two, it can explain why counterfactuals like can be true despite the fact that quantum tunneling worlds are among the most similar worlds. I further argue that this brand of contextualism accounts for the data better than other existing solutions to the problem. (shrink)

RésuméOn montre d'abord que la technique de révision des probabilités appelée « imagerie », qui a été introduite par Lewis pour la logique des conditionnels de Stalnaker, peut être généralisée à la sémantique des systèmes de sphères de Lewis si l'on permet aux énoncés conditionnels d'avoir des valeurs de vérité fractionnaires. Un système est proposé.

Possible worlds semantics for conditionals leave open the problem of how to construct models for realistic domains. In this paper, we show how to adapt logics of action and change such as John McCarthy’s Situation Calculus to conditional logics. We illustrate the idea by presenting models for conditionals whose antecedents combine a declarative condition with a hypothetical action.

This is part A of a paper in which we defend a semantics for counterfactuals which is probabilistic in the sense that the truth condition for counterfactuals refers to a probability measure. Because of its probabilistic nature, it allows a counterfactual ‘ifAthenB’ to be true even in the presence of relevant ‘Aand notB’-worlds, as long such exceptions are not too widely spread. The semantics is made precise and studied in different versions which are related to each other by representation theorems. (...) Despite its probabilistic nature, we show that the semantics and the resulting system of logic may be regarded as a naturalistically vindicated variant of David Lewis’ truth-conditional semantics and logic of counterfactuals. At the same time, the semantics overlaps in various ways with the non-truth-conditional suppositional theory for conditionals that derives from Ernest Adams’ work. We argue that counterfactuals have two kinds of pragmatic meanings and come attached with two types of degrees of acceptability or belief, one being suppositional, the other one being truth based as determined by our probabilistic semantics; these degrees could not always coincide due to a new triviality result for counterfactuals, and they should not be identified in the light of their different interpretation and pragmatic purpose. However, for plain assertability the difference between them does not matter. Hence, if the suppositional theory of counterfactuals is formulated with sufficient care, our truth-conditional theory of counterfactuals is consistent with it. The results of our investigation are used to assess a claim considered by Hawthorne and Hájek, that is, the thesis that most ordinary counterfactuals are false. (shrink)

This paper analyzes the logical truths as (very roughly) those truths that would still have been true under a certain range of counterfactual perturbations.What’s nice is that the relevant range is characterized without relying (overtly, at least) upon the notion of logical truth. This approach suggests a conception of necessity that explains what the different varieties of necessity (logical, physical, etc.) have in common, in virtue of which they are all varieties of necessity. However, this approach places the counterfactual conditionals (...) in an unfamiliar foundational role. (shrink)

In this paper, I analyse a finding by Riggs and colleagues that there is a close connection between people’s ability to reason with counterfactual conditionals and their capacity to attribute false beliefs to others. The result indicates that both processes may be governed by one cognitive mechanism, though false belief attribution seems to be slightly more cognitively demanding. Given that the common denominator for both processes is suggested to be a form of the Ramsey test, I investigate whether Stalnaker’s semantic (...) theory of conditionals, which was inspired by the Ramsey test, may provide the basis for a psychologically plausible model of belief ascription. The analysis I propose will shed some new light on the developmental discrepancy between counterfactual reasoning and false belief ascription. (shrink)

The Ramseyan thesis that the probability of an indicative conditional is equal to the corresponding conditional probability of its consequent given its antecedent is both widely confirmed and subject to attested counterexamples (e.g., McGee 2000, Kaufmann 2004). This raises several puzzling questions. For instance, why are there interpretations of conditionals that violate this Ramseyan thesis in certain contexts, and why are they otherwise very rare? In this paper, I raise some challenges to Stefan Kaufmann's account of why the Ramseyan thesis (...) sometimes fails, and motivate my own theory. On my theory, the proposition expressed by an indicative conditional is partially determined by a background partition, and hence its probability depends on the choice of such a partition. I hold that this background partition is contextually determined, and in certain conditions is set by a salient question under discussion in the context. I show how the resulting theory offers compelling answers to the puzzling questions raised by failures of the Ramseyan thesis. (shrink)

The proper function of the heart is pumping the blood. According to what we call the type etiological view, this is because previous tokens of the type HEART were selected for pumping the blood. Nanay :412–431, 2010) argues that the type etiological view is viciously circular. He claims that the only plausible accounts of trait type individuation use proper functions, such that whenever the type etiological view is supplemented with a plausible account of trait type individuation, the result is a (...) view that uses proper functions to explain proper functions. We refine this objection, and argue that Nanay at most establishes a potentially benign definitional circularity. However, we show that the type etiological view’s reliance on types nevertheless generates a vicious regress. Hence the type etiological view is false. We reject dispositional and modal alternatives to the type etiological view for the reason that they either cannot accommodate malfunction, or do so at the cost of proliferation; and then formulate a novel token etiological view that overcomes both problems because it makes no reference to trait types. (shrink)

Are there dispositions which not only do not manifest, but which could not manifest? We argue that there are dispositions to Ф in circumstances C where C is impossible, and some where Ф is impossible. Furthermore, postulating these dispositions does useful theoretical work. This paper describes a number of cases of dispositions had by objects even though those dispositions are not possibly manifest, and argues for the importance of these dispositions.

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well (...) as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (shrink)

I develop an account of counterfactual conditionals using “causal models”, and argue that this account is preferable to the currently standard account in terms of “similarity of possible worlds” due to David Lewis and Robert Stalnaker. I diagnose the attraction of counterfactual theories of causation, and argue that it is illusory.

One of contemporary epistemology's more important conceptual challenges is that of understanding the nature of fallibility. Part of why this matters is that it would contribute to our understanding the natures of fallible warrant and fallible knowledge. This article evaluates two candidates – and describes a shared form of failing. Each is concealedly infallibilist. This failing is all-too-representative of the difficulty of doing justice to the notion of fallibility within the notions of fallible warrant and fallible knowledge. The article ends (...) with a proposal for an improved form of conception of fallible warrant and fallible knowledge. (shrink)

A recent group of social scientists have argued that counterfactual questions play an essential role in their disciplines, and that it is possible to have rigorous methods to investigate them. Unfortunately, there has been little (if any) interaction between these social scientists and the philosophers who have long held that rigorous counterfactual reasoning is possible. In this paper, I hope to encourage some fresh thinking on both sides by creating new connections between them. I describe what I term "problem of (...) selecting antecedent scenarios," and show that this is an essential challenge in real-life counterfactual reasoning. Then, I demonstrate that the major extant theories of counterfactuals (especially the Lewis/Stalnaker theory and Igal Kvart's rival account) are unable to solve this problem. I show that there are instances of real-life counterfactual reasoning in the social sciences that are counterexamples to both of these accounts. And finally, I develop a new theory of how to select antecedent scenarios that overcomes these difficulties, and so would be part of a more adequate theory of counterfactuals (and counterfactual reasoning). (shrink)

The Counterfactual Comparative Account of Harm says that an event is overall harmful for someone if and only if it makes her worse off than she otherwise would have been. I defend this account from two common objections.

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

In his (1981) paper, Stalnaker has revised his old theory of conditionals and has given the revision an interesting defense. Indeed, Stalnaker shows that this new theory meets the standard objections put to the old. However, I argue that the revision runs into difficulties in the context of quantum mechanics: If Stalnaker's theory of the conditional is assumed, then from plausible assumptions certain Bell-like conflicts with experiment can be derived. This result, I go on to argue, is a good reason (...) to reject Stalnaker's theory, at least for the quantum mechanical context. (shrink)

Judea Pearl (2000) was the first to propose a definition of actual causation using causal models. A number of authors have suggested that an adequate account of actual causation must appeal not only to causal structure but also to considerations of normality. In Halpern and Hitchcock (2011), we offer a definition of actual causation using extended causal models, which include information about both causal structure and normality. Extended causal models are potentially very complex. In this study, we show how it (...) is possible to achieve a compact representation of extended causal models. (shrink)

It is argued that the so‐called principles of “strong centering” and “weak centering” central to the traditional Lewis‐Stalnaker semantics for counterfactuals are both fallacious. A foundation for an alternative semantics without these prinsciples is outlined. The core idea is that the statistically normal worlds – rather than those worlds most qualitatively similar to the actual world – should serve as the semantical fulcrum.

This paper outlines a theory and computer implementation of causal meanings and reasoning. The meanings depend on possibilities, and there are four weak causal relations: A causes B, A prevents B, A allows B, and A allows not‐B, and two stronger relations of cause and prevention. Thus, A causes B corresponds to three possibilities: A and B, not‐A and B, and not‐A and not‐B, with the temporal constraint that B does not precede A; and the stronger relation conveys only the (...) first and last of these possibilities. Individuals represent these relations in mental models of what is true in the various possibilities. The theory predicts a number of phenomena, and, contrary to many accounts, it implies that the meaning of causation is not probabilistic, differs from the meaning of enabling conditions, and does not depend on causal powers or mechanisms. The theory also implies that causal deductions do not depend on schemas or rules. (shrink)

Counterfactuals are typically thought--given the force of Sobel sequences--to be variably strict conditionals. I go the other way. Sobel sequences and (what I call) Hegel sequences push us to a strict conditional analysis of counterfactuals: counterfactuals amount to some necessity modal scoped over a plain material conditional, just which modal being a function of context. To make this worth saying I need to say just how counterfactuals and context interact. No easy feat, but I have something to say on the (...) matter. (shrink)

Proponents of the subset account of property realization commonly make the assumption that the summing of properties entails the summing of their forward-looking causal features. This paper seeks to establish that this assumption is false. Moreover, it aims to demonstrate that without this assumption the fact that the subset account captures an entailment relation—which it must if it is to be of any use to non-reductive physicalism—becomes questionable.

I explain what exactly constrains presupposition projection in compound sentences and argue that the presuppositions that do not project are conditionalized, giving rise to inferable conditional presuppositions. I combine elements of and which, together with an additional, independently motivated assumption, make it possible to construct an analysis that makes correct predictions. The core of my proposal is as follows: When a speaker felicitously utters a compound sentence whose constituent clauses require presuppositions, the hearer will infer that the speaker presupposes those (...) propositions, unless the sentence contains some element that makes the hearer realize that, if the speaker actually presupposed them, she would be either uninformative or inconsistent in her beliefs. In these cases, the propositions that would have been presupposed, had the clauses been uttered in isolation, will not be presupposed, i.e. the clausal presuppositions will not project. (shrink)

The strongest possible Lewisian triviality result for the indicative conditional is proven.

Some have argued, following Stalnaker, that a plausible functionalist account of belief requires coarse-grained propositions. I have explored a class of functionalist accounts, and my argument has been that, in this class, there is no account which meetsall of the following conditions: it is plausible, noncircular, and allows for the validity of the argument to coarse-grained propositions. In producing this argument, I believe that I have shown that it might be open to a functionalist to adopt fine-grained propositions; thus, one (...) might be a functionalist without holding that all mathematical beliefs are about strings of symbols (and that the belief that all bachelors are unmarried men is a belief about words).My project in this paper has been minimal in the following sense. I havenot argued thatno functionalist account of belief which meets the three conditions can be produced; rather, I have simply explored the inadequacies of certain sorts of accounts. I think that this is useful insofar as it makes clear the challenges to be met by an account of belief which can play the required role in the argument to coarse-grained propositions. It is compatible with my position that such an account is forthcoming, insofar as I have not produced a functionalist theory of belief which is clearly non-circular, plausible, and which yields fine-grained propositions. Of course, it is also compatible with my position that no plausible, non-circular functionalist account of belief of any sort can be produced. My argument has been that,if one construes such mental states as belief as functional states, no convincing argument has yet been produced that they require coarse-grained objects. (shrink)

Objects have dispositions. As Nelson Goodman put it, “a thing is full of threats and promises”. But sometimes those threats go unfulfilled, and the promises unkept. Sometimes the dispositions of objects fail to manifest themselves, even when their conditions of manifestation obtain. Pieces of wood, disposed to burn when heated, do not burn when heated in a vacuum chamber. And pastries, disposed to go bad when left lying around too long, won’t do so if coated with lacquer and put on (...) display in a baker ’s window. Any account of what a disposition is, or of what it takes for an object to have a disposition, should be compatible with these commonplace observations. To date, I believe, no adequate account of dispositions has been given, and the aim of this paper is to defend one. (shrink)

Empirical knowledge exists in the form of antiskeptical conditionals, which are propositions like [if I am not undetectably deceived, then I am holding a pen]. Such conditionals, despite their trivial appearance, have the same essential content as the categorical propositions that we usually discuss, and can serve the same functions in science and practical reasoning. This paper sketches out two versions of a general response to skepticism that employs these conditionals. The first says that our ordinary knowledge attributions can safely (...) be replaced by statements using antiskeptical conditionals, which provides a way around the standard sort of skeptical argument while accepting its soundness with respect to the usual targets. The second analyzes the objects of our ordinary knowledge attributions as antiskeptical conditionals, which allows us to refute, not just evade, the skeptic's argument. Both versions compare favorably to the best-knowncurrent approaches to skepticism, including semantic contextualism. (shrink)

Two grams mass, three coulombs charge, five inches long – these are examples of quantitative properties. Quantitative properties have certain structural features that other sorts of properties lack. What are the metaphysical underpinnings of quantitative structure? This paper considers several accounts of quantity and assesses the merits of each.

According to what is now commonly referred to as “the Equation” in the literature on indicative conditionals, the probability of any indicative conditional equals the probability of its consequent of the conditional given the antecedent of the conditional. Philosophers widely agree in their assessment that the triviality arguments of Lewis and others have conclusively shown the Equation to be tenable only at the expense of the view that indicative conditionals express propositions. This study challenges the correctness of that assessment by (...) presenting data that cast doubt on an assumption underlying all triviality arguments. (shrink)

Some of the information we receive comes to us in an explicitly conditional form. It is an open question how to model the accommodation of such information in a Bayesian framework. This paper presents data suggesting that there may be no strictly Bayesian account of updating on conditionals. Specifically, the data seem to indicate that such updating at least sometimes proceeds on the basis of explanatory considerations, which famously have no home in standard Bayesian epistemology. The paper also proposes a (...) still broadly Bayesian model of updating on conditionals that explicitly factors in explanation. The model is shown to have clear empirical content and thus to be open to empirical testing. (shrink)

According to Stalnaker’s Hypothesis, the probability of an indicative conditional, $\Pr(\varphi \rightarrow \psi),$ equals the probability of the consequent conditional on its antecedent, $\Pr(\psi | \varphi)$ . While the hypothesis is generally taken to have been conclusively refuted by Lewis’ and others’ triviality arguments, its descriptive adequacy has been confirmed in many experimental studies. In this paper, we consider some possible ways of resolving the apparent tension between the analytical and the empirical results relating to Stalnaker’s Hypothesis and we argue (...) that none offer a satisfactory resolution. (shrink)

Rationalism, my target, says that in order to have perceptual knowledge, such as that your hand is making a fist, you must “antecedently” (or “independently”) know that skeptical scenarios don’t obtain, such as the skeptical scenario that you are in the Matrix. I motivate the specific form of Rationalism shared by, among others, White (Philos Stud 131:525–557, 2006) and Wright (Proc Aristot Soc Suppl Vol 78:167–212, 2004), which credits us with warrant to believe (or “accept”, in Wright’s terms) that our (...) senses are reliably veridical, where that warrant is one we enjoy by default, that is, without relying on any evidence or engaging in any positive argument. The problem with this form of Rationalism is that, even if you have default knowledge that your senses are reliable, this is not adequate to rule out every kind of skeptical scenario. The problem is created by one-off skeptical scenarios, scenarios that involve a highly reliable perceiver who, by a pure fluke, has a one-off, non-veridical experience. I claim you cannot infer that your present perceptual experience is veridical just on the basis of knowledge of your general reliability. More generally, if you infer that the present F is G, just on the basis of your knowledge that most Fs are Gs, this is what I call statistical inference, and, as I argue, statistical inference by itself does not generate knowledge. I defend this view of statistical inference against objections, including the objection that radical skepticism about our ordinary inductive knowledge will follow unless statistical inference generates knowledge. (shrink)

We suggest a model that describes how counterfactuals are constructed and justified. The model can describe how counterfactual beliefs are updated given the unfolding of actual history. It also allows us to examine the use of counterfactuals in prediction, and to show that a logically omniscient reasoner gains nothing from using counterfactuals for prediction.

This paper presents an axiomatization of a class of set-theoretic conditional operators using minimization of the geodesic distance defined as the shortest path generated by the accessibility relation on a frame. The objective of this modeling is to define conditioning based on a notion of similarity generated by degrees of indistinguishability.