Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question for the language of arithmetic expressions using a constant for the number one and the operations of product and exponentiation is affirmative, and the complete equational theory also characterises isomorphism in the typed lambda calculus, where the constant for one and the operations of product and exponentiation respectively correspond to the unit type and (...) the product and arrow type constructors. This paper studies isomorphisms in typed lambda calculi with empty and sum types from this viewpoint. Our main contribution is to show that a family of so-called Wilkie–Gurevič identities, that plays a pivotal role in the study of Tarski’s high school algebra problem, arises from type-theoretic isomorphisms. We thus close an open problem by establishing that the theory of type isomorphisms in the presence of product, arrow, and sum types is not finitely axiomatisable. Further, we observe that for type theories with arrow, empty and sum types the correspondence between isomorphism and arithmetic equality generally breaks down, but that it still holds in some particular cases including that of type isomorphism with the empty type and equality with zero. (shrink)

Artificial intelligence (AI) and robotics are digital technologies that will have significant impact on the development of humanity in the near future. They have raised fundamental questions about what we should do with these systems, what the systems themselves should do, what risks they involve, and how we can control these. - After the Introduction to the field (§1), the main themes (§2) of this article are: Ethical issues that arise with AI systems as objects, i.e., tools made and used (...) by humans. This includes issues of privacy (§2.1) and manipulation (§2.2), opacity (§2.3) and bias (§2.4), human-robot interaction (§2.5), employment (§2.6), and the effects of autonomy (§2.7). Then AI systems as subjects, i.e., ethics for the AI systems themselves in machine ethics (§2.8) and artificial moral agency (§2.9). Finally, the problem of a possible future AI superintelligence leading to a “singularity” (§2.10). We close with a remark on the vision of AI (§3). - For each section within these themes, we provide a general explanation of the ethical issues, outline existing positions and arguments, then analyse how these play out with current technologies and finally, what policy consequences may be drawn. (shrink)

In this paper it is argued that existing ‘self-representational’ theories of phenomenal consciousness do not adequately address the problem of higher-order misrepresentation. Drawing a page from the phenomenal concepts literature, a novel self-representational account is introduced that does. This is the quotational theory of phenomenal consciousness, according to which the higher-order component of a conscious state is constituted by the quotational component of a quotational phenomenal concept. According to the quotational theory of consciousness, phenomenal concepts help to account for the (...) very nature of phenomenally conscious states. Thus, the paper integrates two largely distinct explanatory projects in the field of consciousness studies: (i) the project of explaining how we think about our phenomenally conscious states, and (ii) the project of explaining what phenomenally conscious states are in the first place. (shrink)

Will future lethal autonomous weapon systems (LAWS), or ‘killer robots’, be a threat to humanity? The European Parliament has called for a moratorium or ban of LAWS; the ‘Contracting Parties to the Geneva Convention at the United Nations’ are presently discussing such a ban, which is supported by the great majority of writers and campaigners on the issue. However, the main arguments in favour of a ban are unsound. LAWS do not support extrajudicial killings, they do not take responsibility away (...) from humans; in fact they increase the abil-ity to hold humans accountable for war crimes. Using LAWS in war would probably reduce human suffering overall. Finally, the availability of LAWS would probably not increase the probability of war or other lethal conflict—especially as compared to extant remote-controlled weapons. The widespread fear of killer robots is unfounded: They are probably good news. (shrink)

Traditionally, discussions of moral participation – and in particular moral agency – have focused on fully formed human actors. There has been some interest in the development of morality in humans, as well as interest in cultural differences when it comes to moral practices, commitments, and actions. However, until relatively recently, there has been little focus on the possibility that nonhuman animals have any role to play in morality, save being the objects of moral concern. Moreover, when nonhuman cases are (...) considered as evidence of moral agency or subjecthood, there has been an anthropocentric tendency to focus on those behaviors that inform our attributions of moral agency to humans. For example, some argue that the ability to evaluate the principles upon which a moral norm is grounded is required for full moral agency. Certainly, if a moral agent must understand what makes an action right or wrong, then most nonhuman animals would not qualify (and perhaps some humans too). However, if we are to understand the evolution of moral psychology and moral practice, we need to turn our attention to the foundations of full moral agency. We must first pay attention to the more broadly normative practices of other animals. Here, we begin that project by considering evidence that great apes and cetaceans participate in normative practices. (shrink)

This book closely examines our commonly held beliefs about human suffering, and offers unique insights into God's role in why we suffer. Dr. Perri critically examines what it means to be human from a Judeo-Christian perspective, and extrapolates from the work of Carl Gustav Jung showing a deeply complex development of human transcendence in human suffering. On an interpersonal level, Dr. Perri elaborates on the work of Martin Buber and Emanuel Levinas and shows how our suffering can be shared and (...) lessened by our unconditionality and presence for the other. Scriptural passages are quoted from both the Hebrew and New Testament texts, and are used to depict the suffering of humankind as seen in the face of Job. It was this face, according to Perri, that Jesus saw in the faces of those He came to redeem, and that ultimately brought Him to the crucifix of redemption. Dr. Perri challenges Sartre's position that our existence precedes our essence, and draws on the work of Abraham Joshua Heschel and Christian theology in this regard. He further elaborates a neurodevelopmental paradigm that creates essence as the basis of our freedom to choose. This book can be read and studied by both professionals in the helping and healing professions, and lay persons seeking to better understand our suffering, and how to better help those who suffer. Dr. Perri offers specific ways in how to be present for those who suffer, how to read and receive the hidden language of human suffering, and how to use silence as a communication skill. (shrink)

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

In recent years, Charles Sanders Peirce has emerged, in the eyes of philosophers both in America and abroad, as one of America’s major philosophical thinkers. His work has forced us back to philosophical reflection about those basic issues that inevitably confront us as human beings, especially in an age of science. Peirce’s concern for experience, for what is actually encountered, means that his philosophy, even in its most technical aspects, forms a reflective commentary on actual life and on the world (...) in which it is lived. In Charles S. Peirce: On Norms and Ideals, Potter argues that Peirce’s doctrine of the normative sciences is essential to his pragmatism. No part of Peirce’s philosophy is bolder than his attempt to establish esthetics, ethics, and logic as the three normative sciences and to argue for the priority of esthetics among the trio. Logic, Potter cites, is normative because it governs thought and aims at truth; ethics is normative because it analyzes the ends to which thought should be directed; esthetics is normative and fundamental because it considers what it means to be an end of something good in itself. This study shows that pierce took seriously the trinity of normative sciences and demonstrates that these categories apply both to the conduct of man and to the workings of the cosmos. Professor Potter combines sympathetic and informed exposition with straightforward criticism and he deals in a sensible manner with the gaps and inconsistencies in Peirce’s thought. His study shows that Peirce was above all a cosmological and ontological thinker, one who combined science both as a method and as result with a conception of reasonable actions to form a comprehensive theory of reality. Peirce’s pragmatism, although it has to do with "action and the achievement of results, is not a glorification of action but rather a theory of the dynamic nature of things in which the "ideal" dimension of reality – laws, nature of things, tendencies, and ends – has genuine power for directing the cosmic order, including man, toward reasonable goals. (shrink)

Artificial intelligence (AI) is a digital technology that will be of major importance for the development of humanity in the near future. AI has raised fundamental questions about what we should do with such systems, what the systems themselves should do, what risks they involve and how we can control these. - After the background to the field (1), this article introduces the main debates (2), first on ethical issues that arise with AI systems as objects, i.e. tools made and (...) used by humans; here, the main sections are privacy (2.1), manipulation (2.2), opacity (2.3), bias (2.4), autonomy & responsibility (2.6) and the singularity (2.7). Then we look at AI systems as subjects, i.e. when ethics is for the AI systems themselves in machine ethics (2.8.) and artificial moral agency (2.9). Finally we look at future developments and the concept of AI (3). For each section within these themes, we provide a general explanation of the ethical issues, we outline existing positions and arguments, then we analyse how this plays out with current technologies and finally what policy conse-quences may be drawn. (shrink)

‘From now on, I'll describe the cities to you’, the Khan had said, ‘in your journeys you will see if they exist.’ But the cities visited by Marco Polo were always different from those thought of by...

Cet ouvrage propose de retracer le parcours intellectuel et spirituel de l’écrivain roumain d’expression française Emil Cioran (1911-1995). Le texte s’appuie sur une approche biographique pour saisir les enjeux philosophiques et identitaires de la vie et de l’oeuvre de Cioran. Tout d’abord son enfance imprégnée de culture allemande où liberté et insouciance cèdent vite la place à l’ennui ; sa fascination pour les thèses ultra-nationalistes pendant sa jeunesse studieuse et angoissée ; la volonté d’aveuglement que lui inspire ensuite son mépris (...) des affaires humaines ; la fuite de la Roumanie pendant la Guerre et l’affirmation de son incertitude identitaire et intellectuelle ; l’abandon finalement de son pays et de sa langue comme refus de sa propre histoire. L’ouvrage tente d’apporter un regard nouveau sur l’homme et son oeuvre pour résoudre les contradictions inhérentes à son renversement identitaire: bien que la mémoire soit au centre de sa pensée, Cioran se dirigea toujours plus vers la nécessité de l’oubli. La démarche de Vincent Piednoir démontre que cette volonté d’oubli a inscrit le philosophe dans la mémoire collective. De nombreux livres ont commenté la pensée de Cioran. L’originalité de celui-ci est de s’étendre, sans esprit de polémique mais sans tabou, sur sa jeunesse roumaine et profasciste. (shrink)

Le mot « adolescence » a une histoire : l’étude diachronique montre qu’il a subi bien des avatars avant de devenir un concept clinique qui n’a pas cours dans les milieux enseignants. Professeur de lettres, l’auteur s’interroge sur la vision qu’ont les professeurs des élèves. Il remonte à Platon et Socrate, analyse les changements qui impactent les jeunes et la société, montre que la massification de l’enseignement a fait entrer dans les lycées toutes les problématiques qui agitent aujourd’hui l’ensemble des (...) acteurs sociaux, politiques ou religieux. Le constat conduit à des perspectives plutôt pessimistes même s’il laisse entrevoir des résiliences encourageantes. Quoi qu’il en soit, le texte veut susciter une réflexion, tant sur la fonction enseignante et ses problèmes que sur l’avenir imprévisible dans un monde en mutation. (shrink)

Le mot « adolescence » a une histoire : l’étude diachronique montre qu’il a subi bien des avatars avant de devenir un concept clinique qui n’a pas cours dans les milieux enseignants. Professeur de lettres, l’auteur s’interroge sur la vision qu’ont les professeurs des élèves. Il remonte à Platon et Socrate, analyse les changements qui impactent les jeunes et la société, montre que la massification de l’enseignement a fait entrer dans les lycées toutes les problématiques qui agitent aujourd’hui l’ensemble des (...) acteurs sociaux, politiques ou religieux. Le constat conduit à des perspectives plutôt pessimistes même s’il laisse entrevoir des résiliences encourageantes. Quoi qu’il en soit, le texte veut susciter une réflexion, tant sur la fonction enseignante et ses problèmes que sur l’avenir imprévisible dans un monde en mutation. (shrink)

No introductory textbook can do complete justice to the subject of ethics. The best it can do is to help students develop a basic competency in ethical analysis and acquire a measure of confidence in their judgment; it should also stimulate enough interest in the subject that they will want to continue learning about it, formally or informally, when the final chapter is completed and the course is over. Even that relatively modest aim is difficult to achieve. The author must (...) strike the right balance between the theoretical and the practical, between breadth and depth of treatment, and between rigor and relevance, so that students are challenged but not daunted. (shrink)

This article provides the first extensive study of Emanuel Swedenborg’s (1688–1772) views on Africans and slavery. Although significant scholarship has been devoted to Swedenborg’s influence on the British abolitionist movement in the 1780s-1790s, comparably little has been written on the ideas and context which inspired this influence in the first place. This article explores Swedenborg’s ties to networks and debates about African evangelization, colonization, and slavery during the neglected period of the Swedish Age of Liberty (1719–1772). It shows that Swedenborg (...) was the first Swede to condemn slavery, as early as 1741, explains why he regarded slavery as a divine punishment in the afterlife for European missionaries, and why he presented sub-Saharan Africans as superior, in contrast to the dominant dismissive views of Linnaeus, Bäck, Kant, or Buffon. Like most Lutherans of his time, Swedenborg did not advocate the abolition of slavery, yet within a generation his provocative views about African superiority and spiritual emancipation were used by his followers to articulate their abolitionist agenda. Swedenborg’s millenarian doctrines more broadly re-harnessed biblical traditions about Africa and tropes about the bon sauvage, in a counter-example to narratives about the trope’s decline in the second half of the eighteenth century. (shrink)

Can we make machines that think and act like humans or other natural intelligent agents? The answer to this question depends on how we see ourselves and how we see the machines in question. Classical AI and cognitive science had claimed that cognition is computation, and can thus be reproduced on other computing machines, possibly surpassing the abilities of human intelligence. This consensus has now come under threat and the agenda for the philosophy and theory of AI must be set (...) anew, re-defining the relation between AI and Cognitive Science. We can re-claim the original vision of general AI from the technical AI disciplines; we can reject classical cognitive science and replace it with a new theory (e.g. embodied); or we can try to find new ways to approach AI, for example from neuroscience or from systems theory. To do this, we must go back to the basic questions on computing, cognition and ethics for AI. The 30 papers in this volume provide cutting-edge work from leading researchers that define where we stand and where we should go from here. (shrink)

A companion volume to On Understanding Understanding, this second edition incorporates corrections to the previous text and includes new readings. The works collected in this volume are mainly from the British Empiricists. The breadth of the selection is not so diverse that the pieces cannot be readily understood by a newcomer to Epistemology, they have a logical progression of development (from Locke to Berkeley to Hume), and all of the philosophers whose work is represented have had great influence on contemporary (...) Anglo-American philosophy. In the Introduction, Potter sets the selections in their historical context and urges the readers to form their own viewpoint in terms of the period's contribution to the advancement of culture, politics, and society. He gives a concise summary of the Enlightenment period, demonstrating how and why Rationalism and Empiricism came about, and challenges the reader not to simply note the points of disparity between the two schools, but to notice the similarities of their common assumptions - both substantive and methodological. Readings in Epistemology, Second Edition is an excellent classroom tool. A biographical note on the philosopher, and list of suggested books for further study, heads each of the readings. Study Questions which stimulate discussion, are at the end of each piece. (shrink)

This extended abstract summarises some of the basic points of AI ethics and policy as they present themselves now. We explain the notion of AI, the main ethical issues in AI and the main policy aims and means.

I develop a theodicy (Non-Identity Theodicy) that begins with the recognition that we owe our existence to great and varied evils. I develop two versions of this theodicy, with the result that some version is available to the theist regardless of her assumptions about the existence and nature of free will. My defense of Non-Identity Theodicy is aided by an analogy between divine creation and human procreation. I argue that if one af rms the morality of vol- untary human procreation, (...) one should af rm the morality of divine creation; conversely, deny- ing the morality of divine creation commits one to denying the morality of human procreation. (shrink)

Hoe denken vrijdenkers, anarchisten en humanisten over opvoeding en onderwijs en hoe hebben ze bijgedragen aan de ontwikkeling van pedagogiek en onderwijs in Nederland? Dat zijn de vragen die in 'Tussen autonomie of humaniteit' centraal staan. Het boek beantwoordt deze vragen in drie casestudies binnen de periode 1850-1970. De eerste casus gaat over vrijdenkers rond 1860, een periode waarin een nieuwe schoolwet veel pedagogische discussies teweeg bracht over de rol van natuur en godsdienst in de school. In de tweede casus (...) (1912-1920) treden vrijdenkers en anarchisten op. Zij worden onderzocht tegen de achtergrond van de Eerste Wereldoorlog en de opkomst van de reformpedagogiek in Nederland. In de derde casus (1945-1970) staan de humanisten van het Humanistisch Verbond centraal en hun bijdrage aan de ontwikkeling van levensbeschouwelijk onderwijs en de openbare school. 0Deze casussen worden beschreven met de vraag voor ogen of deze groepen humanisten vooral autonomie in de opvoeding nastreefden of de bevordering van humaniteit. Dat levert een boeiend beeld op van de diversiteit van humanistische pedagogische perspectieven, waaronder het naturalistisch-romantische, het radicaal-kritische en het existentialistische perspectief. (shrink)

Faire preuve d'éthique professionnelle est une responsabilité qui incombe à tous les enseignants, ceux en devenir, les directeurs d'établissements scolaires et les professionnels de l'éducation. Or l'éthique professionnelle est une construction en mouvance faite d'expériences, de politiques, de pratiques... Dresser un plan linéaire des étapes à franchir pour la développer serait présomptueux, mais il est nécessaire d'en explorer les différentes facettes. Cet ouvrage met en lumière les éléments présents dans le processus de construction de l'agir éthique chez les professionnels de (...) l'éducation, notamment au regard des rôles que ceux-ci doivent assumer auprès des divers acteurs scolaires. Présentant des approches et des modèles d'intervention et de construction expérimentés auprès de professionnels des milieux éducatifs, il amène des pistes de réflexion originales sur les formations initiale et continue. Riche de nouvelles avenues en matière d'éthique appliquée, il ouvre la voie à l'établissement de lignes directrices et à l'articulation de formations pour le développement de l'agir éthique, mais aussi à la mise en place d'un langage commun plus clair et plus sensible aux réalités que vivent les acteurs du milieu scolaire. (shrink)

Kierkegaard’s psychological thought has always been acknowledged as very rich—Reinhold Niebuhr hailed him as the greatest psychologist of the soul since Augustine—and has had a major influence on Heidegger, Sartre, and existential psychoanalysis. Nevertheless, his accomplishment has not always been fully appreciated, in part because it is so scattered across his works. As Vincent McCarthy demonstrates in Kierkegaard as Psychologist, Kierkegaard was pursuing “psychology” before there was a formally recognized academic field bearing that name, and a coherent thread runs (...) through the so-called pseudonymous works. McCarthy elucidates often-difficult texts, highlights the rich psychological dimension of Kierkegaard’s thought, and provides an introduction for the nonspecialist and a commentary on Kierkegaard’s psychology that will interest both specialists and nonspecialists, while engaging in rich comparisons with such figures as Freud and Heidegger. (shrink)

Proceedings of the papers presented at the Symposium on "Revisiting Turing and his Test: Comprehensiveness, Qualia, and the Real World" at the 2012 AISB and IACAP Symposium that was held in the Turing year 2012, 2–6 July at the University of Birmingham, UK. Ten papers. - http://www.pt-ai.org/turing-test --- Daniel Devatman Hromada: From Taxonomy of Turing Test-Consistent Scenarios Towards Attribution of Legal Status to Meta-modular Artificial Autonomous Agents - Michael Zillich: My Robot is Smarter than Your Robot: On the Need for (...) a Total Turing Test for Robots - Adam Linson, Chris Dobbyn and Robin Laney: Interactive Intelligence: Behaviour-based AI, Musical HCI and the Turing Test - Javier Insa, Jose Hernandez-Orallo, Sergio España - David Dowe and M.Victoria Hernandez-Lloreda: The anYnt Project Intelligence Test (Demo) - Jose Hernandez-Orallo, Javier Insa, David Dowe and Bill Hibbard: Turing Machines and Recursive Turing Tests — Francesco Bianchini and Domenica Bruni: What Language for Turing Test in the Age of Qualia? - Paul Schweizer: Could there be a Turing Test for Qualia? - Antonio Chella and Riccardo Manzotti: Jazz and Machine Consciousness: Towards a New Turing Test - William York and Jerry Swan: Taking Turing Seriously (But Not Literally) - Hajo Greif: Laws of Form and the Force of Function: Variations on the Turing Test. (shrink)

Theories of quantum gravity generically presuppose or predict that the reality underlying relativistic spacetimes they are describing is significantly non-spatiotemporal. On pain of empirical incoherence, approaches to quantum gravity must establish how relativistic spacetime emerges from their non-spatiotemporal structures. We argue that in order to secure this emergence, it is sufficient to establish that only those features of relativistic spacetimes functionally relevant in producing empirical evidence must be recovered. In order to complete this task, an account must be given of (...) how the more fundamental structures instantiate these functional roles. We illustrate the general idea in the context of causal set theory and loop quantum gravity, two prominent approaches to quantum gravity. (shrink)

People's courts and legal philosophy -- Spotlight on people's courts -- Law -- Judging -- Punishment.

La religion ne serait-elle que déraison ?

There is, in some quarters, concern about high–level machine intelligence and superintelligent AI coming up in a few decades, bringing with it significant risks for humanity. In other quarters, these issues are ignored or considered science fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development, and how fast they see these developing. We thus (...) designed a brief questionnaire and distributed it to four groups of experts in 2012/2013. The median estimate of respondents was for a one in two chance that high-level machine intelligence will be developed around 2040-2050, rising to a nine in ten chance by 2075. Experts expect that systems will move on to superintelligence in less than 30 years thereafter. They estimate the chance is about one in three that this development turns out to be ‘bad’ or ‘extremely bad’ for humanity. (shrink)

En se posant la question du " goût des belles choses " dans notre quotidien, les ethnologues rassemblés ici ont emprunté une autre voie que celles de la réflexion philosophique classique - centrée sur la définition d'une catégorie du ...

Some authors have recently suggested that it is time to consider rights for robots. These suggestions are based on the claim that the question of robot rights should not depend on a standard set of conditions for ‘moral status’; but instead, the question is to be framed in a new way, by rejecting the is/ought distinction, making a relational turn, or assuming a methodological behaviourism. We try to clarify these suggestions and to show their highly problematic consequences. While we find (...) the suggestions ultimately unmotivated, the discussion shows that our epistemic condition with respect to the moral status of others does raise problems, and that the human tendency to empathise with things that do not have moral status should be taken seriously—we suggest that it produces a “derived moral status”. Finally, it turns out that there is typically no individual in real AI that could even be said to be the bearer of moral status. Overall, there is no reason to think that robot rights are an issue now. (shrink)

In prior work, we have argued that spacetime functionalism provides tools for clarifying the conceptual difficulties specifically linked to the emergence of spacetime in certain approaches to quantum gravity. We argue in this article that spacetime functionalism in quantum gravity is radically different from other functionalist approaches that have been suggested in quantum mechanics and general relativity: in contrast to these latter cases, it does not compete with purely interpretative alternatives, but is rather intertwined with the physical theorizing itself at (...) the level of quantum gravity. Spacetime functionalism allows one to articulate a coherent realist perspective in the context of quantum gravity, and to relate it to a straightforward realist understanding of general relativity. (shrink)

In prior work, we have argued that spacetime functionalism provides tools for clarifying the conceptual difficulties specifically linked to the emergence of spacetime in certain approaches to quantum gravity. We argue in this article that spacetime functionalism in quantum gravity is radically different from other functionalist approaches that have been suggested in quantum mechanics and general relativity: in contrast to these latter cases, it does not compete with purely interpretative alternatives, but is rather intertwined with the physical theorizing itself at (...) the level of quantum gravity. Spacetime functionalism allows one to articulate a coherent realist perspective in the context of quantum gravity, and to relate it to a straightforward realist understanding of general relativity. (shrink)

The philosophical literature that tackles foundational questions about normativity often appeals to normative reasons—or considerations that count in favor of or against actions—and their interaction. The interaction between normative reasons is usually made sense of by appealing to the metaphor of (normative) weight scales. This paper substitutes an argumentation-theoretic model for this metaphor. The upshot is a general and precise model that is faithful to the philosophical ideas.

The procedures of canonical quantization of the gravitational field apparently lead to entities for which any interpretation in terms of spatio-temporal localization or spatio-temporal extension seems difficult. This fact is the main ground for the suggestion that can often be found in the physics literature on canonical quantum gravity according to which spacetime may not be fundamental in some sense. This paper aims to investigate this radical suggestion from an ontologically serious point of view in the cases of two standard (...) forms of canonical quantum gravity, quantum geometrodynamics and loop quantum gravity. We start by discussing the physical features of the quantum wave functional of quantum geometrodynamics and of the spin networks of loop quantum gravity that motivate the view according to which spacetime is not fundamental. We then point out that, by contrast, for any known ontologically serious understanding of quantum entanglement, the commitment to spacetime seems indispensable. Against this background, we then critically discuss the idea that spacetime may emerge from more fundamental entities. As a consequence, we finally suggest that the emergence of classical spacetime in canonical quantum gravity faces a dilemma: either spacetime ontologically emerges from more fundamental non-spatio-temporal entities or it already belongs to the fundamental quantum gravitational level and the emergence of the classical picture is merely a matter of levels of description. On the first horn of the dilemma, it is unclear how to make sense of concrete physical entities that are not in spacetime and of the notion of ontological emergence that is involved. The second horn runs into the difficulties raised by the physics of canonical quantum gravity. (shrink)

Radical ontic structural realism (ROSR) asserts an ontological commitment to ‘free-standing’ physical structures understood solely in terms of fundamental relations, without any recourse to relata that stand in these relations. Bain ([2013], pp.1621–35) has recently defended ROSR against the common charge of incoherence by arguing that a reformulation of fundamental physical theories in category-theoretic terms (rather than the usual set-theoretic ones) offers a coherent and precise articulation of the commitments accepted by ROSR. In this essay, we argue that category theory (...) does not offer a more hospitable environment to ROSR than set theory. We also show that the application of category-theoretic tools to topological quantum field theory and to algebraic generalizations of general relativity do not warrant the claim that these theories describe ‘object-free’ structures. We conclude that category theory offers little if any comfort to ROSR. 1 Introduction: Ridding Structures of Objects2 The Set-theoretic Peril for Radical Ontic Structural Realism3 Bain’s Categorial Strategy to Save Radical Ontic Structural Realism4 Throwing out the Relations with the Relata5 Categorial and Set-theoretical Structures6 Radical Suggestions from Topological Quantum Field Theory?7 Sheaves of Einstein Algebras as Radical Structures?8 Conclusions. (shrink)

The starting point of this article is the observation that the emergence of the Anthropocene rehabilitates the need for philosophical reflections on the ontology of technology. In particular, if technological innovations on an ontic level of beings in the world are created, but these innovations at the same time _create_ the Anthropocene World at an ontological level, this raises the question how World creation has to be understood. We first identify four problems with the traditional concept of creation: the anthropocentric, (...) ontic and outcome orientation of traditional concepts of creation, as well as its orientation of material fabrication. We subsequently develop a progressive concept of World creation with four characteristics that move beyond the traditional conceptuality: (1) a materialistic concept of creation that accounts for (2) the ontogenetic process and (3) the ontic and ontological nature of creation, and (4) is conceptualized as semantic creation of the World in which we live and act. (shrink)

The procedures of canonical quantization of the gravitational field apparently lead to entities for which any interpretation in terms of spatio-temporal localization or spatio-temporal extension seems difficult. This fact is the main ground for the suggestion that can often be found in the physics literature on canonical quantum gravity according to which spacetime may not be fundamental in some sense. This paper aims to investigate this radical suggestion from an ontologically serious point of view in the cases of two standard (...) forms of canonical quantum gravity, quantum geometrodynamics and loop quantum gravity. We start by discussing the physical features of the quantum wave functional of quantum geometrodynamics and of the spin networks of loop quantum gravity that motivate the view according to which spacetime is not fundamental. We then point out that, by contrast, for any known ontologically serious understanding of quantum entanglement, the commitment to spacetime seems indispensable. Against this background, we then critically discuss the idea that spacetime may emerge from more fundamental entities. As a consequence, we finally suggest that the emergence of classical spacetime in canonical quantum gravity faces a dilemma: either spacetime ontologically emerges from more fundamental non-spatio-temporal entities or it already belongs to the fundamental quantum gravitational level and the emergence of the classical picture is merely a matter of levels of description. On the first horn of the dilemma, it is unclear how to make sense of concrete physical entities that are not in spacetime and of the notion of ontological emergence that is involved. The second horn runs into the difficulties raised by the physics of canonical quantum gravity. (shrink)

This study develops a genetic phenomenological sociology of space from the phenomenology and phenomenological sociology of space. Based on relational ontology, it argues that social space is a social relationship in genesis. An Apple walk-in store and an Apple online store are examples to illustrate the essence of social space. Any Apple store as a social space represents a set of social relations. The genetic phenomenological sociology of space in both store types includes two parts: first, the social ontology of (...) space, that is, ‘being-in-the-Apple-store’ or ‘being-in-the-Apple-online-store’; and second, the social epistemology of space, that is, the act of ‘encountering’ in either store. Examining the existence of space ontologically and the mode of existence epistemologically clarifies that the actual ‘meaning’ of social space, an Apple store or an Apple online store in this study, emerges through the act of encountering. Three characteristics of encountering are placelessness, ‘de-distancing,’ and mediation. (shrink)

Ethical, Legal and Social Aspects (ELSA) originated in the 4thEuropean Research Framework Programme (1994) andresponsible research and innovation (RRI) from the EC researchagenda in 2010. ELSA has received renewed attention inEuropean funding schemes and research. This raises the questionof how these two approaches to social responsibility relate toone another and if there is the possibility to align. There is aneed to evaluate the relationship/overlap between ELSA and RRIbecause there is a possibility that new ELSA research will reinventthe wheel if it (...) does not engage with the body of literaturealready present in RRI research. This provides unneeded extrabureaucracy, reformulations of research agendas, extrainvestment, and an overabundance of frameworks to implement,and ELSA research does not take advantage of the body ofresearch developed in RRI. This paper evaluates how ELSA andRRI diverge, are complementary, and can be aligned. (shrink)

The paper compares ontic structural realism in quantum physics with ontic structural realism about space–time. We contend that both quantum theory and general relativity theory support a common, contentful metaphysics of ontic structural realism. After recalling the main claim of ontic structural realism and its physical support, we point out that both in the domain of quantum theory and in the domain of general relativity theory, there are objects whose essential ways of being are certain relations so that these objects (...) do not possess an intrinsic identity. Nonetheless, the qualitative, physical nature of these relations is in the quantum case (entanglement) fundamentally different from the classical, metrical relations treated in general relativity theory. (shrink)