The perpetual secretary of the Berlin Academy Johann Heinrich Samuel Formey is best known as a populariser of Christian Wolff’s doctrines. As of Formey’s activity in the Berlin Academy, scholars have mostly emphasized his role in the controversy over monads with Leonhard Euler, while overlooking other interesting contributions Formey presented in the “speculative philosophy” class of the Academy. In this paper, I analyse two articles Formey published in 1747 on the Mémoires de l’Académie (...) de Berlin, namely the Preuves de l’existence de Dieu, ramenées aux notions communes and the Examen de la preuve qu’on tire des fins de la nature, pour établir l’existence de Dieu. In these texts, Formey presents some of Wolff’s methodological and metaphysical ideas, in an implicit dialogue with other members of the Academy – in particular, with the president Pierre-Louis Moreau de Maupertuis – who were also interested in metaphysics and the philosophical method. Formey reworks the Wolffian arguments as to make them more accessible, in order to promote an open confrontation over core philosophical questions. Far from adopting a controversial tone, Formey’s attitude is rather conciliatory: any disagreement, as he thinks, can be easily settled once the true method for philosophizing is made available to everybody. (shrink)

Alsted was a foremost encyclopedist of the early seventeenth century. He provided both a complete presentation of all the subjects of philosophy (of which encyclopedia consisted) and a method to learn them. This method was an original synthesis of the dialectic of Petrus Ramus, the combinatorial art of memory of Raimond Lull and Giordano Bruno, and the method of presentation of philosophical disciplines of Bartholomäus Keckermann. Alsted’s encyclopedism was intended as a remedy to the postlapsarian condition of man and was (...) functional to the pedagogical reform pursued at the Academy of Herborn; this was, in turn, an essential part of the Calvinist state reform of the county of Nassau-Dillenburg. In theology, the importance of Alsted consists of having introduced millenarianism in the Reformed Europe, though his early, optimistic views on the imminent end of the world would change to pessimistic as a consequence of the Thirty Years’ War. (shrink)

Some early modern scholars believed that Scripture provided more certain knowledge than all secular authorities – even Aristotle – or investigating nature as such. In this paper, I analyse one such attempt to establish the most reliable knowledge of nature: the so-called Mosaic physics proposed by the Reformed encyclopaedist Johann Heinrich Alsted. Although in his early works on Physica Mosaica Alsted declares that his primary aim is proving the harmony that exists between various traditions of natural philosophy, namely (...) between the Mosaic and the Peripatetic approaches, and despite the fact that his biblical encyclopaedia of 1625 was intended to be based on a literal reading of the Bible, he never truly abandoned the Aristotelian framework of physics. What is more, in his mature encyclopaedia of 1630, he eventually openly preferred Aristotle to other natural-philosophical traditions. I argue, therefore, that Alsted’s bold vision of Mosaic physics remained unfulfilled and should be assessed as an unsuccessful project of early modern natural philosophy. (shrink)

Th e lecture elucidates and compares Johannes Volkelt’s and Heinrich Rickert’s positions on the problem of metaphysics. It comes to a reference of views representative of the metaphysical approach of early neo-Kantian Johannes Volkelt to representative of Baden School of late New-Kantian, Heinrich Rickert. In the lecture I would like to make the reconstruction and the analysis of philosophies of Volkelt and Rickert in the context of the problem of metaphysics. Th e object is the content, premises and (...) consequences of their philosophy in comparison to New-Kantian and other philosophy. Th e basis for the reconstruction is their expressions in their various writings. Th e purpose is the analysis of the transformation of western metaphysics and their infl uence on the contemporary thinking about the world. (shrink)

Review of two recent works on J.G.H. Feder: -/- Johann Georg Heinrich Feder. Ausgewählte Schriften. Hrgb. Von Hans-Peter Nowitzki, Udo Roth, Gideon Stiening. Berlin/Boston: De Gruyter, 2018. Werkprofile Band 9. -/- and -/- Johann Georg Heinrich Feder (1740-1821): Empirismus und Popularphilosophie Zwischen Wolff und Kant. Hrgb. Von Hans-Peter Nowitzki, Udo Roth, Gideon Stiening. Berlin/Boston: De Gruyter, 2018. Werkprofile Band 10.

The paper deals with the work Philosophia Sacra: Or The Principles of Natural Philosophy. Extracted from Divine Revelation, published in 1753 by the relatively unknown English clergyman Samuel Pike (circa 1717 – 1773). This work falls within the tradition of the so-called Mosaic physics, a specific Early Modern endeavor to build natural philosophy based on a literal reading of the Holy Scriptures, particularly the first chapters of the book of Genesis attributed to Moses – hence the term “Mosaic.” For (...) this reason, at the beginning of the paper, the author seeks to introduce the fundamental ideas of this movement as expressed by its key proponents, namely L. Daneau, O. Casmann, and K. Aslakssøn. In the subsequent analysis of Pike’s natural-philosophical conception, the author highlights its specific features, including obvious Newtonian influences on the one hand (Pike’s work was written about a century and a half later than the texts of the ‘founding fathers’ of Mosaic physics and must have been influenced by the contemporary discourse). On the other hand, Pike’s work exhibits strong, albeit implicit, similarities with the ideas of J. A. Comenius, another thinker associated with Early Modern Mosaic physics (and often considered its most significant representative, which are explored in the concluding part of the text. It can be said that Pike’s work appears as a remarkable and highly original culmination of the Mosaic natural philosophy tradition, combining a range of seemingly unexpected, if not outright contradictory, motifs. (shrink)

In the autumn of 1667, the young Leibniz published a «new method» for the science of law. Producing a revised edition of that early work was to become his lifelong project, to the purpose of which he wrote, in the 1690s, a succession of new versions of most of its sections. The main reason for this enduring interest was probably the fact that the juridical part of the treatise was preceded with a more general one, encapsulating in a few pages (...) a systematic overview of the disciplines composing the baroque encyclopaedia, after the model of Johann Heinrich Alsted’s monumental Encyclopaedia septem tomis distincta. If Leibniz still depended on Alsted’s notion of philosophy as the «circle of disciplines», he deeply transformed that pre-Cartesian conception of knowledge by two decisive innovations: following Bacon, he defines each branch of demonstrative science as bearing on one single «quality», abstracted from the subjects in which it inheres; yet, contrary to Bacon, he no longer conceives of these qualities as the ultimate components of reality, but as those of our experience of it, marking the limit of the explanatory capacity of language. (shrink)

Cette contribution propose une analyse comparée de la manière dont Bernard de Fontenelle, pour l’Académie des sciences de Paris, et Samuel Formey, pour l’Académie des sciences et des belles-lettres de Berlin, théorisent le rôle et le mode de fonctionnement des académies, ainsi que leur inscription dans la catégorie générale d’histoire de l’esprit humain. Cela permet de montrer comment leur fonction épistémologique est en étroite relation avec le statut politique qui leur est conféré.

Cette contribution propose une analyse comparée de la manière dont Bernard de Fontenelle, pour l’Académie des sciences de Paris, et Samuel Formey, pour l’Académie des sciences et des belles-lettres de Berlin, théorisent le rôle et le mode de fonctionnement des académies, ainsi que leur inscription dans la catégorie générale d’histoire de l’esprit humain. Cela permet de montrer comment leur fonction épistémologique est en étroite relation avec le statut politique qui leur est conféré.

In July 1759 the French philosopher Andre´ Pierre Le Guay de Prémontval (1716-1764) published in Berlin a diatribe against the excessive and incorrect use of French in the Prussian capital. Far from being a mere guide to linguistic style, the Préservatif contre la corruption de la langue françoise generated a heated debate, attested by an official threat to ban its publication. The personal animosity between Prémontval and the perpetual secretary of the Berlin Academy, Jean Henri Samuel Formey (1711-1797) (...) was amply demonstrated over the pages of the Préservatif, offering a rare insight into the complex web of social and intellectual tensions in mid eighteenth-century Berlin and its Academy of Sciences. At stake were the social status and the philosophical outlook of local Huguenots, compared to that of French philosophers who were granted asylum in Prussia by Frederick II. The debate also concerned the issues of academic freedom in an absolutist regime, the material production and distribution of texts, conduct and etiquette in the Republic of Letters and the formation of group identities in eighteenth-century Germany. Drawing on manuscripts preserved in Berlin, Göttingen and Krakow, this article traces the development of the controversy and the reception of Prémontval’s work by both French- and German- writing authors at the Berlin Academy and beyond its confines. (shrink)

This article explains Kant’s claim that sciences must take, at least as their ideal, the form of a ‘system’. I argue that Kant’s notion of systematicity can be understood against the background of de Jong & Betti’s Classical Model of Science (2010) and the writings of Georg Friedrich Meier and Johann Heinrich Lambert. According to my interpretation, Meier, Lambert, and Kant accepted an axiomatic idea of science, articulated by the Classical Model, which elucidates their conceptions of systematicity. I (...) show that Kant’s critique of the mathematical method is compatible with his adherence to this axiomatic conception of science. I further show that systematicity furthers traditionally accepted logical ideals of scientific knowledge, which explains why Meier and Kant think that sciences must be ‘systematic’. (shrink)

Over the past decades a number of scholars have identified Johann Heinrich Bisterfeld as one of the most decisive early influences on Leibniz. In particular, the impressive similarity between their conceptions of universal harmony has been stressed. Since the issue of relations is at the heart of both Bisterfeld and Leibniz’s doctrines of universal harmony, the extent of the similarity between their doctrines will depend, however, on Bisterfeld and Leibniz’s respective theories of relations, and especially on their ontologies (...) of relations. This paper attempts to determine in more detail whether Bisterfeld’s ontology of relations contains at least the germ of the defining features of the ontology of relations later developed by Leibniz. It comes to the conclusion that, although Bisterfeld’s theory of relations is not as fully developed and explicit as that of Leibniz, it does contain all the key “ingredients” of it. (shrink)

A particularly promising trail on the search for forgotten logic diagrams leads to Upper Lusatia in the 17th century, more precisely to Christian Weise and his students. Samuel Grosser, who later became rector in Görlitz, and Johann Christian Lange, who later became professor of logic at the University of Gießen, are the most prominent to have published remarkable logic diagrams. Even more remarkable, however, is the fact that Lange's interest in these diagrams ultimately gave rise to the idea (...) of building a logic machine. (shrink)

Die Psychologie hat sich im zweiten Viertel des 19. Jahrhunderts langsam zu einer autonomen Disziplin entwickelt. Im Unterschied zu den anderen Figuren in dieser Entwicklung, Johann Friedrich Herbart, Ernst Heinrich Weber und Gustav Theodor Fechner, hat Lotze in seiner Medicinische Psychologie (1852) von Anfang an die neue Disziplin, die Psychologie, konsequent in enger Verbindung mit der Philosophie entwickelt. Damit hat er die Hoffnung gebremst, die Psychologie völlig experimentellen Untersuchungen zu überlassen, die um diese Zeit schon viele gepflegt haben. (...) Lotze scheute sich jedoch, diese Disziplin „philosophische Psychologie“ zu benennen. Sie war für ihn nur physiologische Psychologie, herausarbeitet mit Hilfe der Philosophie. Sie stellt nur Tatsachen fest, untersucht wie Körper und Seele sich zueinander verhalten und dies nicht nur empirisch, sondern auch „metaphysisch“. (shrink)

Hearing has traditionally been regarded as the second sense--as somehow less rational and less modern than the first sense, sight. Reason and Resonance explodes this myth by reconstructing the process through which the ear came to play a central role in modern culture and rationality. For the past four hundred years, hearing has been understood as involving the sympathetic resonance between the vibrating air and various parts of the inner ear. But the emergence of resonance as the centerpiece of modern (...) aurality also coincides with the triumph of a new type of epistemology in which the absence of resonance is the very condition of thought. Our mind's relationship to the world is said to rest on distance or, as the very synonym for reason suggests, reflection. Reason and Resonance traces the genealogy of this "intimate animosity" between reason and resonance through a series of interrelated case studies involving a varied cast of otologists, philosophers, physiologists, pamphleteers, and music theorists. Among them are the seventeenth-century architect-zoologist Claude Perrault, who refuted Cartesianism in a book on sound and hearing; the Sturm und Drang poet Wilhelm Heinse and his friend the anatomist Samuel Sömmerring, who believed the ventricular fluid to be the interface between the soul and the auditory nerve; the renowned physiologist Johannes Müller, who invented the concept of "sense energies"; and Müller's most important student, Hermann von Helmholtz, author of the magisterial Sensations of Tone. Erlman also discusses key twentieth-century thinkers of aurality, including Ernst Mach; the communications engineer and proponent of the first nonresonant wave theory of hearing, Georg von Békésy; political activist and philosopher Günther Anders; and Martin Heidegger. (shrink)

Sažetak Da postoji neka malena recenzija čuvene „Kritike čistoga uma“, na koju se Kant osjećao primoran tako odgovoriti da se od početka do kraja svojih „Prolegomena za svaku buduću metafiziku“ stalno s njome razračunava, moglo bi biti poznato boljiim poznavaocima Kantovih spisa, no bit će manje poznato da je ta recenzija – Göttingenska recenzija – ujedno dala povoda da se Kant javno postavi nasuprot onodobnoj filozofiji s kojom je njegova u više važnih pogleda bila srodna, naime škotskoj filozofiji zdravoga razuma. (...) U ovome se članku istražuje u kojem se kontekstu to suočenje odvijalo. -/- Zusammenfassung Dass es eine kleine Recension der berühmten „Kritik der reinen Vernunft“ gibt, auf die Kant sich genötigt fühlte, so zu antworten, dass er seine „Prolegomena zu einer jeden künftigen Metaphysik“ hindurch stetig mit ihr auseinandersetzt, könnte den besseren Kennern der kantischen Schriften bekannt sein, aber dass diese Recension – die Göttinger Recension – zugleich veranlasst hatte, dass Kant sich der damaligen Philosophie, mit der die seinige in mehreren wichtigen Hinsichten verwandt ist, nämlich der schottischen Philosophie des Common-Sense, öffentlich gegenüberstellte, ist vielleicht weniger bekannt. In dieser Aufsatz wird untersucht, in welchem Kontext es geschah. (shrink)

Actors, undercover investigators, and readers of fiction sometimes report “losing themselves” in the characters they imitate or read about. They speak of “taking on” or “assuming” the beliefs, thoughts, and feelings of someone else. I offer an account of this strange but familiar phenomenon—what I call imaginative transportation.

Are the real numbers rich enough to measure intelligence? We generalize a result of Alexander and Hutter about the so-called Legg-Hutter intelligence measures of reinforcement learning agents. Using the generalized result, we exhibit a paradox: in one particular version of the Legg-Hutter intelligence measure, certain agents all have intelligence 0, even though in a certain sense some of them outperform others. We show that this paradox disappears if we vary the Legg-Hutter intelligence measure to be hyperreal-valued rather than real-valued.

Samuel Kerstein’s recent (2013) How To Treat Persons is an ambitious attempt to develop a new, broadly Kantian account of what it is to treat others as mere means and what it means to act in accordance with others’ dignity. His project is explicitly nonfoundationalist: his interpretation stands or falls on its ability to accommodate our pretheoretic intuitions, and he does an admirable job of handling carefully a range of well fleshed out and sometimes subtle examples. In what follows, (...) I shall give a quick summary of the chapters and then say two good things about the book and one critical thing. (shrink)

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

According to many philosophers, rationality is, at least in part, a matter of one’s attitudes cohering with one another. Theorists who endorse this idea have devoted much attention to formulating various coherence requirements. Surprisingly, they have said very little about what it takes for a set of attitudes to be coherent in general. We articulate and defend a general account on which a set of attitudes is coherent just in case and because it is logically possible for the attitudes to (...) be jointly satisfied in the sense of jointly fitting the world. In addition, we show how the account can help adjudicate debates about how to formulate various rational requirements. (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)

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)

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)

Can an agent's intelligence level be negative? We extend the Legg-Hutter agent-environment framework to include punishments and argue for an affirmative answer to that question. We show that if the background encodings and Universal Turing Machine (UTM) admit certain Kolmogorov complexity symmetries, then the resulting Legg-Hutter intelligence measure is symmetric about the origin. In particular, this implies reward-ignoring agents have Legg-Hutter intelligence 0 according to such UTMs.

In Metaphysics Λ, Aristotle appeals to the prime mover: an unmoved mover that is the first moving cause of the world. Elsewhere, he calls the science concerned with the prime mover ‘theology’ (Meta. E.1, 1026a19). But what is the point of this science? On a common view, its purpose is to give an account of the prime mover itself, and especially to prove its existence. By contrast, I argue that Aristotle’s theology in Metaphysics Λ is ‘nature-bound’: it ultimately aims at (...) explaining facts about the perceptible world, in particular the motion of heavenly bodies and the cycle of generation of perishable substances. (shrink)

In 2011, Hibbard suggested an intelligence measure for agents who compete in an adversarial sequence prediction game. We argue that Hibbard’s idea should actually be considered as two separate ideas: first, that the intelligence of such agents can be measured based on the growth rates of the runtimes of the competitors that they defeat; and second, one specific (somewhat arbitrary) method for measuring said growth rates. Whereas Hibbard’s intelligence measure is based on the latter growth-rate-measuring method, we survey other methods (...) for measuring function growth rates, and exhibit the resulting Hibbard-like intelligence measures and taxonomies. Of particular interest, we obtain intelligence taxonomies based on Big-O and Big-Theta notation systems, which taxonomies are novel in that they challenge conventional notions of what an intelligence measure should look like. We discuss how intelligence measurement of sequence predictors can indirectly serve as intelligence measurement for agents with Artificial General Intelligence (AGIs). (shrink)

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.

According to Rescher, luck is chancy, but constitution is not, and so constitutive luck is a contradiction in terms. In this paper, I look at two recent attempts to controvert this argument. According to the first, constitution is not chancy, but neither is moral luck, because moral luck is not a species of luck. According to the second, moral luck is chancy, but constitution is too, because the comparative class is not the agent herself but rather the population at large. (...) I argue that neither of these attempts is successful. I begin by explaining the importance of constitutiveluck. (shrink)

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

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 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)

Philosophical work in the ethics of thought focuses heavily on the ethics of belief, with, in recent years, a particular emphasis on the ways in which we might wrong other people either through our beliefs about them, or our failure to believe what they tell us. Yet in our own lives we often want not merely to be believed, but rather to be understood by others. What does it take to understand another person? In this paper, I provide an account (...) of interpersonal understanding that speaks to this widespread human desire to be understood by others. On the view I defend, to be understood by another person is for them to see our motivating reasons as justifying reasons, whether or not they actually take our reasons to have that normative force. I then provide an explanation of why such understanding is valuable in our lives, which emphasizes how being understood by another person is a way of being more fully with them. (shrink)

We sometimes fail unwittingly to do things that we ought to do. And we are, from time to time, culpable for these unwitting omissions. We provide an outline of a theory of responsibility for unwitting omissions. We emphasize two distinctive ideas: (i) many unwitting omissions can be understood as failures of appropriate vigilance, and; (ii) the sort of self-control implicated in these failures of appropriate vigilance is valuable. We argue that the norms that govern vigilance and the value of self-control (...) explain culpability for unwitting omissions. (shrink)

Super-Humeans argue that the most parsimonious ontology of the natural world compatible with our best physical theories consists exclusively of particles and the distance relations between them. This paper argues by contrast that Super-Humean reduction goes insufficiently far, by showing there to be a more parsimonious ontology compatible with physics: Ultimate-Humeanism. This novel view posits an ontology consisting solely of the particles and distance relations required for the existence of a single brain. Super-Humeans impose conditions on what counts as an (...) ontology of the natural world to avoid their view slipping into this kind of ontology, but these conditions are arbitrarily imposed and once this is exposed, Super-Humeans face a dilemma. Either they can embrace Ultimate-Humeanism as the minimal ontology of the natural world compatible with physics, or (more likely) they can rethink the methodology that got them there. Overall, this paper argues that Super-Humeanism currently lacks principled motivation, outlines a framework for naturalistic ontological reductions, and exposes the consequences of unchecked adherence to a simplicity-driven methodology. (shrink)

This paper concerns the grounds of nonground: what it is in virtue of that facts of the form [F1 does not ground F2] hold. While the literature on iterated ground is expansive, there is comparatively little written on the grounds of nonground. I argue that nonground is grounded in distinctness from ground. If F1 does not ground F2, then [F1 does not ground F2] is grounded in the fact that F1 is distinct from that which does ground F2. While this (...) proposal strikes me as natural, it faces puzzles involving conjunction, contingency, and cardinality. The bulk of this paper explores how the view might be precisified, and how these puzzles might be resolved. (shrink)

This article examines two questions about scientists’ search for knowledge. First, which search strategies generate discoveries effectively? Second, is it advantageous to diversify search strategies? We argue pace Weisberg and Muldoon, “Epistemic Landscapes and the Division of Cognitive Labor”, that, on the first question, a search strategy that deliberately seeks novel research approaches need not be optimal. On the second question, we argue they have not shown epistemic reasons exist for the division of cognitive labor, identifying the errors that led (...) to their conclusions. Furthermore, we generalize the epistemic landscape model, showing that one should be skeptical about the benefits of social learning in epistemically complex environments. (shrink)

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

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.

Judgments of blame for others are typically sensitive to what an agent knows and desires. However, when people act negligently, they do not know what they are doing and do not desire the outcomes of their negligence. How, then, do people attribute blame for negligent wrongdoing? We propose that people attribute blame for negligent wrongdoing based on perceived mental control, or the degree to which an agent guides their thoughts and attention over time. To acquire information about others’ mental control, (...) people self-project their own perceived mental control to anchor third-personal judgments about mental control and concomitant responsibility for negligent wrongdoing. In four experiments (N = 841), we tested whether perceptions of mental control drive third-personal judgments of blame for negligent wrongdoing. Study 1 showed that the ease with which people can counterfactually imagine an individual being non-negligent mediated the relationship between judgments of control and blame. Studies 2a and 2b indicated that perceived mental control has a strong effect on judgments of blame for negligent wrongdoing and that first-personal judgments of mental control are moderately correlated with third-personal judgments of blame for negligent wrongdoing. Finally, we used an autobiographical memory manipulation in Study 3 to make personal episodes of forgetfulness salient. Participants for whom past personal episodes of forgetfulness were made salient judged negligent wrongdoers less harshly compared to a control group for whom past episodes of negligence were not salient. Collectively, these findings suggest that first-personal judgments of mental control drive third-personal judgments of blame for negligent wrongdoing and indicate a novel role for counterfactual thinking in the attribution of responsibility. (shrink)

Fragmentalism was originally introduced as a new A-theory of time. It was further refined and discussed, and different developments of the original insight have been proposed. In a celebrated paper, Jonathan Simon contends that fragmentalism delivers a new realist account of the quantum state—which he calls conservative realism—according to which: the quantum state is a complete description of a physical system, the quantum state is grounded in its terms, and the superposition terms are themselves grounded in local goings-on about the (...) system in question. We will argue that fragmentalism, at least along the lines proposed by Simon, does not offer a new, satisfactory realistic account of the quantum state. This raises the question about whether there are some other viable forms of quantum fragmentalism. (shrink)

Much attention has been paid to moral understanding as an individual achievement, when a single agent gains insight into distinctly moral matters. Crucially overlooked, I argue, is the phenomenon of shared moral understanding, when you and I understand moral matters together, in a way that can’t be reduced to each of us having moral understanding on our own. My argument pays close attention to two central moral practices: justifying our actions to others, and apologizing for wrongdoing. I argue that, whenever (...) I owe you a justification or an apology, I thereby owe it to you to aim at our coming to a shared moral understanding. My argument has two upshots. The first is a novel explanation of the importance of moral understanding in our lives, one that emphasizes the importance of understanding moral reasons together. The second is a better understanding of the very obligations involved in two of our most central interpersonal moral practices. (shrink)

Huettig and Christiansen in an earlier issue argue that large language models (LLMs) are beneficial to address declining cognitive skills, such as literacy, through combating imbalances in educational equity. However, we warn that this technosolutionism may be the wrong frame. LLMs are labor intensive, are economically infeasible, and pollute the environment, and these properties may outweigh any proposed benefits. For example, poor quality air directly harms human cognition, and thus has compounding effects on educators' and pupils' ability to teach and (...) learn. We urge extreme caution in facilitating the use of LLMs, which like much of modern academia run on private technology sector infrastructure, in classrooms lest we further normalize: pupils losing their right to privacy and security, reducing human contact between learner and educator, deskilling teachers, and polluting the environment. Cognitive scientists instead can learn from past mistakes with the petrochemical and tobacco industries and consider the harms to cognition from LLMs. (shrink)

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)

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)

Some normative theories are self-defeating. They tell us to respond to our situations in ways that bring about outcomes that are bad, given the aims of the theories, and which could have been avoided. Across a wide range of debates in ethics, decision theory, political philosophy, and formal epistemology, many philosophers treat the fact that a normative theory is self-defeating as sufficient grounds for rejecting it. I argue that this widespread and consequential assumption is false. In particular, I argue that (...) a theory can be self-defeating and still internally consistent, action-guiding, and suitable as a standard for criticism. (shrink)

My primary target in this paper is a puzzle that emerges from the conjunction of several seemingly innocent assumptions in action theory and the metaphysics of moral responsibility. The puzzle I have in mind is this. On one widely held account of moral responsibility, an agent is morally responsible only for those actions or outcomes over which that agent exercises control. Recently, however, some have cited cases where agents appear to be morally responsible without exercising any control. This leads some (...) to abandon the control-based account of responsibility and replace it with an alternative account. It leads others to deny the intuition that agents are responsible in these troublesome cases. After outlining the account of moral responsibility I have in mind, I look at some of the arguments made against the viability of this theory. I show that there are conceptual resources for salvaging the control account, focusing in particular on the nature of vigilance. I also argue that there is empirical data that supports the control account so conceived. (shrink)