Hilary Greaves and David Wallace argue that conditionalization maximizes expected accuracy and so is a rational requirement, but their argument presupposes a particular picture of the bridge between rationality and accuracy: the Best-Plan-to-Follow picture. And theorists such as Miriam Schoenfield and Robert Steel argue that it's possible to motivate an alternative picture—the Best-Plan-to-Make picture—that does not vindicate conditionalization. I show that these theorists are mistaken: it turns out that, if an update procedure maximizes expected accuracy on the Best-Plan-to-Follow (...) picture, it's guaranteed to maximize expected accuracy on the Best-Plan-to-Make picture as well, in which case moving from the former to the latter can't help us avoid the conclusion that conditionalization is a rational requirement. If there's a problem with Greaves and Wallace’s argument, it must lie elsewhere. (shrink)

In the remainder of this article, we will disarm an important motivation for epistemic contextualism and interest-relative invariantism. We will accomplish this by presenting a stringent test of whether there is a stakes effect on ordinary knowledge ascription. Having shown that, even on a stringent way of testing, stakes fail to impact ordinary knowledge ascription, we will conclude that we should take another look at classical invariantism. Here is how we will proceed. Section 1 lays out some limitations of previous (...) research on stakes. Section 2 presents our study and concludes that there is little evidence for a substantial stakes effect. Section 3 responds to objections. The conclusion clears the way for classical invariantism. (shrink)

Placeholder essentialism is the view that there is a causal essence that holds category members together, though we may not know what the essence is. Sometimes the placeholder can be filled in by scientific essences, such as when we acquire scientific knowledge that the atomic weight of gold is 79. We challenge the view that placeholders are elaborated by scientific essences. On our view, if placeholders are elaborated, they are elaborated Aristotelian essences, a telos. Utilizing the same kinds of experiments (...) used by traditional essentialists—involving superficial change (study 1), transformation of insides (study 2), acquired traits (study 3) and inferences about offspring (study 4)—we find support for the view that essences are elaborated by a telos. And we find evidence (study 5) that teleological essences may generate category judgments. (shrink)

Several different quantum gravity research programmes suggest, for various reasons, that spacetime is not part of the fundamental ontology of physics. This gives rise to the problem of empirical coherence: if fundamental physical entities do not occupy spacetime or instantiate spatiotemporal properties, how can fundamental theories concerning those entities be justified by observation of spatiotemporally located things like meters, pointers and dials? I frame the problem of empirical coherence in terms of entailment: how could a non-spatiotemporal fundamental theory entail spatiotemporal (...) evidence propositions? Solutions to this puzzle can be classified as realist or antirealist, depending on whether or not they posit a non-fundamental spacetime structure grounded in or caused by the fundamental structure. These approaches place different constraints on our everyday concepts of space and time. Applying lessons from the philosophy of mind, I argue that only realism is both conceptually plausible and suitable for addressing the problem at hand. I suggest a role functionalist version of realism, which is consistent with both grounding and causation, and according to which our everyday concepts reveal something of the true nature of emergent spacetime. (shrink)

This paper develops the Diachronic Self-Making View, the view that we are the non-accidentally best candidate referents of our ‘I’-beliefs. A formulation and defence of DSV is followed by an overview of its treatment of familiar puzzle cases about personal identity. The rest of the paper focuses on a challenge to DSV, the Puzzle of Inconstant ‘I’-beliefs: the view appears to force on us inconsistent verdicts about personal identity in cases that we would naturally describe as changes in one’s de (...) se beliefs. To solve this problem, the paper defends the possibility of overlapping people, and addresses a number of objections to this idea. (shrink)

Lady Mary Shepherd holds that the relation of cause and effect consists of the combination of two objects to create a third object. She also holds that this account implies that causes are synchronous with their effects. There is a single instant in which the objects that are causes combine to create the object which is their effect. Hume argues that cause and effect cannot be synchronous because if they were then the entire chain of successive causes and effects would (...) all collapse into a single moment, and succession would not be possible. I argue that Shepherd has a ready, although implicit response, to Hume’s argument. Since causation is combination on Shepherd’s view, she is free to hold that there are times in between those instants in which combinations occur, during which times other, non-combinatory changes occur, which changes account for succession. (shrink)

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

Machine learning algorithms may radically improve our ability to diagnose and treat disease. For moral, legal, and scientific reasons, it is essential that doctors and patients be able to understand and explain the predictions of these models. Scalable, customisable, and ethical solutions can be achieved by working together with relevant stakeholders, including patients, data scientists, and policy makers.

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)

We present data and argument to show that in Tetris - a real-time interactive video game - certain cognitive and perceptual problems are more quickly, easily, and reliably solved by performing actions in the world rather than by performing computational actions in the head alone. We have found that some translations and rotations are best understood as using the world to improve cognition. These actions are not used to implement a plan, or to implement a reaction; they are used to (...) change the world in order to simplify the problem-solving task. Thus, we distinguish pragmatic actions ñ actions performed to bring one physically closer to a goal - from epistemic actions - actions performed to uncover information that is hidden or hard to compute mentally. To illustrate the need for epistemic actions, we first develop a standard information-processing model of Tetris-cognition, and show that it cannot explain performance data from human players of the game - even when we relax the assumption of fully sequential processing. Standard models disregard many actions taken by players because they appear unmotivated or superfluous. However, we describe many such actions that are actually taken by players that are far from superfluous, and that play valuable roles in improving human performance. We argue that traditional accounts are limited because they regard action as having a single function: to change the world. By recognizing a second function of action - an epistemic function - we can explain many of the actions that a traditional model cannot. Although, our argument is supported by numerous examples specifically from Tetris, we outline how the one category of epistemic action can be incorporated into theories of action more generally. (shrink)

This article outlines a program of ethnoontology that brings together empirical research in the ethnosciences with ontological debates in philosophy. First, we survey empirical evidence from heterogeneous cultural contexts and disciplines. Second, we propose a model of cross‐cultural relations between ontologies beyond a simple divide between universalist and relativist models. Third, we argue for an integrative model of ontology building that synthesizes insights from different fields such as biological taxonomy, cognitive science, cultural anthropology, and political ecology. We conclude by arguing (...) that a program of ethnoontology provides philosophers both with insights about traditional issues such as debates about natural kinds and with novel strategies for connecting philosophy with pressing global issues such as the conservation of local environments and the self‐determination of Indigenous communities. (shrink)

The epistemology of self-locating belief concerns itself with how rational agents ought to respond to certain kinds of indexical information. I argue that those who endorse the thesis of Time-Slice Rationality ought to endorse a particular view about the epistemology of self-locating belief, according to which ‘essentially indexical’ information is never evidentially relevant to non-indexical matters. I close by offering some independent motivations for endorsing Time-Slice Rationality in the context of the epistemology of self-locating belief.

ABSTRACTIn a recent paper, Michael Pardo argues that the epistemic property that is legally relevant is the one called Safety, rather than Sensitivity. In the process, he argues against our Sensitivity-related account of statistical evidence. Here we revisit these issues, partly in order to respond to Pardo, and partly in order to make general claims about legal epistemology. We clarify our account, we show how it adequately deals with counterexamples and other worries, we raise suspicions about Safety's value here, and (...) we revisit our general skepticism about the role that epistemological considerations should play in determining legal policy. (shrink)

Most of our best scientific descriptions of the world employ rates of change of some continuous quantity with respect to some other continuous quantity. For instance, in classical physics we arrive at a particle’s velocity by taking the time-derivative of its position, and we arrive at a particle’s acceleration by taking the time-derivative of its velocity. Because rates of change are defined in terms of other continuous quantities, most think that facts about some rate of change obtain in virtue of (...) facts about those other continuous quantities. For example, on this view facts about a particle’s velocity at a time obtain in virtue of facts about how that particle’s position is changing at that time. In this paper we raise a puzzle for this orthodox reductionist account of rate of change quantities and evaluate some possible replies. We don’t decisively come down in favour of one reply over the others, though we say some things to support taking our puzzle to cast doubt on the standard view that spacetime is continuous. (shrink)

Does it count against a normative theory in political philosophy that it is in some important sense infeasible, that its prescriptions are unlikely to be complied with? Though a positive answer seems plausible, it has proved hard to defend against the claim that this is not how normative theories work - noncompliance shows a problem with the noncomplying agents, not with the normative theory. I think that this line of thought - this defense of Utopianism - wins the battle but (...) loses the war. It’s right about what does and what does not refute a normative theory. It’s wrong in misidentifying the problem. The right way to think about the feasibility worry is as essentially involving multiple agents, and how expected noncompliance by one agent may refute a normative claim addressed at another. Thus understood, feasibility problems may very well refute a theory in political philosophy. In this paper I develop this understanding of the feasibility worry, tie it to more general discussions in normative ethics, and in political philosophy. (shrink)

This essay articulates a kind of conservatism that it argues is the most fundamental and important kind of conservatism, viz. existential conservatism, which involves an affirmative and appreciative stance towards the given world. While this form of conservatism can be connected to political conservatism, as seen with Roger Scruton, it need not be, as seen with G. A. Cohen. It is argued that existential conservatism should be embraced whether or not one embraces political conservatism, though it is also shown that (...) existential conservatism imposes constraints on our political thinking. In particular, it is argued that Cohen's ‘luck egalitarianism’ stands at odds with his existential conservatism and that one should be a sufficientarian rather than an egalitarian with regard to economic justice. (shrink)

Representationalists argue that phenomenal states are intentional states of a special kind. This paper offers an account of the kind of intentional state phenomenal states are: I argue that they are underived intentional states. This account of phenomenal states is equivalent to two theses: first, all possible phenomenal states are underived intentional states; second, all possible underived intentional states are phenomenal states. I clarify these claims and argue for each of them. I also address objections which touch on a range (...) of topics, including meaning holism and concept empiricism. I conclude with a brief discussion of the consequences of the proposed view for the project of naturalizing consciousness. (shrink)

The literature on counterfactuals is dominated by strict accounts and variably strict accounts. Counterexamples to the principle of Antecedent Strengthening were thought to be fatal to SA; but it has been shown that by adding dynamic resources to the view, such examples can be accounted for. We broaden the debate between VSA and SA by focusing on a new strengthening principle, Strengthening with a Possibility. We show dynamic SA classically validates this principle. We give a counterexample to it and show (...) that extra dynamic resources cannot help SA. We then show VSA accounts for the counterexample if it allows for orderings on worlds that are not almost-connected, and that such an ordering naturally falls out of a Kratzerian ordering source semantics. We conclude that the failure of Strengthening with a Possibility tells strongly against Dynamic SA and in favor of an ordering source-based version of VSA. (shrink)

Does the Ship of Theseus present a genuine puzzle about persistence due to conflicting intuitions based on “continuity of form” and “continuity of matter” pulling in opposite directions? Philosophers are divided. Some claim that it presents a genuine puzzle but disagree over whether there is a solution. Others claim that there is no puzzle at all since the case has an obvious solution. To assess these proposals, we conducted a cross-cultural study involving nearly 3,000 people across twenty-two countries, speaking eighteen (...) different languages. Our results speak against the proposal that there is no puzzle at all and against the proposal that there is a puzzle but one that has no solution. Our results suggest that there are two criteria—“continuity of form” and “continuity of matter”— that constitute our concept of persistence and these two criteria receive different weightings in settling matters concerning persistence. (shrink)

Perceptualists say that having a pain in a body part consists in perceiving the part as instantiating some property. I argue that perceptualism makes better sense of the connections between pain location and the experiences undergone by people in pain than three alternative accounts that dispense with perception. Turning to fellow perceptualists, I also reject ways in which David Armstrong and Michael Tye understand and motivate perceptualism, and I propose an alternative interpretation, one that vitiates a pair of objections—due (...) to John Hyman—concerning the meaning of ‘Amy has a pain in her foot’ and the idea of bodily sensitivity. Perceptualism, I conclude, remains our best account of the location of pains. (shrink)

This paper offers both a theoretical and an experimental perspective on the relationship between connectionist and Classical (symbol-processing) models. Firstly, a serious flaw in Fodor and Pylyshyn’s argument against connectionism is pointed out: if, in fact, a part of their argument is valid, then it establishes a conclusion quite different from that which they intend, a conclusion which is demonstrably false. The source of this flaw is traced to an underestimation of the differences between localist and distributed representation. It has (...) been claimed that distributed representations cannot support systematic operations, or that if they can, then they will be mere implementations of traditional ideas. This paper presents experimental evidence against this conclusion: distributed representations can be used to support direct structure-sensitive operations, in a man- ner quite unlike the Classical approach. Finally, it is argued that even if Fodor and Pylyshyn’s argument that connectionist models of compositionality must be mere implementations were correct, then this would still not be a serious argument against connectionism as a theory of mind. (shrink)

Jerome Wakefield has argued that a disorder is a harmful dysfunction. This paper develops how Wakefield should construe harmful in his harmful dysfunction analysis. Recently, Neil Feit has argued that classic puzzles involved in analyzing harm render Wakefield’s HDA better off without harm as a necessary condition. Whether or not one conceives of harm as comparative or non-comparative, the concern is that the HDA forces people to classify as mere dysfunction what they know to be a disorder. For instance, one (...) can conceive of cases where simultaneous disorders prevent each other from being, in any traditional sense, actually harmful; in such cases, according to the HDA, neither would be a disorder. I argue that the sense of harm that Wakefield should employ in the HDA is dispositional, similar to the sense of harm used when describing a vile of poison: “Be careful! That’s poison. It’s harmful.” I call this harm in the damage sense. Using this sense of harm enables the HDA to avoid Feit’s arguments, and thus it should be preferred to other senses when analyzing harmful dysfunction. (shrink)

This paper consider Prior's connective Tonk from a particular bilateralist perspective. I show that there is a natural perspective from which we can see Tonk and its ilk as perfectly well-defined pieces of vocabulary; there is no need for restrictions to bar things like Tonk.

This chapter examines how epistemic norms could be social norms, with a reliance on work on the philosophy and social science of social norms from Bicchieri (on the one hand) and Brennan, Eriksson, Goodin and Southwood (on the other hand). We explain how the social ontology of social norms can help explain the rationality of epistemic cooperation, and how one might begin to model epistemic games.

Priority Theory is an increasingly popular view in metaphysics. By seeing metaphysical questions as primarily concerned with what explains what, instead of merely what exists, it promises not only an interesting approach to traditional metaphysical issues but also the resolution of some outstanding disputes. In a recent paper, Louis deRosset argues that Priority Theory isn’t up to the task: Priority Theory is committed to there being explanations that violate a formal constraint on any adequate explanation. This paper critically examines deRosset’s (...) challenge to Priority Theory. We argue that deRosset’s challenge ultimately fails: his proposed constraint on explanation is neither well-motivated nor a general constraint. Nonetheless, lurking behind his criticism is a deep problem for prominent ways of developing Priority Theory, a problem which we develop. (shrink)

A diagnostic process is an investigative process that takes a clinical picture as input and outputs a diagnosis. We propose a method for distinguishing diagnoses that are warranted from those that are not, based on the cognitive processes of which they are the outputs. Processes designed and vetted to reliably produce correct diagnoses will output what we shall call ‘warranted diagnoses’. The latter are diagnoses that should be trusted even if they later turn out to have been wrong. Our work (...) is based on the recently developed Cognitive Process Ontology and further develops the Ontology of General Medical Science. It also has applications in fields such as intelligence, forensics, and predictive maintenance, all of which rely on vetted processes designed to secure the reliability of their outputs. (shrink)

To the extent that dualism is even taken to be a serious option in contemporary discussions of personal identity and the philosophy of mind, it is almost exclusively either Cartesian dualism or property dualism that is considered. The more traditional dualism defended by Aristotelians and Thomists, what I call hylemorphic dualism, has only received scattered attention. In this essay I set out the main lines of the hylemorphic dualist position, with particular reference to personal identity. First I argue that overemphasis (...) of the problem of consciousness has had an unhealthy effect on recent debate, claiming instead that we should emphasize the concept of form. Then I bring in the concept of identity by means of the notion of substantial form. I continue by analyzing the relation between form and matter, defending the traditional theses of prime matter and of the unicity of substantial form. I then argue for the immateriality of the substantial form of the human person, viz. the soul, from an account of the human intellect. From this follows the soul's essential independence of matter. Finally, although the soul is the immaterial bearer of personal identity, that identity is still the identity of an essentially embodied being. I explain how these ideas are to be reconciled. Footnotesa I am grateful to Stephen Braude, John Cottingham, John Haldane, David Jehle, Joel Katzav, Eduardo Ortiz, and Fred Sommers for helpful comments and discussion of a draft of this essay. I would also like to thank Ellen Paul, whose suggestions have helped greatly to improve the essay's style and content. (shrink)

It is common for theorists, drawing on P. F. Strawson, to account for morally responsible agency in terms of the nature of the emotions and feelings that characterize our responsibility practices, in terms of the nature of the so-called “reactive attitudes.” Here, I argue against this attitude-based Strawsonian strategy, and I argue in favor of an alternative, which I call the “concern-based Strawsonian strategy.” On this alternative, rather than account for morally responsible agency in terms of the nature of the (...) reactive attitudes, one accounts for such agency in terms of the concern that leaves us susceptible to those attitudes in the first place. This, I believe, is a more promising way to develop the Strawsonian approach than the attitude-based strategy. The concern-based strategy allows us to better countenance the number and variety of the reactive attitudes that characterize our responsibility practices; it shares the attitude-based strategy’s virtues; and it seems to position us to better understand the distinctive social and moral significance associated with being and being regarded as a morally responsible agent. (shrink)

Consequentialism, many philosophers have claimed, asks too much of us to be a plausible ethical theory. Indeed, the theory's severe demandingness is often claimed to be its chief flaw. My thesis is that as we come to better understand this objection, we see that, even if it signals or tracks the existence of a real problem for Consequentialism, it cannot itself be a fundamental problem with the view. The objection cannot itself provide good reason to break with Consequentialism, because it (...) must presuppose prior and independent breaks with the view. The way the objection measures the demandingness of an ethical theory reflects rather than justifies being in the grip of key anti-Consequentialist conclusions. We should reject Consequentialism independently of the Objection or not at all. Thus, we can reduce by one the list of worrisome fundamental complaints against Consequentialism. (shrink)

A striking feature of the latest version of Dennett’s ‘big picture’ of the evolution of life and mind is frequent reference to ‘affordances’. An affordance is, roughly, a possibility for action for a creature in an environment. Given more than one possibility for action, a good question is: what will the creature actually do? I argue that affordances pose a problem of selection, and that a good general solution to this problem of mind-design is to implement a system of preferences.

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences and distinguishability and is formalized using the distinctions of a partition. All the definitions of simple, joint, conditional and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose of this paper (...) is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates that are distinguished by the measurement. Both the classical and quantum versions of logical entropy have simple interpretations as “two-draw” probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states. (shrink)

In the past few years, a number of philosophers ; Horgan and Tienson 2002; Pitt 2004) have maintained the following three theses: there is a distinctive sort of phenomenology characteristic of conscious thought, as opposed to other sorts of conscious mental states; different conscious thoughts have different phenomenologies; and thoughts with the same phenomenology have the same intentional content. The last of these three claims is open to at least two different interpretations. It might mean that the phenomenology of a (...) thought expresses its intentional content, where intentional content is understood as propositional, and propositions are understood as mind-and language-independent abstract entities. And it might mean that the phenomenology of a thought is its intentional content—that is, that the phenomenology of a thought, like the phenomenology of a sensation, constitutes its content. The second sort of view is a kind of psychologism. Psychologistic views hold that one or another sort of thing—numbers, sentences, propositions, etc.—that we can think or know about is in fact a kind of mental thing. Since Frege, psychologism has been in bad repute among analytic philosophers. It is widely held that Frege showed that such views are untenable, since, among other things, they subjectivize what is in fact objective, and, hence, relativize such things as consistency and truth to the peculiarities of human psychology. The purpose of this paper is to explore the consequences of the thesis that intentional mental content is phenomenological and to try to reach a conclusion about whether it yields a tenable view of mind, thought and meaning. I believe the thesis is not so obviously wrong as it will strike many philosophers of mind and language. In fact, it can be defended against the standard objections to psychologism, and it can provide the basis for a novel and interesting account of mentality. (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)

In this paper, we consider Noël Carroll’s Content Theory (CT) (2015) and argue that a key problem with CT is that it can be interpreted in two distinct ways: as a descriptive theory of aesthetic experience and as a normative prescriptive theory. Although CT is presented as a descriptive theory of experience, much of what Carroll says implies that CT can also be understood as a theory about how one ought to look at artworks. We argue that when understood as (...) a descriptive theory, CT fails to qualify as a meaningful theory of aesthetic experience. We then interpret the theory prescriptively. Ultimately, this second interpretation is also found lacking: if the aim of the theory is to instruct one on how to view art, it is no longer an attempt to characterize the experience of art. We conclude by arguing that the main flaw in CT is its approach: we cannot meaningfully characterize an experience by enumerating the objects that supposedly cause said experience, and any theory that takes such an approach is likely to be unsuccessful. (shrink)

Constitution is the relation that holds between an object and what it is made of: statues are constituted by the lumps of matter they coincide with; flags, one may think, are constituted by colored pieces of cloth; and perhaps human persons are constituted by biological organisms. Constitution is often thought to be a.

What follows is a first step towards an ontology of conscious mental processes. We provide a theoretical foundation and characterization of conscious mental processes based on a realist theory of intentionality and using BFO as our top-level ontology. We distinguish three components of intentional mental process: character, directedness, and objective referent, and describe several features of the process character and directedness significant to defining and classifying mental processes. We arrive at the definition of representational mental process as a process that (...) is the bringing into being, sustaining, modifying, or terminating of a mental representation. We conclude by outlining some benefits and applications of this approach. (shrink)

Subjectivism, desires, reasons, well-being, ethics.

In Human Nature and the Limits of Political Philosophy, I argued that justice might require things of people that they cannot bring themselves to do. A central step was to argue that this does not entail an inability to ‘do’ the putatively required thing. David Wiens challenges that argument of mine, and this piece is my reply.

I argue against the standard interpretation of Aristotle’s account of ‘natural predication’ in Posterior Analytics 1.19 and 1.22 according to which only substances can serve as subjects in such predications. I argue that this interpretation cannot accommodate a number of demonstrations Aristotle sanctions. I propose a new interpretation that can accommodate them.

A number of philosophers, from Thomas Reid1 through C. A. J. Coady2, have argued that one is justified in relying on the testimony of others, and furthermore, that this should be taken as a basic epistemic presumption. If such a general presumption were not ultimately dependent on evidence for the reliability of other people, the ground for this presumption would be a priori. Such a presumption would then have a status like that which Roderick Chisholm claims for the epistemic principle (...) that we are justified in believing what our senses tell us. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, (...) undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} 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 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. 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 paper considers the phenomenon of lying and the implications it has for those subjects who are capable of lying. It is argued that lying is not just intentional untruthfulness, but is intentional untruthfulness plus an insincere invocation of trust. Understood in this way, lying demands of liars a sophistication in relation to themselves, to language, and to those to whom they lie which exceeds the demands on mere truth-tellers.

Platonism in the philosophy of mathematics is the doctrine that there are mathematical objects such as numbers. John Burgess and Gideon Rosen have argued that that there is no good epistemological argument against platonism. They propose a dilemma, claiming that epistemological arguments against platonism either rely on a dubious epistemology, or resemble a dubious sceptical argument concerning perceptual knowledge. Against Burgess and Rosen, I show that an epistemological anti- platonist argument proposed by Hartry Field avoids both horns of their dilemma.

One strategy in recent discussions of theological fatalism is to draw on Harry Frankfurt’s famous counterexamples to the principle of alternate possibilities (PAP) to defend human freedom from divine foreknowledge. For those who endorse this line, “Frankfurt counterexamples” are supposed to show that PAP is false, and this conclusion is then extended to the foreknowledge case. This makes it critical to determine whether Frankfurt counterexamples perform as advertised, an issue recently debated in this journal via a pair of articles by (...) David Widerker and John Martin Fischer. I suggest that this debate can be avoided: divine foreknowledge is itself aparadigmatic counterexample to PAP, requiring no support from suspect Frankfurt counterexamples. (shrink)