Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a Reducibility-based reply (...) to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

It's natural to think that the principles expressed by the statements "Promises ought to be kept" and "We ought to help those in need" are defeasible. But how are we to make sense of this defeasibility? On one proposal, moral principles have hedges or built-in unless clauses specifying the conditions under which the principle doesn't apply. On another, such principles are contributory and, thus, do not specify which actions ought to be carried out, but only what counts in favor or (...) against them. Drawing on a defeasible logic framework, this paper sets up three models: one model for each proposal, as well as a third model capturing a mixed view on principles that combines them. It then explores the structural connections between the three models and establishes some equivalence results, suggesting that the seemingly different views captured by the models are closer than standardly thought. (shrink)

The use of counterfactuals for considerations of algorithmic fairness and explainability is gaining prominence within the machine learning community and industry. This paper argues for more caution with the use of counterfactuals when the facts to be considered are social categories such as race or gender. We review a broad body of papers from philosophy and social sciences on social ontology and the semantics of counterfactuals, and we conclude that the counterfactual approach in machine learning fairness and social explainability can (...) require an incoherent theory of what social categories are. Our findings suggest that most often the social categories may not admit counterfactual manipulation, and hence may not appropriately satisfy the demands for evaluating the truth or falsity of counterfactuals. This is important because the wide- spread use of counterfactuals in machine learning can lead to misleading results when applied in high-stakes domains. Accordingly, we argue that even though counterfactuals play an essential part in some causal inferences, their use for questions of algorithmic fairness and social explanations can create more problems than they resolve. Our positive result is a set of tenets about using counterfactuals for fairness and explanations in machine learning. (shrink)

We set out a fundamental ontology of atomism in terms of matter points. While being most parsimonious, this ontology is able to match both classical and quantum mechanics, and it remains a viable option for any future theory of cosmology that goes beyond current quantum physics. The matter points are structurally individuated: all there is to them are the spatial relations in which they stand; neither a commitment to intrinsic properties nor to an absolute space is required. The spatial relations (...) change. All that is needed to capture change is a dynamical structure, namely dynamical relations as expressed in terms of the dynamical parameters of a physical theory. (shrink)

1 Logic in philosophy The century that was Logic has played an important role in modern philosophy, especially, in alliances with philosophical schools such as the Vienna Circle, neopositivism, or formal language variants of analytical philosophy. The original impact was via the work of Frege, Russell, and other pioneers, backed up by the prestige of research into the foundations of mathematics, which was fast bringing to light those amazing insights that still impress us to-day. The Golden Age of the 1930s (...) deeply affected philosophy, and heartened the minority of philosophers with a formalanalytical bent. As Brand Blanshard writes in Reason and Analysis (1964) – I quote from memory here, to avoid the usual disappointment when re-reading an original text. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Any counterfactual with a true antecedent and a true consequent is invariably predicted to be true by the standard Stalnaker–Lewis semantics. But many such true–true counterfactuals appear false to ordinary speakers, which is considered by many authors as evidence that the standard semantics should be revised. However, Walters and Williams prove that allowing true–true counterfactuals to be false would unacceptably invalidate some very plausible logical principles. The objective of this paper is to provide a pragmatic account of seemingly false true–true (...) counterfactuals, which explains why such counterfactuals seem false to ordinary speakers while being true semantically. In particular, a pluralistic pragmatic account is pursued: I argue that some true–trues seem false because they conversationally implicate some falsehood, and some others seem false because the focus (intonation stress) involved in them invokes some pragmatic re‐interpretation that affects speakers' truth‐value judgments. (shrink)

Conditional judgements—judgements employing ‘if’—are essential to practical reasoning about what to do, as well as to much reasoning about what is the case. We handle them well enough from an early...

Various theories try to give accounts of how measures of this confidence do or ought to behave, both as far as the internal mental consistency of the agent as ...

The subject matter of this thesis is analytic ontology. Chapters II and III deal with two versions of trope theory, or moderate nominalism; these are defined as ontologies which recognise properties and relations but no (real) universals. The key notion of both theories, trope, is characterised as an abstract particular. What the abstractness amounts to differs between the two. Yet another difference is that simplicity is an essential trait of a trope according to one theory, but not according to the (...) other. Though exact similarity is said to play an important role in both theories, as it turns out, this does not seem to be the case. The ontology dealt with in chapter IV is a mixture of moderate nominalism concerning qualities and realism concerning relations. In it, quality instances (moments) and universal relations are the ultimate constituents of the universe. While relations and moments are considered to be constituents of states of affairs, which are characterised as objects of higher orders, complexes that are objects of the first order are made up of moments on their own. Among these complexes one finds the ordinary objects. Paradoxically, although relations are necessary for the existence of complex first order objects, relations are not thought to be among the contents of these objects. The main subject of chapter V is a particular version of moderate realism; it is an ontology which is realistic in its recognition of universals and moderate in its recognition of instances of these universals. Instances combine to form complex networks. A theoretically motivated claim is that although each instance has a predicational aspect as well as a universal one, it is simple in the sense of lacking internal predicative structure; though, this claim can be called into question. Keywords: analytic ontology, moderate nominalism, moderate realism, particular, universal, abstract, concrete, abstract particular, abstract universal, concrete particular, concrete universal, trope, moment, complex unity, collection, instance, unit attribute, intensional aspect, predicational aspect, continuous composite, articulated composite. (shrink)

This paper presents an adaptive logic enhancement of conditional logics of normality that allows for defeasible applications of Modus Ponens to conditionals. In addition to the possibilities these logics already offer in terms of reasoning about conditionals, this way they are enriched by the ability to perform default inferencing. The idea is to apply Modus Ponens defeasibly to a conditional and a fact on the condition that it is ‘safe' to do so concerning the factual and conditional knowledge at hand. (...) It is for instance not safe if the given information describes exceptional circumstances: although birds usually fly, penguins are exceptional to this rule. The two adaptive standard strategies are shown to correspond to different intuitions, a skeptical and a credulous reasoning type, which manifest themselves in the handling of so-called floating conclusions. (shrink)

Against Barnett (2012), I argue that the theory I advance in DeRose 2010 is best construed as one on which ‘"were"ed-up’ future-directed conditionals like ‘If the house were not to be painted, it would soon look quite shabby’ are, in ways important to how they function in deliberation, different in literal content from their ‘straightforward’ counterparts like ‘If the house is not painted, it will soon look quite shabby’. I also defend my way of classifying future-directed conditionals against an attack (...) by Barnett by defending a standard (among philosophers) approach to the basic structure of some conditionals. Finally, I counter Barnett’s charge that by using the concept of deliberation in my account of the meaning of future-directed conditionals, I put an implausibly demanding constraint on what it takes to understand such sentences. (shrink)

An intuitive objection to modal realism is that merely possible worlds and their inhabitants seem to be irrelevant to an analysis of modality. Kripke originally phrased the objection in terms of being concerned about one’s modal properties without being concerned about the properties one’s other-worldly counterparts have. The author assesses this objection in a variety of forms, and then provides his own formulation that does not beg the question against the modal realist. Finally, the author considers two potential answers to (...) the objection so understood and concludes that only one of them has a chance of succeeding. (shrink)

I argue that there is a distinction to be drawn between two kinds of mental realism, and I draw some lessons for the realism-antirealism debate. Although it is already at hand, the distinction has not yet been drawn clearly. The difference to be shown consists in what realism is about: it may be either about the interpretation of folk psychology, or the ontology of mental entities. I specify the commitment to the fact-stating character of the discourse as the central component (...) of realism about folk psychology, and from this I separate realism about mental entities as an ontological commitment towards them. I point out that the two views are mutually independent, which provides the possibility of considering folk psychology as not being in cognitive competition with scientific psychology. At the end I make a tentative suggestion as to how to interpret the former in order to avoid this conflict. (shrink)

The communication process is analysed on the basis of the notions of trust and agency. The aim of the paper is to clarify the role played by causality on the one hand and the role played by logical consequences of assumptions about trust in information sources on the other hand. The first part is informal and the second part refers to the logical framework of modal logic though it requires a quite limited background in this area.

Most philosophers of science hold that the laws of nature play an important role in determining which counterfactuals are true. Marc Lange reverses this dependence, arguing that it is the truth of certain counterfactuals that determines which statements are laws. I argue that the context sensitivity of counterfactual sentences makes it impossible for them to determine the laws. Next, I argue that Lange’s view cannot avoid additional counterexamples concerning nested counterfactuals. Finally, I argue that Lange’s counterfacts, posited as the ultimate (...) ontological ground for the laws of nature, are unsuited to the role he demands of them. (shrink)

It is shown that counterpart theory and the duplication account of intrinsicality —two key pieces of the Lewisian package—are incompatible. In particular, the duplication account yields the result that certain intuitively extrinsic modal properties are intrinsic. Along the way I consider a potentially more general worry concerning certain existential closures of internal relations. One conclusion is that, unless the Lewisian provides an adequate alternative to the duplication account, the reductive nature of their total theory is in jeopardy.

This article offers an analysis of the cognitive role of diagrammatic movements in the theater. Based on the recognition of a theatrical work’s inherent ability to provide new insights concerning reality, the article concentrates on the way by which actors’ movements on stage create spatial diagrams that can provide new insights into the spectators’ world. The suggested model of theater’s epistemology results from a combination of Charles S. Peirce’s doctrine of diagrammatic reasoning and David Lewis’s theoretical account of the truth (...) value of counterfactual conditionals. I argue that in several theatrical works – in particular those whose central image is dominated by movements – the relation of what Lewis names “comparative overall similarity” between the fictional and the actual world is based on diagrammatic homology. The cognitive process involved in deciphering them is, hence, based on diagrammatic reasoning. The main emphasis of the analysis is on the previously unnoticed but important cognitive role of observation in the theater: the idea that observation takes an active role in the reasoning process that enables the spectators to form new knowledge about their actual world. Samuel Beckett’s plays Quad and Come and Go serve here as case studies. (shrink)

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)

In this article, we take into consideration two semantics of the future tense: linearism, according to which future-tense sentences are interpreted on a single history, and universalism, according to which they are evaluated by universally quantifying on the plurality of future histories that radiate from the present instant. Specifically, we focus on a objection advanced against universalism: if universalism were correct semantics of will, negated future-tense sentences of natural language should have two readings, depending on the scope of negation with (...) respect to the universal quantifier on histories. However, since natural language does not show this difference, one may conclude that there is no universal quantifier in the interpretation of these sentences. We show that this conclusion is premature. First, will has clear scope interactions with indefinite nouns phrases, contrary to what linearism predicts. Second, it is possible to extend the treatment of vague predicates as partial predicates to will: Since partial predicates have no scope interactions with negation, this can account for the scopelessness of will. The partiality of truth conditions is not restricted to will but also pertains to counterfactuals and generics and probably is part of a general tendency to maximize contraries. (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.

According to act theories, propositions are structured cognitive act‐types. Act theories appear to make propositions inherently representational and truth‐evaluable, and to provide solutions to familiar problems with alternative theories, including Frege’s and Russell’s problems, and the third‐realm and unity problems. Act theories have critical problems of their own, though: acts as opposed to their objects are not truth evaluable, not structured in the right way, not expressed by sentences, and not the objects of propositional attitudes. I show how identifying propositions (...) with other cognitive event‐types, namely thoughts, has the perceived virtues of act theories without the defects. (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)

The key idea behind reduction is a simple and familiar one: it’s that there’s more to things than meets the eye. Surprisingly, this simple idea provides the resources to block a number of notable anti-reductionist arguments: Mackie’s argument from queerness against objective moral values, Kripke’s Humphrey objection and its recent variants, and Jubien’s objection from irrelevance against Lewisian modal realism. What is wrong with each of these arguments is that they suppose that what is to be reduced must not be (...) dissimilar to what it is to be reduced to. This supposition is shown to be misguided and that the success or otherwise of a reduction turns on quite different considerations. (shrink)

Metaphilosophy, Volume 53, Issue 2-3, Page 185-198, April 2022.

The received view of computation is methodologically bifurcated: it offers different accounts of computation in the mathematical and physical cases. But little in the way of argument has been given for this approach. This article rectifies the situation by arguing that the alternative, a unified account, is untenable. Furthermore, once these issues are brought into sharper relief we can see that work remains to be done to illuminate the relationship between physical and mathematical computation.

In this paper we intend to offer a first approach to the incorporation of certain formal tools in the elucidation of some issues discussed in epistemological contexts. The aim is not to offer an exhaustive resolution of these problems but merely to point out the usefulness of modal semantics when applied to different fields. Here we will show how a series of skeptical arguments eventually involve a modal structure, which we will try to generalise into a useful scheme.

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)

This paper investigates the logic of reasons. Its aim is to provide an analysis of the sentences of the form ‘p is a reason for q’ that yields a coherent account of their logical properties. The idea that we will develop is that ‘p is a reason for q’ is acceptable just in case a suitably defined relation of incompatibility obtains between p and ¬q. As we will suggest, a theory of reasons based on this idea can solve three challenging (...) puzzles that concern, respectively, contraposing reasons, conflicting reasons, and supererogatory reasons, and opens a new perspective on some classical issues concerning non-deductive inferences. (shrink)

This paper outlines an account of concessive conditionals that rests on two main ideas. One is that the logical form of a sentence as used in a given context is determined by the content expressed by the sentence in that context. The other is that a coherent distinction can be drawn between a reading of ‘if’ according to which a conditional is true when its consequent holds on the supposition that its antecedent holds, and a stronger reading according to which (...) a conditional is true when its antecedent supports its consequent. As we will suggest, the logical form of concessive conditionals can be elucidated by relying on this distinction. (shrink)

Regularity theories of causation assert that causal or nomic notions are to be reduced into “mere” frequencies of particular, non-nomic, co-located qualities and matters of fact. In this essay, I present a critical exploration of Armstrong and Strawson’s explanatory arguments against regularity theories. The shortcomings of these older arguments for nomic realism are identified and a revamped version which is immune to such problems is outlined and defended. I argue that anti-realism suffers substantial disconfirmation due to its comparative inability to (...) unify empirical regularities in the absence of any probabilistic counterweights. I also show that realist theories are much more probable than their anti-realist competitors both individually and in aggregate. This is shown to be the case with even the most humble of observational data. This revamped argument is Bayesian in character; it is immune to the criticisms of Beebee, Everitt, Loewer, and van Fraassen ; and it is empiricist friendly to boot. (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)

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)

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)

The interpretation of the utilitarianism of John Stuart Mill has been a matter of controversy at least since J.O. Urmson published his well known paper over twenty-five years ago. Urmson attributed to Mill a form of “rule-utilitarianism”, contrasting his reading with the “received view” on which Mill held a form of “act-utilitarianism”. Since then, the interpretive problem has typically been seen to be that of determining which of these two types of theory should be attributed to Mill, or, at least (...) of determining whether Mill was a “rule-utilitarian”. However, as the distinction is typically made, it is possible to have a utilitarian theory which is neither an act- nor a rule-utilitarian theory. 1n particular, as I will attemptto show, Mill's theory is of neither type but is an example of a sophisticated type of utilitarianism which we might call “iterated-utilitarianism”, for reasons which will become clear in what follows. (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)

Reliabilism about epistemic justification - the thesis that what makes a belief epistemically justified is that it was produced by a reliable process of belief-formation - must face two problems. First, what has been called "the new evil demon problem", which arises from the idea that the beliefs of victims of an evil demon are as justified as our own beliefs, although they are not - the objector claims - reliably produced. And second, the problem of diagnosing why skepticism is (...) so appealing despite being false. I present a special version of reliabilism, "indexical reliabilism", based on two-dimensional semantics, and show how it can solve both problems. (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)

Perszyk has argued that Molinists cannot consistently endorse the consequence argument because of a structurally similar argument for the incompatibility of true Molinist counterfactuals of freedom and the ability to do otherwise. Wierenga has argued that on the proper understanding of CCFs, there is a relevant difference between the consequence argument and the anti-Molinist argument. I argue that, even on Wierenga’s understanding of CCFs, there is in fact no relevant difference between the two arguments. Moreover, I strengthen Perszyk’s challenge by (...) highlighting further relevant similarities between CCFs and facts about the laws. (shrink)

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.