The Forrest-Armstrong argument, as reconfigured by David Lewis, is a reductio against an unrestricted principle of recombination. There is a gap in the argument which Lewis thought could be bridged by an appeal to recombination. After presenting the argument, I show that no plausible principle of recombination can bridge the gap. But other plausible principles of plenitude can bridge the gap, both principles of plenitude for world contents and principles of plenitude for world structures. I conclude that (...) the Forrest-Armstrong argument, when fortified in one of these ways, demands that unrestricted recombination be rejected. The appropriate restriction comes from a consideration of what world structures are possible. I argue that, although there are too many worlds to form a set, for any world, the individuals at that world do form a set. To defend it I invoke a principle of Limitation of Size together with an iterative conception of structure. (shrink)

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (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)

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 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 epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 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 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 Ω-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 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 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 13 examines modal responses to the alethic paradoxes. Chapter 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 paper explores the physical and metaphysical implications of time travel, focusing on the possibility of changing the past, through a comparative analysis of David Lewis' modal realism and Everett's many-worlds interpretation of quantum mechanics. The existence of closed timelike curves (CTCs) in certain solutions to Einstein's field equations provides a theoretical basis for the possibility of backwards time travel, but this leads to a range of paradoxes, most notably the grandfather paradox. David Lewis argues that (...) time travel must maintain consistency and that the past cannot be changed, even if time travel were possible. His view is supported by his modal realism, which posits the existence of a plurality of possible worlds. In contrast, Everett's many-worlds interpretation, which holds that quantum mechanics describes a multiverse of branching realities, might seem to allow for the possibility of multiple, inconsistent histories. By examining these two ontological frameworks, this paper aims to shed light on the paradoxes of time travel and to explore whether the many-worlds interpretation provides a more satisfactory resolution to these paradoxes than Lewis' modal realism. It is argued that while Lewis' view provides a coherent model for maintaining consistency in time travel, Everett's interpretation may offer a more physically grounded and philosophically compelling account of the metaphysics of time travel. The paper concludes by suggesting that the many-worlds interpretation, by locating the branching of timelines within the structure of quantum mechanics itself, may provide a more promising framework for understanding the possibility and implications of time travel than Lewis' modal realism. However, significant questions remain about the nature of personal identity and free will in a branching multiverse. This comparative analysis aims to contribute to the ongoing debate about the metaphysical possibility of time travel and to highlight the value of engaging with interpretations of quantum mechanics in this context. Keywords: time travel, closed timelike curves, modal realism, many-worlds interpretation, grandfather paradox, metaphysics of time. (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)

I insist that I was able to raise my hand, and I acknowledge that a law would have been broken had I done so, but I deny that I am therefore able to break a law. To uphold my instance of soft determinism, I need not claim any incredible powers. To uphold the compatibilism that I actually believe, I need not claim that such powers are even possible. My incompatibilist opponent is a creature of fiction, but he has his prototypes (...) in real life. He is modeled partly after Peter van Inwagen and partly on myself when I first worried about van Inwagen's argument against compatibilism. (shrink)

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

The theory of possible worlds has permeated analytic philosophy in recent decades, and its best versions have a consequence which has gone largely unnoticed: in addition to the panoply of possible worlds, there are a great many impossible worlds. A uniform ontological method alone should bring the friends of possible worlds to adopt impossible worlds, I argue, but the theory's applications also provide strong incentives. In particular, the theory facilitates an account of counterfactuals which avoids several of the implausible results (...) of David Lewis's account, and it paves the way for the analogues of Kripkean semantics for epistemic and relevant logics. On the theories of possible worlds as abstract objects, worlds bear a strong resemblance to propositions. I contend that if there are distinct necessarily false propositions, then there are likewise distinct impossible worlds. However, one who regards possible worlds as concrete objects must not recognize impossible worlds, in part because concrete worlds cannot misrepresent certain features of reality, as some impossible worlds must. Accordingly, I defend and develop a theory of impossible worlds as maximal impossible states of affairs. Impossible worlds perform admirably in the analysis of counterfactuals with impossible antecedents. I argue that, contrary to standard accounts, not all counterpossibles are trivially true, and I develop a Lewis-style semantics which allows this result. The point is crucial, since many views presuppose that some counterpossibles are substantive philosophical truths. Finally, I show that impossible worlds hold great promise for doxastic and relevant logics. Epistemic logic needs a domain of propositions which is not closed under strict implication to avoid the problem of logical omniscience, and relevant logic needs such a domain to avoid the famous paradoxes of implication. In sum, impossible world theory promises natural, elegant solutions to philosophical problems in numerous areas where possible worlds alone flounder. These solutions come to most possible world theorists at no cost, since the existence of impossible worlds is entailed by theses they already hold. (shrink)

David Hume fancied himself the Newton of the mind, aiming to reinvent the study of human mental life in the same way that Newton had revolutionized physics. And it was his view that the novel account of belief he proposed in his Treatise of Human Nature was one of that work’s central philosophical contributions. From the earliest responses to the Treatise forward, however, there was deep pessimism about the prospects for his account. It is easy to understand the source (...) of this pessimism: The constraints he employed in theorizing stem from his Newtonian ambitions. Constraints such as his copy principle and his decision to rely only on variations in “force and vivacity” for differentiating types of mental states severely limit his available explanatory resources. However, it is one thing to regard an account as untenable, and quite another to understand where it fails. In this paper, I focus on one long-standing objection to Hume’s account — the objection that Hume cannot offer an account of negative belief or denial — as presented by Hume’s contemporary Thomas Reid, as well as more recently by Barry Stroud, and defend Hume from this objection. I argue that Hume both should and does endorse an account of negative belief based in relations of contrariety between contents, rather than between mental activities, and survey the different options available to Hume for spelling out an account of contrary contents. (shrink)

This volume explores the versatility of the concept of pneuma in philosophical and medical theories in the wake of Aristotle’s physics. It offers fourteen separate studies of how the concept of pneuma was used in a range of physical, physiological, psychological, cosmological and ethical inquiries. The focus is on individual thinkers or traditions and the specific questions they sought to address, including early Peripatetic sources, the Stoics, the major Hellenistic medical traditions, Galen, as well as Proclus in Late Antiquity and (...) John Zacharias Aktouarios in the early 14th century. Building on new scholarly approaches and on recent advancements in our understanding of Graeco-Roman philosophy and medicine, the volume prompts a profound re-evaluation of this fluid and adaptable, but crucially important, substance, in antiquity and beyond. (shrink)

In the Āgamadambara (“Much Ado about Religion”), Jayanta Bhatta appears to be making a case for religious toleration and pluralism. This paper considers whether Jayanta has a concept like toleration in mind at all, or at least something that we today might understand to be toleration. If he is doing neither, our understanding of the nature of tolerance and its conceptual limits may be furthered by determining exactly what he is talking about and why it looks so much like tolerance.

In his metaphysical summa of 1986, The Plurality of Worlds, David Lewis famously defends a doctrine he calls ‘modal realism’, the idea that to account for the fact that some things are possible and some things are necessary we must postulate an infinity possible worlds, concrete entities like our own universe, but cut off from us in space and time. Possible worlds are required to account for the facts of modality without assuming that modality is primitive – that (...) there are irreducibly modal facts. We argue that on one reading, Lewis’s theory licenses us to assume maverick possible worlds which spread through logical space gobbling up all the rest. Because they exclude alternatives, these worlds result in contradictions, since different spread worlds are incompatible with one another. Plainly Lewis’s theory must be amended to exclude these excluders. But, we maintain, this cannot be done without bringing in modal primitives. And once we admit modal primitives, bang goes the rationale for Lewis’s modal realism. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these (...) paradoxes, including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

Reid argues that Hume’s claim that justice is an artificial virtue is inconsistent with the fact that gratitude is a natural sentiment. This chapter shows that Reid’s argument succeeds only given a philosophy of mind and action that Hume rejects. Among other things, Reid assumes that one can conceive of one of a pair of contradictories only if one can conceive of the other—a claim that Hume denies. So, in the case of justice, the disagreement between Hume and Reid is, (...) at bottom, a disagreement over their respective conceptions of how the human mind works at its most fundamental level. (shrink)

Block argues for a distinction between phenomenal consciousness [PC] and access consciousness [AC] on the basis of his ‘overflow’ argument. Some have thought that this distinction might limit the possibilities of studying consciousness, as it suggests the existence of conscious mental states whose contents can’t be reported. After distinguishing theoretically between PC and AC, I will summarise Block’s overflow argument for their factual distinction. Highlighting that Block makes two related but separate modal claims about the PC/AC distinction, I will (...) show that the arguments he offers at most support the weak claim that a subject S can have a mental state which is P-conscious but which isn’t A-conscious. But the assumptions on which his argument for the weak claim rest prevent any supporters of his argument from making the strong claim that an individual can have a mental state which is P-conscious but which can’t be A-conscious. And if the overflow argument can’t motivate this stronger claim then there’s no reason to think that any mental state which is P-conscious can’t be made A-conscious given the right circumstances. In which case, even if Block’s argument succeeds, there’s no reason to think that there are inherently inaccessible and thus unreportable conscious mental states. So fears about the limitations of the possibility of the study of consciousness due to the existence of such mental states on the basis of the overflow argument can be allayed. (shrink)

Philosophers have routinely taken a pessimistic view of the account of cognition offered by David Hume in his Treatise of Human Nature, claiming that Hume's limited explanatory resources cannot capture the rich complexity of our thought, judgment, and reasoning. I provide a qualified defense of Hume's attempt to analyze a cognitive activity in terms of objectual conception, ie conceiving or imagining an object. I defend Hume from objections offered by his contemporary Thomas Reid (and echoed by various recent Hume (...) scholars), presenting an interpretation of the account that resolves these worries. (shrink)

David Lewis presented Convention as an alternative to the conventionalism characteristic of early-twentieth-century analytic philosophy. Rudolf Carnap is well known for suggesting the arbitrariness of any particular linguistic convention for engaging in scientific inquiry. Analytic truths are self-consistent, and are not checked against empirical facts to ascertain their veracity. In keeping with the logical positivists before him, Lewis concludes that linguistic communication is conventional. However, despite his firm allegiance to conventions underlying not just languages but also social customs, he (...) pioneered the view that convening need not require any active agreement to participate. Lewis proposed that conventions arise from “an exchange of manifestations of a propensity to conform to a regularity” (87–8). In reasserting the conventional quality of languages and other practices resting on mutual expectations, Lewis comfortably works within the analytic tradition. Yet he also deviates from his predecessors because his conventionalist approach is comprehensively grounded in instrumentalism. Lewis adopts an extension of David Hume's desire-belief psychology articulated in rational choice theory. He develops his philosophy of convention relying on the highly formal mid-twentieth-century expected utility and game theories. This attempt to account for language and social customs wholly in terms of instrumental rationality has the implication of reducing normativity to preference satisfaction. Lewis’ approach continues in the trend of undermining normative political philosophy because institutions and practices arise spontaneously, without the deliberate involvement of agents. Perhaps Lewis’ Convention is best seen as a resurgent form of analytic philosophy, characterized by “a style of argument, hostility to [ambitious] metaphysics, focus on language, and the dominance of logic and formalization” that solves the dilemma of “combining the analytic inheritance…with normative concerns” by reducing normativity to individuals’ preference fulfillment consistent with the axioms of rational choice. (shrink)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (shrink)

This chapter offers a guide to reading Plato’s dialogues, including an overview of his corpus. We recommend first considering each dialogue as its own unified work, before considering how it relates to the others. In general, the dialogues explore ideas and arguments, rather than presenting parts of a comprehensive philosophical system that settles on final answers. The arc of a dialogue frequently depends on who the individual interlocutors are. We argue that the traditional division of the corpus (into Socratic, middle, (...) late stages) is useful, regardless of whether it is a chronological division. Our overview of the corpus gives special attention to the Republic, since it interweaves so many of his key ideas, even if nearly all of them receive longer treatments in other dialogues. Although Plato recognized the limits inherent in written (as opposed to spoken) philosophy, he devoted his life to producing these works, which are clearly meant to help us seek the deepest truths. Little can be learned from reports of Plato’s oral teaching or the letters attributed to him. Understanding the dialogues on their own terms is what offers the greatest reward. (shrink)

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted (...) as being centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

According to First-Person Realism, one's own first-person perspective on the world is metaphysically privileged in some way. After clarifying First-Person Realism by reference to parallel debates in the metaphysics of modality and time, I survey eight different arguments in favor of First-Person Realism.

One of the most difficult issues to sort out morally is our obligation to future generations. Most individuals feel that they do indeed have some kind of obligation, but face difficulty in explaining the exact nature of the obligation. For one, it seems impossible to know the wants and desires of future generations, and furthermore the existence of the persons we are obligated to is entirely dependent upon the choices that we in fact make. In essence, we could shape future (...) generations so that they desire exactly what we provide for them. It seems that no matter what principle we adopt that is based upon these potential individuals we are led to absurd conclusions. Gregory Kavka calls this moral grappling the Paradox of Future Individuals. I believe that the ethical concerns surrounding genetic engineering should be seen as a specific instantiation of this Paradox and that by examining both we may be able to come up with some sort of working solution. Derek Parfit pleads ignorance as to a solution to this Paradox after an extensive exegesis on the issue, but as we may not be that far from shopping a genetic supermarket to determine the characteristics of our children I don’t believe we can settle for that conclusion. We will begin by examining the Paradox and suggested solutions to the Paradox. Next I will address how the Paradox relates directly to genetic engineering and discuss how rights-based arguments aimed against genetic engineering fail because of the nature of identity. Then I will consider how David Heyd’s Genero-centric principle applies to genetic engineering specifically and how a modified version of that principle may guide us out of the Paradox of Future Individuals in general. This solution may not be acceptable to utilitarian sensibilities, but it is because the numbers don’t add up that we may need to appeal to a different principle entirely. (shrink)

David Lewis' objection to a generic theory of modality which he calls ‘magical ersatzism’ is that its linchpin, a relation he calls ‘selection’, must be either an internal or an external relation, and that this is unintelligible either way. But the problem he points out with classifying selection as internal is really just an instance of the general problem of how we manage to grasp underdetermined predicates, is not peculiar to magical ersatzism, and is amenable to some familiar solutions. (...) He provides no compelling grounds for thinking that classifying selection as external is unintelligible, and his argument has a false presupposition. I conclude that magical ersatzism is still a viable option in the metaphysics of modality. (shrink)

Do motivational limitations due to human nature constrain the demands of justice? Among those who say no, David Estlund offers perhaps the most compelling argument. Taking Estlund’s analysis of “ability” as a starting point, I show that motivational deficiencies can constrain the demands of justice under at least one common circumstance — that the motivationally-deficient agent makes a good faith effort to overcome her deficiency. In fact, my argument implies something stronger; namely, that the demands of justice are constrained (...) by what people are sufficiently likely to be motivated to do. Thus, contrary to the prevailing wisdom, it is the business of ideal theory — not just nonideal theory — to work with the motivational capacities people are likely enough to have. (See also Estlund's reply in the same issue of EJPT and my rejoinder on Philpapers.). (shrink)

One of Mill’s main arguments for free speech springs from taking disagreement as an epistemically valuable resource for fallible thinkers. Contemporary conciliationist treatments of disagreement spring from the same motivation, but end up seeing the epistemic implications of disagreement quite differently. Conciliationism also encounters complexities when transposed from the 2-person toy examples featured in the literature to the public disagreements among groups that give the issue much of its urgency. Group disagreements turn out to be in some ways more powerful (...) defeaters of rational belief, even when opposing groups are comparable in size and epistemic credentials. And conciliationism also shows us why determining the rational response to these disagreements can in certain cases (e.g. politics) be a particularly difficult and nuanced matter. (shrink)

Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language ar- gument with strong ties to metaphysics and religion: E. J. Lowe’s modern variant of St. Anselm’s ontological argument for the existence of God. Our new method, which we call computational hermeneutics, has been particularly conceived for use in interactive-automated proof assistants. It aims at shedding light on the (...) meanings of words and sentences by framing their inferential role in a given argument. By employing automated theorem reasoning technology within interactive proof assistants, we are able to drastically reduce (by several orders of magnitude) the time needed to test the logical validity of an argu- ment’s formalization. As a result, a new approach to logical analysis, inspired by Donald Davidson’s account of radical interpretation, has been enabled. In computational hermeneutics, the utilization of automated reasoning tools ef- fectively boosts our capacity to expose the assumptions we indirectly commit ourselves to every time we engage in rational argumentation and it fosters the explicitation and revision of our concepts and commitments. (shrink)

Williamson’s “anti-luminosity” argument aims to establish that there are no significant luminous conditions. “Far from forming a cognitive home”, luminous conditions are mere “curiosities”. Even supposing Williamson’s argument succeeds in showing that there are no significant luminous states his conclusion has not thereby been established. When it comes to determining what is luminous, mental events and processes are among the best candidates. It is events and processes, after all, which constitute the stream of consciousness. Judgment, for instance, is plausibly self-conscious. (...) If I am judging then plausibly I must know that I am. Similarly, deliberation is plausibly self-conscious. To be deliberating about some matter I plausibly must know that I am. That one is judging and that one is deliberating are thus plausibly luminous conditions. Furthermore, I argue, Williamson’s anti-luminosity argument fails to speak against this suggestion. This reveals that Williamson’s argument is more limited in scope than has been thought—something likely missed due to a misplaced focus on mental states in the luminosity debate as well as in epistemology and the philosophy of mind more generally. For all Williamson shows, there may be luminous events and processes of a sort apt to constitute a cognitive home. I conclude by considering how the anti-luminosity argument might be reinstated in the judgment case and argue that the natural way to do so fails. (shrink)

Hegel attacks Kantian morality most often without stating an opposing moral theory, tending to subsequently take up discussion of religion or the state. Commentators have variously suggested the logical consequence of Hegel's position is "the dissolution of ethics in sociology" without "room for personal morality of any kind" or that Hegel's argument is against Kantian <i>Moralitat</i>, which allows the private individual to appeal beyond social mores to universal moral standards, with Hegel insisting that concrete values come instead from <i>Sittlichkeit</i>, the (...) social order. If thinking of morality as a purely private matter of the individual's conscience seems too abstract, the Hegelian criticisms should show that moral reflections are vacuous unless they take account of the social world in which they will be realized as concrete actions. From the Hegelian's perspective on morality as seen from the more inclusive context of <i>Sittlichkeit</i>, social action that is also moral will not need to be analyzed in terms of Kant's metaphysical dualisms between reason and inclination, intentions and consequences, or the sensible and the intelligible realms. Whereas Kant thinks moral theory leads directly to religious and metaphysical postulates, Hegel deliberately leads it in another direction. He can be understood historically as going beyond Kant's effort to secularize moral philosophy. Kant begins this process by grounding moral philosophy in reason alone, not in religion. Religious postulates may follow from moral beliefs, says Kant, but morality is not derived from religious premisses. In going from private moral conscience not to religious beliefs but to social, political, and historical considerations (which could include religion seen as a social institution), Hegel extends the process of secularizing moral philosophy." Marcuse and Knox could thus both be right, since Hegel's goal is not to replace Kant's moral philosophy with another, competing moral philosophy, but to accept it, while recognizing its limitations, as a special case of a larger theory of social action. In the Hegelian jargon, from a standpoint recognizing Sittlichkeit, Moralitdt is thus <i>aufgehoben</i>, that is, Kant's formal procedures will be both "negated" (criticized for their limitations) and "preserved" (embedded in a more inclusive philosophy). (shrink)

I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv.org) on the limits to inference (computation) that are so general they are independent of the device doing the computation, and (...) even independent of the laws of physics, so they apply across computers, physics, and human behavior. They make use of Cantor's diagonalization, the liar paradox and worldlines to provide what may be the ultimate theorem in Turing Machine Theory, and seemingly provide insights into impossibility,incompleteness, the limits of computation,and the universe as computer, in all possible universes and all beings or mechanisms, generating, among other things,a non-quantum mechanical uncertainty principle and a proof of monotheism. (shrink)

It is sometimes argued that if PDP networks can be trained to make correct judgements of grammaticality we have an existence proof that there is enough information in the stimulus to permit learning grammar by inductive means alone. This seems inconsistent superficially with Gold's theorem and at a deeper level with the fact that networks are designed on the basis of assumptions about the domain of the function to be learned. To clarify the issue I consider what we should learn (...) from Gold's theorem, then go on to inquire into what it means to say that knowledge is domain specific. I first try sharpening the intuitive notion of domain specific knowledge by reviewing the alleged difference between processing limitations due to shortage of resources vs shortages of knowledge. After rejecting different formulations of this idea, I suggest that a model is language specific if it transparently refer to entities and facts about language as opposed to entities and facts of more general mathematical domains. This is a useful but not necessary condition. I then suggest that a theory is domain specific if it belongs to a model family which is attuned in a law-like way to domain regularities. This leads to a comparison of PDP and parameter setting models of language learning. I conclude with a novel version of the poverty of stimulus argument. (shrink)

The model-theoretic argument known as Putnam´s paradox threatens our notion of truth with triviality: Almost any world can satisfy almost any theory. Formal argument and intuition are at odds. David Lewis devised a solution according to which the very stucture of the world fixes how it is to be divided into elite classes which determine the reference of any true theory. Three claims are defended: Firstly, Lewis´ proposal must be completed by an account of successful referential intentions. Secondly, (...) contrary to Catherine Elgin´s criticism of Lewis, natural properties corresponding to elite classes may play a role in sound scientific inquiry. Thirdly, despite Bas van Fraassen´s objection that the sceptic cannot consistently maintain doubts about reference, there is a promising sceptical strategy of exploiting Putnam´s results which is answered by Lewis´ account. (shrink)

Truthmaker theory promises to do some useful philosophical work: equipping us to argue against phenomenalism and Rylean behaviourism, for instance, and helping us decide what exists (Lewis 1999, 207; Armstrong 1997, 113-119). But it has proved hard to formulate a truthmaker theory that is both useful and believable. I want to suggest that a neglected approach to truthmakers – that of Ian McFetridge – can surmount some of the problems that make other theories of truthmaking unattractive. To begin with, (...) I’ll outline some of the most prominent accounts of truthmaking in the current literature. Then the second part of the paper will explain McFetridge’s theory and argue for its superiority over these accounts. (shrink)

Sterelny (2003) develops an idealised natural history of folk-psychological kinds. He argues that belief-like states are natural elaborations of simpler control systems, called detection systems, which map directly from environmental cue to response. Belief-like states exhibit robust tracking (sensitivity to multiple environmental states), and response breadth (occasioning a wider range of behaviours). The development of robust tracking and response-breadth depend partly on properties of the informational environment. In a transparent environment the functional relevance of states of the world is directly (...) detectable. Outside transparent environments, selection can favour decoupled representations. Sterelny maintains that these arguments do not generalise to desire. Unlike the external environment, the internal processes of an organism, he argues, are selected for transparency. Parts of a single organism gain nothing from deceiving one another, but gain significantly from accurate signalling of their states and needs. Key conditions favouring the development of belief-like states are therefore absent in the case of desires. Here I argue that Sterelny’s reasons for saying that his treatment of belief does not generalise to motivation (desires, or preferences) are insufficient. There are limits to the transparency that internal environments can achieve. Even if there were not, tracking the motivational salience of external states suggests possible gains for systematic tracking of outcome values in any system in which selection has driven the production of belief-like states. (shrink)

There is a recent and growing trend in philosophy that involves deferring to the claims of certain disciplines outside of philosophy, such as mathematics, the natural sciences, and linguistics. According to this trend— deferentialism , as we will call it—certain disciplines outside of philosophy make claims that have a decisive bearing on philosophical disputes, where those claims are more epistemically justified than any philosophical considerations just because those claims are made by those disciplines. Deferentialists believe that certain longstanding philosophical problems (...) can be swiftly and decisively dispatched by appeal to disciplines other than philosophy. In this paper we will argue that such an attitude of uncritical deference to any non-philosophical discipline is badly misguided. With reference to the work of John Burgess and David Lewis, we consider deference to mathematics. We show that deference to mathematics is implausible and that main arguments for it fail. With reference to the work of Michael Blome-Tillmann, we consider deference to linguistics. We show that his arguments appealing to deference to linguistics are unsuccessful. We then show that naturalism does not entail deferentialism and that naturalistic considerations even motivate some anti-deferentialist views. Finally, we set out deferentialism’s failings and present our own anti-deferentialist approach to philosophical inquiry. (shrink)

In "A Modal Argument for Narrow Content" ("Journal of Philosophy", LXXXVIII, 1991, pp 5-26), Jerry Fodor proposes a necessary condition for the distinctness of causal powers. He uses this condition to support psychological individualism. I show that Fodor's argument relies on inconsistent interpretations of his condition on distinct causal powers. Moreover, on no consistent interpretation does Fodor's condition yield the results claimed for it.

This paper presents a puzzle or antinomy about the role of properties in causation. In theories of properties, a distinction is often made between determinable properties, like red, and their determinates, like scarlet (see Armstrong 1978, volume II). Sometimes determinable properties are cited in causal explanations, as when we say that someone stopped at the traffic light because it was red. If we accept that properties can be among the relata of causation, then it can be argued that there (...) are good reasons for allowing that some of these are determinable properties. On the other hand, there are strong arguments in the metaphysics of properties to treat properties as sparse in David Lewis’s (1983) sense. But then it seems that we only need to believe in the most determinate properties: particular shades of colour, specific masses, lengths and so on. And if we also agree with Lewis that sparse properties are ‘the ones relevant to causal powers’ (1983: 13) it seems we must conclude that if properties are relevant to causation at all, then all of these are determinate properties. I call this ‘the antinomy of determinable causation’. On the one hand, we have a good argument for the claim that determinable properties can be causes, if any properties are. I call this the Thesis. But on the other hand, we have a good argument for the claim that only the most determinate properties can be causes, if any properties are. I call this the Antithesis. Clearly, we need to reject either the Thesis or the.. (shrink)

Harold Noonan has recently argued (2003) that one of Lewis’s (1983: 76– 77) arguments for the view that objects persist by perduring is flawed. Lewis’s argument can be divided into two main sections, the first of which attempts to show that it is possible that there exists a world of temporal parts or stages, and the second, which attempts to show that our world is such a world. Noonan claims that there is a flaw in each of these two stages.We (...) argue to the contrary. (shrink)

In this paper, we argue that ‘Weak Modal Rationalism’, which is the view that ideal primary positive conceivability entails primary metaphysical possibility, is self-defeating. To this end, we outline two reductio arguments against ‘Weak Modal Rationalism’. The first reductio shows that, from supposing that ‘Weak Modal Rationalism’ is true, it follows that conceivability both is and is not conclusive evidence for possibility. The second reductio shows that, from supposing that ‘Weak Modal Rationalism’ is true, it follows (...) that it is possible that ‘Weak Modal Rationalism’ is necessarily false, and hence that ‘Weak Modal Rationalism’ is false. We then argue that adopting a weaker position according to which conceivability is merely prima facie evidence for possibility provides limited protection from our criticism of conceivability arguments. (shrink)

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

This paper critically examines Richard Rorty’s “justice as larger loyalty” proposal. While Rorty is right, I argue, to reject the Kantian idea of a strict bifurcation between justice and loyalty, the former corresponding to reason the latter corresponding to sentiment, my argument is that it is nevertheless a mistake to follow Rorty in conceiving of justice as he recommends we should. This is not an endorsement of the rationalistic Kantian view Rorty rejects. Rather, I argue that there are compelling Rortyan (...) reasons for rejecting the “justice as larger loyalty” proposal, and that the argument against that proposal is paradoxically very much in the spirit of Rorty’s moral and political thought. (shrink)

In this article, we discuss epistemological limitations relating to the use of ethnoracial categories in biomedical research as devised by the Office of Management and Budget’s institutional guidelines. We argue that the obligation to use ethnoracial categories in genomics research should be abandoned. First, we outline how conceptual imprecision in the definition of ethnoracial categories can generate epistemic uncertainty in medical research and practice. Second, we focus on the use of ethnoracial categories in medical genetics, particularly genomics-based precision medicine, where (...) ethnoracial identity is understood as a proxy for medically relevant differences among individuals. Notably, extensive criticisms have been made already against the genetic interpretation of races, but, nonetheless, the concept of race remains a key element of contemporary genomics. This motivates us to explore possible reasons why such criticisms may have been ineffective in redirecting attention to other (non-race-based) ways of controlling for human variability. We contend that popular arguments against the idea that human races have a genetic basis, though convincing in many respects, are not sufficient to exclude the pragmatic use of race and ethnicity as proxies for genetic variability related to complex phenotypes. Finally, we provide two further arguments to support the idea that ethnoracial categories are unlikely to provide meaningful insights into medical genetics, which implies that even the interpretation of race as a useful tool to stratify disease risk is unwarranted. (shrink)

Could space consist entirely of extended regions, without any regions shaped like points, lines, or surfaces? Peter Forrest and Frank Arntzenius have independently raised a paradox of size for space like this, drawing on a construction of Cantor’s. I present a new version of this argument and explore possible lines of response.

In the debates regarding the ethics of human organoid biobanking, the locus of donor autonomy has been identified in processes of consent. The problem is that, by focusing on consent, biobanking processes preclude adequate engagement with donor autonomy because they are unable to adequately recognise or respond to factors that determine authentic choice. This is particularly problematic in biobanking contexts associated with organoid research or the clinical application of organoids because, given the probability of unforeseen and varying purposes for which (...) a donor’s organoids could be employed and given the different ways in which a donor can relate to her biospecimens, a donor can value her organoids differently in different contexts and her reasons for autonomously permitting use of her cells and tissues in one case may not support an autonomous decision in another. In response, this paper has three aims: firstly, to make the case for why organoid biobanks ought to respect donor autonomy conceived as authentic choice; secondly, to explore the autonomy-respecting limits of established and widely prevalent models of biobank consent; and thirdly, to propose certain conditions that organoid biobanks ought to support or facilitate in order to respect donor autonomy. (shrink)

In 1901 Russell had envisaged the new analytic philosophy as uniquely systematic, borrowing the methods of science and mathematics. A century later, have Russell’s hopes become reality? David Lewis is often celebrated as a great systematic metaphysician, his influence proof that we live in a heyday of systematic philosophy. But, we argue, this common belief is misguided: Lewis was not a systematic philosopher, and he didn’t want to be. Although some aspects of his philosophy are systematic, mainly his pluriverse (...) of possible worlds and its many applications, that systematicity was due to the influence of his teacher Quine, who really was an heir to Russell. Drawing upon Lewis’s posthumous papers and his correspondence as well as the published record, we show that Lewis’s non- Quinean influences, including G.E. Moore and D.M. Armstrong, led Lewis to an anti- systematic methodology which leaves each philosopher’s views and starting points to his or her own personal conscience. (shrink)

I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv dot org) on the limits to inference (computation) that are so general they are independent of the device doing the (...) computation, and even independent of the laws of physics, so they apply across computers, physics, and human behavior. They make use of Cantor's diagonalization, the liar paradox and worldlines to provide what may be the ultimate theorem in Turing Machine Theory, and seemingly provide insights into impossibility, incompleteness, the limits of computation, and the universe as computer, in all possible universes and all beings or mechanisms, generating, among other things, a non- quantum mechanical uncertainty principle and a proof of monotheism. There are obvious connections to the classic work of Chaitin, Solomonoff, Komolgarov and Wittgenstein and to the notion that no program (and thus no device) can generate a sequence (or device) with greater complexity than it possesses. One might say this body of work implies atheism since there cannot be any entity more complex than the physical universe and from the Wittgensteinian viewpoint, ‘more complex’ is meaningless (has no conditions of satisfaction, i.e., truth-maker or test). Even a ‘God’ (i.e., a ‘device’with limitless time/space and energy) cannot determine whether a given ‘number’ is ‘random’, nor find a certain way to show that a given ‘formula’, ‘theorem’ or ‘sentence’ or ‘device’ (all these being complex language games) is part of a particular ‘system’. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 2nd ed (2019) and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

Abstract: The topic for this paper is the phenomenon of apparent value incommensurability—two goods are apparently incommensurable when it appears that neither is better than the other nor are they equally good. I shall consider three theories of this phenomenon. Indeterminists like Broome (1997) hold that the phenomenon is due to vagueness: when two goods appear to be incommensurable, this owes to the fact that “better than” is vague. Incommensurabilists like Chang (2002) hold that some goods appear to be incommensurable (...) because they genuinely are, because it is determinately the case than neither is better than the other, nor are they equally good. I defend epistemicism, the view that the appearance of value incommensurability is due only to our ignorance of how goods compare. In reality, all goods are commensurable. I offer two arguments for epistemicism and against other views. First, epistemicists are committed to less unexplained axiological structure than are non-epistemicists, who must explain the extra structure that they posit. Second, only epistemicists have an adequate explanation of some facts about the scope of apparent incommensurability. Finally, I identify a class of putative counterexamples to the epistemicist’s analysis, and argue that these counterexamples do not succeed. If my arguments are sound, then, we have very good reason to think that for any two things that are good, either one is (determinately) better than the other, or they are (determinately) equally good. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)