Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

We construct a machine that knows its own code, at the price of not knowing its own factivity.

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result (...) involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

Reinhardt’s conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.

The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.

Excerpt from Spinoza and Time The Arthur Davis Memorial Lecture was founded in 1917, under the auspices of the Jewish Historical Society of England, by his collaborators in the translation of "The Service of the Synagogue," with the object of fostering Hebraic thought and learning in honour of an unworldly scholar. The Lecture is to be given annually in the anniversary week of his death, and the lectureship is to be open to men or women of any race or creed, (...) who are to have absolute liberty in the treatment of their subject. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

Recognized as one of the earliest Jewish neo-Platonist writers, Isaac ben Solomon Israeli influenced Muslim, Jewish, and Christian scholars through the Middle Ages. A native of Egypt who wrote in Arabic, Israeli explored definitions of such terms as imagination, sense-perception, desire, love, creation, and “coming-to-be” in his writings. This classic volume contains English translations of Israeli’s philosophical writings, including the _Book of Definitions_, the _Book of Substances,_ and the _Book on Spirit and Soul_. Additionally, _Isaac Israeli_ features a biographical sketch (...) of the philosopher and extensive notes and comments on the texts, as well as a survey and appraisal of his philosophy. Restored to print for the first time in decades, _Isaac Israeli _will be essential reading for students and scholars of medieval philosophy and Jewish studies. (shrink)

We present a game mechanic called pseudo-visibility for games inhabited by non-player characters (NPCs) driven by reinforcement learning (RL). NPCs are incentivized to pretend they cannot see pseudo-visible players: the training environment simulates an NPC to determine how the NPC would act if the pseudo-visible player were invisible, and penalizes the NPC for acting differently. NPCs are thereby trained to selectively ignore pseudo-visible players, except when they judge that the reaction penalty is an acceptable tradeoff (e.g., a guard might accept (...) the penalty in order to protect a treasure because losing the treasure would hurt even more). We describe an RL agent transformation which allows RL agents that would not otherwise do so to perform some limited self-reflection to learn the training environments in question. (shrink)

Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: “Not without outside help”. This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species, the Knight-Darwin Law states that it is impossible for one organism to asexually produce another, which asexually produces another, and (...) so on forever: that any sequence of organisms (each one a child of the previous) must contain occasional multi-parent organisms, or must terminate. By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, we argue that a similar Law holds for AGIs. (shrink)

Legg and Hutter, as well as subsequent authors, considered intelligent agents through the lens of interaction with reward-giving environments, attempting to assign numeric intelligence measures to such agents, with the guiding principle that a more intelligent agent should gain higher rewards from environments in some aggregate sense. In this paper, we consider a related question: rather than measure numeric intelligence of one Legg- Hutter agent, how can we compare the relative intelligence of two Legg-Hutter agents? We propose an elegant answer (...) based on the following insight: we can view Legg-Hutter agents as candidates in an election, whose voters are environments, letting each environment vote (via its rewards) which agent (if either) is more intelligent. This leads to an abstract family of comparators simple enough that we can prove some structural theorems about them. It is an open question whether these structural theorems apply to more practical intelligence measures. (shrink)

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...) of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

After generalizing the Archimedean property of real numbers in such a way as to make it adaptable to non-numeric structures, we demonstrate that the real numbers cannot be used to accurately measure non-Archimedean structures. We argue that, since an agent with Artificial General Intelligence (AGI) should have no problem engaging in tasks that inherently involve non-Archimedean rewards, and since traditional reinforcement learning rewards are real numbers, therefore traditional reinforcement learning probably will not lead to AGI. We indicate two possible ways (...) traditional reinforcement learning could be altered to remove this roadblock. (shrink)

We provide an intuitive motivation for the hyperreal numbers via electoral axioms. We do so in the form of a Socratic dialogue, in which Protagoras suggests replacing big-oh complexity classes by real numbers, and Socrates asks some troubling questions about what would happen if one tried to do that. The dialogue is followed by an appendix containing additional commentary and a more formal proof.

Do we live in a computer simulation? I will present an argument that the results of a certain experiment constitute empirical evidence that we do not live in, at least, one type of simulation. The type of simulation ruled out is very specific. Perhaps that is the price one must pay to make any kind of Popperian progress.

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic (...) to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, Knuth (...) and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

Inspired by recent progress in multi-agent Reinforcement Learning (RL), in this work we examine the collective intelligent behaviour of theoretical universal agents by introducing a weighted mixture operation. Given a weighted set of agents, their weighted mixture is a new agent whose expected total reward in any environment is the corresponding weighted average of the original agents' expected total rewards in that environment. Thus, if RL agent intelligence is quantified in terms of performance across environments, the weighted mixture's intelligence is (...) the weighted average of the original agents' intelligences. This operation enables various interesting new theorems that shed light on the geometry of RL agent intelligence, namely: results about symmetries, convex agent-sets, and local extrema. We also show that any RL agent intelligence measure based on average performance across environments, subject to certain weak technical conditions, is identical (up to a constant factor) to performance within a single environment dependent on said intelligence measure. (shrink)

The Voluntary Simplicity Movement can be understood broadly as a diverse social movement made up of people who are resisting high consumption lifestyles and who are seeking, in various ways, a lower consumption but higher quality of life alternative. The central argument of this paper is that the Voluntary Simplicity Movement or something like it will almost certainly need to expand, organise, radicalise and politicise, if anything resembling a degrowth society is to emerge in law through democratic processes. In a (...) sentence, that is the 'grass-roots' or 'bottom up' theory of legal and political transformation that will be expounded and defended in this paper. The essential reasoning here is that legal, political and economic structures will never reflect a post-growth ethics of macro-economic sufficiency until a post-consumerist ethics of micro-economic sufficiency is embraced and mainstreamed at the cultural level. (shrink)

I present an argument that for any computer-simulated civilization we design, the mathematical knowledge recorded by that civilization has one of two limitations. It is untrustworthy, or it is weaker than our own mathematical knowledge. This is paradoxical because it seems that nothing prevents us from building in all sorts of advantages for the inhabitants of said simulation.

A variation of Fitch’s paradox is given, where no special rules of inference are assumed, only axioms. These axioms follow from the familiar assumptions which involve rules of inference. We show (by constructing a model) that by allowing that possibly the knower doesn’t know his own soundness (while still requiring he be sound), Fitch’s paradox is avoided. Provided one is willing to admit that sound knowers may be ignorant of their own soundness, this might offer a way out of the (...) paradox. (shrink)

In their thought-provoking paper, Legg and Hutter consider a certain abstrac- tion of an intelligent agent, and define a universal intelligence measure, which assigns every such agent a numerical intelligence rating. We will briefly summarize Legg and Hutter’s paper, and then give a tongue-in-cheek argument that if one’s goal is to become more intelligent by cultivating music appreciation, then it is bet- ter to use classical music (such as Bach, Mozart, and Beethoven) than to use more recent pop music. The (...) same argument could be adapted to other media: books beat films, card games beat first-person shooters, parables beat dissertations, etc. We leave it to the reader to decide whether this argument tells us something about classical music, something about Legg-Hutter intelligence, or something about both. (shrink)

Can you find an xy-equation that, when graphed, writes itself on the plane? This idea became internet-famous when a Wikipedia article on Tupper’s self-referential formula went viral in 2012. Under scrutiny, the question has two flaws: it is meaningless (it depends on fonts) and it is trivial. We fix these flaws by formalizing the problem.

In his dissertation, Wadge defined a notion of guessability on subsets of the Baire space and gave two characterizations of guessable sets. A set is guessable if and only if it is in the second ambiguous class, if and only if it is eventually annihilated by a certain remainder. We simplify this remainder and give a new proof of the latter equivalence. We then introduce a notion of guessing with an ordinal limit on how often one can change one’s mind. (...) We show that for every ordinal $\alpha$, a guessable set is annihilated by $\alpha$ applications of the simplified remainder if and only if it is guessable with fewer than $\alpha$ mind changes. We use guessability with fewer than $\alpha$ mind changes to give a semi-characterization of the Hausdorff difference hierarchy, and indicate how Wadge’s notion of guessability can be generalized to higher-order guessability, providing characterizations of ${\mathbf{\Delta}}^{0}_{\alpha}$ for all successor ordinals $\alpha\gt 1$. (shrink)

A suprise may occur if we use a similar strategy to the Liar's paradox to mathematically formalize "This sentence does not contain the symbol X".

A biologically unavoidable sequence is an infinite gender sequence which occurs in every gendered, infinite genealogical network satisfying certain tame conditions. We show that every eventually periodic sequence is biologically unavoidable (this generalizes König's Lemma), and we exhibit some biologically avoidable sequences. Finally we give an application of unavoidable sequences to cellular automata.

We extend first-order logic to include variadic function symbols, and prove a substitution lemma. Two applications are given: one to bounded quantifier elimination and one to the definability of certain Borel sets.

Fitch's Paradox and the Paradox of the Knower both make use of the Factivity Principle. The latter also makes use of a second principle, namely the Knowledge-of-Factivity Principle. Both the principle of factivity and the knowledge thereof have been the subject of various discussions, often in conjunction with a third principle known as Closure. In this paper, we examine the well-known Surprise Examination paradox considering both the principles on which this paradox rests and some formal characterisations of the surprise notion, (...) crucial in this paradox. Standard formalizations of the Surprise Examination paradox in modal logic do not seem, at first glance, to depend on either factivity or knowledge-of-factivity, but we will argue that both factivity and knowledge-of-factivity play a key implicit role in the paradox. Namely, they are implicitly, perhaps unintentionally, used in order to simplify the definition of surprise. We analyze modal logical formalizations of three versions of the paradox concluding that the Surprise Examination paradox is the result of two flaws: the assumption of knowledge-of-factivity, and the over-simplification of the definition of "surprise" accordingly. By fixing these two flaws, the Surprise Examination paradox vanishes. (shrink)

Despite the growing importance of ‘social value’ as a central feature of research ethics, the term remains both conceptually vague and to a certain extent operationally rigid. And yet, perhaps because the rhetorical appeal of social value appears immediate and self-evident, the concept has not been put to rigorous investigation in terms of its definition, strength, function, and scope. In this article, we discuss how the anthropological concept of liminality can illuminate social value and differentiate and reconfigure its variegated approaches. (...) Employing liminality as a heuristic encourages a reassessment of how we understand the mobilization of ‘social value’ in bioethics. We argue that social value as seen through the lens of liminality can provide greater clarity of its function and scope for health research. Building on calls to understand social value as a dynamic, rather than a static, concept, we emphasize the need to appraise social value iteratively throughout the entire research as something that transforms over multiple times and across multiple spaces occupied by a range of actors. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Political Identity of the Philosopher:Resistance, Relative Power, and the Endurance of PotentialSamuel McCormickThe troublemaker is precisely the one who tries to force sovereign power to translate itself into actuality.—Giorgio AgambenBeyond the Straussian Practice of "Philosophic Politics"In the second half of the 1920s, Bertolt Brecht began a series of short stories about a "thinking man" named Mr. Keuner. Among the first stories he published was "Measures Against Power" ("Maßnahmen (...) gegen die Gewalt"), the opening passage of which provides the subject of this essay:As Mr. Keuner, the thinking man [Denkende], was speaking out against power in front of a large audience in a hall, he noticed the people in front of him shrinking back and leaving. He looked around and saw standing behind him—Power [Gewalt]."What were you saying," Power asked him."I was speaking out in favor of Power," replied Mr. Keuner. [End Page 72]After Mr. Keuner had left the hall, his students inquired about his backbone [Rückgrat]. Mr. Keuner replied: "I don't have a backbone to be broken. I'm the one who has to live longer than Power [Gerade ich muß länger leben als die Gewalt]."(2001, 3)How are we to understand the political activity of this "thinking man"? Clearly, Mr. Keuner is no Cynic. Unlike Diogenes, who famously ordered Alexander the Great to step out of the way and then openly rebuked his authority as king, Mr. Keuner refuses to play the part of the parrhesiastes.1 His political activity more closely resembles that of a Stoic philosopher. Consider, for instance, the way his reply to Power echoes that of Seneca the Younger: "It seems to me erroneous to believe that those who have loyally dedicated themselves to philosophy are stubborn and rebellious, scorners of magistrates or kings or of those who control the administration of public affairs. For, on the contrary, no class of man is so popular with the philosopher as the ruler is" (Ep. 73.1–2 [1920, 105]).Given this attitude toward the powers that be, we might also figure Mr. Keuner's conduct in terms of the Straussian practice of "philosophic politics." For Leo Strauss, one of the most striking, and sometimes strident, twentieth-century scholars to consider the political identity of the philosopher, philosophic politics consists in "satisfying the city that the philosophers are not atheists, that they do not desecrate everything sacred to the city, that they reverence what the city reverences, that they are not subversives, in short, that they are not irresponsible adventurers but good citizens and even the best of citizens." This is the defense of philosophy that is required "always and everywhere," Strauss concludes, regardless of what the dominant political order might be (1991, 205–6).Although he is certainly willing to appease Power, Mr. Keuner differs from Strauss's philosophic politician in three fundamental ways, each of which suggests that a closer examination of his speech and action is in order. First, the Straussian practice of philosophic politics does not consist in advocating for political or social change but in defending the discipline of philosophy. For Strauss, "there is no necessary connection between the philosopher's indispensible philosophic politics and the efforts which he might or might not make to contribute toward the establishment of the best regime" (1991, 205). For Mr. Keuner, however, the discipline of philosophy—and with it his identity as a "thinking man"—is neither in need of defense nor distinct from his political activity but, instead, available for use as a persuasive resource in his interaction with Power. How he [End Page 73] avails himself of the tropes and topoi of philosophical inquiry can only be determined by examining his conduct closely.Second, the proper site of philosophic politics is not the political activity of "thinking" men and women but their philosophical tracts and treatises. Thus, in searching for the "philosophic politics" of Mr. Keuner, Strauss would have us focus not on his interaction with Power but on the writings for which he has come to be known as a "thinking man." As I argue in a recent edition of this journal (2005, 302–3), this... (shrink)

Thomas Samuel Kuhn (1922–1996) is one of the most influential philosophers of science of the twentieth century, perhaps the most influential. His 1962 book The Structure of Scientific Revolutions is one of the most cited academic books of all time. Kuhn’s contribution to the philosophy of science marked not only a break with several key positivist doctrines, but also inaugurated a new style of philosophy of science that brought it closer to the history of science. His account of the (...) development of science held that science enjoys periods of stable growth punctuated by revisionary revolutions. To this thesis, Kuhn added the controversial ‘incommensurability thesis’, that theories from differing periods suffer from certain deep kinds of failure of comparability. (shrink)

In this paper, I argue that Book II, Chapter viii of Locke' Essay is a unified, self-consistent whole, and that the appearance of inconsistency is due largely to anachronistic misreadings and misunderstandings. The key to the distinction between primary and secondary qualities is that the former are, while the latter are not, real properties, i.e., properties that exist in bodies independently of being perceived. Once the distinction is properly understood, it becomes clear that Locke's arguments for it are simple, valid (...) and (in one case) persuasive as well. (shrink)

This article analyses how Rousseau's First Discourse and the questions it posed about human progress and the reform of society were debated in the institutional context of the Berlin Academy by Formey and Herder. Despite some important disagreements, Formey and Herder fundamentally shared Rousseau's assumption that erudition could be detrimental both to society and to the individual. In order to limit the socially corrosive effects of the arts and the sciences, and in an attempt to realize their full beneficent potential, (...) they called for their reform through institutional regulation and management by a meritocracy of scholarly experts. Drawing on Hume, Herder in particular developed a positive role for the modern state as an active agent of enlightenment, provided it not only promoted the arts and sciences but also guaranteed freedom and the rule of law to ensure their flourishing. (shrink)

This essay examines Gloria Anzaldúa’s critical appropriation of two Mexican philosophers in the writing of Borderlands/La Frontera: Samuel Ramos and Octavio Paz. We argue that although neither of these authors is cited in her seminal work, Anzaldúa had them both in mind through the writing process and that their ideas are present in the text itself. Through a genealogical reading of Borderlands/La Frontera, and aided by archival research, we demonstrate how Anzaldúa’s philosophical vision of the “new mestiza” is a (...) critical continuation of the broader tradition known as la filosofía de lo mexicano, which flourished during a golden age of Mexican philosophy (1910–1960). Our aim is to open new directions in Latinx and Latin American philosophy by presenting Anzaldúa’s Borderlands/La Frontera as a profound scholarly encounter with two classic works of Mexican philosophy, Ramos’ Profile of Man and Culture in Mexico and Paz’s The Labyrinth of Solitude. (shrink)

Our paper examines Gloria Anzaldúa’s critical appropriation of Mexican philosophical sources, especially in the writing of Borderlands/La Frontera. We demonstrate how Anzaldúa developed a transnational Philosophy of Mexicanness, effectively contributing to what has been recently characterized as the “multi-generational project to pursue philosophy from and about Mexican circumstances” (Vargas). More specifically, we recover “La Mexicana en la Chicana” by paying careful attention to Anzaldúa’s Mexican sources, both those she explicitly cites and those we have discovered while conducting archival research using (...) the Gloria Evangelina Anzaldúa Papers from the Benson Latin American Collection at the University of Texas at Austin. The three sections of our paper: 1) define the terms Mexican and philosophy in conversation with Anzaldúa’s work, 2) examine the Mexican philosophical sources that Anzaldúa cites in Borderlands/La Frontera, and 3) present the other major Mexican philosophical influences on Anzaldúa that we have found in her archive. The eight Mexican philosophical sources we discuss here include: José Vasconcelos (1882-1959), Miguel León-Portilla (1926-2019), Juana Armanda Alegría (1938- ), Octavio Paz (1914-1998), Samuel Ramos (1897-1959), Rosario Castellanos (1925-1974), Sor Juana Inés de La Cruz (1648-1695), and Jorge Carrión (1913-2005). (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Pragmatism's Evolution: Organism and Environment in American Philosophy by Trevor PearceAlexander KleinTrevor Pearce. Pragmatism's Evolution: Organism and Environment in American Philosophy. Chicago: The University of Chicago Press, 2020. Pp. 384. Paperback, $35.00.Pragmatist pioneers were young lions in the days of Darwin. Evolutionary-biological thinking infused this philosophical movement from the start. And yet the last time a major monograph appeared on classic pragmatism and evolutionary biology—Philip Wiener's Evolution and (...) the Founders of Pragmatism (New York: Harper Torchbooks, 1949)—the author could personally thank Ralph Barton Perry, William James's junior colleague and eventual biographer. John Dewey himself wrote the foreword.Almost seventy-five years later, we have Trevor Pearce's painstakingly researched Pragmatism's Evolution. The author has graduate training in both biology and philosophy and is a former student of William Wimsatt and Robert Richards's (343). The book offers an intricate portrait of how debates about evolutionary biology informed the thinking of a loose-knit group of pragmatists between the years 1860 and 1910. While a remarkable variety of figures are discussed, ten pragmatists command the most attention: Chauncey Wright, C. S. Peirce, Francis Ellingwood Abbot, John Fiske, William James, Josiah Royce, John Dewey, Jane Addams, G. H. Mead, and W. E. B. Du Bois (18). Call them "the American Ten."Without downplaying Darwin, an overarching theme is the special significance of Herbert Spencer. Despite many specific disagreements with him (see e.g. 74, 207–8, 253–54, 281), the American Ten all accepted something more fundamental from Spencer: an intellectual framework that explains mind and morality in terms of functional relationships between organism and environment.After an introduction outlining what Pearce identifies as four chronological "cohorts" of pragmatists (more on this concept below), he examines the 1860s and 1870s reception of Darwin (chapter 1) and Spencer (chapter 2), showing how senior pragmatists like Wright, Peirce, and James defended evolution during this period. In chapter 2, we meet the Metaphysical Club's arch Spencerian, John Fiske, and we get a reading of James's critique of Spencer's psychology and sociology. Chapter 3 gives a highly detailed, reference-work-like portrait of the second cohort's training in evolutionary biology during the 1880s—chiefly Royce, Dewey, Addams, Mead, and Du Bois. In chapter 4, we learn that in the 1880s and 1890s, idealists like Edward Caird, Samuel Alexander, David George Ritchie, and Josiah Royce all co-opted ideas from evolutionary biology, which they apparently thought compatible with Hegelian dialectics. Chapter 5 shows that central planks of Peirce's metaphysics and Dewey's ethics are responsive to an 1890s dispute over the causes of the biological variation upon which selection acts (the so-called "factors" debate). The final two chapters show how pragmatist ethics (chapter 6) and epistemology (chapter 7) were infused with substantive ideas about evolution and about scientific experiment more generally.The depth and use of historical scholarship on offer here are both remarkable. On depth, Pearce draws from nineteen special collections and archives housed at institutions from California to Manchester, UK. The reference list (published on Pearce's website) runs [End Page 160] to 118 pages and was apparently too long for inclusion in the book. Archival research and lengthy bibliographies are to be expected in today's history of philosophy. But the sheer range of sources Pearce draws from is, by any measure, impressive.The use to which he puts those sources is provocative. Close reading, and in particular argument reconstruction, is usually the stock in trade for historians of philosophy. Pearce takes a different approach (7), seeking interpretive insight through a kind of philosophical network analysis. The nodes are mainly philosophers, scientists, and social critics. Unlike digital network analyses, Pearce connects his nodes by hand, via a great multiplicity of social, educational, and intellectual relations. We learn who studied evolution where, with whom, and when; what specific texts were assigned in classes taken, in classes taught; who attacked whom, who sided with whom; and so on.The resulting networks are rich, though they can be difficult to track due to their complexity. At its best, the book uses networks to produce genuine insights that... (shrink)

In this paper, we defend the general thesis that intentions are relevant not only to moral permissibility and impermissibility, but also to criminal wrongdoing, as well as a specific version of the Doctrine of Double Effect that we believe can help solve some challenging puzzles in the criminal law. We begin by answering some recent arguments that marginalize or eliminate the role of intentions as components of criminal wrongdoing [e.g., Alexander and Ferzan, Chiao, Walen ]. We then turn to (...) some influential theories that articulate a direct role for intentions [e.g., Duff, Husak ]. While we endorse the commitment to such a role for intentions, we believe that extant theories have not yet been able to adequately address certain objections or solve certain puzzles, such as that some attempt convictions require criminal intent when the crime attempted, if successful, requires only foresight, and that some intended harms appear to be no more serious than non-intended ones of the same magnitude, for example. Drawing on a variety of resources, including the specific version of the Doctrine of Double Effect we have developed in recent published work, we present solutions to these puzzles, which in turn provide mutual support for our general approach to the role of intentions and for thinking that using others as means is itself a special kind of wrongdoing. (shrink)

This chapter focuses on the ontological nature of the past and our experience of the present in relation to the actual. It is argued that philosophers mistakenly equate the real with the actual. The actual is what is presented to us in experience, but what is presented to us in experience is confined to the present; so one might think that it follows that only the present is real. This presentist theory is subsequently rejected. Past, present and future are real (...) and certain mental acts such as memories of the past and expectations of the future have as their content objects at those times; these objects are just as real as the objects of present experiences. This paves the way for a distinctive brand of eternalism that is defended in the remainder of this chapter. (shrink)

This chapter examines what it means to take time seriously. It begins with an examination of the arguments of Kant and Bradley for the view that time is not an ultimate primitive of reality. Then Bergson’s attempt to take time seriously is criticised. Bergson’s duration fails to capture the content of our concept of time. Space is just as important and it plays a unique role in explaining facts about our concept of time. Thus, in order to take time seriously (...) we need to posit space-time of which space and time are mere aspects. Consequences about the nature of time with respect to theories of motion, temporal progression in the universe, universals and God are also discussed. (shrink)