The Caesar problem arises for abstractionist views, which seek to secure reference for terms such as ‘the number of Xs’ or #X by stipulating the content of ‘unmixed’ identity contexts like ‘#X = #Y’. Frege objects that this stipulation says nothing about ‘mixed’ contexts such as ‘# X = Julius Caesar’. This article defends a neglected response to the Caesar problem: the content of mixed contexts is just as open to stipulation as that of unmixed (...) contexts. (shrink)

This article offers an interpretation of a controversial aspect of Frege’s The Foundations of Arithmetic, the so-called Julius Caesar problem. Frege raises the Caesar problem against proposed purely logical definitions for ‘0’, ‘successor’, and ‘number’, and also against a proposed definition for ‘direction’ as applied to lines in geometry. Dummett and other interpreters have seen in Frege’s criticism a demanding requirement on such definitions, often put by saying that such definitions must provide a criterion of identity (...) of a certain kind. These interpretations are criticized and an alternative interpretation is defended. The Caesar problem is that the proposed definitions fail to well-define ‘number’ and ‘direction’. That is, the proposed definitions, even when taken together with the extra-definitional facts, fail to fix unique semantic extensions for ‘number’ and ‘direction’, and thereby fail to fix unique truth-values for sentences like ‘Caesar is a number’ and ‘England is a direction’. A minor modification of the criticized definitions well-defines ‘0’, ‘successor’ and ‘number’, thereby avoiding the Caesar problem as Frege understands it, but without providing any criterion of number identity in the usual sense. (shrink)

This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem (...) for value-ranges. It is argued that, in Frege’s standards of reducing arithmetic to logic, his solution to the indeterminacy does not give rise to any sort of Caesar problem in the book. (shrink)

ArgumentThe sixteenth-century physician and philosopher Julius Caesar Scaliger suggests that in particular cases plants can come into being that belong to a plant species that did not exist before. At the same time, he holds that God could not have created a more perfect world. However, does the occurrence of new species not imply that the world was not the best possible world from the beginning? In this article, I explore a set of metaphysical ideas that could provide Scaliger (...) with the means of solving this problem: His version of the notion of a plurality of substantial forms in every living being, and his version of the notion of the ordained divine power. As it turns out, Scaliger analyzes the generation of new species in terms of a development of subordinate substantial forms into dominant substantial forms. Thereby, previously existing essences of plant parts become essences of plants. These plants, thus, possess essences that no previously existing plant possessed and, in this sense, belong to a new species. In this way, Scaliger avoids positing the occurrence of new essences, thus saving the best possible world thesis. Moreover, he believes that all substantial forms stand in a relationship of mutual existential dependence by means of which God safeguards the persistence and unity of the world. This is why the agency of subordinate forms turned dominant can be understood as an expression of the ordained power of God. (shrink)

This paper argues that that Caesar problem had a technical aspect, namely, that it threatened to make it impossible to prove, in the way Frege wanted, that there are infinitely many numbers. It then offers a solution to the problem, one that shows Frege did not really need the claim that "numbers are objects", not if that claim is intended in a form that forces the Caesar problem upon us.

The COVID-19 pandemic revealed numerous weaknesses in pandemic preparedness and response, including underfunding, inadequate surveillance, and inequitable distribution of countermeasures. To overcome these weaknesses for future pandemics, WHO released a zero draft of a pandemic treaty in February, 2023, and subsequently a revised bureau's text in May, 2023. COVID-19 made clear that pandemic prevention, preparedness, and response reflect choices and value judgements. These decisions are therefore not a purely scientific or technical exercise, but are fundamentally grounded in ethics. The latest (...) treaty draft reflects these ethical considerations by including a section entitled Guiding Principles and Approaches. Most of these principles are ethical—they establish core values that undergird the treaty. Unfortunately, the treaty draft's set of principles are numerous, overlapping, and show inadequate coherence and consistency. We propose two improvements to this section of the draft pandemic treaty. First, key guiding ethical principles should be clearer and more precise than they currently are. Second, the link between ethical principles and policy implementation should be clearly established and define boundaries on acceptable interpretation, ensuring that signatories abide by these principles. (shrink)

This paper replies to a commentary by John-Stewart Gordon on our paper, “The Moral Standing of Social Robots: Untapped Insights from Africa.” In the original paper, we set forth an African relational view of personhood and show its implica- tions for the moral standing of social robots. This reply clarifies our position and answers three objections. The objections concern (1) the ethical significance of intelligence, (2) the meaning of ‘pro-social,’ and (3) the justification for prioritizing humans over pro-social robots.

This book concerns the foundations of epistemic modality. 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 relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and (...) to the types of intention, when the latter is interpreted as a modal 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 epistemic two-dimensional hyperintensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic 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, by contrast to availing of modal axiom 4 (i.e. the KK principle). 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 chapter \textbf{4} is 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 intensions of epistemic two-dimensional semantics solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between topic-sensitive epistemic two-dimensional truthmaker semantics, 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. Chapter \textbf{9} examines the modal profile of $\Omega$-logic in set theory. Chapter \textbf{10} examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter \textbf{11} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. Chapter \textbf{12} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. The multi-hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is applied in chapters \textbf{7}, \textbf{8}, \textbf{10}, \textbf{11}, \textbf{12}, and \textbf{14}.}. (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 essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (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)

We can introduce singular terms for ordered pairs by means of an abstraction principle. Doing so proves useful for a number of projects in the philosophy of mathematics. However there is a question whether we can appeal to the abstraction principle in good faith, since a version of the Caesar Problem can be generated, posing the worry that abstraction fails to introduce expressions which refer determinately to the requisite sort of object. In this note I will pose the (...) difficulty, and then propose a solution. Since my solution appeals to a plausible constraint on the introduction of new expressions to a language, it is of interest independently of the particular case of terms for pairs. Since these provide the occasion for discussion we should nonetheless review the use of abstraction for pairs before the argumentative business of the paper commences. (shrink)

We can introduce singular terms for ordered pairs by means of an abstraction principle. Doing so proves useful for a number of projects in the philosophy of mathematics. However there is a question whether we can appeal to the abstraction principle in good faith, since a version of the Caesar Problem can be generated, posing the worry that abstraction fails to introduce expressions which refer determinately to the requisite sort of object. In this short paper I will pose (...) the difficulty, and then propose a solution. (shrink)

In this review, as well as discussing the pedagogical of this text book, I also discuss Linnebo's approach to the Caesar problem and the use of metaphysical notions to explicate mathematics.

Philosophers and psychologists often distinguish episodic or personal memory from propositional or semantic memory. A vexed issue concerns the role, if any, of memory “impressions” or “seemings” within the latter. According to an important family of approaches, seemings play a fundamental epistemological role vis-à-vis propositional memory judgments: it is one’s memory seeming that Caesar was murdered, say, that justifies one’s judgment that he was murdered. Yet, it has been convincingly argued that these approaches lead to insurmountable problems and that (...) memory seemings are not wellsuited to play this justifying role. As a result, many contemporary accounts of propositional memory dispense with these seemings altogether. Is the idea that memory seemings play a key role in propositional memory really the result of bad theorizing? My aim is to shed light on this issue, which I will approach as follows. In Section 1, I contrast episodic memory with propositional memory so as to clarify the nature of the latter. According to the account I put forward, episodic memory consists in the preservation of acquaintance with objects and events, whereas propositional memory consists in the preservation of thought contents. In Section 2, I turn my attention to the contrast between propositional memory contents and propositional memory as an attitude. I argue that they play different roles. Memory contents satisfy a past awareness constraint and a causal constraint; the attitude of remembering explains why we are inclined to endorse these contents. This distinction leads me to explore the attitude of remembering, and I argue, in Section 3, that the most appealing account of this attitude is in terms of feelings of familiarity. In Section 4, I turn my attention to the epistemology of propositional memory and revisit the claim that propositional memory judgments are justifi ed by memory seemings. In so doing, I contend that the attitude of remembering plays an exclusively explanatory role and does not contribute to the epistemology of propositional memory judgments. I conclude by drawing a more general lesson regarding the respective roles of attitudes and contents. (shrink)

This paper investigates the relationship between some corpuscularian and Aristotelian strands that run through the thought of the sixteenth-century philosopher and physician Julius Caesar Scaliger. Scaliger often uses the concepts of corpuscles, pores, and vacuum. At the same time, he also describes mixture as involving the fusion of particles into a continuous body. The paper explores how Scaliger’s combination of corpuscularian and non-corpuscularian views is shaped, in substantial aspects, by his response to the views on corpuscles and the vacuum (...) in the work of his contemporary, Girolamo Fracastoro. Fracastoro frequently appears in Scaliger’s work as an opponent against whom numerous objections are directed. However, if one follows up Scaliger’s references, it soon becomes clear that Scaliger also shares some of Fracastoro’s views. Like Scaliger, Fracastoro suggests corpuscularian explanations of phenomena such as water rising in lime while at the same time ascribing some non-corpuscularian properties to his natural minima. Like Scaliger, Fracastoro maintains that there is no vacuum devoid of bodies since places cannot exist independently of bodies (although their opinions diverge regarding how exactly the relevant dependency relation might be explicated). Finally, like Scaliger, Fracastoro connects a continuum view of mixture with a theory of natural minima. (shrink)

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of (...) molecular structure cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

Julius Caesar Scaliger was a natural philosopher and literary theorist whose work was widely discussed throughout the second half of the sixteenth and the first half of the seventeenth centuries. After this period, it fell into oblivion, only to be rediscovered during the last three decades or so. His natural philosophy has triggered a series of specialized studies on particular aspects of his thought, especially those aspects that were influential in the development of early modern corpuscularianism. Sakamoto's book goes (...) considerably beyond such fragmentary approaches and presents central strands of Scaliger's most important work in natural philosophy, a thousand-page critique of Girolamo Cardano's De... (shrink)

The external world sceptic tells some familiar narratives involving massive deception. Perhaps we are brains in vats. Perhaps we are the victim of a deceitful demon. You know the drill. The sceptic proceeds by observing first that victims of such deceptions know nothing about their external environment and that second, since we cannot rule out being a victim of such deceptions our- selves, our own external world beliefs fail to attain the status of knowledge. Discussions of global external world scepticism (...) tend to focus on the second step, where a number of well-known lines of resistance have been offered. But there has been little attention to the first, seemingly innocuous step. That will be the focus of this paper. Part one – sections 1, 2, and 3 – will explain why these standard narratives are not convincing examples of cases where there is no knowledge of the external world. In part two – section 4 – we shall undertake a useful case study. David Lewis’s ‘Elusive Knowledge’ is often thought of as presenting an epistemological vision that is somewhat friendly to external world scepticism: as Lewis himself presents things, there are contexts where external world knowledge ascriptions are uniformly false, and where true knowledge ascriptions are limited to either axiomatic truths or truths about our inner life. We examine his discussion in the light of the preceding reflections and show that the framework he presents is not so concessionary to global external world scepticism after all. (shrink)

I resolve the major challenge to an Expressivist theory of the meaning of normative discourse: the Frege–Geach Problem. Drawing on considerations from the semantics of directive language (e.g., imperatives), I argue that, although certain forms of Expressivism (like Gibbard’s) do run into at least one version of the Problem, it is reasonably clear that there is a version of Expressivism that does not.

One of the reasons why most of us feel puzzled about the problem of abortion is that we want, and do not want, to allow to the unborn child the rights that belong to adults and children. When we think of a baby about to be born it seems absurd to think that the next few minutes or even hours could make so radical a difference to its status; yet as we go back in the life of the fetus (...) we are more and more reluctant to say that this is a human being and must be treated as such. No doubt this is the deepest source of our dilemma, but it is not the only one. For we are also confused about the general question of what we may and may not do where the interests of human beings conflict. We have strong intuitions about certain cases; saying, for instance, that it is all right to raise the level of education in our country, though statistics allow us to predict that a rise in the suicide rate will follow, while it is not all right to kill the feeble-minded to aid cancer research. It is not easy, however, to see the principles involved, and one way of throwing light on the abortion issue will be by setting up parallels involving adults or children once born. So we will be able to isolate the “equal rights” issue and should be able to make some advance... (shrink)

The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. This (...) undecidability result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

To speak of being religious lucky certainly sounds odd. But then, so does “My faith holds value in God’s plan, while yours does not.” This book argues that these two concerns — with the concept of religious luck and with asymmetric or sharply differential ascriptions of religious value — are inextricably connected. It argues that religious luck attributions can profitably be studied from a number of directions, not just theological, but also social scientific and philosophical. There is a strong tendency (...) among adherents of different faith traditions to invoke asymmetric explanations of the religious value or salvific status of the home religion vis-à-vis all others. Attributions of good/bad religious luck and exclusivist dismissal of the significance of religious disagreement are the central phenomena that the book studies. Part I lays out a taxonomy of kinds of religious luck, a taxonomy that draws upon but extends work on moral and epistemic luck. It asks: What is going on when persons, theologies, or purported revelations ascribe various kinds of religiously-relevant traits to insiders and outsiders of a faith tradition in sharply asymmetric fashion? “I am saved but you are lost”; “My religion is holy but yours is idolatrous”; “My faith tradition is true, and valued by God, but yours is false and valueless.” Part II further develops the theory introduced in Part I, pushing forward both the descriptive/explanatory and normative sides of what the author terms his inductive risk account. Firstly, the concept of inductive risk is shown to contribute to the needed field of comparative fundamentalism by suggesting new psychological markers of fundamentalist orientation. The second side of what is termed an inductive risk account is concerned with the epistemology of religious belief, but more especially with an account of the limits of reasonable religious disagreement. Problems of inductively risky modes of belief-formation problematize claims to religion-specific knowledge. But the inductive risk account does not aim to set religion apart, or to challenge the reasonableness of religious belief tout court. Rather the burden of the argument is to challenge the reasonableness of attitudes of religious exclusivism, and to demotivate the “polemical apologetics” that exclusivists practice and hope to normalize. Lexington Books Pages: 290 978-1-4985-5017-8 • Hardback • December 2018 • $95.00 • (£65.00) 978-1-4985-5018-5 • eBook • December 2018 • $90.00 • (£60.00) ISBN 978-1-4985-5018-5 (pbk: alk. paper) (coming 2020) [Download the 30% personal use Discount Order Form I uploaded for hardcover or e-book, and please ask your library to purchase a copy for their collection.]. (shrink)

In the course of daily life we solve problems often enough that there is a special term to characterize the activity and the right to expect a scientific theory to explain its dynamics. The classical view in psychology is that to solve a problem a subject must frame it by creating an internal representation of the problem’s structure, usually called a problem space. This space is an internally generable representation that is mathematically identical to a graph structure (...) with nodes and links. The nodes can be annotated with useful information, and the whole representation can be distributed over internal and external structures such as symbolic notations on paper or diagrams. If the representation is distributed across internal and external structures the subject must be able to keep track of activity in the distributed structure. Problem solving proceeds as the subject works from an initial state in mentally supported space, actively constructing possible solution paths, evaluating them and heuristically choosing the best. Control of this exploratory process is not well understood, as it is not always systematic, but various heuristic search algorithms have been proposed and some experimental support has been provided for them. (shrink)

In this paper, I hope to solve a problem that’s as old as the hills: the problem of contingency for religious belief. Paradigmatic examples of this argument begin with a counterfactual premise: had we been born at a different time or in a difference place, we easily could have held different beliefs on religious topics. Ultimately, and perhaps by additional steps, we’re meant to reach the skeptical conclusion that very many of our religious beliefs do not amount to (...) knowledge. I survey some historical examples of this argument, and I try to fill the gap between the counterfactual premise and the skeptical conclusion as forcefully as possible. I consider the following possibilities: there are no additional steps in the argument; or there are and they concern the alleged safety condition on knowledge, or the alleged non-accidentality condition on knowledge, or the unclarity produced by disagreement. On every possibility, the argument from the counterfactual premise to the conclusion of widespread skepticism is invalid. It seems, then, that there is no serious problem of contingency for religious belief. (shrink)

A substantial proportion of human embryos spontaneously abort soon after conception, and ethicists have argued this is problematic for the pro-life view that a human embryo has the same moral status as an adult from conception. Firstly, if human embryos are our moral equals, this entails spontaneous abortion is one of humanity’s most important problems, and it is claimed this is absurd, and a reductio of the moral status claim. Secondly, it is claimed that pro-life advocates do not act as (...) if spontaneous abortion is important, implying they are failing to fulfill their moral obligations. We report that the primary cause of spontaneous abortion is chromosomal defects, which are currently unpreventable, and show that as the other major cause of prenatal death is induced abortion, pro-life advocates can legitimately continue efforts to oppose it. We also defend the relevance of the killing and letting die distinction, which provides further justification for pro-life priorities. (shrink)

Our universe features a harmonious match between laws and states: applying its laws to its states generates other states. This is a striking fact. Matters might have been otherwise. The universe might have been stillborn in a state unengaged by its laws. The problem of nomological harmony is that of explaining the noted striking fact. After introducing and developing this problem, we canvass candidate solutions and identify some of their virtues and vices. Candidate solutions invoke the likes of (...) a designer, axiarchic meta-laws, multiverses, essential causal powers, and Humean laws. (shrink)

James Sterba uses the Pauline Principle to argue that the occurrence of significant, horrendous evils is logically incompatible with the existence of a good God. The Pauline Principle states that (as a rule) one must never do evil so that good may come from it, and according to Sterba, this principle implies that God may not permit significant evils even if that permission would be necessary to secure other, greater goods. By contrast, I argue that the occurrence of significant evils (...) is logically compatible with the existence of a good God because victims of significant evils may themselves reasonably consent to their suffering. In particular, I argue that they may be able to accept their suffering if it turns out that there was no way for God to secure relevant greater goods (or prevent other, greater evils) except by way of allowing their suffering, and God also provides them with other compensating, heavenly comforts. After using this consent-based argument to address Sterba’s logical problem from evil, I briefly consider how this argument may also help address a related evidential problem from evil, which suggests that while it is possible that victims of significant evils would consent to their suffering, it is unlikely that they would do so. While I do not provide a definitive solution to this evidential problem of evil, I highlight one important example of a trade-off that God may need to make that would—along with the provision of compensating, heavenly comforts—potentially persuade victims of significant evils to consent to their suffering. Specifically, I argue that there may be a necessary trade-off that God needs to make between permitting significant evils (on the one hand) and protecting a certain, morally significant form of free will (on the other hand). (shrink)

Faith in God conflicts with reason—or so we’re told. We focus on two arguments for this conclusion. After evaluating three criticisms of them, we identify an assumption they share, namely that faith in God requires belief that God exists. Whether the assumption is true depends on what faith is. We sketch a theory of faith that allows for both faith in God without belief that God exists, and faith in God while in belief-cancelling doubt God’s existence. We then argue that (...) our theory, unlike the theory of Thomas Aquinas, makes sense of four central items of faith-data: (i) pístis in the Synoptics, (ii) ʾemunāh in the Hebrew scriptures, (iii) exemplars of faith in God, including Abraham, Jesus, and Mother Teresa, and (iv) the widespread experience of people of faith today. We close by assessing revisions of the two arguments we began with, revisions that align with our theory of faith, and find them dubious, at best. (shrink)

We are pleased to publish this WSIA edition of Trudy’s Govier’s seminal volume, Problems in Argument Analysis and Evaluation. Originally published in 1987 by Foris Publications, this was a pioneering work that played a major role in establishing argumentation theory as a discipline. Today, it is as relevant to the field as when it first appeared, with discussions of questions and issues that remain central to the study of argument. It has defined the main approaches to many of those issues (...) and guided the ways in which we might respond to them. From this foundation, it sets the stage for further investigations and emerging research. This is a second edition of the book that is corrected and updated by the author, with new prefaces to each chapter. (shrink)

Many of us are unmoved when it is objected that some morally or intellectually suspect source agrees with our belief. While we may tend to find this kind of guilt by epistemic association unproblematic, I argue that this tendency is a mistake. We sometimes face what I call the problem of unwelcome epistemic company. This is the problem of encountering agreement about the content of your belief from a source whose faults give you reason to worry about the (...) belief's truth, normative status, etiology, or implications. On the basis of an array of cases, I elaborate four distinct kinds of problems that unwelcome epistemic company poses. Two of these are distinctly epistemic, and two are moral. I canvass possible responses, ranging from stubbornness to an epistemic prudishness that avoids unwelcome company at all costs. Finally, I offer preliminary lessons of the problem and distinguish it from the problem of peer disagreement. (shrink)

Moralism is often described as a vice. But what exactly is wrong with moralism that makes it aptly described as a character flaw? This paper will argue that the problem with moralism is that it downgrades the force of legitimate moral criticism. First, I will argue that moralism involves an inflated sense of the extent to which moral criticism is appropriate. Next, I will examine the value of legitimate moral criticism, arguing that its value stems from enabling us to (...) take a stand against immoral behavior. Finally, I will argue that unwarranted moral criticism downgrades the force of legitimate moral criticism and that this is why moralism should be seen as a vice. (shrink)

This paper argues that higher-order doubt generates an epistemic dilemma. One has a higher-order doubt with regards to P insofar as one justifiably withholds belief as to what attitude towards P is justified. That is, one justifiably withholds belief as to whether one is justified in believing, disbelieving, or withholding belief in P. Using the resources provided by Richard Feldman’s recent discussion of how to respect one’s evidence, I argue that if one has a higher-order doubt with regards to P, (...) then one is not justified in having any attitude towards P. Otherwise put: No attitude towards the doubted proposition respects one’s higher-order doubt. I argue that the most promising response to this problem is to hold that when one has a higher-order doubt about P, the best one can do to respect such a doubt is to simply have no attitude towards P. Higher-order doubt is thus much more rationally corrosive than non-higher-order doubt, as it undermines the possibility of justifiably having any attitude towards the doubted proposition. (shrink)

The “Problem of the Rock” (PoR) is a famous objection to Higher-Order (HO) theories of consciousness. According to PoR, the HO theorists’ claim that a mental state is conscious iff there is a higher-order mental state about it implies that a rock is also conscious iff there is a higher-order mental state about it. In this paper I show that this argument confuses two grammatically distinct attributions of consciousness, and that if the consequent equivocation fallacy is avoided, PoR is (...) either a straw man argument or has an unproblematic conclusion. (shrink)

The Consequence Argument for incompatibilism is beset by two rival interpretations: the counterfactual sufficiency interpretation and the counterfactual might interpretation. Waldrop recently argued that the counterfactual sufficiency interpretation conflicts with certain principles governing the logic of counterfactuals. In this paper, I show that Waldrop’s argument can be adapted to prove that the counterfactual might interpretation also conflicts with the same principles. So the problem Waldrop pointed out is not peculiar to the counterfactual sufficiency interpretation.

When people make sense of situations, illustrations, instructions and problems they do more than just think with their heads. They gesture, talk, point, annotate, make notes and so on. What extra do they get from interacting with their environment in this way? To study this fundamental problem, I looked at how people project structure onto geometric drawings, visual proofs, and games like tic tac toe. Two experiments were run to learn more about projection. Projection is a special capacity, similar (...) to perception, but less tied to what is in the environment. Projection, unlike pure imagery, requires external structure to anchor it, but it adds ‘mental’ structure to the external scene much like an augmented reality system adds structure to an outside scene. A person projects when they look at a chessboard and can see where a knight may be moved. Because of the cognitive costs of sustaining and extending projection, humans make some of their projections real. They create structure externally. They move the piece, they talk, point, notate, represent. Much of our interactivity during sense making and problem solving involves a cycle of projecting then creating structure. (shrink)

Looking at the recent spate of claims about “fake news” which appear to be a new feature of political discourse, I argue that fake news presents an interesting problem in epistemology. Te phenomena of fake news trades upon tolerating a certain indiference towards truth, which is sometimes expressed insincerely by political actors. Tis indiference and insincerity, I argue, has been allowed to fourish due to the way in which we have set the terms of the “public” epistemology that maintains (...) what is considered “rational” public discourse. I argue one potential salve to the problem of fake news is to challenge this public epistemology by injecting a certain ethical consideration back into the discourse. (shrink)

Der vorliegende Aufsatz behandelt zwei Bereiche, deren Zusammenhang in der aktuellen Husserlforschung zu Unrecht in Vergessenheit geraten zu sein scheint: Zum einen konturiere ich den Habitusbegriff und das damit verbundene Problem der Habituskonstitution im Spätwerk E. Husserls. Zum anderen dient das Ergebnis dieser ersten Untersuchung dann als Grundlage für die Frage nach dem Wesen des Ich in der genetischen Phänomenologie. Die Untersuchung besteht aus drei Teilen: Zuerst stelle ich, um die Bedeutung des Begriffs „Habitus“ zu klären, Ingardens Interpretationsalternativen der (...) Habituskonstitution vor. Im Anschluss daran werde ich mich mit dem sogenannten „transzendentalen Okkasionalismus“ befassen, der eine der zuvor vorgestellten Alternativen Ingardens aufgreift und weiterführt. Der „transzendentale Okkasionalismus“ vertritt die These, dass die habituellen Eigenschaften des Ich durch den einfachen Vollzug der Akte entstünden. Weil diese These als Interpretation des Habitusbegriffs bei Husserl weit verbreitet ist, muss sie als Lösungsansatz in Erwägung gezogen werden. Jedoch zeigt eine genaue Lektüre der Forschungsmanuskripte Husserls, dass dieser scheinbare Lösungsansatz einen dort wichtigen Begriff außer Acht lässt: die „Geschichte des Ich“. Diese wird im dritten und letzten Teil dieses Aufsatzes näher betrachtet und erläutert. Husserl selbst hob nämlich einen wesenhaften Zusammenhang zwischen den mannigfaltigen Erfahrungen des Ich hervor, durch den die Bezeichnung der Habituskonstitution als „Okkasionalismus“ nicht zutreffend sein kann. Aus diesem Grund geht dieser Beitrag über die reine Wiedergabe der Habitusproblematik in Husserls Phänomenologie hinaus und beschreibt eine Auffassung der transzendentalen Subjektivität, die aus dem Spätwerk Husserls stammt. (shrink)

We are all problem-solvers of some sort. We solve problems to earn a living, get promoted, show that we are smart and deserve colleagues’ respect, and contribute to human progress. Yes, problem-solving is important; the better solution-maker we are, the brighter future we expect. But we are not such good problem solvers for simple reasons: it is hard to define a genuine problem.

This article defends the Doomsday Argument, the Halfer Position in Sleeping Beauty, the Fine-Tuning Argument, and the applicability of Bayesian confirmation theory to the Everett interpretation of quantum mechanics. It will argue that all four problems have the same structure, and it gives a unified treatment that uses simple models of the cases and no controversial assumptions about confirmation or self-locating evidence. The article will argue that the troublesome feature of all these cases is not self-location but selection effects.

Theories of causation grounded in counterfactual dependence face the problem of profligate omissions: numerous irrelevant omissions count as causes of an outcome. A recent purported solution to this problem is proportionality, which selects one omission among many candidates as the cause of an outcome. This paper argues that proportionality cannot solve the problem of profligate omissions for two reasons. First: the determinate/determinable relationship that holds between properties like aqua and blue does not hold between negative properties like (...) not aqua and not blue. Negative properties are those at stake in omissive causation. Second: proportionality misconstrues the nature of the problem to be solved. (shrink)

Complex problem solving (CPS) emerged in the last 30 years in Europe as a new part of the psychology of thinking and problem solving. This paper introduces into the field and provides a personal view. Also, related concepts like macrocognition or operative intelligence will be explained in this context. Two examples for the assessment of CPS, Tailorshop and MicroDYN, are presented to illustrate the concept by means of their measurement devices. Also, the relation of complex cognition and emotion (...) in the CPS context is discussed. The question if CPS requires complex cognition is answered with a tentative “yes.”. (shrink)

The problem of creeping minimalism threatens the distinction between moral realism and meta-ethical expressivism, and between cognitivism and non-cognitivism more generally. The problem is commonly taken to be serious and in need of response. I argue that there are two problems of creeping minimalism, that one of these problems is more serious than the other, and that this more serious problem cannot be solved in a way that all parties can accept. I close by highlighting some important (...) questions this raises for how to distinguish between theories, and noting some of the troubling consequences it may entail for realism and its rivals, in meta-ethics and beyond. (shrink)

Generic generalisations like ‘Opioids are highly addictive’ are very useful in scientific communication, but they can often be interpreted in many different ways. Although this is not a problem when all interpretations provide the same answer to the question under discussion, a problem arises when a generic generalisation is used to answer a question other than that originally intended. In such cases, some interpretations of the generalisation might answer the question in a way that the original speaker would (...) not endorse. Rather than excising generic generalisations from scientific communication, I recommend that scientific communicators carefully consider the kinds of questions their words might be taken to answer and try to avoid phrasing that might be taken to provide unintended answers. (shrink)

A number of Christian theologians and philosophers have been critical of overly moralizing approaches to the doctrine of sin, but nearly all Christian thinkers maintain that moral fault is necessary or sufficient for sin to obtain. Call this the “Moral Consensus.” I begin by clarifying the relevance of impurities to the biblical cataloguing of sins. I then present four extensional problems for the Moral Consensus on sin, based on the biblical catalogue of sins: (1) moral over-demandingness, (2) agential unfairness, (3) (...) moral repugnance, and (4) moral atrocity. Next, I survey several partial solutions to these problems, suggested by the recent philosophical literature. Then I evaluate two largely unexplored solutions: (a) genuine sin dilemmas and (b) defeasible sinfulness. I argue that (a) creates more problems than it solves and that, while (b) is well-motivated and solves or eases each of the above problems, (b) leaves many biblical ordinances about sin morally misleading, creating (5) a pedagogical problem of evil. I conclude by arguing that (5) places hefty explanatory burdens on those who would appeal to (b) to resolve the four extensional problems discussed in this paper. So Christian thinkers may need to consider a more radical separation of sin and moral fault. (shrink)

The safety conception of knowledge holds that a belief constitutes knowledge iff relevantly similar beliefs—its epistemic counterparts—are true. It promises an instructive account of why certain general principles of knowledge hold. We focus on two such principles that anyone should endorse: the closure principle that knowledge is downward closed under competent conjunction elimination, and the counter-closure principle that knowledge is upward closed under competent conjunction introduction. We argue that anyone endorsing the former must also endorse the latter on pains of (...) an unacceptable form of bootstrapping. We devise new formal models to identify necessary and sufficient conditions for these principles to hold on conceptions that construe knowledge in terms of true counterparts. These conditions state that counterparts of premise and conclusion beliefs are coordinated in certain ways whenever these beliefs stand in the relevant inferential relations. We show that the safety conception faces insuperable problems vindicating these coordination principles, because its epistemic counterpart relation is symmetric. We conclude that it thus proves unable to account for minimal closure properties of knowledge. More generally, our formal results establish parameters within which any conception must operate that construes knowledge in terms of true counterparts. (shrink)

I here discuss two problems facing Russellian act-type theories of propositions, and argue that Fregean act-type theories are better equipped to deal with them. The first relates to complex singular terms like '2+2', which turn out not to pose any special problem for Fregeans at all, whereas Soames' theory currently has no satisfactory way of dealing with them (particularly, with such "mixed" propositions as the proposition that 2+2 is greater than 3). Admittedly, one possibility stands out as the most (...) promising one, but it requires that the Russellian treat complex properties as constituents of propositions. This leads to the second major problem for Russellians: that of proliferating propositions. I show how the most direct solution to this problem, that of rejecting complex predicative propositional constituents is available to Fregeans but very implausible for Russellians, since this virtually means rejecting complex properties. (shrink)

Despite the growth in research in philosophy of religion over the past several decades, recent years have seen a number of critical studies of this subfield in an effort to redirect the methods and topics of inquiry. This article argues that in addition to problems of religious parochialism described by critics such as Wesley Wildman, the subfield is facing a problem of relevance. In responding to this problem, it suggests that philosophers of religion should do three things: first, (...) be critically self-aware about their aims of inquiry; second, investigate concepts used by other philosophers, scientists, and religious studies scholars to identify and dispel confusion about religions; and third, following the model of applied ethics, work to clarify concepts and advance arguments of contemporary practical urgency. (shrink)