What is knowledge? I this paper I defend the claim that knowledge is justified true belief by arguing that, contrary to common belief, Gettier cases do not refute it. My defence will be of the anti-luck kind: I will argue that (1) Gettier cases necessarily involve veritic luck, and (2) that a plausible version of reliabilism excludes veritic luck. There is thus a prominent and plausible account of justification according to which Gettier cases do not feature justified beliefs, and therefore, (...) do not present counterexamples to the tripartite analysis. I defend the account of justification against objections, and contrast my defence of the tripartite analysis to similar ones from the literature. I close by considering some implications of this way of thinking about justification and knowledge. (shrink)

Among epistemologists, it is not uncommon to relate various forms of epistemic luck to the vexed debate between internalists and externalists. But there are many internalism/externalism debates in epistemology, and it is not always clear how these debates relate to each other. In the present paper I investigate the relation between epistemic luck and prominent internalist and externalist accounts of epistemic justification. I argue that the dichotomy between internalist and externalist concepts of justification can be characterized in terms of epistemic (...) luck. Whereas externalist theories of justification are incompatible with veritic luck but not with reflective luck, the converse is true for internalist theories of justification. These results are found to explain and cohere with some recent findings from elsewhere in epistemology, and support a surprising picture of justification, on which internalism and externalism are complementary rather than contradictory positions. (shrink)

In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different “degrees of contingency”. We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For illustrative (...) purposes, we provide an example from population genetics, the Wright-Fisher Model. (shrink)

In this paper, I examine Nelson Goodman’s pluriworldism, understood as the claim that there exists a plurality of actual worlds. This proposal has generally been quickly dismissed in the philosophical literature. I argue that we ought to take it more seriously. As I show, many of the prima facie objections to pluriworldism may receive straightforward answers. I also examine in detail Goodman’s argument for the conclusion that there are many worlds and attempt to show how it might be supported. Eventually, (...) I discuss some underexplored challenges to pluriworldism. (shrink)

Evidence from aphasia is considered that leads to a distinction between abstract and concrete thought processes and hence for a distinction between rules and similarity. It is argued that perceptual classification is inherently a rule-following procedure and these rules are unable to be followed when a patient has difficulty with name comprehension and retrieval.

The different occurrences of a word in a sentence cannot be identified with the one word type, nor with its many tokens. What then are occurrences of a word? How can one type occur more than once in another type? Is the conception of ‘structural universals’ that leads to these questions incoherent, as Lewis maintained? I argue against the answer Wetzel suggested, which identifies sentences with functions from numbers to expressions, and propose instead that occurrences of one type in another (...) are subtypes with different relative positions in the whole. Types have subtypes as well as tokens. Occurrences in non-symmetrical types like sequences are individuated by their relative positions in the type. Occurrences in a symmetrical whole have different positions but stand in the same relations to the other components. They are numerically different subtypes that do not differ from each other qualitatively. (shrink)

The causal and simulation theories are often presented as very distinct views about declarative memory, their major difference lying on the causal condition. The causal theory states that remembering involves an accurate representation causally connected to an earlier experience. In the simulation theory, remembering involves an accurate representation generated by a reliable memory process. I investigate how to construe detailed versions of these theories that correctly classify memory errors as misremembering or confabulation. Neither causalists nor simulationists have paid attention to (...) memory-conjunction errors, which is unfortunate because both theories have problems with these cases. The source of the difficulty is the background assumption that an act of remembering has one target. I fix these theories for those cases. The resulting versions are closely related when implemented using tools of information theory, differing only on how memory transmits information about the past. The implementation provides us with insights about the distinction between confabulatory and non-confabulatory memory, where memory-conjunction errors have a privileged position. (shrink)

John Searle’s Chinese room argument is a celebrated thought experiment designed to refute the hypothesis, popular among artificial intelligence scientists and philosophers of mind, that “the appropriately programmed computer really is a mind”. Since its publication in 1980, the CRA has evoked an enormous amount of debate about its implications for machine intelligence, the functionalist philosophy of mind, theories of consciousness, etc. Although the general consensus among commentators is that the CRA is flawed, and not withstanding the popularity of the (...) systems reply in some quarters, there is remarkably little agreement on exactly how and why it is flawed. A newcomer to the controversy could be forgiven for thinking that the bewildering collection of diverse replies to Searle betrays a tendency to unprincipled, ad hoc argumentation and, thereby, a weakness in the opposition’s case. In this paper, treating the CRA as a prototypical example of a ‘destructive’ thought experiment, I attempt to set it in a logical framework, which allows us to systematise and classify the various objections. Since thought experiments are always posed in narrative form, formal logic by itself cannot fully capture the controversy. On the contrary, much also hinges on how one translates between the informal everyday language in which the CRA was initially framed and formal logic and, in particular, on the specific conception of possibility that one reads into the logical formalism. (shrink)

This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts which (...) hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (shrink)

I present and discuss two logical results. The first shows that a non-trivial counterfactual analysis exists for any contingent proposition that is false in at least two possible worlds. The second result identifies a set of conditions that are individually necessary and jointly sufficient for the success of a counterfactual analysis. I use these results to shed light on the question whether disposition ascribing propositions can be analyzed as Stalnaker-Lewis conditional propositions. The answer is that they can, but, in order (...) for a counterfactual analysis to work, the antecedent and consequent must be related in a particular way, and David Lewis’s Time’s Arrow constraints on comparative world similarity must be relaxed. The upshot is that counterfactual analyses are easy to come by, in principle, even if not in practice. In that sense, it’s easy to be iffy. (shrink)

In "Backward causation and the Stalnaker-Lewis approach to counterfactuals," Analysis 62 (2002): 191–97, Michael Tooley argues that if a certain kind of backward causation is possible, then a Stalnaker-Lewis style comparative world similarity account of the truth conditions of counterfactuals cannot be sound. Tooley’s target is one particular type of semantics, but, as I show, the significance of Tooley’s example goes well beyond its consequences for any one semantics for the conditional.

In this essay I renew the case for Conditional Excluded Middle (CXM) in light of recent developments in the semantics of the subjunctive conditional. I argue that Michael Tooley’s recent backward causation counterexample to the Stalnaker-Lewis comparative world similarity semantics undermines the strongest argument against CXM, and I offer a new, principled argument for the validity of CXM that is in no way undermined by Tooley’s counterexample. Finally, I formulate a simple semantics for the subjunctive conditional that is consistent with (...) both CXM and Tooley’s counterexample. (shrink)

In this essay I renew the case for Conditional Excluded Middle in light of recent developments in the semantics of the subjunctive conditional. I argue that Michael Tooley's recent backward causation counterexample to the Stalnaker-Lewis comparative world similarity semantics undermines the strongest argument against CXM, and I offer a new, principled argument for the validity of CXM that is in no way undermined by Tooley's counterexample. Finally, I formulate a simple semantics for the subjunctive conditional that is consistent with both (...) CXM and Tooley's counterexample. (shrink)

Dretske's conclusive reasons account of knowledge is designed to explain how epistemic closure can fail when the evidence for a belief does not transmit to some of that belief's logical consequences. Critics of Dretske dispute the argument against closure while joining Dretske in writing off transmission. This paper shows that, in the most widely accepted system for counterfactual logic , conclusive reasons are governed by an informative, non-trivial, logical transmission principle. If r is a conclusive reason for believing p in (...) Dretske's sense, and if p logically implies q, and if p and q satisfy one additional condition, it follows that r is a conclusive reason for believing q. After introducing this additional condition, I explain its intuitive import and use the condition to shed new light on Dretske's response to scepticism, as well as on his distinction between the so-called ‘lightweight’ and ‘heavyweight’ implications of a piece of perceptual knowledge. (shrink)

In “Backward Causation and the Stalnaker–Lewis Approach to Counterfactuals,” Analysis 62:191–7, (2002), Michael Tooley argues that if a certain kind of backward causation is possible, then a Stalnaker–Lewis comparative world similarity account of the truth conditions of counterfactuals cannot be sound. In “Tooley on Backward Causation,” Analysis 63:157–62, (2003), Paul Noordhof argues that Tooley’s example can be reconciled with a Stalnaker–Lewis account of counterfactuals if the comparative world similarity relation on which the Stalnaker–Lewis account relies is allowed to be antecedent-relative. (...) In this paper I show that taking comparative world similarity to be antecedent-relative results in a formal semantics which is a comparative world similarity semantics in name only. (shrink)

The paper introduces a first-order theory in the language of predicate tense logic which contains a single simple axiom. It is shewn that this theory enables times to be referred to and sentences involving ‘now’ and ‘then’ to be formalised. The paper then compares this way of increasing the expressive capacity of predicate tense logic with other mechanisms, and indicates how to generalise the results to other modal and tense systems.

The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds : ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative parsimony, commonly drawn regarding ontological commitments, to the domain of ideological commitments. I then argue that qualitative ideological parsimony is a theoretical virtue. My (...) defense proceeds by demonstrating the merits of qualitative ideological parsimony and by showing how the qualitative conception of ideological parsimony undermines two notable arguments from ideological parsimony: David Lewis’ defense of modal realism and Ted Sider’s defense of mereological nihilism. (shrink)

How to accept a conditional? F. P. Ramsey proposed the following test in (Ramsey 1990).(RT) If A, then B must be accepted with respect to the current epistemic state iff the minimal hypothetical change of it needed to accept A also requires accepting B.

What is the function of cognition? On one influential account, cognition evolved to co-ordinate behaviour with environmental change or complexity. Liberal interpretations of this view ascribe cognition to an extraordinarily broad set of biological systems—even bacteria, which modulate their activity in response to salient external cues, would seem to qualify as cognitive agents. However, equating cognition with adaptive flexibility per se glosses over important distinctions in the way biological organisms deal with environmental complexity. Drawing on contemporary advances in theoretical biology (...) and computational neuroscience, we cash these distinctions out in terms of different kinds of generative models, and the representational and uncertainty-resolving capacities they afford. This analysis leads us to propose a formal criterion for delineating cognition from other, more pervasive forms of adaptive plasticity. On this view, biological cognition is rooted in a particular kind of functional organisation; namely, that which enables the agent to detach from the present and engage in counterfactual inference. (shrink)

A dispositional property is a tendency, or potency, to manifest some characteristic behaviour in some appropriate context. The mainstream view in the twentieth century was that such properties are to be explained in terms of more fundamental non-dispositional properties, together with the laws of nature. In the last few decades, however, a rival view has become popular, according to which some properties are essentially dispositional in nature, and the laws of nature are to be explained in terms of these fundamental (...) dispositions. The supposed ability of fundamental dispositions to ground natural laws is one of the most attractive features of the dispositional essentialist position. In this paper, however, I cast doubt on the ability of dispositional essences to ground the laws of nature. In particular I argue that the dispositional essentialist position is not able to coherently respond—sympathetically or otherwise—to Cartwright's challenge that there are no true general laws of nature. (shrink)

It has been argued that the attempt to meet indispensability arguments for realism in mathematics, by appeal to counterfactual statements, presupposes a view of mathematical modality according to which even though mathematical entities do not exist, they might have existed. But I have sought to defend this controversial view of mathematical modality from various objections derived from the fact that the existence or nonexistence of mathematical objects makes no difference to the arrangement of concrete objects. This defense of the controversial (...) view of mathematical modality obviously falls far short of a full endorsement of the counterfactual approach, but I hope my remarks may serve to help keep such an approach a live option. (shrink)

The philosophy of time travel is a sub-field of metaphysics – the study of what there is and what things are like – that considers questions about the possibility of time travel and what a world in which time travel is possible looks like. These questions range from whether time travel is actually possible, to how time travellers can act in the past or future. This thesis delves into a particularly interesting, yet historically undertreated theme: the abilities of time travellers (...) and relatedly their freedom as well. The abilities and freedom of time travellers has been the source of a lot of recent discussion with some polarising views. The minority (which includes Lewis (1976), but also Ted Sider (2002)) argue for the affirmative – that time travellers are free and have the same (or perhaps more) abilities as non-time travellers. The majority (which includes Kadri Vihvelin (1996), Michael Rea (2005), Stephanie Rennick (2015), Alison Fernandes (2020), amongst others) argue for the negative, that time travellers do not have exactly the same freedoms and abilities as non-time travellers. I think that it is a mistake to be so pessimistic about the abilities and freedom of time travellers. I treat concerns about the freedom of time travellers and concerns about the abilities of time travellers as two sides of the same coin. Therefore, in what follows, I argue for two related conclusions. First, I argue that time travellers have all sorts of abilities. Second, I argue that time travellers are just as free as non-time travellers. In arguing for these conclusions, I first produce a novel analysis of ability which reveals important details about how abilities track inputs rather than outputs. Second, I use this new analysis of ability to present a new compatibilist account of free will. If I am right in arguing positively for the abilities and freedoms of time travellers, then this has large implications for both the current time travel discourse and the general debate surrounding freedom. Significantly, I am arguing against some prominent views about time travel and in suggesting that these views are mistaken, I am presenting new ideas about ability and freedom: specifically, that time travellers have the ability and are free to do impossible things. (shrink)

The thesis that a temporal asymmetry of counterfactual dependence characterizes our world plays a central role in Lewis’s philosophy, as. among other things, it underpins one of Lewis most renowned theses—that causation can be analyzed in terms of counterfactual dependence. To maintain that a temporal asymmetry of counterfactual dependence characterizes our world, Lewis committed himself to two other theses. The first is that the closest possible worlds at which the antecedent of a counterfactual conditional is true is one in which (...) a small miracle occurs—i.e. one whose laws differ from the actual laws in a small spatiotemporal region. The second is that our world is characterized by a temporal asymmetry of miracles. In this paper, I will argue, first, that the latter thesis is either false or incompatible with the picture of the relations among temporal asymmetries endorsed by Lewis and, second, that former thesis conflicts with some of the intuitions which seem to guide us when engaging in counterfactual reasoning. If there is any fact of the matter as to which possible worlds in which the antecedent of a counterfactual conditional is true are closest to the actual world, these are not worlds at which a small miracle occurs. (shrink)

In this paper, I distinguish between two varieties of actualism—hardcore actualism and softcore actualism—and I critically discuss Ross Cameron’s recent arguments for preferring a softcore actualist account of the truthmakers for modal truths over hardcore actualist ones. In the process, I offer some arguments for preferring the hardcore actualist account of modal truthmakers over the softcore actualist one.

According to the Simple Conditional Analysis of disposition ascriptions, disposition ascriptions are to be analyzed in terms of counterfactual conditionals. The Simple Conditional Analysis is notoriously vulnerable to counterexamples. In this paper, I introduce a new sort of counterexample to the Simple Conditional Analysis of disposition ascriptions, which I call ‘tricks’. I then explore a number of possible strategies to modify the Simple Conditional Analysis so as to avoid tricks and conclude that, in order to avoid tricks, the associated counterfactual (...) should be evaluated at the closest possible world at which the manifestation of the disposition does not obtain. (shrink)

What relation must hold between a fact p and the corresponding belief that p for the belief to amount to knowledge? Many authors have recently proposed that the relation can be captured by subjunctive conditionals. In this paper I critically evaluate the main proposals along those lines.

ABSTRACTThe Assistance Principle is common currency to a wide range of moral theories. Roughly, this principle states: if you can fulfil important interests, at not too high a cost, then you have a moral duty to do so. I argue that, in determining whether the ‘not too high a cost’ clause of this principle is met, we must consider three distinct costs: ‘agent-relative costs’, ‘recipient-relative costs’ and ‘ideal-relative costs’.

One can readily conceive of worlds of horrendous, gratuitous suffering. Moreover, such worlds seem possible. For classical theists, however, God, amongst other things, is perfectly good. So, the question arises: for classical theists are such evil worlds possible? Many classical theists have said no. This is the modal problem of evil. Herein, I discuss a related problem: the problem of evil worlds for Lewisian theism. Lewisian theism is the conjunction of Lewis’s modal realism and classical theism, and a leading Lewisian (...) theist, Almeida, thinks that Lewisian theists should admit the existence of on-balance evil worlds. I do not. Herein, I present a dilemma for Almeida: either give up God’s sovereignty and the reductionist account of modality or make God blameworthy for evil. (shrink)

We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that abstraction through information hiding is a (...) primary factor in computer science progress and success through an examination of the ubiquitous role of information hiding in programming languages, operating systems, network architecture, and design patterns. (shrink)

An important obstacle to lawhood in the special sciences is the worry that such laws would require metaphysically extravagant conspiracies among fundamental particles. How, short of conspiracy, is this possible? In this paper we'll review a number of strategies that allow for the projectibility of special science generalizations without positing outlandish conspiracies: non-Humean pluralism, classical MRL theories of laws, and Albert and Loewer's theory. After arguing that none of the above fully succeed, we consider the conspiracy problem through the lens (...) of our preferred view of laws, an elaboration of the MRL view that we call the Better Best System (BBS) theory. BBS offers a picture on which, although all events supervene on a fundamental level, there is no one unique locus of projectibility; rather there are a large number of loci corresponding to the different areas (ecology, economics, solid-state chemistry, etc.) in which there are simple and strong generalizations to be made. While we expect that some amount of conspiracy-fear-inducing special science projectibility is inevitable given BBS, we'll argue that this is unobjectionable. It follows from BBS that the laws of any particular special or fundamental science amount to a proper subset of the laws. From this vantage point, the existence of projectible special science generalizations not guaranteed by the fundamental laws is not an occasion for conspiracy fantasies, but a predictable fact of life in a complex world. (shrink)

Contrary to the commonly held position of Luis de Molina, Thomas Flint and others, I argue that counterfactuals of divine freedom are pre-volitional for God within the Molinist framework. That is, CDFs are not true even partly in virtue of some act of God’s will. As a result, I argue that the Molinist God fails to satisfy an epistemic openness requirement for rational deliberation, and thus she cannot rationally deliberate about which world to actualize.

The object of this paper is to show why recent research in the psychology of deductive and probabilistic reasoning does not have.

We offer a novel theory of information that differs from traditional accounts in two respects: (i) it explains information in terms of counterfactuals rather than conditional probabilities, and (ii) it does not make essential reference to doxastic states of subjects, and consequently allows for the sort of objective, reductive explanations of various notions in epistemology and philosophy of mind that many have wanted from an account of information.

Perhaps the most significant contemporary theory of lawhood is the Best System (/MRL) view on which laws are true generalizations that best systematize knowledge. Our question in this paper will be how best to formulate a theory of this kind. We’ll argue that an acceptable MRL should (i) avoid inter-system comparisons of simplicity, strength, and balance, (ii) make lawhood epistemically accessible, and (iii) allow for laws in the special sciences. Attention to these problems will bring into focus a useful menu (...) of novel MRL theories, some of which solve problems the original MRL theory could not. Hence we conceive of the paper as moving toward a better Best System theory of laws. (shrink)

Standard accounts of semantics for counterfactuals confront the true–true problem: when the antecedent and consequent of a counterfactual are both actually true, the counterfactual is automatically true. This problem presents a challenge to safety-based accounts of knowledge. In this paper, drawing on work by Angelika Kratzer, Alan Penczek, and Duncan Pritchard, we propose a revised understanding of semantics for counterfactuals utilizing machinery from generalized quantifier theory which enables safety theorists to meet the challenge of the true–true problem.

According to a well-known argument, originally due to David Armstrong, powers theory is objectionable, as it leads to a ‘Meinongian’ ontology on which some entities are real but do not actually exist. I argue here that the right conclusion to draw from this argument has thus far not been identified and that doing so has significant implications for powers theory. Specifically, I argue that the key consequence of the argument is that it provides substantial grounds for trope powers theorists, but (...) not other powers theorists, to accept one version of the view that properties are powerful qualities. In particular, they have grounds to favour the view that powerful properties are properties with exclusively qualitative natures that ground modal facts. (shrink)

Ordinarily, we take moral responsibility to come in degrees. Despite this commonplace, theories of moral responsibility have focused on the minimum threshold conditions under which agents are morally responsible. But this cannot account for our practices of holding agents to be more or less responsible. In this paper we remedy this omission. More specifically, we extend an account of reasons-responsiveness due to John Martin Fischer and Mark Ravizza according to which an agent is morally responsible only if she is appropriately (...) receptive to and reactive to reasons for action. Building on this, we claim that the degree to which an agent is responsible will depend on the degree to which she is able to recognize and react to reasons. To analyze this, we appeal to relations of comparative similarity between possible worlds, arguing that the degree to which an agent is reasons-reactive depends on the nearest possible world in which given sufficient reason to do otherwise, she does so. Similarly, we argue that the degree to which an agent is reasons-receptive will depend on the intelligibility of her patterned recognition of reasons. By extending an account of reasons-responsiveness in these ways, we are able to rationalize our practice of judging people to be more or less responsible. (shrink)