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)

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 the Taking Condition and do so without engendering regress. (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)

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

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 (at least in a straightforward sense) lying, but 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)

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)

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)

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)

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

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)

Comprehensive resource for indispensability research.

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

The status of the laws of nature in Hobbes’s Leviathan has been a continual point of disagreement among scholars. Many agree that since Hobbes claims that civil philosophy is a science, the answer lies in an understanding of the nature of Hobbesian science more generally. In this paper, I argue that Hobbes’s view of the construction of geometrical figures sheds light upon the status of the laws of nature. In short, I claim that the laws play the same role as (...) the component parts – what Hobbes calls the “cause” – of geometrical figures. To make this argument, I show that in both geometry and civil philosophy, Hobbes proceeds by a method of synthetic demonstration as follows: 1) offering a thought experiment by privation; 2) providing definitions by explication of “simple conceptions” within the thought experiment; and 3) formulating generative definitions by making use of those definitions by explication. In just the same way that Hobbes says that the geometer should “put together” the parts of a square to learn its cause, I argue that the laws of nature are the cause of peace. (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)

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.

Several recent commentators argue that Thomas Hobbes’s account of the nature of science is conventionalist. Engaging in scientific practice on a conventionalist account is more a matter of making sure one connects one term to another properly rather than checking one’s claims, e.g., by experiment. In this paper, I argue that the conventionalist interpretation of Hobbesian science accords neither with Hobbes’s theoretical account in De corpore and Leviathan nor with Hobbes’s scientific practice in De homine and elsewhere. Closely tied to (...) the conventionalist interpretation is the deductivist interpretation, on which it is claimed that Hobbes believed sciences such as optics are deduced from geometry. I argue that Hobbesian science places simplest conceptions as the foundation for geometry and the sciences in which we use geometry, which provides strong evidence against both the conventionalist and deductivist interpretations. (shrink)

I offer an alternative account of the relationship of Hobbesian geometry to natural philosophy by arguing that mixed mathematics provided Hobbes with a model for thinking about it. In mixed mathematics, one may borrow causal principles from one science and use them in another science without there being a deductive relationship between those two sciences. Natural philosophy for Hobbes is mixed because an explanation may combine observations from experience (the ‘that’) with causal principles from geometry (the ‘why’). My argument shows (...) that Hobbesian natural philosophy relies upon suppositions that bodies plausibly behave according to these borrowed causal principles from geometry, acknowledging that bodies in the world may not actually behave this way. First, I consider Hobbes's relation to Aristotelian mixed mathematics and to Isaac Barrow's broadening of mixed mathematics in Mathematical Lectures (1683). I show that for Hobbes maker's knowledge from geometry provides the ‘why’ in mixed-mathematical explanations. Next, I examine two explanations from De corpore Part IV: (1) the explanation of sense in De corpore 25.1-2; and (2) the explanation of the swelling of parts of the body when they become warm in De corpore 27.3. In both explanations, I show Hobbes borrowing and citing geometrical principles and mixing these principles with appeals to experience. (shrink)

Many critics, Descartes himself included, have seen Hobbes as uncharitable or even incoherent in his Objections to the Meditations on First Philosophy. I argue that when understood within the wider context of his views of the late 1630s and early 1640s, Hobbes's Objections are coherent and reflect his goal of providing an epistemology consistent with a mechanical philosophy. I demonstrate the importance of this epistemology for understanding his Fourth Objection concerning the nature of the wax and contend that Hobbes's brief (...) claims in that Objection are best understood as a summary of the mechanism for scientific knowledge found in his broader work. Far from displaying his confusion, Hobbes's Fourth Objection in fact pinpoints a key weakness of Descartes's faculty psychology: its unintelligibility within a mechanical philosophy. (shrink)

We argue that many intuitions do not have conscious propositional contents. In particular, many of the intuitions had in response to philosophical thought experiments, like Gettier cases, do not have such contents. They are more like hunches, urgings, murky feelings, and twinges. Our view thus goes against the received view of intuitions in philosophy, which we call Mainstream Propositionalism. Our positive view is that many thought-experimental intuitions are conscious, spontaneous, non-theoretical, non-propositional psychological states that often motivate belief revision, but they (...) require interpretation, in light of background beliefs, before a subject can form a propositional judgment as a consequence of them. We call our view Interpretationalism. We argue (i) that Interpretationalism avoids the problems that beset Mainstream Propositionalism and (ii) that our view meshes well with empirical results in contemporary cognitive science. (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 book argues that moral philosophy should be based on seven scientific principles of theory selection. It then argues that a new moral theory—Rightness as Fairness—satisfies those principles more successfully than existing theories. Chapter 1 explicates the seven principles of theory-selection, arguing that moral philosophy must conform to them to be truth-apt. Chapter 2 argues those principles jointly support founding moral philosophy in known facts of empirical moral psychology: specifically, our capacities for mental time-travel and modal imagination. Chapter 2 then (...) shows that these capacities present human decisionmakers with a problem of diachronic rationality that includes but generalizes beyond, L.A. Paul’s problem of transformative experience: a problem that I call “the problem of possible future selves.” Chapter 3 then argues that a new principle of rationality—the Categorical-Instrumental Imperative—is the only rational solution to this problem, as it requires our present and future selves to forge and uphold a recursive, bi-directional contract with each another given mutual recognition of the problem. Chapter 4 then shows that the Categorical-Instrumental Imperative has three identical formulations analogous but superior to Immanuel Kant’s various formulations of his ‘categorical imperative.’ Chapter 5 shows that these unified formulas jointly entail a particular test of moral principles: a Moral Original Position similar to John Rawls’ famous ‘original position’, but which avoids a variety of problems with Rawls' model. Chapter 6 then shows that the Moral Original Position generates Four Principles of Fairness, which can then be combined into a single principle of moral rightness: Rightness as Fairness. This new conception of rightness is shown to reconcile four dominant moral frameworks (deontology, consequentialism, virtue ethics, and contractualism), as well as entail a new method of moral decisionmaking for applied ethics: a method of “principled fair negotiation” according to which applied ethical issues cannot be wholly resolved through principled debate, but must instead be resolved by actual negotiation and compromise. This method is then argued to generate novel, nuanced analyses of a variety of applied moral issues, including trolley cases, torture, and the ethical treatment of nonhuman animals. Chapter 7 then shows that Rightness as Fairness reconciles three leading political frameworks—libertarianism, egalitarianism, and communitarianism—showing how all three embody legitimate moral ideals that can, and should, be fairly negotiated against each other to settle the scope, and nature, of domestic, international, and global justice on an ongoing, iterated basis. Finally, Chapter 8 argues that Rightness as Fairness satisfies all seven of the principles of theory-selected defended in Chapter 1 more successfully than rival theories. (shrink)

Given the recent explosion of interest in applications of evolutionary biology to understanding human psychology, we think it timely to assure better understanding of modern evolutionary theory among the psychologists who might be using it. We find it necessary to do so because of the very reducd version of evolutionary theorizing that has been incorporated into much of evolutionary psychology so far. Our aim here is to clarify why the use of a reduced version of evolutionary genetics will lead to (...) faulty science and to indicate where other resources of evolutionary biology can be found that might elevate the standard of the evolutionary component of evolutionary psychology. (shrink)

This paper defends several highly revisionary theses about human rights. Section 1 shows that the phrase 'human rights' refers to two distinct types of moral claims. Sections 2 and 3 argue that several longstanding problems in human rights theory and practice can be solved if, and only if, the concept of a human right is replaced by two more exact concepts: (A) International human rights, which are moral claims sufficient to warrant coercive domestic and international social protection; and (B) Domestic (...) human rights, which are moral claims sufficient to warrant coercive domestic social protection but only non-coercive international action. Section 3 then argues that because coercion is central to both types of human rights, and coercion is a matter of justice, the traditional view of human rights -- that they are normative entitlements prior to and independent of substantive theories of justice -- is incorrect. Human rights must instead be seen as emerging from substantive theories of domestic and international justice. Finally, Section 4 uses this reconceptualization to show that only a few very minimal claims about international human rights are presently warranted. Because international human rights are rights of international justice, but theorists of international justice disagree widely about the demands of international justice, much more research on international justice is needed -- and much greater agreement about international justice should be reached -- before anything more than a very minimal list of international human rights can be justified. (shrink)

Many of Margaret Cavendish’s criticisms of Thomas Hobbes in the Philosophical Letters (1664) relate to the disorder and damage that she holds would result if Hobbesian pressure were the cause of visual perception. In this paper, I argue that her “two men” thought experiment in Letter IV is aimed at a different goal: to show the explanatory potency of her account. First, I connect Cavendish’s view of visual perception as “patterning” to the “two men” thought experiment in Letter IV. Second, (...) I provide a potential reply on Hobbes’s behalf that appeals to physiological differences between perceivers’ sense organs, drawing upon Hobbes’s optics in De homine. Third, I argue that such a reply would misunderstand Cavendish’s objective of showing the limited explanatory resources available in understanding visual perception as pressing when compared to her view of visual perception as patterning. (shrink)