The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, I prove (...) that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

This is the first of two papers that use off-training set (OTS) error to investigate the assumption-free relationship between learning algorithms. This first paper discusses the senses in which there are no a priori distinctions between learning algorithms. (The second paper discusses the senses in which there are such distinctions.) In this first paper it is shown, loosely speaking, that for any two algorithms A and B, there are “as many” targets (or priors over targets) for which A has lower (...) expected OTS error than B as vice versa, for loss functions like zero-one loss. In particular, this is true if A is cross-validation and B is “anti-cross-validation” (choose the learning algorithm with largest cross-validation error). This paper ends with a discussion of the implications of these results for computational learning theory. It is shown that one cannot say: if empirical misclassification rate is low, the Vapnik-Chervonenkis dimension of your generalizer is small, and the training set is large, then with high probability your OTS error is small. Other implications for “membership queries” algorithms and “punting” algorithms are also discussed. (shrink)

The important recent book by Schurz ( 2019 ) appreciates that the no-free-lunch theorems (NFL) have major implications for the problem of (meta) induction. Here I review the NFL theorems, emphasizing that they do not only concern the case where there is a uniform prior—they prove that there are “as many priors” (loosely speaking) for which any induction algorithm _A_ out-generalizes some induction algorithm _B_ as vice-versa. Importantly though, in addition to the NFL theorems, there are many _free lunch_ theorems. (...) In particular, the NFL theorems can only be used to compare the expected performance of an induction algorithm _A_, considered in isolation, with the expected performance of an induction algorithm _B_, considered in isolation. There is a rich set of free lunches which instead concern the statistical _correlations_ among the generalization errors of induction algorithms. As I describe, the meta-induction algorithms that Schurz advocates as a “solution to Hume’s problem” are simply examples of such a free lunch based on correlations among the generalization errors of induction algorithms. I end by pointing out that the prior that Schurz advocates, which is uniform over bit frequencies rather than bit patterns, is contradicted by thousands of experiments in statistical physics and by the great success of the maximum entropy procedure in inductive inference. (shrink)

The epistemic arrow of time is the fact that our knowledge of the past seems to be both of a different kind and more detailed than our knowledge of the future. Just like with the other arrows of time, it has often been speculated that the epistemic arrow arises due to the second law of thermodynamics. In this paper, we investigate the epistemic arrow of time using a fully formal framework. We begin by defining a memory system as any physical (...) system whose present state can provide information about the state of the external world at some time other than the present. We then identify two types of memory systems in our universe, along with an important special case of the first type, which we distinguish as a third type of memory system. We show that two of these types of memory systems are time-symmetric, able to provide knowledge about both the past and the future. However, the third type of memory systems exploits the second law of thermodynamics, at least in all of its instances in our universe that we are aware of. The result is that in our universe, this type of memory system only ever provides information about the past. We also argue that human memory is of this third type, completing the argument. We end by scrutinizing the basis of the second law itself. This uncovers a previously unappreciated formal problem for common arguments that try to derive the second law from the “Past Hypothesis”, i.e., from the claim that the very early universe was in a state of extremely low entropy. Our analysis is indebted to prior work by one of us but expands and improves upon this work in several respects. (shrink)

We introduce a framework that can be used to model both mathematics and human reasoning about mathematics. This framework involves stochastic mathematical systems (SMSs), which are stochastic processes that generate pairs of questions and associated answers (with no explicit referents). We use the SMS framework to define normative conditions for mathematical reasoning, by defining a “calibration” relation between a pair of SMSs. The first SMS is the human reasoner, and the second is an “oracle” SMS that can be interpreted as (...) deciding whether the question–answer pairs of the reasoner SMS are valid. To ground thinking, we understand the answers to questions given by this oracle to be the answers that would be given by an SMS representing the entire mathematical community in the infinite long run of the process of asking and answering questions. We then introduce a slight extension of SMSs to allow us to model both the physical universe and human reasoning about the physical universe. We then define a slightly different calibration relation appropriate for the case of scientific reasoning. In this case the first SMS represents a human scientist predicting the outcome of future experiments, while the second SMS represents the physical universe in which the scientist is embedded, with the question–answer pairs of that SMS being specifications of the experiments that will occur and the outcome of those experiments, respectively. Next we derive conditions justifying two important patterns of inference in both mathematical and scientific reasoning: (i) the practice of increasing one’s degree of belief in a claim as one observes increasingly many lines of evidence for that claim, and (ii) abduction, the practice of inferring a claim’s probability of being correct from its explanatory power with respect to some other claim that is already taken to hold for independent reasons. (shrink)

In Newcomb’s paradox you can choose to receive either the contents of a particular closed box, or the contents of both that closed box and another one. Before you choose though, an antagonist uses a prediction algorithm to accurately deduce your choice, and uses that deduction to fill the two boxes. The way they do this guarantees that you made the wrong choice. Newcomb’s paradox is that game theory’s expected utility and dominance principles appear to provide conflicting recommendations for what (...) you should choose. Here we show that the conflicting recommendations assume different probabilistic structures relating your choice and the algorithm’s prediction. This resolves the paradox: the reason there appears to be two conflicting recommendations is that the probabilistic structure relating the problem’s random variables is open to two, conflicting interpretations. We then show that the accuracy of the prediction algorithm in Newcomb’s paradox, the focus of much previous work, is irrelevant. We end by showing that Newcomb’s paradox is time-reversal invariant; both the paradox and its resolution are unchanged if the algorithm makes its ‘prediction’ after you make your choice rather than before. (shrink)

There are four types of information an agent can have concerning the state of the universe: information acquired via observation, via control, via prediction, or via retrodiction, i.e., memory. Each of these four types of information appear to rely on a different kind of physical device. However it turns out that there is some mathematical structure that is common to those four types of devices. Any device that possesses that structure is known as an “inference device”. Here I review some (...) of the properties of IDs, including their relation with Turing machines, and quantum mechanics. I also review the bounds on the joint information about the physical universe that can be held by any set of IDs. These bounds constrain the possible mathematical structure of any universe that contains agents with information concerning that universe in which they are embedded. (shrink)

Formal and social epistemologists have devoted significant attention to the question of how to aggregate the credences of a group of agents who disagree about the probabilities of events. Moss and Pettigrew argue that group credences can be a linear mean of the credences of each individual in the group. By contrast, I argue that if the epistemic value of a credence function is determined solely by its accuracy, then we should, where possible, aggregate the underlying statistical models that individuals (...) use to generate their credence functions, using “stacking” techniques from statistics and machine learning first developed by Wolpert. (shrink)

Shows that many of our understandings about scientific thought can be corrected once we realise just how unnatural science is. Quoting scientists from Aristotle to Einstein, the book argues that scientific ideas are, with rare exceptions, counter-intuitive and contrary to common sense.

One of Hume's most well-known works and a masterpiece of philosophy, A Treatise of Human Nature is indubitably worth taking the time to read.

Oxford Philosophical Texts Series Editor: John Cottingham The Oxford Philosophical Texts series consists of authoritative teaching editions of canonical texts in the history of philosophy from the ancient world down to modern times. Each volume provides a clear, well laid out text together with a comprehensive introduction by a leading specialist, giving the student detailed critical guidance on the intellectual context of the work and the structure and philosophical importance of the main arguments. Endnotes are supplied which provide further commentary (...) on the arguments and explain unfamiliar references and terminology, and a full bibliography and index are also included. The series aims to build up a definitive corpus of key texts in the Western philosophical tradition, which will form a reliable and enduring resource for students and teachers alike. David Hume's aim in writing An Enquiry concerning Human Understanding was to introduce his philosophy to a European culture in which many educated people read original works of philosophy. He gives an elegant and accessible presentation of strikingly original and challenging views about the limited powers of human understanding, the attractions of scepticism, the compatibility of free will and determinism, and weaknesses in the foundations of religion. Hume's philosophy was highly controversial in the eighteenth century and remains so today. The text printed in this edition is that of the Clarendon critical edition of Hume's works. A substantial introduction by the editor explains the intellectual background to the work and surveys its main themes. The volume also includes detailed explanatory notes on the text, a glossary of terms, a full list of references, and a section of supplementary readings. (shrink)

We are essentially a society of cells that come from a single cell, the fertilised egg. Research in cell biology has made major advances that are relevant to medicine and our understanding of life. Our understanding of the role of genes and proteins is impressive. But is this science dangerous? The whole of Western literature has not been kind to cell scientists and is filled with images of scientists meddling with nature, with disastrous results.1 Just consider Shelley’s Frankenstein, Goethe’s Faust (...) and Huxley’s Brave New World. One will search with very little success for a novel in which scientists come out well—the persistent image is that of scientists as a group unconcerned with ethical issues.There is a fear and distrust of cell science, particularly genetic engineering, leading to genetically modified foods, genetic modification of humans, cloning and stem cells. There is something of a revulsion in humankind’s meddling with nature and a longing for a Rousseauish-like return to golden age of innocence. There is anxiety that scientists lack both wisdom and social responsibility and are so motivated by ambition that they will follow their research anywhere, no matter what the consequences. Scientists are repeatedly referred to as “playing God”. Many of these criticisms coexist with the hope, particularly in medicine, that science will provide cures to all major illnesses, such as cancer, heart disease and genetic disabilities such as cystic fibrosis. But is cell science dangerous and what are the special social responsibilities of scientists? It is worth noting one irony: although scientists are blamed for making us live in a high-risk society, it is only because of science that we know about these risks, such as those related to health.The media must bear much of the responsibility for the misunderstanding of genetics as genetic pornography is, …. (shrink)

From religion to philosophy to science, all human systems of definition are formed by human brains. The nature and limits of the human brain are the nature and limits of those systems. This essay shows how the human brain works normally then unusually, and what this reveals about the limits of human knowledge. There are many conditions and instances where the brain processes information unusually, including mental disorders, physical events, and drug use. This essay focuses on the neurological events called (...) mystical experiences. (shrink)

This short peer-reviewed text is a concise look at the psychology of how human beings make decisions, including how they form their worldviews and make arguments.

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

Sadness and low levels of depression are adaptive since they lead the individual to try and make up a loss. By contrast, severe or clinical depression is not adaptive, but can be thought of as sadness having become malignant.

Part of the appeal of the biological approach to personal identity is that it does not have to countenance spatially coincident entities. But if the termination thesis is correct and the organism ceases to exist at death, then it appears that the corpse is a dead body that earlier was a living body and distinct from but spatially coincident with the organism. If the organism is identified with the body, then the unwelcome spatial coincidence could perhaps be avoided. It is (...) argued that such an identification would be a mistake. A living organism has a different part/whole relationship and persistence conditions than the alleged body. A case will be made that the concept ‘human body’ is a conceptual mess, vague in an unprincipled manner, and that an eliminativist stance towards dead bodies is the appropriate response. CiteULike Connotea Del.icio.us What's this? (shrink)

Various U.S. laws, such as the Clean Air Act and the Food Quality Protection Act, require additional protections for susceptible subpopulations who face greater environmental health risks. The main ethical rationale for providing these protections is to ensure that environmental health risks are distributed fairly. In this article, we (1) consider how several influential theories of justice deal with issues related to the distribution of environmental health risks; (2) show that these theories often fail to provide specific guidance concerning policy (...) choices; and (3) argue that an approach to public decision making known as accountability for reasonableness can complement theories of justice in establishing acceptable environmental health risks for the general population and susceptible subpopulations. Since accountability for reasonableness focuses on the fairness of the decision-making process, not the outcome, it does not guarantee that susceptible subpopulations will receive a maximum level of protection, regardless of costs or other morally relevant considerations. (shrink)

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

Originally published: Oxford: Clarendon Press, 1932.

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

The singularity hypothesis is a radical hypothesis about the future of artificial intelligence on which self-improving artificial agents will quickly become orders of magnitude more intelligent than the average human. Despite the ambitiousness of its claims, the singularity hypothesis has been defended at length by leading philosophers and artificial intelligence researchers. In this paper, I argue that the singularity hypothesis rests on scientifically implausible growth assumptions. I show how leading philosophical defenses of the singularity hypothesis (Chalmers 2010, Bostrom 2014) fail (...) to overcome the case for skepticism. I conclude by drawing out philosophical implications of this discussion for our understanding of consciousness, personal identity, digital minds, existential risk, and ethical longtermism. GPI Working Paper No . 19-2022. (shrink)

In the Garden of Eden, we had unmediated contact with the world. We were directly acquainted with objects in the world and with their properties. Objects were simply presented to us without causal mediation, and properties were revealed to us in their true intrinsic glory.

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)

What happens when machines become more intelligent than humans? One view is that this event will be followed by an explosion to ever-greater levels of intelligence, as each generation of machines creates more intelligent machines in turn. This intelligence explosion is now often known as the “singularity”. The basic argument here was set out by the statistician I.J. Good in his 1965 article “Speculations Concerning the First Ultraintelligent Machine”: Let an ultraintelligent machine be defined as a machine that can far (...) surpass all the intellectual activities of any man however clever. Since the design of machines is one of these intellectual activities, an ultraintelligent machine could design even better machines; there would then unquestionably be an “intelligence explosion”, and the intelligence of man would be left far behind. Thus the first ultraintelligent machine is the last invention that man need ever make. The key idea is that a machine that is more intelligent than humans will be better than humans at designing machines. So it will be capable of designing a machine more intelligent than the most intelligent machine that humans can design. So if it is itself designed by humans, it will be capable of designing a machine more intelligent than itself. By similar reasoning, this next machine will also be capable of designing a machine more intelligent than itself. If every machine in turn does what it is capable of, we should expect a sequence of ever more intelligent machines. This intelligence explosion is sometimes combined with another idea, which we might call the “speed explosion”. The argument for a speed explosion starts from the familiar observation that computer processing speed doubles at regular intervals. Suppose that speed doubles every two years and will do so indefinitely. Now suppose that we have human-level artificial intelligence 1 designing new processors. Then faster processing will lead to faster designers and an ever-faster design cycle, leading to a limit point soon afterwards. The argument for a speed explosion was set out by the artificial intelligence researcher Ray Solomonoff in his 1985 article “The Time Scale of Artificial Intelligence”.1 Eliezer Yudkowsky gives a succinct version of the argument in his 1996 article “Staring at the Singularity”: “Computing speed doubles every two subjective years of work.. (shrink)

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

This volume is devoted to Lewis's work in metaphysics and epistemology. Topics covered include properties, ontology, possibility, truthmaking, probability, the mind-body problem, vision, belief, and knowledge. The purpose of this collection, and the volumes that precede and follow it, is to disseminate more widely the work of an eminent and influential contemporary philosopher. The volume will serve as a useful work of reference for teachers and students of philosophy.

Religion, science, and naturalism -- Perception and religious experience -- Panexperientialism, freedom, and the mind-body relation -- Naturalistic, dipolar theism -- Natural theology based on naturalistic theism -- Evolution, evil, and eschatology -- The two ultimates and the religions -- Religion, morality, and civilization -- Religious language and truth -- Religious knowledge and common sense.

David Heyd's study will stimulate philosophers to recognise the importance of the rather neglected topic of the distinctiveness of supererogation and the ...

A number of philosophers endorse, without argument, the view that there’s something it’s like consciously to think that p, which is distinct from what it’s like consciously to think that q. This thesis, if true, would have important consequences for philosophy of mind and cognitive science. In this paper I offer an argument for it, and attempt to induce examples of it in the reader. The argument claims it would be impossible introspectively to distinguish conscious thoughts with respect to their (...) content if there weren’t something it’s like to think them. This argument is defended against several objections. Then I use what I call “minimal pair” experiences—sentences read without and with understanding—to induce in the reader an experience of the kind I claim exists. Further objections are considered and rebutted. (shrink)

According to the grounding theory of powers, fundamental physical properties should be thought of as qualities that ground dispositions. Although this view has recently been defended by many different philosophers, there is no consensus for how the view should be developed within a broader metaphysics of properties. Recently, Tugby has argued that the view should be developed in the context of a Platonic theory of properties, where properties are abstract universals. I will argue that the view should not be developed (...) within such a framework. Either the view should be developed with an ontology of Aristotelian properties, or it should be developed in a Nominalist framework that contains no properties at all. (shrink)