Distinctions in fundamentality between different levels of description are central to the viability of contemporary decoherence-based Everettian quantum mechanics (EQM). This approach to quantum theory characteristically combines a determinate fundamental reality (one universal wave function) with an indeterminate emergent reality (multiple decoherent worlds). In this chapter I explore how the Everettian appeal to fundamentality and emergence can be understood within existing metaphysical frameworks, identify grounding and concept fundamentality as promising theoretical tools, and use them to characterize a system of explanatory (...) levels (with associated laws of nature) for EQM. This Everettian level structure encompasses and extends the ‘classical’ levels structure. The ‘classical’ levels of physics, chemistry, biology, etc. are recovered, but they are emergent in character and potentially variable across Everett worlds. EQM invokes an additional fundamental level, not present in the classical levels picture, and a novel potential role for self-location in interlevel metaphysics. When given a modal realist interpretation, EQM also makes trouble for supervenience-based approaches to levels. (shrink)

In this article, I shall contend that Rawlsian public reason liberalism (PRL) is in tension with non-anthropocentric environmentalism. I will argue that many reasonable citizens reject non-anthropocentric values, and PRL cannot allow them to be used as the justification for ecological policies. I will analyse attempts to argue that PRL can incorporate non-anthropocentric ideas. I shall consider the view, deployed by theorists such as Derek Bell and Mark A. Michael, that PRL can make a distinction between constitutional essentials and non-essentials, (...) and therefore ecocentric values can be employed when only non-essentials are at stake. I will also consider Simon Hailwood’s argument that PRL can incorporate concern for nature based on its ‘otherness’. I shall conclude that both positions fail to rebut the claim that PRL excludes non-anthropocentric viewpoints. I will consider the question of whether PRL’s exclusion of non-anthropocentric ethics is a problem, and I shall show that appealing to purely anthropocentric arguments leads to a variety of unpalatable conclusions. I will suggest that comprehensive liberalism can include non-anthropocentric concerns, and hence is superior from an environmental perspective. (shrink)

This is the prologue to a collection of essays on eugenics and psychiatry.

In the latter half of the twentieth century, philosophers of science have argued (implicitly and explicitly) that epistemically rational individuals might compose epistemically irrational groups and that, conversely, epistemically rational groups might be composed of epistemically irrational individuals. We call the conjunction of these two claims the Independence Thesis, as they together imply that methodological prescriptions for scientific communities and those for individual scientists might be logically independent of one another. We develop a formal model of scientific inquiry, define four (...) criteria for individual and group epistemic rationality, and then prove that the four definitions diverge, in the sense that individuals will be judged rational when groups are not and vice versa. We conclude by explaining implications of the inconsistency thesis for (i) descriptive history and sociology of science and (ii) normative prescriptions for scientific communities. (shrink)

Jim Joyce argues for two amendments to probabilism. The first is the doctrine that credences are rational, or not, in virtue of their accuracy or “closeness to the truth” (1998). The second is a shift from a numerically precise model of belief to an imprecise model represented by a set of probability functions (2010). We argue that both amendments cannot be satisfied simultaneously. To do so, we employ a (slightly-generalized) impossibility theorem of Seidenfeld, Schervish, and Kadane (2012), who show that (...) there is no strictly proper scoring rule for imprecise probabilities. -/- The question then is what should give way. Joyce, who is well aware of this no-go result, thinks that a quantifiability constraint on epistemic accuracy should be relaxed to accommodate imprecision. We argue instead that another Joycean assumption — called strict immodesty— should be rejected, and we prove a representation theorem that characterizes all “mildly” immodest measures of inaccuracy. (shrink)

Essentialism is widely regarded as a mistaken view of biological kinds, such as species. After recounting why (sections 2-3), we provide a brief survey of the chief responses to the “death of essentialism” in the philosophy of biology (section 4). We then develop one of these responses, the claim that biological kinds are homeostatic property clusters (sections 5-6) illustrating this view with several novel examples (section 7). Although this view was first expressed 20 years ago, and has received recent discussion (...) and critique, it remains underdeveloped and is often misrepresented by its critics (section 8). (shrink)

There has been much interest in conspiracy theories (CTs) amongst philosophers in recent years. The aim of this paper will be to apply some of the philosophical research to issues in political theory. I will first provide an overview of some of the philosophical discussions about CTs. While acknowledging that particularism is currently the dominant position in the literature, I will contend that the ‘undue scepticism problem’, a modified version of an argument put forward by Brian Keeley, is an important (...) general objection to many CTs. This in turn leads to some substantial conclusions for liberal political philosophy, as the undue scepticism problem sets up a strong argument against non-liberal alternatives to liberal thought. I shall argue that we are justified in having far more doubt about the reliability of official sources in non-liberal societies, and it is legitimate to be more sceptical about claims designed to bolster non-liberal politics. Moreover, because scepticism is often more warranted in non-liberal societies, this may provide the possibility for the state to be stable, even if it is highly tyrannical or ineffective. These considerations are not intended to be decisive, but raise unresolved questions about the viability of non-liberal politics. (shrink)

We evaluate the asymptotic performance of boundedly-rational strategies in multi-armed bandit problems, where performance is measured in terms of the tendency (in the limit) to play optimal actions in either (i) isolation or (ii) networks of other learners. We show that, for many strategies commonly employed in economics, psychology, and machine learning, performance in isolation and performance in networks are essentially unrelated. Our results suggest that the appropriateness of various, common boundedly-rational strategies depends crucially upon the social context (if any) (...) in which such strategies are to be employed. (shrink)

Epistemic decision theory (EDT) employs the mathematical tools of rational choice theory to justify epistemic norms, including probabilism, conditionalization, and the Principal Principle, among others. Practitioners of EDT endorse two theses: (1) epistemic value is distinct from subjective preference, and (2) belief and epistemic value can be numerically quantified. We argue the first thesis, which we call epistemic puritanism, undermines the second.

A dynamical system is called chaotic if small changes to its initial conditions can create large changes in its behavior. By analogy, we call a dynamical system structurally chaotic if small changes to the equations describing the evolution of the system produce large changes in its behavior. Although there are many definitions of “chaos,” there are few mathematically precise candidate definitions of “structural chaos.” I propose a definition, and I explain two new theorems that show that a set of models (...) is structurally chaotic if it contains a chaotic function. I conclude by discussing the relationship between structural chaos and structural stability. (shrink)

Christian B. Miller has noted a “realism challenge” for virtue ethicists to provide an account of how the character gap between virtuous agents and non-virtuous agents can be bridged. This is precisely one of Han Feizi’s key criticisms against Confucian virtue ethics, as Eric L. Hutton argues, which also cuts across the Aristotelian one: appealing to virtuous agents as ethical models provides the wrong kind of guidance for the development of virtues. Hutton, however, without going into detail, notes that the (...) notion of rituals in the Confucian tradition may be able to sidestep Han Feizi’s criticism. In this essay, I wish to explore not only how the notion of rituals, alongside its corollaries in Xunzi’s Confucian program for ethical cultivation, indeed addresses Han Feizi’s criticism, but also observe that Aristotle’s tragic poetry plays functionally equivalent roles in his own understanding of ethical upbringing. I will begin by considering Han Feizi’s critique of ethical cultivation in virtue ethics as such and how it poses a specific problem for the acquisition of the ‘constitutive reasoning’ shared by Aristotle and Xunzi. I will then briefly note that this problem trades on the synthetic structure of human nature found in both Aristotle and Xunzi (the rational/irrational parts of the soul and the heartmind/five faculties), which grounds the way they understand ethical action and agency. Finally, I will suggest how both Aristotle and Xunzi understand the role of the arts in their extensive programme of ethical cultivation, allowing them to respond to Han Feizi’s attack as too narrow a construal of their respective ethical projects. It is hoped that, through this, we may gain a better sense of how more recent virtue ethicists may similarly draw on aesthetic resources for ethical development. (shrink)

It is common to assume that the problem of induction arises only because of small sample sizes or unreliable data. In this paper, I argue that the piecemeal collection of data can also lead to underdetermination of theories by evidence, even if arbitrarily large amounts of completely reliable experimental and observational data are collected. Specifically, I focus on the construction of causal theories from the results of many studies (perhaps hundreds), including randomized controlled trials and observational studies, where the studies (...) focus on overlapping, but not identical, sets of variables. Two theorems reveal that, for any collection of variables V, there exist fundamentally different causal theories over V that cannot be distinguished unless all variables are simultaneously measured. Underdetermination can result from piecemeal measurement, regardless of the quantity and quality of the data. Moreover, I generalize these results to show that, a priori, it is impossible to choose a series of small (in terms of number of variables) observational studies that will be most informative with respect to the causal theory describing the variables under investigation. This final result suggests that scientific institutions may need to play a larger role in coordinating differing research programs during inquiry. (shrink)

The epistemological situation of a single cell is considered. In chemotaxis, the relation between perception and action is found to be lawful and bidirectional. Consideration of the perception/action relation allows a characterization of the phe- nomenal world of the cell. This phenomenal world is grounded in perceptual distinctions that are relevant to the sustained vi- ability of the cell. Moving up the phylogenetic chain, this lawfulness, and its relation to the phenomenal world of ex- perience, is found to be essentially (...) unchanged in multicellular organisms. Nervous systems add some innovation, in allow- ing distal responses and the non-linear combination of infor- mation, but from cell to human, the differentiation of the phe- nomenal world is found to arise from the lawfulness of the perception/action relation, which in turn reflects the biologi- cal constitution of the organism, and not a pre-given objec- tive world. This recognition suggests that rather than looking within the nervous system for representations of pre-given, ex- ternal, entities, one might do better to explore the fit between the function of the nervous system and the phenomenal, mean- ingful, world encountered by the organism in experience. (shrink)

Philosophical interest in situated cognition has been focused most intensely on the claim that human cognitive processes extend from the brain into the tools humans use. As we see it, this radical hypothesis is sustained by two kinds of mistakes, the confusion of coupling relations with constitutive relations and an inattention to the mark of the cognitive. Here we wish to draw attention to these mistakes and show just how pervasive they are. That is, for all that the radical philosophers (...) have said, the mind is still in the head. (shrink)

Abstract:According to Quine, Charles Parsons, Mark Steiner, and others, Russell’s logicist project is important because, if successful, it would show that mathematical theorems possess desirable epistemic properties often attributed to logical theorems, such as aprioricity, necessity, and certainty. Unfortunately, Russell never attributed such importance to logicism, and such a thesis contradicts Russell’s explicitly stated views on the relationship between logic and mathematics. This raises the question: what did Russell understand to be the philosophical importance of logicism? Building on recent work (...) by Andrew Irvine and Martin Godwyn, I argue that Russell thought a systematic reduction of mathematics increases the certainty of known mathematical theorems (even basic arithmetical facts) by showing mathematical knowledge to be coherently organized. The paper outlines Russell’s theory of coherence, and discusses its relevance to logicism and the certainty attributed to mathematics. (shrink)

In this paper, I present my solutions to two closely related questions about pleasure. One of these questions is fairly well known. The second question seems to me to be at least as interesting as the first, but it apparently hasn't interested quite so many philosophers.

A semantics is presented for Storrs McCall's separate axiomatizations of Aristotle's accepted and rejected polysyllogisms. The polysyllogisms under discussion are made up of either assertoric or apodeictic propositions. The semantics is given by associating a property with a pair of sets: one set consists of things having the property essentially and the other of things having it accidentally. A completeness proof and a semantic decision procedure are given.

Embodied cognition is sweeping the planet. On a non-embodied approach, the sensory system informs the cognitive system and the motor system does the cognitive system’s bidding. There are causal relations between the systems but the sensory and motor systems are not constitutive of cognition. For embodied views, the relation to the sensori-motor system to cognition is constitutive, not just causal. This paper examines some recent empirical evidence used to support the view that cognition is embodied and raises questions about some (...) of the claims being made by supporters. (shrink)

Perception solves computationally demanding problems at lightning fast speed. It recovers sophisticated representations of the world from degraded inputs, often in a matter of milliseconds. Any theory of perception must be able to explain how this is possible; in other words, it must be able to explain perception's computational tractability. One of the few attempts to move toward such an explanation has been the information encapsulation hypothesis, which posits that perception can be fast because it keeps computational costs low by (...) forgoing access to information stored in cognition. I argue that we have no compelling reason to believe that encapsulation explains (or even contributes to an explanation of) perceptual tractability, and much reason to doubt it. This is because there exist much deeper computational challenges for perception than information access, and these threaten to make the costs of access irrelevant. If this is right, it undermines a core computational motivation for encapsulation and sends us back to the drawing board for explanations of perceptual tractability. (shrink)

Introduction in chapter viii of book ii of An Essay Concerning Human Understanding, John Locke provides various putative lists of primary qualities. Insofar as they have considered the variation across Locke's lists at all, commentators have usually been content simply either to consider a self-consciously abbreviated list (e.g., "Size, Shape, etc.") or a composite list as the list of Lockean primary qualities, truncating such a composite list only by omitting supposedly co-referential terms. Doing the latter with minimal judgment about what (...) terms are co-referential gives us the following list of eleven qualities (in the order in which they appear in this chapter of the Essay): solidity, extension, figure, mobility, motion or rest, number, bulk, texture, motion, size, and situation. Perhaps surprisingly given the attention to the primary/secondary distinction since Locke, Locke's primary qualities themselves have received little more than passing mention in the bulk of the subsequent literature. In particular, no discussion both offers an interpretation of Locke's conception of primary qualities and makes sense of Locke's various lists as lists of primary qualities. A central motivation for this paper is the idea that these two tasks are not independent. (shrink)

This is the first complete English translation and publication of Donoso’s carta de 24 de octubre, 1851, a letter encapsulating many of his views on revolution and decision. This remarkable letter, sent as a diplomatic missive while he was serving the Spanish crown in Paris, describes how Napoleon III––stuck between the 1848 constitution’s prohibition against his election and his impending coup that will crown him emperor––must gain the support of the liberal bourgeoise middle class if he is to maintain his (...) rule over France. The letter is also of great importance to Donoso and Schmitt scholars because it contains the first and only time Donoso uses the complete term “las clases discutidoras,” which, through Schmitt’s injudicious and repeated misspellings as “una clasa discutidora” has become famous for its characterization of the liberal bourgeoisie as the “discussing” or “disputing” class that is incapable of action at the precise historical moment when a decision is most direly needed to save the constitution from inner or outer existential threats. (shrink)

In a recent paper, Tristan Haze offers two examples that, he claims, are counterexamples to Nozick's Theory of Knowledge. Haze claims his examples work against Nozick's theory understood as relativized to belief forming methods M. We believe that they fail to be counterexamples to Nozick's theory. Since he aims the examples at tracking theories generally, we will also explain why they are not counterexamples to Dretske's Conclusive Reasons Theory of Knowledge.

In this article, we will describe higher order thought theories of consciousness. Then we will describe some examples from synesthesia. Finally, we will explain why the latter may be relevant to the former.

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates (...) the epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

In a recent very interesting and important challenge to tracking theories of knowledge, Williams & Sinhababu claim to have devised a counter-example to tracking theories of knowledge of a sort that escapes the defense of those theories by Adams & Clarke. In this paper we will explain why this is not true. Tracking theories are not undermined by the example of the backward clock, as interesting as the case is.

The paper shows that for any invalid polysyllogism there is a procedure for constructing a model with a domain with exactly three members and an interpretation that assigns non-empty, non-universal subsets of the domain to terms such that the model invalidates the polysyllogism.

In the 17th century, Hobbes stated that we reason by addition and subtraction. Historians of logic note that Hobbes thought of reasoning as “a ‘species of computation’” but point out that “his writing contains in fact no attempt to work out such a project.” Though Leibniz mentions the plus/minus character of the positive and negative copulas, neither he nor Hobbes say anything about a plus/minus character of other common logical words that drive our deductive judgments, words like ‘some’, ‘all’, ‘if’, (...) and ‘and’, each of which actually turns out to have an oppositive, character that allows us, “in our silent reasoning,” to ignore its literal meaning and to reckon with it as one reckons with a plus or a minus operator in elementary algebra or arithmetic. These ‘logical constants’ of natural language figure crucially in our everyday reasoning. Because Hobbes and Leibniz did not identify them as the plus and minus words we reason with, their insight into what goes on in ‘ratiocination’ did not provide a guide for a research program that could develop a +/- logic that actually describes how we reason deductively. I will argue that such a +/- logic provides a way back from modern predicate logic—the logic of quantifiers and bound variables that is now ‘standard logic’—to an Aristotelian term logic of natural language that had been the millennial standard logic. (shrink)

One semantic and two syntactic decision procedures are given for determining the validity of Aristotelian assertoric and apodeictic syllogisms. Results are obtained by using the Aristotelian deductions that necessarily have an even number of premises.

In recent decades, postmodernists and sociologists of science have argued that science is just one of many human activities with social and political aims -- comparable to, say, religion or art. They have questioned the objectivity of science, and whether it has any unique ability to find the truth. Not surprisingly, such claims have evoked a negative response from proponents of the traditional view of science; the debate between the two sides has been called the science wars. In the debate, (...) scientists have made few attempts to meet the postmodern critique on its own grounds, through serious reflection on the everyday practice of science. Yet that is the only way to understand the nature of science and the features that distinguish science from other activities. (shrink)

A theorem due to Shoesmith and Smiley that axiomatizes two-valued multiple-conclusion logics is extended to partial logics.

Last year Charlotte Shreve and I (Adams and Shreve 2016) presented an argument that synesthesia contains evidence against higher order thought theories of consciousness. Rocco Gennaro (2016) took up the challenge and argued that H.O.T. theories like his could handle the example and dismiss the argument. Below we suggest otherwise. We think the traditional versions of H.O.T. theory are still vulnerable to our argument and we maintain that Gennaro’s version is as well.

Counting functions are shown to be complete by using a simpler argument than that used by Pelletier and Martin.

Fred's semantics for McCall's syntactic presentation of Aristotle's assertoric and apodeictic syllogistic is altered to free it from Thom's objections that it is unAristotelian. The altered semantics rejects Baroco-XLL and Bocardo-LXL, which Thom says Aristotle should have accepted. Aristotle's proofs that use ecthesis are formalized by using singular sentences. With one exception the (acceptance) axioms for McCall's system L-X-M are derivable. Formal proofs are shown to be sound.

McCall's system for contingent syllogisms is modified. A semantics for the resulting system is provided.

Parry discusses an extension of Aristotle's syllogistic that uses four nontraditional quantifiers. We show that his conjectured decision procedure for validity for the extended syllogistic is correct even if syllogisms have more than two premises. And we axiomatize this extension of the syllogistic.

One might suppose that Everettian quantum mechanics (EQM) is inhospitable to metaphysial indeterminacy (MI), given that, as A. Wilson (2020) puts it, "the central idea of EQM is to replace indeterminacy with multiplicity" (77). But as Wilson goes on to suggest, the popular decoherence-based understanding of EQM (henceforth: DEQM) appears to admit of indeterminacy in both world number and world nature, where the latter indeterminacy---our focus here---is plausibly metaphysical. After a brief presentation of DEQM (S1), we bolster the (...) case for there being MI in world nature in DEQM (S2). The remainder of the paper is devoted to a comparative assessment of the two main approaches to MI for purposes of accommodating this MI---namely, a metaphysical supervaluationist approach (as per Barnes and Williams 2011) and a determinable-based approach (as per Wilson 2013 and Calosi and Wilson 2018 and 2021). We briefly describe each approach (S3), then offer arguments in favour of a determinable-based approach to world nature MI in DEQM (S4). (shrink)

Aristotle's syllogistic is extended to include denumerably many quantifiers such as 'more than 2/3' and 'exactly 2/3.' Syntactic and semantic decision procedures determine the validity, or invalidity, of syllogisms with any finite number of premises. One of the syntactic procedures uses a natural deduction account of deducibility, which is sound and complete. The semantics for the system is non-classical since sentences may be assigned a value other than true or false. Results about symmetric systems are given. And reasons are given (...) for claiming that syllogistic validity is relevant validity. (shrink)

John Rawls’ A Theory of Justice allows social facts behind his veil-of-ignorance, thereby lessening the veil’s capacity for neutrality and defense of liberal principles. Rawls assumes social facts are discoverable without presupposed political values. But even if value-neutral social science is possible, real-world opinions, defined by political/social world-views, open the veil to bias since social facts from a non-liberal view may bolster non-liberal programmes. Alternatively, depriving those behind the veil of knowledge of social facts strips them of vital information necessary (...) for creating a just, well-organized society. These reservations do not constitute decisive criticisms but point out unresolved tension in Rawls’ original position, and the veil’s status of neutrality is undermined. (shrink)

Investigations into inter-level relations in computer science, biology and psychology call for an *empirical* turn in the philosophy of mind. Rather than concentrate on *a priori* discussions of inter-level relations between 'completed' sciences, a case is made for the actual study of the way inter-level relations grow out of the developing sciences. Thus, philosophical inquiries will be made more relevant to the sciences, and, more importantly, philosophical accounts of inter-level relations will be testable by confronting them with what really happens (...) in science. Hence, close observation of the ever-changing reduction relations in the developing sciences, and revision of philosophical positions based on these empirical observations, may, in the long run, be more conducive to an adequate understanding of inter-level relations than a traditional *a priori* approach. (shrink)

Tristan Haze claims we have made two mistakes in replying to his two attempted counter-examples to Tracking Theories of Knowledge. Here we respond to his two recent claims that we have made mistakes in our reply. We deny both of his claims.

Fred shows how problems with Slater's restriction of the classical propositional logic can be solved.

A far-reaching and influential view in evolutionary biology claims that species are cohesive units held together by gene flow. Biologists have recognized empirical problems facing this view; after sharpening the expression of the view, we present novel conceptual problems for it. At the heart of these problems is a distinction between two importantly different concepts of cohesion, what we call integrative and response cohesion. Acknowledging the distinction problematizes both the explanandum of species cohesion and the explanans of gene flow that (...) are central to the view we discuss. We conclude by tracing four broader implications for the study and conceptualization of species. (shrink)