This paper contains a survey of the main definitions and results obtained to date related to Temporal Equilibrium Logic, a nonmonotonic hybrid approach that combines Equilibrium Logic (the best-known logical characterisation for the stable models semantics of logic programs) with Linear-Time Temporal Logic.

In this paper, we study the introduction of modal past temporal operators in Temporal Equilibrium Logic, an hybrid formalism that mixes linear-time modalities and logic programs interpreted under stable models and their characterisation in terms of Equilibrium Logic. We show that Kamp’s translation can also be used to translate the new extension of TEL with past operators into Quantified Equilibrium Logic. Additionally, we provide a method for removing past operators that consists in replacing past-time subformulas by fresh auxiliary atoms, obtaining (...) an equivalent formula, modulo the original alphabet. (shrink)

1. Reasoning about action and change, or more generally reasoning about dynamic systems, is not only central to knowledge representation and reasoning but at the heart of computer science (Fisher e...

The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.

Near the end of 2015, Luis Fariñas del Cerro officially retired as directeur de recherche in the Centre National de Recherche Scientifique (CNRS) and became an Emeritus researcher of the CNRS. The present special issue is a Festschrift in his honour to celebrate Luis’s achievements in science, both as an outstanding scholar as well as a remarkable and highly successful organiser, administrator and leader in science and technology policy and management, in particular as the founder of the Journal of Applied (...) Non-Classical Logics. The issue contains 13 scientific contributions by 32 authors, among them Luis’s colleagues, former students and friends. Preceding versions of these papers were presented at the international workshop ‘Logical Reasoning and Computation’ that was held at IRITInstitut de Recherche en Informatique de Toulouse, Université Paul Sabatier, Toulouse, on 3–4 March 2016. The present introduction contains a short scientific biography describing the many different areas of logic and computation where Luis contributed significant advances. (shrink)

A reply to Gérald Bronner, Véronique Campion-Vincent, Sylvain Delouvée, Sebastian Dieguez, Nicolas Gauvrit, Anthony Lantian, and Pascal Wagner-Egger's piece, '“They” Respond: Comments on Basham et al.’s “Social Science’s Conspiracy-Theory Panic: Now They Want to Cure Everyone”.

Online supplement, "Mulsow: Additions to Notes drawn from the 2002 edition of Moderne aus dem Untergrund" full versions of nearly 300 notes that were truncated in the print edition. Hosted on H. C. Erik Midelfort's website. Martin Mulsow's seismic reinterpretation of the origins of the Enlightenment in Germany won awards and renown in its original German edition, and now H. C. Erik Midelfort's translation makes this sensational book available to English-speaking readers. In Enlightenment Underground, Mulsow shows that even in the (...) late seventeenth century some thinkers in Germany ventured to express extremely dangerous ideas, but did so as part of a secret underground. Scouring manuscript collections across northern Europe, Mulsow studied the writings of countless hitherto unknown radical jurists, theologians, historians, and dissident students who pushed for the secularization of legal, political, social, and religious knowledge. Often their works circulated in manuscript, anonymously, or as clandestinely published books. Working as a philosophical microhistorian, Mulsow has discovered the identities of several covert radicals and linked them to circles of young German scholars, many of whom were connected with the vibrant radical cultures of the Netherlands, England, and Denmark. The author reveals how radical ideas and contributions to intellectual doubt came from Socinians and Jews, church historians and biblical scholars, political theorists, and unemployed university students. He shows that misreadings of humorous or ironic works sometimes gave rise to unintended skeptical thoughts or corrosively political interpretations of Christianity. This landmark book overturns stereotypical views of the early Enlightenment in Germany as cautious, conservative, and moderate, and replaces them with a new portrait that reveals a movement far more radical, unintended, and puzzling than previously suspected. (shrink)

L’addition, dans la cinquième édition en 1683 de La Logique ou L’Art de penser, d’un chapitre consacré à la définition générale du signe et de plusieurs chapitres relevant spécifiquement d’une analyse des signes linguistiques, a été parfois interprétée comme une apparition tardive du “problème du langage” dans le traité d’Arnauld et Nicole. Parce que la plupart de ces chapitres supplémentaires sont la transposition de passages auparavant destinés dans la Perpétuité de la foi (1669-1674) à réfuter le sens calviniste de Ceci (...) est mon corps, on a été enclin à attribuer l’importance de la question du signe et du “problème du langage” dans l’édition de 1683 à une origine théologique. J’essaie au contraire de montrer que, dès la première édition de L’Art de penser en 1662, la problématisation des écarts des expressions linguistiques avec une correspondance terme à terme entre les mots et les idées a été indissociable pour Port-Royal de l’analyse des opérations de l’esprit. Selon moi, dans la Perpétuité de la foi, la critique du sens calviniste de la formule eucharistique constitue elle-même une application de cette analyse logique du langage : les passages incorporés ensuite dans L’Art de penser sont dans le prolongement des réflexions de 1662 sur les difficultés d’adéquation entre le dire et le vouloir-dire. Je montre pour finir que la définition générale du signe à Port-Royal suppose une restructuration de la définition augustinienne du De doctrina christiana, et fonde en 1683 une identification de la relation de signification linguistique à un rapport de représentation des mots aux idées, qui vient redoubler le rapport de représentation des idées aux choses établi en 1662. (shrink)

Many philosophers and psychologists argue that out everyday ability to predict and explain the actions and mental states of others is grounded in out possession of a primitive 'folk' psychological theory. Recently however, this theory has come under challenge from the simulation alternative. This alternative view says that human beings are able to predict and explain each other's actions by using the resources of their own minds to simulate the psychological aetiology of the actions of the others. This book and (...) the companion volume Folk Psychology: The Theory of Mind Debate together offer a richly woven fabric of philosophical and psychological theory, which promises to yield real insights into the nature of our mental lives. (shrink)

Of course, although this view on meaning was the prevailing one for almost a century, many of the people who initiated the enterprise of logical semantics, including people like Frege and Wittgenstein, had an open eye for all that it did not catch. However, the logical means which Frege, Wittgenstein, Russell, and the generation that succeeded them, had at their disposal were those of classical mathematical logic and set-theory, and these indeed are not very suited for an analysis of other (...) aspects of meaning than those which the slogan covers. A real change in view then had to await the emergence of other concepts, which in due course became available mainly under the influence of developments in computer science and cognate disciplines such as artificial intelligence. And this is one of the reasons why it took almost a century before any serious and successful challenge of the view that meaning equals truthconditions from within logical semantics could emerge. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.

In this paper I propose a new solution to the problem of change: situationalism. According to this view, parts of reality fundamentally disagree about what is the case and reality as a whole is unsettled (i.e. metaphysically indeterminate). When something changes, parts of the world irreconcilably disagree about what properties it has. From this irreconcilable disagreement, indeterminacy arises. I develop this picture using situations, which are parts of possible worlds; this gives it the name situationalism. It allows a B-theory endurance (...) view on which there is genuine incompatibility when things change. There are costs to the view, which are explored, but it is a novel approach which offers a distinct explanation of what happens when things exist through change. (shrink)

. Science at the interface with society is regarded with mistrust among parts of the public. Scientific judgments on matters of practical concern are not infrequently suspected of being incompetent and biased. I discuss two proposals for remedying this deficiency. The first aims at strengthening the independence of science and suggests increasing the distance to political and economic powers. The drawback is that this runs the risk of locking science in an academic ivory tower. The second proposal favors “counter-politicization” in (...) that research is strongly focused on projects “in the public interest,” that is, on projects whose expected results will benefit all those concerned by these results. The disadvantage is that the future use of research findings cannot be delineated reliably in advance. I argue that the underlying problem is the perceived lack of relevance and reliability and that pluralism is an important step toward its solution. Pluralism serves to stimulate a more inclusive research agenda and strengthens the well-testedness of scientific approaches. However, pluralism also prevents the emergence of clear-cut practical suggestions. Accordingly, pluralism is part of the solution to the credibility crisis of science, but also part of the problem. In order for science to be suitable as a guide for practice, the leeway of scientific options needs to be narrowed – in spite of uncertainty in epistemic respect. This reduction can be achieved by appeal to criteria that do not focus on the epistemic credentials of the suggestions but on their appropriateness in practical respect. (shrink)

The proposal of moral enhancement as a valuable means to face the environmental, technological and social challenges that threaten the future of humanity has been criticized by a number of authors. One of the main criticisms has been that moral enhancement would diminish our freedom. It has been said that moral enhancement would lead enhanced people to lose their ‘freedom to fall’, that is, it would prevent them from being able to decide to carry out some morally bad actions, and (...) the possibility to desire and carry out these bad actions is an essential ingredient of free will, which would thus be limited or destroyed—or so the argument goes. In this paper we offer an answer to this criticism. We contend that a morally enhanced agent could lose the ‘freedom to fall’ without losing her freedom for two reasons. First, because we do not consider that a morally well-educated person, for whom the ‘freedom to fall’ is a remote option, is less free than an evildoer, and there is no reason to suppose that bioenhancement introduces a significant difference here. Second, because richness in the amount of alternative possibilities of action may be restored if the stated loss is compensated with an improvement in sensitivity and lucidity that can lead to seeing new options and nuances in the remaining possible actions. (shrink)

Neurological disorders of body representation have for a long time suggested the importance of multisensory processing of bodily signals for self-consciousness. One such group of disorders – illusory own body perceptions affecting the entire body – has been proposed to be especially relevant in this respect, based on neurological data as well as philosophical considerations. This has recently been tested experimentally in healthy subjects showing that integration of multisensory bodily signals from the entire body with respect to the three aspects: (...) self-location, first-person perspective, and self-location, is crucial for bodily self-consciousness. Here we present clinical and neuroanatomical data of two neurological patients with paroxysmal disorders of full body representation in whom only one of these aspects, self-identification, was abnormal. We distinguish such disorders of global body representation from related but distinct disorders and discuss their relevance for the neurobiology of bodily self-consciousness. (shrink)

miembro del Future of Humanity Institute de la Universidad de Oxford y experto en mejoramiento humano y transhumanismo, sobre cuestiones centrales de su labor investigadora.PALABRAS CLAVETRANSHUMANISMO, MEJORAMIENTO HUMANO, ANDERS SANDBERG, BIOTECNOLOGÍAABSTRACTInterview with Anders Sandberg, member of the Future of Humanity Institute at Oxford University and expert in human enhancement and transhumanism, about central topics in his works.KEYWORDSTRANSHUMANISM, HUMAN ENHANCEMENT, ANDERS SANDBERG,BIOTECHNOLOGY.

Divided into four parts, this treatise begins with well-known criticisms of nonreligious ethics and then develops an atheistic metaethics. In Part 2, Martin criticizes the Christian foundation of ethics, specifically the ’divine command theory’ and the idea of imitating the life of Jesus as the basis of Christian morality. Part 3 demonstrates that life can be meaningful in the absence of religious belief. Part 4 criticizes the theistic point of view in general terms as well as the specific Christian doctrines (...) of the atonement, salvation, and the resurrection. (publisher, edited). (shrink)

The covid-19 pandemic has revealed a partially forgotten vulnerability. This very hostile period has made us more aware of the finitude of our life as well as the dangers to which we are exposed as the biological organisms that we are. Faced with such a panorama, transhumanism has taken advantage of this situation to claim, more forcefully than ever, the benefits that the application of technologies on human beings could have. Yet, at the same time, opponents of this movement have (...) pointed out, with equal intensity, how the pandemic has wakened many of its promises. We show how both the former and the latter continue to hold radically different positions regarding how to address vulnerability. However, both have seen the pandemic as an opportunity to highlight what should be the right direction for the future of our species. This event, which is not rooted in the field of science-fiction, could be decisive in rethinking the great challenges that await us. (shrink)

Classic text considersgeneral theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.

All of the attempts to date to find a set of necessary and sufficient conditions for life, in order to provide an essential definition of life, have failed. We only have at our disposal series of lists that contain diverse characteristics usually found in living beings. Some authors have drawn from this fact the conclusion that life is not a natural kind. It will be argued here that this conclusion is too hasty and that if life is understood as a (...) natural kind in the non-essentialist sense of a homeostatic property cluster, it is easy to see why the attempts to find a unique and essentialist definition of life have failed. Understanding life in this way would imply that the pretension to find such a type of definition should be abandoned. (shrink)

Disjunctivism about perceptual appearances, as I conceive of it, is a theory which seeks to preserve a naïve realist conception of veridical perception in the light of the challenge from the argument from hallucination. The naïve realist claims that some sensory experiences are relations to mind-independent objects. That is to say, taking experiences to be episodes or events, the naïve realist supposes that some such episodes have as constituents mind-independent objects. In turn, the disjunctivist claims that in a case of (...) veridical perception like this very kind of experience that you now have, the experiential episode you enjoy is of a kind which could not be occurring were you having an hallucination. The common strategy of arguments from hallucination set out to show that certain things are true of hallucinations, and hence must be true of perceptions. For example, it is argued that hallucinations must have non-physical objects of awareness, or that such states are not relations to anything at all, but are at best seeming relations to objects. In insisting that veridical perceptual experience is of a distinct kind from hallucination, the disjunctivist denies that any of these conceptions of hallucination challenges our conception of veridical perceptions as relations to mind-independent objects. More specifically, I assume that the disjunctivist advocates naïve realism because they think that this position best articulates how sensory experience seems to us to be just through reflection. If the disjunctivist is correct in this contention, then anyone who accepts the conclusion of the argument from hallucination must also accept that the nature of sensory experience is other than it seems to us to be. In turn, one may complain that any such error theory is liable to lead to sceptical consequences. A Humean scepticism about the senses launches a challenge about our knowledge of the world through questioning the conception we have of what sense experience is, and how it can provide knowledge of the world. (shrink)

Article copyright 2002. We provide a battery of examples of delusions against which theoretical accounts can be tested. Then we identify neuropsychological anomalies that could produce the unusual experiences that may lead, in turn, to the delusions in our battery. However, we argue against Maher's view that delusions are false beliefs that arise as normal responses to anomalous experiences. We propose, instead, that a second factor is required to account for the transition from unusual experience to delusional belief. The second (...) factor in the etiology of delusions can be described superficially as a loss of the ability to reject a candidate for belief on the grounds of its implausibility and its inconsistency with everything else that the patient knows, but we point out some problems that confront any attempt to say more about the nature of this second factor. (shrink)

This collection of texts (originally published in German under the title Holzwege) is Heidegger's first post-war book and contains some of the major expositions of his later philosophy. Of particular note are 'The Origin of the Work of Art', perhaps the most discussed of all of Heidegger's essays, and 'Nietzsche's Word 'God is Dead',' which sums up a decade of Nietzsche research. Although translations of the essays have appeared individually in a variety of places, this is the first English translation (...) to bring them all together as Heidegger intended. The text is taken from the last edition of the work, which contains the author's final corrections together with important marginal annotations that provide considerable insight into the development of his thought. This fresh and accurate new translation will be an invaluable resource for all students of Heidegger, whether they work in philosophy, literary theory, religious studies, or intellectual history. (shrink)

This paper addresses a problem about epistemic warrant. The problem is posed by philosophical arguments for externalism about the contents of thoughts, and similarly by philosophical arguments for architecturalism about thinking, when these arguments are put together with a thesis of first person authority. In each case, first personal knowledge about our thoughts plus the kind of knowledge that is provided by a philosophical argument seem, together, to open an unacceptably ‘non-empirical’ route to knowledge of empirical facts. Furthermore, this unwelcome (...) prospect of transferring a ‘non-empirical’ warrant from premises about our own mental states and about philosophical theory to a conclusion about external environment or internal architecture seems to depend upon little more than the possibility of knowledge by inference. (The use of the scare-quoted term ‘non-empirical’ is explained a couple of paragraphs further on.). (shrink)

Is it right to convict a person of a crime on the basis of purely statistical evidence? Many who have considered this question agree that it is not, posing a direct challenge to legal probabilism – the claim that the criminal standard of proof should be understood in terms of a high probability threshold. Some defenders of legal probabilism have, however, held their ground: Schoeman (1987) argues that there are no clear epistemic or moral problems with convictions based on purely (...) statistical evidence, and speculates that our aversion to such convictions may be nothing more than an irrational bias. More recently, Hedden and Colyvan (2019, section VI) describe our reluctance to convict on the basis of purely statistical evidence as an ‘intuition’, but suggest that there may be no ‘in principle’ problem with such convictions (see also Papineau, forthcoming, section 6). In this paper, I argue that there is, in some cases, an in principle problem with a conviction based upon statistical evidence alone – namely, it commits us to a precedent which, if consistently followed through, could lead to the deliberate conviction of an innocent person. I conclude with some reflections on the idea that the criminal justice system should strive to maximise the accuracy of its verdicts – and the related idea that we should each strive to maximise the accuracy of our beliefs. (shrink)

This book traces the development of theories of the self and personal identity from the ancient Greeks to the present day. From Plato and Aristotle to Freud and Foucault, Raymond Martin and John Barresi explore the works of a wide range of thinkers and reveal the larger intellectual trends, controversies, and ideas that have revolutionized the way we think about ourselves. The authors open with ancient Greece, where the ideas of Plato, Aristotle, and the materialistic atomists laid the groundwork for (...) future theories. They then discuss the ideas of the church fathers and medieval and Renaissance philosophers, including St. Paul, Philo, Augustine, Aquinas, and Montaigne. In their coverage of the emergence of a new mechanistic conception of nature in the seventeenth century, Martin and Barresi note a shift away from religious and purely philosophical notions of self and personal identity to more scientific and social conceptions, a trend that has continued to the present day. They explore modern philosophy and psychology, including the origins of different traditions within each discipline, and explain both the theoretical relevance of feminism and gender and ethnic studies and also the ways that Derrida and other recent thinkers have challenged the very idea that a unified self or personal identity even exists. Martin and Barresi cover a number of issues broached by philosophers and psychologists, such as the existence of a fixed and unchanging self and whether the concept of the soul has a use outside of religious contexts. They address the question of whether notions of the soul and the self are still viable in today's world. Together, they reveal the fascinating ways in which great thinkers have grappled with these and other questions and the astounding impact their ideas have had on the development of self-understanding in the west. (shrink)

We must undoubtedly take advantage of the benefits brought by new technologies, and we must apply them to the human being to the extent that a prolonged and serene reflection tells us that this application brings improvements in a full sense. But that does not mean that we should accept the ideological discourse of transhumanism. This discourse owes much of its power of conviction to certain philosophical assumptions that have not been sufficiently clarified and discussed. This article aims to highlight (...) some of them. (shrink)

According to a view widely held by epistemic contextualists, the truth conditions of a knowledge claim depend on features of the context such as the presuppositions, interests and purposes of the conversational participants. Against this view, I defend an intentionalist account, according to which the truth conditions of a knowledge attribution are determined by the speaker’s intention. I show that an intentionalist version of contextualism has several advantages over its more widely accepted rival account.

And, as The Promise of Salvation makes clear through abundant empirical evidence, religion will not disappear as long as these promises continue to help people ...

Interview with Anders Sandberg, member of the Future of Humanity Institute at Oxford University and expert in human enhancement and transhumanism, about central topics in his works.

In this paper I respond to Marcello Di Bello’s criticisms of the ‘normic account’ of the criminal standard of proof. In so doing, I further elaborate on what the normic account predicts about certain significant legal categories of evidence, including DNA and fingerprint evidence and eyewitness identifications.

Taking issue with those who see recent social transformations as an extension of modernity, the author contends that social theory must confront an epochal change from the modern era to a new era of globality, in which human beings can conceive of forces at work on a global scale, and in which they espouse values that take the globe as their reference point. The book begins by assessing the problems of writing about modernity, showing how narratives of an endlessly self-perpetuating (...) modern age were intrinsic to the "modern project," the attempt by Enlightenment philosophers to transform the everyday world in accord with science and logic under the auspices of the nation-state. Now we are beginning to realize that the nation-state and the modern project cannot renew themselves endlessly through expansion. Instead, the author contends, the age has culminated in its own dissolution, and globality has supplanted modernity as the basis for action and social organization. In theorizing the global age, he considers the worldwide environmental consequences of aggregate human activities, the reconception of human security in the age of nuclear weapons, technological advances in communication systems, the rise of a global economy, and the growing reflexivity of global consciousness, as people and groups begin to refer to the globe as the frame for their beliefs. The book concludes by examining the consequences of the Global Age thesis for politics, identifying a new popular construction of the state that the author terms "performative citizenship." In the modern age, the nation-state was the central power and citizens were beneficiaries of that power, with rights and duties. In the global age, citizens respond to the lack of central power by creating, or performing, the state themselves. The global managerial class uses the skills learned in the bureaucracy of the nation-state to bring pressure on national governments in the interests of global economic, environmental, or human-rights issues. (shrink)

This chapter gives substance to the idea of a ‘communitarian value-driven epistemology’ by developing and combining ideas from Edward Craig's and Bernard Williams' ‘epistemic genealogy’ and Barry Barnes' and Steven Shapin's ‘sociology of knowledge’. In order to make transparent how this project might slot into more familiar, or more mainstream, projects, the paper maintains throughout a critical dialogue with Jon Kvanvig's position. The chapter is structured around an attempt to defend Craig's position against Kvanvig's criticisms: by treating the institution of (...) testimony as a collective good underwritten by the intrinsic and interrelated values of accuracy and sincerity; by rendering protoknowledge attributions as ascriptions of honour; and by allowing attributions of protoknowledge to be intertwined with attributions of freedom. The view that emerges is that the core of our knowledge practices comprises institutions of testimony, and that these practices are a collective good. (shrink)

The Anaximander fragment -- Logos (Heraclitus, fragment B 50) -- Moira (Parmenides VIII, 34-41) -- Aletheia (Heraclitus, fragment B 16).

A landmark discussion between two great thinkers, vital to an understanding of twentieth-century philosophy and intellectual history.

In 2014 the Essex Autonomy Project undertook a six month project, funded by the AHRC, to provide technical advice to the UK Ministry of Justice on the question of whether the Mental Capacity Act is compliant with the United Nations Convention on the Rights of Persons with Disabilities. Over the course of the project, the EAP research team organised a series of public policy roundtables, hosted by the Ministry of Justice, and which brought together leading experts to discuss and debate (...) the issues. A one-day public conference was held at the Institute for Government in July. In September 2014, the EAP research team submitted its findings to the Ministry of Justice. (shrink)

"Thousands of philosophers--from the ancient Greeks to modern thinkers--have defended atheism, but none more comprehensively than Martin.

Explores the moral dimensions of the current global role of the U.S. military.