A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when we need to consider artificial systems which are significantly different to humans. In this paper we approach this problem in the following way: we take a number of well known informal definitions of human intelligence that have been given by experts, and extract their essential features. These are then mathematically formalised to produce a general measure of intelligence for arbitrary machines. (...) We believe that this equation formally captures the concept of machine intelligence in the broadest reasonable sense. We then show how this formal definition is related to the theory of universal optimal learning agents. Finally, we survey the many other tests and definitions of intelligence that have been proposed for machines. (shrink)

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

Can humans get arbitrarily capable reinforcement learning agents to do their bidding? Or will sufficiently capable RL agents always find ways to bypass their intended objectives by shortcutting their reward signal? This question impacts how far RL can be scaled, and whether alternative paradigms must be developed in order to build safe artificial general intelligence. In this paper, we study when an RL agent has an instrumental goal to tamper with its reward process, and describe design principles that prevent instrumental (...) goals for two different types of reward tampering. Combined, the design principles can prevent reward tampering from being an instrumental goal. The analysis benefits from causal influence diagrams to provide intuitive yet precise formalizations. (shrink)

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)

Understanding inductive reasoning is a problem that has engaged mankind for thousands of years. This problem is relevant to a wide range of fields and is integral to the philosophy of science. It has been tackled by many great minds ranging from philosophers to scientists to mathematicians, and more recently computer scientists. In this article we argue the case for Solomonoff Induction, a formal inductive framework which combines algorithmic information theory with the Bayesian framework. Although it achieves excellent theoretical results (...) and is based on solid philosophical foundations, the requisite technical knowledge necessary for understanding this framework has caused it to remain largely unknown and unappreciated in the wider scientific community. The main contribution of this article is to convey Solomonoff induction and its related concepts in a generally accessible form with the aim of bridging this current technical gap. In the process we examine the major historical contributions that have led to the formulation of Solomonoff Induction as well as criticisms of Solomonoff and induction in general. In particular we examine how Solomonoff induction addresses many issues that have plagued other inductive systems, such as the black ravens paradox and the confirmation problem, and compare this approach with other recent approaches. (shrink)

Increasingly encompassing models have been suggested for our world. Theories range from generally accepted to increasingly speculative to apparently bogus. The progression of theories from ego- to geo- to helio-centric models to universe and multiverse theories and beyond was accompanied by a dramatic increase in the sizes of the postulated worlds, with humans being expelled from their center to ever more remote and random locations. Rather than leading to a true theory of everything, this trend faces a turning point after (...) which the predictive power of such theories decreases (actually to zero). Incorporating the location and other capacities of the observer into such theories avoids this problem and allows to distinguish meaningful from predictively meaningless theories. This also leads to a truly complete theory of everything consisting of a (conventional objective) theory of everything plus a (novel subjective) observer process. The observer localization is neither based on the controversial anthropic principle, nor has it anything to do with the quantum-mechanical observation process. The suggested principle is extended to more practical (partial, approximate, probabilistic, parametric) world models (rather than theories of everything). Finally, I provide a justification of Ockham's razor, and criticize the anthropic principle, the doomsday argument, the no free lunch theorem, and the falsifiability dogma.", . (shrink)

The technological singularity refers to a hypothetical scenario in which technological advances virtually explode. The most popular scenario is the creation of super-intelligent algorithms that recursively create ever higher intelligences. It took many decades for these ideas to spread from science fiction to popular science magazines and finally to attract the attention of serious philosophers. David Chalmers' (JCS 2010) article is the first comprehensive philosophical analysis of the singularity in a respected philosophy journal. The motivation of my article is to (...) augment Chalmers' and to discuss some issues not addressed by him, in particular what it could mean for intelligence to explode. In this course, I will (have to) provide a more careful treatment of what intelligence actually is, separate speed from intelligence explosion, compare what super-intelligent participants and classical human observers might experience and do, discuss immediate implications for the diversity and value of life, consider possible bounds on intelligence, and contemplate intelligences right at the singularity. (shrink)

Sequential decision theory formally solves the problem of rational agents in uncertain worlds if the true environmental prior probability distribution is known. Solomonoff's theory of universal induction formally solves the problem of sequence prediction for unknown prior distribution. We combine both ideas and get a parameter-free theory of universal Artificial Intelligence. We give strong arguments that the resulting AIXI model is the most intelligent unbiased agent possible. We outline how the AIXI model can formally solve a number of problem classes, (...) including sequence prediction, strategic games, function minimization, reinforcement and supervised learning. The major drawback of the AIXI model is that it is uncomputable. To overcome this problem, we construct a modified algorithm AIXItl that is still effectively more intelligent than any other time t and length l bounded agent. The computation time of AIXItl is of the order t x 2^l. The discussion includes formal definitions of intelligence order relations, the horizon problem and relations of the AIXI theory to other AI approaches. (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)

The progression of theories suggested for our world, from ego- to geo- to helio-centric models to universe and multiverse theories and beyond, shows one tendency: The size of the described worlds increases, with humans being expelled from their center to ever more remote and random locations. If pushed too far, a potential theory of everything (TOE) is actually more a theories of nothing (TON). Indeed such theories have already been developed. I show that including observer localization into such theories is (...) necessary and sufficient to avoid this problem. I develop a quantitative recipe to identify TOEs and distinguish them from TONs and theories in-between. This precisely shows what the problem is with some recently suggested universal TOEs. (shrink)

In this paper, we provide a detailed review of previous classifications of 2 × 2 games and suggest a mathematically simple way to classify the symmetric 2 × 2 games based on a decomposition of the payoff matrix into a cooperative and a zero-sum part. We argue that differences in the interaction between the parts is what makes games interesting in different ways. Our claim is supported by evolutionary computer experiments and findings in previous literature. In addition, we provide a (...) method for using a stereographic projection to create a compact 2-d representation of the game space. (shrink)

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

Philosophy in Minutes distils 200 of the most important philosophical ideas into easily digestible, bite-sized sections. The core information for every topic - including debates such as the role of philosophy in science and religion, key thinkers from Aristotle to Marx, and introductions to morality and ethics - is explained in straightforward language, using illustrations to make the concepts easy to understand and remember. Whether you are perplexed by existentialism or pondering the notion of free will, this accessible small-format book (...) will help any reader to quickly grasp the basics of this highly nuanced subject. Chapters include: Truth and logic, Marxism, Communism and Socialism, Ontology, Philosophy and literature, Existence of God, Feminist theory, Consciousness, The future of philosophy. (shrink)

Quick, accessible, compact guide to understanding key political concepts. Contents include: Liberty, Justice, Equality, Human rights, Social contract, Democracy, Monarchy, Anarchism, Capitalism, Socialism, Nationalism and Globalisation.

Marcus Giaquinto tells the compelling story of one of the great intellectual adventures of the modern era: the attempt to find firm foundations for mathematics. From the late nineteenth century to the present day, this project has stimulated some of the most original and influential work in logic and philosophy.

ABSTRACTResearch that dissociates different types of processes within a given task using a processing tree approach suggests that attitudes may be acquired through evaluative conditioning in the absence of explicit encoding of CS-US pairings in memory. This research distinguishes explicit memory for the CS-US pairings from CS-liking acquired without encoding of CS-US pairs in explicit memory. It has been suggested that the latter effect may be due to an implicit misattribution process that is assumed to operate when US evocativeness is (...) low. In the present research, the latter assumption was supported neither by two high-powered experiments nor by complementary meta-analytic evidence, whereas evocativeness exerted an influence on explicit memory. This pattern of findings is inconsistent with the view that CS-liking acquired without encoding of CS-US pairs in explicit memory reflects an implicit misattribution process at learning. Hence, the underlying learning process is awaiting further empirical scrutiny. (shrink)

This book represents the first sustained Protestant response to Pope John Paul II's recent moral encyclicals in the English-speaking world. Written by Protestant scholars, the essays touch on such issues as euthanasia and abortion.

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)

Visual thinking -- visual imagination or perception of diagrams and symbol arrays, and mental operations on them -- is omnipresent in mathematics. Is this visual thinking merely a psychological aid, facilitating grasp of what is gathered by other means? Or does it also have epistemological functions, as a means of discovery, understanding, and even proof? By examining the many kinds of visual representation in mathematics and the diverse ways in which they are used, Marcus Giaquinto argues that visual thinking (...) in mathematics is rarely just a superfluous aid; it usually has epistemological value, often as a means of discovery. Drawing from philosophical work on the nature of concepts and from empirical studies of visual perception, mental imagery, and numerical cognition, Giaquinto explores a major source of our grasp of mathematics, using examples from basic geometry, arithmetic, algebra, and real analysis. He shows how we can discern abstract general truths by means of specific images, how synthetic a priori knowledge is possible, and how visual means can help us grasp abstract structures. Visual Thinking in Mathematics reopens the investigation of earlier thinkers from Plato to Kant into the nature and epistemology of an individual's basic mathematical beliefs and abilities, in the new light shed by the maturing cognitive sciences. Clear and concise throughout, it will appeal to scholars and students of philosophy, mathematics, and psychology, as well as anyone with an interest in mathematical thinking. (shrink)

Is there a language of transcendence which does not fall under the well-worn categories of monism, theism, pantheism, biblical or pagan monotheism, personal or tripersonal God, or an impersonal absolute, conceived as immanent and/or transcendent? The present set of studies from different fields of research centers on the question whether it is possible to speak at all of transcendence or a divinity, and if it is, under what limitations does such speech proceed. In current discussion in theology and in philosophy (...) of religion, there is a pervasive awareness that the inherited terms and alternatives, developed in the western tradition, no longer facilitate an adequate understanding of the divine. Increasing familiarity with the languages of 'immanence' and 'transcendence' (under erasure) in Hindu and Buddhist thought has further jumbled our coordinates, while holding out the promise of a more subtle and vital engagement with the matter itself of religious inquiry. A further long-established distinction, between 'personal' and 'impersonal, ' also takes on rich new hues in Asian contexts, where the very notion of 'person' may undergo unsettling critiques. Transgressing the categories of 'personal' and 'impersonal' points to the mystical depth of religious traditions, emphasizes their openness and reintegrates essential elements of both perspectives. Advancing with curiosity and caution, all the contributors take seriously the diversity of historical religious traditions, while nevertheless searching for a fresh language that may connect these traditions and provide a common ground of understanding. (shrink)

The dominant theory of the evolution of moral cognition across a variety of fields is that moral cognition is a biological adaptation to foster social cooperation. This chapter argues, to the contrary, that moral cognition is likely an evolutionary exaptation: a form of cognition where neurobiological capacities selected for in our evolutionary history for a variety of different reasons—many unrelated to social cooperation—were put to a new, prosocial use after the fact through individual rationality, learning, and the development and transmission (...) of social norms. This chapter begins with a brief overview of the emerging behavioral neuroscience of moral cognition. It then outlines a novel theory of moral cognition that I have previously argued explains these findings better than alternatives. Finally, it shows how the evidence for this theory of moral cognition and human evolutionary history together suggest that moral cognition is likely not a biological adaptation. Instead, like reading sheet music or riding a bicycle, moral cognition is something that individuals learn to do—in this case, in response to sociocultural norms created in our ancestral history and passed down through the ages to enable cooperative living. (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)

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)

This paper aims to provide a unifying approach to the analysis of understanding coherencies and understanding subject matters by highlighting the contextualist nature of understanding. Inspired by the relevant alternatives contextualism about knowledge, I will argue that understanding inherently has context-sensitive features and that a theory of understanding that highlights those features can incorporate our intuitions towards understanding as well as consolidate the different accounts of how to analyse understanding. In developing a contextualist account of understanding, I will argue that (...) an account of the features commonly taken to be central to understanding greatly benefits from a contextualist framework. Central to my analysis will be the claim that a person has to fulfill the function of a competent problem solver in order to qualify for the ascription of understanding. In addition to the theoretical elucidation of my contextualist approach to understanding, a demanding hypothetical scenario will be developed to function as a test case. (shrink)

In this article I have two primary goals. First, I present two recent views on the distinction between knowledge-that and knowledge-how (Stanley and Williamson, The Journal of Philosophy 98(8):411–444, 2001; Hetherington, Epistemology futures, 2006). I contend that neither of these provides conclusive arguments against the distinction. Second, I discuss studies from neuroscience and experimental psychology that relate to this distinction. Having examined these studies, I then defend a third view that explains certain relevant data from these studies by positing the (...) double dissociation of knowledge-that and knowledge-how and that is also able to do explanatory work elsewhere. (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)

This new edition brings Farquharson's authoritative 1944 translation up to date and includes a helpful introduction and notes for the student and general reader. Rutherford includes a selection of letters from Marcus to his tutor Fronto--most of which date from his earlier years--that offer personal detail and help to fill out the somber portrait of the emperor that is found in the Meditations.

A wide range of non-pharmaceutical interventions (NPIs) have been introduced to stop or slow down the COVID-19 pandemic. Examples include school closures, environmental cleaning and disinfection, mask mandates, restrictions on freedom of assembly and lockdowns. These NPIs depend on coercion for their effectiveness, either directly or indirectly. A widely held view is that coercive policies need to be publicly justified—justified to each citizen—to be legitimate. Standardly, this is thought to entail that there is a scientific consensus on the factual propositions (...) that are used to support the policies. In this paper, we argue that such a consensus has been lacking on the factual propositions justifying most NPIs. Consequently, they would on the standard view be illegitimate. This is regrettable since there are good reasons for granting the state the legitimate authority to enact NPIs under conditions of uncertainty. The upshot of our argument is that it is impossible to have both the standard interpretation of the permissibility of empirical claims in public justification and an effective pandemic response. We provide an alternative view that allows the state sufficient room for action while precluding the possibility of it acting without empirical support. (shrink)

Marcus Aurelius' Meditations is a private notebook of philosophical reflections with universal significance. Drawing on Stoic philosophy, Marcus confronts challenges that affect us all in our struggle to live meaningful lives. This edition includes a selection of Marcus' correspondence with his tutor Fronto which complements the Meditations.

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)

This article argues that if panpsychism is true, then there are grounds for thinking that digitally-based artificial intelligence may be incapable of having coherent macrophenomenal conscious experiences. Section 1 briefly surveys research indicating that neural function and phenomenal consciousness may be both analog in nature. We show that physical and phenomenal magnitudes—such as rates of neural firing and the phenomenally experienced loudness of sounds—appear to covary monotonically with the physical stimuli they represent, forming the basis for an analog relationship between (...) the three. Section 2 then argues that if this is true and micropsychism—the panpsychist view that phenomenal consciousness or its precursors exist at a microphysical level of reality—is also true, then human brains must somehow manipulate fundamental microphysical-phenomenal magnitudes in an analog manner that renders them phenomenally coherent at a macro level. However, Sect. 3 argues that because digital computation abstracts away from microphysical-phenomenal magnitudes—representing cognitive functions non-monotonically in terms of digits—digital computation may be inherently incapable of realizing coherent macroconscious experience. Thus, if panpsychism is true, digital AI may be incapable of achieving phenomenal coherence. Finally, Sect. 4 briefly examines our argument’s implications for Tononi’s Integrated Information Theory theory of consciousness, which we contend may need to be supplanted by a theory of macroconsciousness as analog microphysical-phenomenal information integration. (shrink)

Presenting the first step-by-step commentary on Husserl’s Ideas I, Marcus Brainard’s Belief and Its Neutralization provides an introduction not only to this central work, but also to the whole of transcendental phenomenology. Brainard offers a clear and lively account of each key element in Ideas I, along with a novel reading of Husserl, one which may well cause scholars to reconsider many long-standing views on his thought, especially on the role of belief, the effect and scope of the epoché, (...) and the significance of the universal neutrality modification. (shrink)

Marcus Giaquinto presents an investigation into the different kinds of visual thinking involved in mathematical thought, drawing on work in cognitive psychology, philosophy, and mathematics. He argues that mental images and physical diagrams are rarely just superfluous aids: they are often a means of discovery, understanding, and even proof.

Kant’s revolutionary new approach to philosophy was accompanied by the introduction of a largely novel terminology. With the Kant-Lexikon, a lexical reference gives the modern reader access to his work on the basis of present-day editions and takes into account 20th century and contemporary research and advances in lexicology. The Kant-Lexikon includes 2395 entries authored by 221 scholars.

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)

Peer review is often taken to be the main form of quality control on academic research. Usually journals carry this out. However, parts of maths and physics appear to have a parallel, crowd-sourced model of peer review, where papers are posted on the arXiv to be publicly discussed. In this paper we argue that crowd-sourced peer review is likely to do better than journal-solicited peer review at sorting papers by quality. Our argument rests on two key claims. First, crowd-sourced peer (...) review will lead on average to more reviewers per paper than journal-solicited peer review. Second, due to the wisdom of the crowds, more reviewers will tend to make better judgments than fewer. We make the second claim precise by looking at the Condorcet Jury Theorem as well as two related jury theorems developed specifically to apply to peer review. (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)

Following in a psychological and musicological tradition beginning with Leonard Meyer, and continuing through David Huron, we present a functional, cognitive account of the phenomenon of expectation in music, grounded in computational, probabilistic modeling. We summarize a range of evidence for this approach, from psychology, neuroscience, musicology, linguistics, and creativity studies, and argue that simulating expectation is an important part of understanding a broad range of human faculties, in music and beyond.

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)