The first decade of this century has seen the nascency of the first mathematical theory of general artificial intelligence. This theory of Universal Artificial Intelligence (UAI) has made significant contributions to many theoretical, philosophical, and practical AI questions. In a series of papers culminating in book (Hutter, 2005), an exciting sound and complete mathematical model for a super intelligent agent (AIXI) has been developed and rigorously analyzed. While nowadays most AI researchers avoid discussing intelligence, the award-winning PhD thesis (Legg, (...) 2008) provided the philosophical embedding and investigated the UAI-based universal measure of rational intelligence, which is formal, objective and non-anthropocentric. Recently, effective approximations of AIXI have been derived and experimentally investigated in JAIR paper (Veness et al. 2011). This practical breakthrough has resulted in some impressive applications, finally muting earlier critique that UAI is only a theory. For the first time, without providing any domain knowledge, the same agent is able to self-adapt to a diverse range of interactive environments. For instance, AIXI is able to learn from scratch to play TicTacToe, Pacman, Kuhn Poker, and other games by trial and error, without even providing the rules of the games. These achievements give new hope that the grand goal of Artificial General Intelligence is not elusive. This article provides an informal overview of UAI in context. It attempts to gently introduce a very theoretical, formal, and mathematical subject, and discusses philosophical and technical ingredients, traits of intelligence, some social questions, and the past and future of UAI. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

We argue that the aesthetic domain falls inside the scope of rationality, but does so in its own way. Aesthetic judgment is a stance neither on whether a proposition is to be believed nor on whether an action is to be done, but on whether an object is to be appreciated. Aesthetic judgment is simply appreciation. Correlatively, reasons supporting theoretical, practical and aesthetic judgments operate in fundamentally different ways. The irreducibility of the aesthetic domain is due to the fact that (...) aesthetic judgment is a sensory-affective disclosure of, and responsiveness to, merit: it is a feeling that presents an object, and is responsive to it, as worthy of being liked. Aesthetic judgment is thus shown to be, on the hand, first personal and non-transferable; and, on the other hand, a presentation of reality. We thereby capture what is right in both subjectivist and objectivist conceptions of aesthetic judgment. (shrink)

Die Übernahme des KI-Unternehmens DeepMind durch Google für rund eine halbe Milliarde US-Dollar signalisierte vor einem Jahr, dass von der KI-Forschung vielversprechende Ergebnisse erwartet werden. Spätestens seit bekannte Wissenschaftler wie Stephen Hawking und Unternehmer wie Elon Musk oder Bill Gates davor warnen, dass künstliche Intelligenz eine Bedrohung für die Menschheit darstellt, schlägt das KI-Thema hohe Wellen. Die Stiftung für Effektiven Altruismus (EAS, vormals GBS Schweiz) hat mit der Unterstützung von Experten/innen aus Informatik und KI ein umfassendes Diskussionspapier zu den Chancen (...) und Risiken der künstlichen Intelligenz verfasst und geht darin auf aktuelle, mittel- und langfristige Herausforderungen im Bereich der KI-Entwicklung ein. (shrink)

Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...) his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

We argue that honesty in assertion requires non-empirical knowledge that what one asserts is what one believes. Our argument proceeds from the thought that to assert honestly, one must follow and not merely conform to the norm ‘Assert that p only if you believe that p’. Furthermore, careful consideration of cases shows that the sort of doxastic self-knowledge required for following this norm cannot be acquired on the basis of observation, inference, or any other form of detection of one’s own (...) doxastic states. It is, as we put it, transparent rather than empirical self-knowledge. (shrink)

According to one interpretation of Aristotle’s famous thesis, to say that action is the conclusion of practical reasoning is to say that action is itself a judgment about what to do. A central motivation for the thesis is that it suggests a path for understanding the non-observational character of practical knowledge. If actions are judgments, then whatever explains an agent’s knowledge of the relevant judgment can explain her knowledge of the action. I call the approach to action that accepts Aristotle’s (...) thesis so understood Normativism. There are many reasons to doubt Normativism. My aim in this paper is to defend Normativism from a pair of arguments that purport to show that a normative judgment could not constitute an event in material reality and also the knowledge of such a happening. Both highlight a putative mismatch between the natures of, on the one hand, an agent’s knowledge of her normative judgment and, on the other, her knowledge of her own action. According to these objections, knowledge of action includes (a) perceptual knowledge and (b) knowledge of what one has already done. But knowledge of a normative judgment includes neither. Hence knowledge of action cannot simply be knowledge of a normative judgment. (shrink)

Most agree that believing a proposition normally or ideally results in believing that one believes it, at least if one considers the question of whether one believes it. I defend a much stronger thesis. It is impossible to believe without knowledge of one's belief. I argue, roughly, as follows. Believing that p entails that one is able to honestly assert that p. But anyone who is able to honestly assert that p is also able to just say – i.e., authoritatively, (...) yet not on the basis of evidence – that she believes that p. And anyone who is able to just say that she believes that p is able to act in light of the fact that she holds that belief. This ability to act, in turn, constitutes knowledge of the psychological fact. However, without a broader theory of belief to help us make sense of this result, this conclusion will be hard to accept. Why should being in a particular mental state by itself necessitate an awareness of being in that state? I sketch a theory that helps to answer this question: believing is a matter of viewing a proposition as what one ought to believe. I show how this theory explains the thesis that to believe is to know that you believe. (shrink)

Is it impossible for a person to do something intentionally without knowing that she is doing it? The phenomenon of self-deceived agency might seem to show otherwise. Here the agent is not lying, yet disavows a correct description of her intentional action. This disavowal might seem expressive of ignorance. However, I show that the self-deceived agent does know what she's doing. I argue that we should understand the factors that explain self-deception as masking rather than negating the practical knowledge characteristic (...) of intentional action. This masking takes roughly the following form: when we are deceiving ourselves about what we are intentionally doing, we don't think about our action because it's painful to do so. (shrink)

Anscombe famously argues that to act intentionally is to act under a description, and that “it is the agent's knowledge of what he is doing that gives the descriptions under which what is going on is the execution of an intention.” Further, she takes ‘knows’ to mean that the agent can give these descriptions herself. It would seem to follow that animals cannot act intentionally. However, she denies this, insisting that although animals cannot express intentions, they can have them. But (...) can we speak without equivocation of humans and animals acting intentionally while maintaining that linguistic expressibility is an essential characteristic of only human action? My defense of an affirmative answer rests on an argument for the following claim: whereas animal intentions are immanent in their behavior, human action is an actualization of a capacity to make judgments about what is to-be-done and this confers on human intentions a kind of independence from behavior. (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)

The thesis that mental states are physical states enjoys widespread popularity. After the abandonment of typeidentity theories, however, this thesis has typically been framed in terms of state tokens. I argue that token states are a philosopher’s fiction, and that debates about the identity of mental and physical state tokens thus rest on a mistake.

Numbers without Science opposes the Quine-Putnam indispensability argument, seeking to undermine the argument and reduce its profound influence. Philosophers rely on indispensability to justify mathematical knowledge using only empiricist epistemology. I argue that we need an independent account of our knowledge of mathematics. The indispensability argument, in broad form, consists of two premises. The major premise alleges that we are committed to mathematical objects if science requires them. The minor premise alleges that science in fact requires mathematical objects. The most (...) common rejection of the argument denies its minor premise by introducing scientific theories which do not refer to mathematical objects. Hartry Field has shown how we can reformulate some physical theories without mathematical commitments. I argue that Field’s preference for intrinsic explanation, which underlies his reformulation, is ill-motivated, and that his resultant fictionalism suffers unacceptable consequences. I attack the major premise instead. I argue that Quine provides a mistaken criterion for ontic commitment. Our uses of mathematics in scientific theory are instrumental and do not commit us to mathematical objects. Furthermore, even if we accept Quine’s criterion for ontic commitment, the indispensability argument justifies only an anemic version of mathematics, and does not yield traditional mathematical objects. The first two chapters of the dissertation develop these results for Quine’s indispensability argument. In the third chapter, I apply my findings to other contemporary indispensabilists, specifically the structuralists Michael Resnik and Stewart Shapiro. In the fourth chapter, I show that indispensability arguments which do not rely on Quine’s holism, like that of Putnam, are even less successful. Also in Chapter 4, I show how Putnam’s work in the philosophy of mathematics is unified around the indispensability argument. In the last chapter of the dissertation, I conclude that we need an account of mathematical knowledge which does not appeal to empirical science and which does not succumb to mysticism and speculation. Briefly, my strategy is to argue that any defensible solution to the demarcation problem of separating good scientific theories from bad ones will find mathematics to be good, if not empirical, science. (shrink)

In, “Why Nothing Mental is Just in The Head,” Justin Fisher (Noȗs, 2007) uses a novel thought-experiment to argue that every form of mental internalism is false. This paper shows that Fisher fails to refute mental internalism, and that a new variant of his example actually (a) confirms a form of mental internalism, as well as (b) John Locke's “resemblance thesis,” thereby (c) disconfirming all externalist theories of mental content (the type of theory Fisher takes his original example to prove).

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)

This is an excellent book that deserves careful attention from anyone whose work touches on issues in the philosophy of mind and action. In it, Marcus challenges the dominant philosophical conception of the mind’s place in nature, according to which mentalistic explanations hold true only when mental states or events cause things to happen in the same way as physical states and events do. Against this conception, Marcus argues that mental causation is utterly dissimilar to most of the (...) causation we find in the physical realm, and that psychological achievements like believing and acting for reasons should be understood as manifestations of the rational ability self-consciously to represent good-making relations as holding between propositions and actions. (shrink)

Marcus Arvan’s Rightness as Fairness is a highly ambitious book. In fewer than 230 pages, Arvan hopes to demonstrate that we ought to evaluate moral theories in a similar manner to the sciences, that existing moral theories fall short on that evaluation, that moral normativity reduces to instrumental rationality, and that a new theory of rightness as fairness meets the scientific evaluative standards better than any of the alternatives. I’m afraid I was unconvinced that we should abandon our preferred (...) moral theories in favor of rightness as fairness. (shrink)

Comprehensive resource for indispensability research.

In this chapter, I approach the subject of peace by way of Andrew Fiala’s pioneering, synthetic work on “practical pacifism.” One of Fiala’s articles on the subject of peace is entitled “Radical Forgiveness and Human Justice”—and if one were to replace “Radical Forgiveness” with “Peace,” this would be a fair title for my chapter. In fact, Fiala himself explicitly makes a connection in the article between radical forgiveness and peace. Also in support of my project, Fiala’s article names four of (...) the six historical figures who are central to my chapter, namely Marcus Aurelius, King, Arendt, and Nietzsche. Moreover, Fiala also insists there “forgiveness must be held in creative tension with justice,” and it is this very tension that forms the basis of my new conception of socially-just peace. To wit, I propose that socially-just peace is lovingly generous reimagining (peace) through intuitively self-overcoming tension (social justice). (shrink)

Este trabajo constituye un intento de arrojar luz sobre el problema de la atribución de creencias surgido a raíz del planteamiento que hizo Saul Kripke en su artículo ‘’A puzzle about belief'' publicado en ''Meaning & Use'' en el año 1979. El artículo de Kripke no pasó inadvertido, recibió una gran variedad de respuestas y generó una amplia bibliografía. De entre todas las respuestas que se ofrecieron, expondré la solución que ofreció Ruth Barcan Marcus en ''A proposed solution to (...) a puzzle about belief'' de 1981, y analizaré las implicaciones de la teoría objetual de las creencias que posteriormente desarrolló. Estas implicaciones se verían desarrolladas en dos trabajos que Marcus publicó posteriormente: ''Rationality & Believing the impossible'' escrito tres años más tarde y ''Some revisionary proposals about belief'' de 1990. La arquitectura de mi trabajo constará de tres partes: En la primera parte del trabajo introduciré el rompecabezas de Kripke y expondré brevemente las ideas que éste trató de dar a luz, así como el contexto teórico y la problemática que se alza del planteamiento del propio enigma. La segunda parte corresponde al tratamiento que Marcus dio al enigma Kripkeano en 1981 y a la teoría de las creencias y de la racionalidad que desarrollo posteriormente. Como cabe esperar el trabajo de Marcus generará nuevas incógnitas y cuestiones filosóficas que expondré en el apartado final del trabajo, donde defenderé la teoría objetual de las creencias de Marcus, pero trataré de esbozar los problemas que acarrea la definición disposicionalista de las creencias que la autora nos ofrece, y plantearé el concepto de los anclajes epistemológicos como mediador en la problemática entre el disposicionalismo y los objetos de creencias en los estados de cosas. (shrink)

I defend an argument from Lauren Ashwell and Eric Marcus to the effect that the zombie idea is meaningless. I consider whether this idea could be saved from the force of the argument by adopting a projectivist account of third-person consciousness ascriptions. I decide that it cannot, but endorse that account anyway.

Kant's correspondence with his colleague and zealous disciple, Marcus Herz, was prophetic: only a few will understand the Critique of Pure Reason. Unfortunately, the problems are intractable and the necessary conceptual scheme to deal with the problems requires a "complete change of thinking in this part of human knowledge". But eventually people will "get over the initial numbness" Kant reassures another correspondent, Christian Garve. Fortunately, he suggests, there is a central question at the foundation of his difficult thought - (...) a question that is the key to his ideas. So what is this important question that Kant insists has been "stated clearly enough"? And how clear is it? I explore these issues in my paper. (shrink)

Marcus Aurelius’s Meditations constitutes an important source and subject for Michel Foucault’s 1981 lectures at the Collège de France, translated into English as Hermeneutics of the Subject. One recurring theme in these lectures is the deployment by Hellenistic/Roman philosophers such as Aurelius of the practice and figure of dance. Inspired by this discussion, the present essay offers a close reading of dance in the Meditations, followed by a survey of the secondary literature on this subject. Overall, I will attempt (...) to show that, despite Aurelius’s self-consciously critical comportment toward dance, dance nevertheless performs a critical function in the construction of what I will term his “political ethics.” This political ethics, I will argue, is composed of an ethics of patient tolerance funded by the generosity that flows from the micro-political power generated by cultivating the god that Aurelius identifies within each of us. (shrink)

The author’s aim in this quirky monograph is not to reconstruct all that can be surmised about Stoic logic in the first two centuries A.D. of the Roman empire, but rather to concentrate on the three Stoic authors whose extant texts contain remarks on logic. These imperial Stoics, Seneca, Epictetus, and Marcus Aurelius, are known for their emphasis on ethics and not for their contributions in either logic or physics. So it comes as some surprise that Barnes can find (...) much to say about what these philosophers thought about logic. As Barnes presents it (defying chronology), “Marcus introduces the comedy; Seneca features in the second act; and Epictetus is the hero” (ix). (shrink)

Most models of generational succession in sexually reproducing populations necessarily move back and forth between genic and genotypic spaces. We show that transitions between and within these spaces are usually hidden by unstated assumptions about processes in these spaces. We also examine a widely endorsed claim regarding the mathematical equivalence of kin-, group-, individual-, and allelic-selection models made by Lee Dugatkin and Kern Reeve. We show that the claimed mathematical equivalence of the models does not hold. *Received January 2007; revised (...) April 2008. †To contact the authors, please write to: Elisabeth Lloyd, Department of History and Philosophy of Science, 130 Goodbody Hall, Indiana University, Bloomington, IN 47405; e-mail: ealloyd@indiana.edu; Richard Lewontin, Department of Organismic and Evolutionary Biology, Harvard University, 26 Oxford Street, Cambridge, MA 02138; Marcus Feldman, Department of Biological Sciences, Stanford University, Stanford, CA 94305; e-mail: marc@charles.stanford.edu. (shrink)

We present evidence from a pre-registered experiment indicating that a philosophical argument––a type of rational appeal––can persuade people to make charitable donations. The rational appeal we used follows Singer’s well-known “shallow pond” argument (1972), while incorporating an evolutionary debunking argument (Paxton, Ungar, & Greene 2012) against favoring nearby victims over distant ones. The effectiveness of this rational appeal did not differ significantly from that of a well-tested emotional appeal involving an image of a single child in need (Small, Loewenstein, and (...) Slovic 2007). This is a surprising result, given evidence that emotions are the primary drivers of moral action, a view that has been very influential in the work of development organizations. We did not find support for our pre-registered hypothesis that combining our rational and emotional appeals would have a significantly stronger effect than either appeal in isolation. However, our finding that both kinds of appeal can increase charitable donations is cause for optimism, especially concerning the potential efficacy of well-designed rational appeals. We consider the significance of these findings for moral psychology, ethics, and the work of organizations aiming to alleviate severe poverty. (shrink)

This paper shows that several live philosophical and scientific hypotheses – including the holographic principle and multiverse theory in quantum physics, and eternalism and mind-body dualism in philosophy – jointly imply an audacious new theory of free will. This new theory, "Libertarian Compatibilism", holds that the physical world is an eternally existing array of two-dimensional information – a vast number of possible pasts, presents, and futures – and the mind a nonphysical entity or set of properties that "read" that physical (...) information off to subjective conscious awareness (in much the same way that a song written on an ordinary compact-disc is only played when read by an outside medium, i.e. a CD-player). According to this theory, every possible physical “timeline” in the multiverse may be fully physically deterministic or physically-causally closed but each person’s consciousness still entirely free to choose, ex nihilo, outside of the physical order, which physically-closed timeline is experienced by conscious observers. Although Libertarian Compatibilism is admittedly fantastic, I show that it not only follows from several live scientific and philosophical hypotheses, I also show that it (A) is a far more explanatorily powerful model of quantum mechanics than more traditional interpretations (e.g. the Copenhagen, Everett, and Bohmian interpretations), (B) makes determinate, testable empirical predictions in quantum theory, and finally, (C) predicts and explains the very existence of a number of philosophical debates and positions in the philosophy of mind, time, personal identity, and free will. First, I show that whereas traditional interpretations of quantum mechanics are all philosophically problematic and roughly as ontologically “extravagant” as Libertarian Compatibilism – in that they all posit “unseen” processes – Libertarian Compatibilism is nearly identical in structure to the only working simulation that human beings have ever constructed capable of reproducing (and so explaining) every general feature of quantum mechanics we perceive: namely, massive-multiplayer-online-roleplaying videogames (or MMORPGs). Although I am not the first to suggest that our world is akin to a computer simulation, I show that existing MMORPGs (online simulations we have already created) actually reproduce every general feature of quantum mechanics within their simulated-world reference-frames. Second, I show that existing MMORPGs also replicate (and so explain) many philosophical problems we face in the philosophy of mind, time, personal identity, and free will – all while conforming to the Libertarian Compatibilist model of reality. -/- I conclude, as such, that as fantastic and metaphysically extravagant as Libertarian Compatibilism may initially seem, it may well be true. It explains a number of features of our reality that no other physical or metaphysical theory does. (shrink)

The argument from internal relatedness was one of the major nineteenth century neo-Hegelian arguments for monism. This argument has been misunderstood, and may even be sound. The argument, as I reconstruct it, proceeds in two stages: first, it is argued that all things are internally related in ways that render them interdependent; second, the substantial unity of the whole universe is inferred from the interdependence of all of its parts. The guiding idea behind the argument is that failure of free (...) recombination is the modal signature of an integrated monistic cosmos. Frequently consider the connection of all things in the universe and their relation to one another. For in a manner all things are implicated with one another... (Marcus Aurelius, Meditations, p. 43). (shrink)

Across two studies the hypotheses were tested that stressful situations affect both leadership ethical acting and leaders' recognition of ethical dilemmas. In the studies, decision makers recruited from 3 sites of a Swedish multinational civil engineering company provided personal data on stressful situations, made ethical decisions, and answered to stress-outcome questions. Stressful situations were observed to have a greater impact on ethical acting than on the recognition of ethical dilemmas. This was particularly true for situations involving punishment and lack of (...) rewards. The results are important for the Corporate Social Responsibility (CSR) of an organization, especially with regard to the analysis of the Stressors influencing managerial work and its implications for ethical behavior. (shrink)

We offer a new argument for the claim that there can be non-degenerate objective chance (“true randomness”) in a deterministic world. Using a formal model of the relationship between different levels of description of a system, we show how objective chance at a higher level can coexist with its absence at a lower level. Unlike previous arguments for the level-specificity of chance, our argument shows, in a precise sense, that higher-level chance does not collapse into epistemic probability, despite higher-level properties (...) supervening on lower-level ones. We show that the distinction between objective chance and epistemic probability can be drawn, and operationalized, at every level of description. There is, therefore, not a single distinction between objective and epistemic probability, but a family of such distinctions. (shrink)

This study examined correlations between moral value judgments on a 17-item Moral Intuition Survey (MIS), and participant scores on the Short-D3 “Dark Triad” Personality Inventory—a measure of three related “dark and socially destructive” personality traits: Machiavellianism, Narcissism, and Psychopathy. Five hundred sixty-seven participants (302 male, 257 female, 2 transgendered; median age 28) were recruited online through Amazon Mechanical Turk and Yale Experiment Month web advertisements. Different responses to MIS items were initially hypothesized to be “conservative” or “liberal” in line with (...) traditional public divides. Our demographic data confirmed all of these hypothesized categorizations. We then tested two broad, exploratory hypotheses: (H1) the hypothesis that there would be “many” significant correlations between conservative MIS judgments and the Dark Triad, and (H2) the hypothesis that there would be no significant correlations between liberal MIS judgments and Machiavellianism or Psychopathy, but “some” significant correlations between liberal MIS judgments and Narcissism. Because our hypotheses were exploratory and we ran a large number of statistical tests (62 total), we utilized a Bonferroni Correction to set a very high threshold for significance (p = .0008). Our results broadly supported our two hypotheses. We found eleven significant correlations between conservative MIS judgments and the Dark Triad—all at significance level of p < .00001—but no significant correlations between the Dark Triad and liberal MIS judgments. We believe that these results raise provocative moral questions about the personality bases of moral judgments. In particular, we propose that because the Short-D3 measures three “dark and antisocial” personality traits, our results raise some prima facie worries about the moral justification of some conservative moral judgments. (shrink)

Draft for Marcus Adams (ed.), A Companion to Hobbes. This chapter considers Ralph Cudworth as a philosophical critic of Hobbes. Cudworth saw Hobbes as a representative of the three views he was attacking: atheism, determinism, and the denial that morality is eternal and immutable. Moreover, he did not just criticize Hobbes by assuming that a general critique of those views applied to Hobbes’s particular case. Rather, he singled out Hobbes, often by quoting him, and argued against the distinctively Hobbesian (...) positions he had identified. In this chapter I look at Cudworth as a critic of Hobbes in two of the three central areas, atheism and ethics, focusing on passages where we see him explicitly picking out Hobbes. (shrink)

In a new paper, David. J. Chalmers examines eleven possible solutions to the meta-problem of consciousness, ‘the problem of explaining why we think that there is a problem of consciousness.’ The present paper argues that Chalmers overlooks an explanation that he has otherwise taken seriously, and which a number of philosophers, physicists, and computer scientists have taken seriously as well: the hypothesis that we are living in a computer simulation. This paper argues that a particular version of the simulation hypothesis (...) is at least as good of a solution to the meta-problem of consciousness as many explanations Chalmers considers, and may even be a better one—as it may be the best solution to a much broader meta-philosophical problem: the ‘meta-problem of everything’, the problem of explaining why our world has the quantum-mechanical, relativistic, and philosophical features it does. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

This article argues that philosophers and laypeople commonly conceptualize moral truths or justified moral beliefs as discoverable through intuition, argument, or some other purely cognitive or affective process. It then contends that three empirically well-supported theories all predict that this ‘Discovery Model’ of morality plays a substantial role in causing social polarization. The same three theories are then used to argue that an alternative ‘Negotiation Model’ of morality—according to which moral truths are not discovered but instead created by actively negotiating (...) compromises—promises to reduce polarization by fostering a progressive willingness to ‘work across the aisle’ to settle moral issues cooperatively. This article then examines potential methods for normatively evaluating polarization, arguing there are prima facie reasons to favor the Negotiation Model over the Discovery Model based on their hypothesized effects on polarization. Finally, I outline avenues for further empirical and philosophical research. (shrink)

Are the circumstances in which moral testimony serves as evidence that our judgement-forming processes are unreliable the same circumstances in which mundane testimony serves as evidence that our mundane judgement-forming processes are unreliable? In answering this question, we distinguish two possible roles for testimony: (i) providing a legitimate basis for a judgement, (ii) providing (‘higher-order’) evidence that a judgement-forming process is unreliable. We explore the possibilities for a view according to which moral testimony does not, in contrast to mundane testimony (...) play role (i), but can play role (ii). We argue that standard motivations for rejecting this hybrid position are unpersuasive but suggest that a more compelling reason might be found in considering the social nature of morality. (shrink)

Theorists have long debated whether John Rawls’ conception of justice as fairness can be extended to nonideal (i.e. unjust) social and political conditions, and if so, what the proper way of extending it is. This paper argues that in order to properly extend justice as fairness to nonideal conditions, Rawls’ most famous innovation – the original position – must be reconceived in the form of a “nonideal original position.” I begin by providing a new analysis of the ideal/nonideal theory distinction (...) within Rawls’ theoretical framework. I then systematically construct a nonideal original position, showing that although its parties must have Rawls’ principles of ideal justice and priority relations as background aims, the parties should be entirely free to weigh those aims against whatever burdens and benefits they might face under nonideal conditions. Next, I show that the parties ought to aim to secure for themselves a special class of nonideal primary goods: all-purpose goods similar to Rawls’ original primary goods, but which in this case are all-purpose goods individuals might use to (A) promote Rawlsian ideals under nonideal conditions, (B) weigh Rawls’ principles of ideal justice and priority relations against whatever burdens and benefits they might face under nonideal conditions, and (C) effectively pursue their most favored weighting thereof. I then defend a provisional list of nonideal primary goods which include opportunities to participate effectively in equitable and inclusive grassroots reform movements guided by a series of substantive aims. Finally, I briefly speculate on how the parties to the nonideal original position might deliberate to principles of nonideal justice for distributing nonideal primary goods, suggesting that those goods should be distributed in proportion to unjust disadvantage. (shrink)

In a recent study appearing in Neuroethics, I reported observing 11 significant correlations between the “Dark Triad” personality traits – Machiavellianism, Narcissism, and Psychopathy – and “conservative” judgments on a 17-item Moral Intuition Survey. Surprisingly, I observed no significant correlations between the Dark Triad and “liberal” judgments. In order to determine whether these results were an artifact of the particular issues I selected, I ran a follow-up study testing the Dark Triad against conservative and liberal judgments on 15 additional moral (...) issues. The new issues examined include illegal immigration, abortion, the teaching of “intelligent design” in public schools, the use of waterboarding and other “enhanced interrogation techniques” in the war on terrorism, laws defining marriage as the union of one man and one woman, and environmentalism. 1154 participants (680 male, 472 female; median age 29), recruited online through Amazon Mechanical Turk, completed three surveys: a 15-item Moral Intuition Survey (MIS), the 28-item Short Dark Triad personality inventory, and a five-item demographic survey. The results strongly reinforce my earlier findings. Twenty-two significant correlations were observed between “conservative” judgments and the Dark Triad (all of which were significant past a Bonferonni-corrected significance threshold of p = .0008), compared to seven significant correlations between Dark Triad and “liberal” judgments (only one of which was significant past p = .0008). This article concludes by developing a novel research proposal for determining whether the results of my two studies are “bad news” for conservatives or liberals. (shrink)

The effect of violent video games is among the most widely discussed topics in media studies, and for good reason. These games are immensely popular, but many seem morally objectionable. Critics attack them for a number of reasons ranging from their capacity to teach players weapons skills to their ability to directly cause violent actions. This essay shows that many of these criticisms are misguided. Theoretical and empirical arguments against violent video games often suffer from a number of significant shortcomings (...) that make them ineffective. This essay argues that video games are defensible from the perspective of Kantian, Aristotelian, and utilitarian moral theories. (shrink)

In my 2013 article, “A New Theory of Free Will”, I argued that several serious hypotheses in philosophy and modern physics jointly entail that our reality is structurally identical to a peer-to-peer (P2P) networked computer simulation. The present paper outlines how quantum phenomena emerge naturally from the computational structure of a P2P simulation. §1 explains the P2P Hypothesis. §2 then sketches how the structure of any P2P simulation realizes quantum superposition and wave-function collapse (§2.1.), quantum indeterminacy (§2.2.), wave-particle duality (§2.3.), (...) and quantum entanglement (§2.4.). Finally, §3 argues that although this is by no means a philosophical proof that our reality is a P2P simulation, it provides ample reasons to investigate the hypothesis further using the methods of computer science, physics, philosophy, and mathematics. (shrink)

This article argues that diverse theorists have reasons to theorize about fairness in nonideal conditions, including theorists who reject fairness in ideal theory. It then develops a new all-purpose model of ‘nonideal fairness.’ §1 argues that fairness is central to nonideal theory across diverse ideological and methodological frameworks. §2 then argues that ‘nonideal fairness’ is best modeled by a nonideal original position adaptable to different nonideal conditions and background normative frameworks (including anti-Rawlsian ones). §3 then argues that the parties to (...) the model have grounds to seek a variety of remedial social, legal, cultural, and economic ‘nonideal primary goods’ for combating injustice, as well as grounds to distribute these goods in an equitable and inclusive manner. Finally, I illustrate how the model indexes the nonideal primary goods it justifies to different nonideal contexts and background normative frameworks, illustrating why diverse theorists should find the model and its output principles attractive. (shrink)

This chapter derives and refines a novel normative moral theory and descriptive theory of moral psychology--Rightness as Fairness--from the theory of prudence defended in Chapter 2. It briefly summarizes Chapter 2’s finding that prudent agents typically internalize ‘moral risk-aversion’. It then outlines how this prudential psychology leads prudent agents to want to know how to act in ways they will not regret in morally salient cases, as well as to regard moral actions as the only types of actions that satisfy (...) this prudential interest. It then uses these findings to defend a new derivation of my (2016) theory of morality, Rightness as Fairness, showing how the derivation successfully defends Rightness as Fairness against a variety of objections. The chapter also details how this book’s theory helps to substantiate the claim that Rightness as Fairness unifies a variety of competing moral frameworks: deontology, consequentialism, contractualism, and virtue ethics. Finally, the chapter shows how Chapter 2’s theory of prudence entails some revisions to Rightness as Fairness, including the adoption of a series of Rawlsian original positions to settle moral and social-political issues under ideal and nonideal circumstances—thus entailing a unified normative and descriptive psychological framework for prudence, morality, and justice. (shrink)

In this paper, I examine Cicero’s oft-neglected De Divinatione, a dialogue investigating the legitimacy of the practice of divination. First, I offer a novel analysis of the main arguments for divination given by Quintus, highlighting the fact that he employs two logically distinct argument forms. Next, I turn to the first of the main arguments against divination given by Marcus. Here I show, with the help of modern probabilistic tools, that Marcus’ skeptical response is far from the decisive, (...) proto-naturalistic assault on superstition that it is sometimes portrayed to be. Then, I offer an extended analysis of the second of the main arguments against divination given by Marcus. Inspired by Marcus’ second main argument, I formulate, explicate, and defend a substantive principle of scientific methodology that I call the “Ciceronian Causal-Nomological Requirement” (CCR). Roughly, this principle states that causal knowledge is essential for relying on correlations in predictive inference. Although I go on to argue that Marcus’ application of the CCR in his debate with Quintus is dialectically inadequate, I conclude that De Divinatione deserves its place in Cicero’s philosophical corpus, and that ultimately, its significance for the history and philosophy of science ought to be recognized. (shrink)

In a widely discussed forthcoming article, “What you can't expect when you're expecting,” L. A. Paul challenges culturally and philosophically traditional views about how to rationally make major life-decisions, most specifically the decision of whether to have children. The present paper argues that because major life-decisions are transformative, the only rational way to approach them is to become resilient people: people who do not “over-plan” their lives or expect their lives to play out “according to plan”—people who understand that beyond (...) a certain limit, life cannot be rationally planned and must be accepted as it comes. I show that this focus on resilience—on self-mastery—stands in direct opposition to culturally dominant attitudes toward decision-making, which focus not on the self-mastery but on control and mastery over one's surroundings. In short, I argue that if Paul's general point about transformative experiences is correct, it follows that we rationally ought to adopt a very different approach to life choices, self-development, and the moral education of our children than currently-dominant cultural norms and practices suggest. (shrink)

In Section 1, I introduce three views that explain human cognitive development from different standpoints: Marcus’s neo-nativism, standard neuroconstructivism, and neo-neuroconstructivism. In Section 2, I assess Marcus’s attempt to reconcile nativism with developmental flexibility. In Section 3, I argue that in structurally reconfiguring nativism, Marcus ends up transforming it into an unrecognizable form, and I claim that his view could be accommodated within the more general framework provided by standard neuroconstructivism. In Section 4, I focus on recent (...) empirical findings in neuropsychology and cultural/social neuroscience, and propose a friendly revision to standard neuroconstructivism, thus developing the neo-neuroconstructivist view. I conclude the article in Section 5 by analysing the implications of the results discussed in Section 4 for both neo-nativism and standard neuroconstructivism. 1 Introduction2 Marcus’s Neo-nativism3 Is Marcus’s Neo-nativism Really a Form of Nativism?4 Neo-neuroconstructivism and Dynamic Enskillment5 Conclusion. (shrink)

This commentary contends that Larry May’s Hobbesian argument for limitations on sovereignty and lawmaking in Limiting Leviathan does not succeed. First, I show that Hobbes begins with a plausible instrumental theory of normativity. Second, I show that Hobbes then attempts, unsuccessfully—by his own lights—to defend a kind of non-instrumental, moral normativity. Thus, I contend, in order to successfully “limit the Leviathan” of the state, the Hobbesian must provide a sound instrumental argument in favor of the sovereign limiting their actions and (...) lawmaking. But, I argue, neither Hobbes nor May provides such an argument. (shrink)

We investigate the conflict between the ex ante and ex post criteria of social welfare in a new framework of individual and social decisions, which distinguishes between two sources of uncertainty, here interpreted as an objective and a subjective source respectively. This framework makes it possible to endow the individuals and society not only with ex ante and ex post preferences, as is usually done, but also with interim preferences of two kinds, and correspondingly, to introduce interim forms of the (...) Pareto principle. After characterizing the ex ante and ex post criteria, we present a first solution to their conflict that extends the former as much possible in the direction of the latter. Then, we present a second solution, which goes in the opposite direction, and is also maximally assertive. Both solutions translate the assumed Pareto conditions into weighted additive utility representations, and both attribute to the individuals common probability values on the objective source of uncertainty, and different probability values on the subjective source. We discuss these solutions in terms of two conceptual arguments, i.e., the by now classic spurious unanimity argument and a novel informational argument labelled complementary ignorance. The paper complies with the standard economic methodology of basing probability and utility representations on preference axioms, but for the sake of completeness, also considers a construal of objective uncertainty based on the assumption of an exogeneously given probability measure. JEL classification: D70; D81. (shrink)

This article argues that existing approaches to programming ethical AI fail to resolve a serious moral-semantic trilemma, generating interpretations of ethical requirements that are either too semantically strict, too semantically flexible, or overly unpredictable. This paper then illustrates the trilemma utilizing a recently proposed ‘general ethical dilemma analyzer,’ _GenEth_. Finally, it uses empirical evidence to argue that human beings resolve the semantic trilemma using general cognitive and motivational processes involving ‘mental time-travel,’ whereby we simulate different possible pasts and futures. I (...) demonstrate how mental time-travel psychology leads us to resolve the semantic trilemma through a six-step process of interpersonal negotiation and renegotiation, and then conclude by showing how comparative advantages in processing power would plausibly cause AI to use similar processes to solve the semantic trilemma more reliably than we do, leading AI to make better moral-semantic choices than humans do by our very own lights. (shrink)

This paper demonstrates something that Kant notoriously claimed to be possible, but which Kant scholars today widely believe to be impossible: unification of all three formulations of the Categorical Imperative. Part 1 of this paper tells a broad-brush story of how I understand Kant’s theory of practical reason and morality, showing how the three formulations of the Categorical Imperative appear to be unified. Part 2 then provides clear textual support for each premise in the argument for my interpretation.