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 and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. 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 interpretational and objective modalities and the 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. I provide a counter-example to epistemic closure for reductio proofs. 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)

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 and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. 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 interpretational and objective modalities and the 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. I provide a counter-example to epistemic closure for reductio proofs. 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)

In this paper, we give a precise characterization of the principle of recombination and argue that it need not be subject to any restrictions.

John Hawthorne in a recent paper takes issue with Lewisian accounts of counterfactuals, when relevant laws of nature are chancy. I respond to his arguments on behalf of the Lewisian, and conclude that while some can be rebutted, the case against the original Lewisian account is strong. I develop a neo-Lewisian account of what makes for closeness of worlds. I argue that my revised version avoids Hawthorne's challenges. I argue that this is closer to the spirit of Lewis's first (non-chancy) (...) proposal than is Lewis's own suggested modification. (shrink)

Must mental properties figure in psychological causal laws if they are causally efficacious? And do those psychological causal laws give the essence of mental properties? Contrary to the prevailing consensus, I argue that, on the usual conception of laws that is in play in these debates, there are in fact lawless causally efficacious properties both in and out of the philosophy of mind. I argue that this makes a great difference to the philosophical relevance of empirical psychology. 1 begin by (...) making the case that revolutions and hurricanes are lawless phenomena, before arguing for a similar thesis about creativity, love, courage, dreams, daydreams, and musings. Furthermore, the empirical research on these phenomena suggests that the philosophical issues may be independent of what empirical psychology can tell us. (shrink)

This article discusses the role of simplicity and the notion of a best balance of simplicity and strength within the best systems account (BSA) of laws of nature. The article explores whether there is anything in scientific practice that corresponds to the notion of simplicity or to the trade-off between simplicity and strength to which the BSA appeals. Various theoretical rationales for simplicity preferences and their bearing on the identification of laws are also explored. It is concluded that there are (...) a number of issues about the role of simplicity within the BSA and its relation to strength that need to be addressed before the BSA can be regarded as an adequate account of laws. 1 Introduction2 The Best Systems Account3 The Trade-Off between Simplicity and Strength: Preliminary Considerations4 Alternative Conceptions of the Relationship between Simplicity and Strength5 Two Roles for Simplicity6 Simplicity in the Best Systems Account: Curve-Fitting7 Simplicity as a Corrective for Overfitting8 Descriptive Simplicity in the Best Systems Account?9 Simplicity as Due to Human Intellectual Limitations10 Summary11 Concluding Remarks. (shrink)

John Hawthorne in a recent paper takes issue with Lewisian accounts of counterfactuals, when relevant laws of nature are chancy. I respond to his arguments on behalf of the Lewisian, and conclude that while some can be rebutted, the case against the original Lewisian account is strong.I develop a neo-Lewisian account of what makes for closeness of worlds. I argue that my revised version avoids Hawthorne’s challenges. I argue that this is closer to the spirit of Lewis’s first (non-chancy) proposal (...) than is Lewis’s own suggested modification. (shrink)

What exactly is reasoning? Like many other philosophers, I shall endorse a broadly causal conception of reasoning. Reasoning is a causal process, in which one mental event (say, one’s accepting the conclusion of a certain argument) is caused by an antecedent mental event (say, one’s considering the premises of the argument). Just like causal accounts of action and causal accounts of perception, causal accounts of reasoning have to confront a version of what has come to be known as the problem (...) of deviant causal chains. In this paper, I shall propose an account of the nature of reasoning, incorporating a solution to the specific version of the deviant causal chains problem that arises for accounts of reasoning. One striking feature of my solution is that it requires that certain normative facts are causally efficacious. It might be thought that this feature will make my account incompatible with any plausibly naturalistic approach to understanding the mind. I shall argue that this is not so: my account of the nature of reasoning is quite compatible with plausible versions of naturalism. (shrink)

The Principal Principle (PP) says that, for any proposition A, given any admissible evidence and the proposition that the chance of A is x%, one's conditional credence in A should be x%. Humean Supervenience (HS) claims that, among possible worlds like ours, no two differ without differing in the spacetime-point-by-spacetime-point arrangement of local properties. David Lewis (1986b, 1994a) has argued that PP contradicts HS, and the validity of his argument has been endorsed by Bigelow et al. (1993), Thau (1994), Hall (...) (1994), Strevens (1995), Ismael (1996), Hoefer (1997), and Black (1998). Against this consensus, I argue that PP might not contradict HS: Lewis's argument is invalid, and every attempt – within a broad class of attempts – to amend the argument fails. (shrink)

In this article I propose a resolution to the history issue for responsible agency, given a moderate revisionist approach to responsibility. Roughly, moderate revisionism is the view that a plausible and normatively adequate theory of responsibility will require principled departures from commonsense thinking. The history issue is whether morally responsible agency – that is, whether an agent is an apt target of our responsibility-characteristic practices and attitudes – is an essentially historical notion. Some have maintained that responsible agents must have (...) particular sorts of histories, others have argued that no such history is required. Resolution of this contentious issue is connected to a wide range of concerns, including the significance and culpability of different forms of manipulation, the plausibility of important incompatibilist criticisms of compatibilism, and of course, a satisfactory account of moral responsibility. As it turns out, history matters sometimes, but less frequently than we might think. (shrink)

Ontological pluralism is the doctrine that there are different ways or modes of being. In contemporary guise, it is the doctrine that a logically perspicuous description of reality will use multiple quantifiers which cannot be thought of as ranging over a single domain. Although thought defeated for some time, recent defenses have shown a number of arguments against the view unsound. However, another worry looms: that despite looking like an attractive alternative, ontological pluralism is really no different than its counterpart, (...) ontological monism. In this paper, after explaining the worry in detail, I argue that considerations dealing with the nature of the logic ontological pluralists ought to endorse, coupled with an attractive philosophical thesis about the relationship between logic and metaphysics, show this worry to be unfounded. (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

The combinatorial theory of modality has long been dogged by the supposed problem that it entails that S5 is not the correct logic for metaphysical modality. In this paper, I suggest a modification to combinatorialism, to eliminate this tension with S5. I argue that the resulting view is more in the spirit of combinatorialism than the original position.

Naturalists seek to ground what exists in a set of fundamental metaphysical principles that they call ‘nature’. But metaphysical principles can’t function as fundamental explanatory grounds, since their ability to explain anything depends on the intelligibility granted by transcendental structures. What makes metaphysical principles intelligible, what unifies them, and allows them to characterize the being of worldly objects are the transcendental structures through which worldly objects are manifest. This means that the search for fundamental explanatory grounds must go deeper than (...) the postulation of brute metaphysical facts. But this search cannot end with transcendental structures either, since the mode of being of transcendental subjects also calls out for explanation. Conceiving of transcendental subjects through the concept of being-in-the-world ties the mode of being of subjects to the world they inhabit. What grounds the existence of worldly objects, and what grounds our existence as being-in-the-world is nature: a principle that is neither an object, nor a subject – a principle that makes possible our encounters with intelligible worldly things. (shrink)

This version of this paper has been superseded by a substantially revised version in G. Strawson, Real Materialism and Other Essays (OUP 2008) I take 'content' in a natural internalist way to refer to occurrent mental content. I introduce a 'thin' or ‘live’ notion of the subject according to which a subject of experience cannot exist unless there is an experience for it to be the subject of. I then argue, first, that in the case of a particular experience E, (...) its content C, and its (thin) subject S, [C ↔ E ↔ S]; and, second, that the metaphysical fact that underlies this (strong modal) equivalence is in fact identity: [E = S = C]. I suggest that the effort of thought required to grasp this is deeply revealing of the nature of reality. On the way I raise a doubt about the viability of the traditional object/property distinction. -/- . (shrink)

What is the connection between being in a conscious mental state and believing that you yourself are currently in that state? On the one hand, it is natural to think that this connection is, or involves, a necessary connection of some sort. On the other hand, it is hard to know what the nature of this necessary connection is. For there are plausible arguments according to which this connection is not metaphysically necessary, not rationally necessary, and not merely naturally necessary. (...) If these arguments are correct, and if these options are exhaustive, while there is a necessary connection between a conscious state and the belief that you are in it, there is apparently no necessary connection it could be! This paper sets out this problem—the necessary connection problem, I will call it—and defends and explores a novel proposal about how to solve it. (shrink)

Ontological pluralism is the view that there are ways of being. Ontological pluralism is enjoying a revival in contemporary metaphysics. We want to say that there are numbers, fictional characters, impossible things, and holes. But, we don’t think these things all exist in the same sense as cars and human beings. If they exist or have being at all, then they have different ways of being. Fictional characters exist as objects of make‐believe and holes exist as absences in objects. But, (...) human beings and cars exist in a much more robust sense. What are ways of being? Why should be believe in them and what should we believe about them? This short essay provides an overview of the recent revival of ways of being and explores some of the surrounding issues. (shrink)

Debates on the metaphysics of science have steadily gained momentum over the last decade or so. This appears to illustrate a case of philosophers’ realisation that metaphysics—and theoretical philosophy overall—largely depends upon the sciences and has a good deal to learn from them. Recent literature on this, in fact, has reached an unforeseen high level of refinement in the arguments and a very much desirable precision in the consequences that we can derive from examining the interplay currently undergoing between science (...) and metaphysics. The editors of the volume under review have certainly done a great work by compiling some fruitful and novel contributions to our understanding of issues such as the aim and scope of the metaphysics of science, laws of nature, causation, and natural kinds, which are amongst the most heatedly discussed topics in the arena.The structure of the volume is as follows: “What is the metaphysics of science?” ; “Measurements, la .. (shrink)

According to the Rationality Constraint, our concept of belief imposes limits on how much irrationality is compatible with having beliefs at all. We argue that empirical evidence of human irrationality from the psychology of reasoning and the psychopathology of delusion undermines only the most demanding versions of the Rationality Constraint, which require perfect rationality as a condition for having beliefs. The empirical evidence poses no threat to more relaxed versions of the Rationality Constraint, which only require only minimal rationality. Nevertheless, (...) we raise problems for all versions of the Rationality Constraint by appealing to more extreme forms of irrationality that are continuous with actual cases of human irrationality. In particular, we argue that there are conceivable cases of “mad belief” in which populations of Lewisian madmen have beliefs that are not even minimally rational. This undermines Lewis’s claim that our ordinary concept of belief is a theoretical concept that is implicitly defined by its role in folk psychology. We argue that introspection gives us a phenomenal concept of belief that cannot be analyzed by applying Lewis’s semantics for theoretical terms. (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

The distinction between qualitative and non-qualitative properties should be familiar from discussions of the principle of the identity of indiscernibles: two otherwise exactly similar individuals, Castor and Pollux, might share all their qualitative properties yet differ with respect to their non-qualitative properties—for while Castor has the property being identical to Castor, Pollux does not. But while this distinction is familiar, there has not been much critical attention devoted to spelling out its precise nature. I argue that the class of non-qualitative (...) properties is broader than it is often taken to be. When properly construed, it will not only include properties such as being identical to Castor, which somehow make reference to particular individuals, it will also include more general properties such as identity, composition, set membership, as well as various peculiarly ontological properties. Given that some of these more general properties help to explain objective similarity, we have reason to believe that there are fundamental non-qualitative properties. (shrink)

NeoFregeanism is an intriguing but elusive philosophy of mathematical existence. At crucial points, it goes cryptic and metaphorical. I want to put forward an interpretation of neoFregeanism—perhaps not one that actual neoFregeans will embrace—that makes sense of much of what they say. NeoFregeans should embrace quantifier variance.

One often hears a complaint about “bare particulars”. This complaint has bugged me for years. I know it bugs others too, but no one seems to have vented in print, so that is what I propose to do. (I hope also to say a few constructive things along the way.) The complaint is aimed at the substratum theory, which says that particulars are, in a certain sense, separate from their universals. If universals and particulars are separate, connected to each other (...) only by a relation of instantiation, then, it is said, the nature of these particulars becomes mysterious. In themselves, they do not have any properties at all. They are nothing but a pincushion into which universals may be poked. They are Locke’s “I know not what” (1689, II, xxiii, §2); they are Plato’s receptacles (Timaeus 48c–53c); they are “bare particulars”.1 Against substratum theory there is the bundle theory, according to which particulars are just bundles of universals. The substratum and bundle theories agree on much. They agree that both universals and particulars exist. And they agree that a particular in some sense has universals. (I use phrases like ‘particular P has universal U ’ and ‘particular P ’s universals’ neutrally as between the substratum and bundle theories.) But the bundle theory says that a particular is exhaustively composed of (i.e., is a mereological fusion of) its universals. The substratum theory, on the other hand, denies this. Take a particular, and mereologically subtract away its universals. Is anything left? According to the bundle theory, no. But according to the substratum theory, something is indeed left. Call this remaining something a thin particular. The thin particular does not contain the universals as parts; it instantiates them. (shrink)

I provide a new account of what it is for the laws of nature to govern the evolution of events. I locate the source of governance in the content of law propositions. As such, I do not appeal to primitive notions of ground, essence, or production to characterize governance. After introducing the account, I use it to outline previously unrecognized varieties of governance. I also specify that laws must govern to have two theoretical virtues: explanatory power as well as a (...) theoretical virtue I call expansiveness. A theory is expansive, roughly, when it can do more with less. (shrink)

Humeans and anti-Humeans agree that laws of nature should explain scientifically particular matters of fact. One objection to Humean accounts of laws contends that Humean laws cannot explain particular matters of fact because their explanations are harmfully circular. This article distinguishes between metaphysical and semantic characterizations of the circularity and argues for a new semantic version of the circularity objection. The new formulation suggests that Humean explanations are harmfully circular because the content of the sentences being explained is part of (...) the content of the sentences doing the explaining. I describe the nature of partial content and demonstrate how this account of partial content renders Humean explanations ineffective while sparing anti-Humean explanations from the same fate. 1Introduction2Standard Formulations of the Circularity Charge3Humean Responses4Semantic Characterizations of the Circularity Worry 4.1Hempel and Oppenheim’s semantic circularity concern4.2A new version of the semantic circularity charge4.3Partial content as a guide to circularity5Humean Responses to the Semantic Circularity Charge 5.1Smuggling in metaphysics through the back door?5.2Do anti-Humean laws fare any better?5.3The over-generalization concern6ConclusionAppendix. (shrink)

I defend the following argument in this paper. Premise 1: Laws of nature are intrinsic to the universe. Premise 2: Humeanism maintains that laws of nature are extrinsic to the universe. Conclusion: Humeanism is false. This argument is inspired by John Hawthorne’s (2004) argument in “Why Humeans are out of their Minds”. My argument differs from his; Hawthorne focuses on Humean views of causation and how they interact with judgments about consciousness. He thinks Humeans are forced to treat certain mental (...) properties (insofar as they involve causal features) as extrinsic to conscious minds. I do not discuss causation or consciousness here. I focus on Humean accounts of laws. I argue that Humean laws are extrinsic to the entire universe. As such, Humeans are not just out of their minds; they are out of this world. I aim to show that premises 1 and 2 are well-supported and that denying either of them comes at a cost. Nevertheless, Humeans may prefer to reject 1 or 2 rather than give up Humeanism. Even if the Humean takes one of these routes, the argument above has philosophical import: it shows that Humeanism involves surprising commitments. (shrink)

I discuss Bennett's characterization of the "more fundamental than" relation.

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

Truthmakers are supposed to explain the truth of propositions, but it is unclear what kind of explanation truthmakers can provide. In this paper, I argue that ‘truthmaker explanations’ conflate two different explanatory projects. The first project is essentially concerned with truth, while the second project is concerned with reductive explanation. It is the latter project, I maintain, which is really central to truthmaking theory. On this basis, a general account of truthmaking can be formulated, which, when combined with a specific (...) theory of reduction (the ‘conceptual entailment approach’), yields a new analysis of truthmaking. This analysis is intuitively appealing and avoids the problem of necessary truths, which poses a serious obstacle for standard accounts. (shrink)

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

Truthmaker theorists hold that propositions about higher-level entities (e.g. the proposition that there is a heap of sand) are often made true by lower-level entities (e.g. by facts about the configuration of fundamental particles). This generates a problem: what should we say about these higher-level entities? On the one hand, they must exist (since there are true propositions about them), on the other hand, it seems that they are completely superfluous and should be banished for reasons of ontological parsimony. Some (...) truthmaker theorists—most prominently David Armstrong—have tried to solve this puzzle by arguing that these entities are ‘an ontological free lunch’, i.e. real existents that are still ‘no addition of being’. This answer is prima facie attractive, but I argue in this paper that the standard approaches to truthmaking—modal theories and grounding theories—are unable to vindicate the doctrine of the ontological free lunch, and thus fail to solve the problem of higher-level entities. Fortunately, there is a non-standard account of truthmaking available, the reductive explanation account, which succeeds where the standard approaches fail. (shrink)

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

David Lewis's position, often called analytic functionalism, was inspired by Ryle's analytic behaviorism, which took psychological predicates to express complex sets of behavioral dispositions. In this chapter, the author reviews some tenets of Lewis's philosophy of mind and begins with some comments on the methodology Lewis employed in his analysis of psychological terms, which has become standard in functionalist accounts across philosophy. Then, he discusses the difference between what are often called “realizer functionalism” and “role functionalism,” and argues that Lewis (...) made the wrong choice. In Lewis's argument for the identity theory, the identity of mental states with biological states follows logically from folk‐psychological definitions and broadly physical facts. A central part of folk psychology concerns the interaction of beliefs, desires, and choices. The chapter presents Lewis's often misunderstood account of intentionality. It also presents few pessimistic remarks on the prospect of analyzing phenomenal truths in terms of functional role. (shrink)

Conditionalization is a norm that governs the rational reallocation of credence. I distinguish between factive and non-factive formulations of Conditionalization. Factive formulations assume that the conditioning proposition is true. Non-factive formulations allow that the conditioning proposition may be false. I argue that non-factive formulations provide a better foundation for philosophical and scientific applications of Bayesian decision theory. I furthermore argue that previous formulations of Conditionalization, factive and non-factive alike, have almost universally ignored, downplayed, or mishandled a crucial causal aspect of (...) Conditionalization. To formulate Conditionalization adequately, one must explicitly address the causal structure of the transition from old credences to new credences. I offer a formulation of Conditionalization that takes these considerations into account, and I compare my preferred formulation with some prominent formulations found in the literature. (shrink)

My responses to seven critical reviews of my book *Mental Files* published in a special issue of the journal Disputatio, edited by F. Salis. The reviewers are: Keith Hall, David Papineau, Annalisa Coliva and Delia Belleri, Peter Pagin, Thea Goodsell, Krista Lawlor and Manuel Garcia-Carpintero.

This essay focuses on a recently prominent notion of ground which is distinctive for how it links metaphysics to explanation. Ground is supposed to serve both as the common factor in diverse in virtue of questions as well as the structuring relation in the project of explaining how some phenomena are “built” from more fundamental phenomena. My aim is to provide an opinionated synopsis of this notion of ground without engaging with others. Ground, so understood, generally resists illumination by appeal (...) to more familiar models of explanation. Nevertheless, its distinctive explanatory and metaphysical aspects guide us on characterizing its explanatory logic and its metaphysical features. Some issues concerning the meta-question of what grounds ground are explored, as well as some recent skeptical challenges to ground. (shrink)

A popular approach in philosophy, the so-called Canberra Plan, is critically scrutinized. Two aspects of this research program, the formal and the informal program, are distinguished. It is argued that the formal program runs up against certain serious technical problems. It is also argued that the informal program involves an unclear leap at its core. Consequently, it is argued that the whole program is much more problematic than its advocates recognize.

Some philosophers who believe that there are necessary connections in nature take it that an advantage of their commitment is that the problem of induction is solved. This paper aims to offer a comprehensive refutation of the arguments necessitarians use to show that if natural necessities are posited, then there is no problem of induction. In section 2, two models of natural necessity are presented. The “Contingent Natural Necessity” section examines David Armstrong’s explanationist ‘solution’ to the problem of induction. The (...) “Natural Necessity and IBE” section looks in detail into the claim that natural necessity is the best explanation of observed regularity. The “Dispositional Essentialism to the Rescue?” section moves on to Brian Ellis’s dispositional essentialist ‘solution’. The “Sankey’s Helping Hand” section examines Howard Sankey’s attempt to blend dispositional essentialism and explanationism. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

Multiple realizability has recently attractedrenewed attention, for example Bickle, 1998;Bechtel and Mundale, 1999; Bechtel and McCauley,1999; Heil, 1999; and Sober, 1999. Many of thesewriters revisit the topic of multiplerealizability in order to show that someversion of a mind-brain identity theory isviable. Although there is much of value inthese recent explorations, they do not addressthe underlying intuitions that have vexedphilosophers of mind since Hilary Putnamintroduced the concern (1967). I argue that thestandard way of construing multiplerealizability is a much stronger claim thanthat (...) of Putnam's intuition alone. I distinguishfour interpretations of the multiplerealizability intuition. Some commonformulations of multiple realizability arealmost certainly true, while others are not atall plausible. I argue that the plausible formsof multiple realizability do not impugn theprospects for a mind-brain Identity Theory. (shrink)

My topic is the confluence of two recently active philosophical research programs. One research program concerns the metaphysics of realization. The other research program concerns scientific explanation in terms of mechanisms. In this paper I introduce a distinction between descriptive and explanatory approaches to realization. I then use this distinction to argue that a well-known account of realization, due to Carl Gillett, is incompatible with a well-known account of mechanistic explanation, due to Peter Machamer, Lindley Darden, and Carl Craver (MDC, (...) Philos Sci 57: 1-25, 2000). This is surprising, not least of which because Gillett has cited MDC's work as evidence that his account of realization is the right way to think about realization in the sciences. (shrink)

Fifty years ago J. J. C. Smart published his pioneering paper, “Sensations and Brain Processes.” It is appropriate to mark the golden anniversary of Smart’s publication by considering how well his article has stood up, and how well the identity theory itself has fared. In this paper I first revisit Smart’s text, reflecting on how it has weathered the years. Then I consider the status of the identity theory in current philosophical thinking, taking into account the objections and replies that (...) Smart discussed as well as some that he did not anticipate. Finally, I offer a brief manifesto for the identity theory, providing a small list of the claims that I believe contemporary identity theorist should accept. As it turns out, these are more or less the ones that Smart defended fifty years ago. (shrink)

We show that truth conditions for counterfactuals need not always be given in terms of a vague notion of similarity. To this end, we single out the important class of historical counterfactuals and give formally rigorous truth conditions for these counterfactuals, employing a partial ordering relation called "comparative closeness" that is defined in the framework of branching space-times. Among other applications, we provide a detailed analysis of counterfactuals uttered in the context of lost bets. In an appendix we compare our (...) theory with the branching space-times based reading of counterfactuals recently proposed by Belnap. (shrink)

Suppose we take a picture containing a full image of a duck and slice it right through, leaving some of the duck image on one slice and some of it on the other. How many duck images will we be left with? Received theories of pictorial representation presuppose that a surface cannot come to contain new images just by changing its physical relations with other surfaces, such as physical continuity. But as it turns out, this is in tension with received (...) theories’ approach to incomplete images. I address three views with respect to the circumstances in which incomplete images of X represent X. 1. A liberal, non-restrictive view: ‘Iff they meet relevant requirements posed by received theory of pictorial representation.’ 2. Moderate restrictions of this view and 3. A fully restrictive view. After investigating challenges for the liberal view, I end up supporting it. The main challenges rest on the fact that only the fully restrictive view can plausibly accommodate some principles that seem inherent to our theory of representation. For instance: only this view accommodates received theories’ presupposition that the representational properties of a surface depend on its configurational properties such that new images may appear on a surface only if its configurational properties have changed. Since the liberal view is overall more plausible than the restrictive view, I reject this presupposition and bear the consequences. (shrink)