We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-Löf type theory. The original interpretation treated logic in Martin-Löf type theory via the propositions-as-types interpretation. The generalisation involves replacing Martin-Löf type theory with a new type theory in which logic is treated as primitive. The primitive treatment of logic in type theories allows us to study reinterpretations of logic, such as the double-negation translation.

We define and investigate Heyting-valued interpretations for Constructive Zermelo–Frankel set theory . These interpretations provide models for CZF that are analogous to Boolean-valued models for ZF and to Heyting-valued models for IZF. Heyting-valued interpretations are defined here using set-generated frames and formal topologies. As applications of Heyting-valued interpretations, we present a relative consistency result and an independence proof.

We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of small maps satisfying the axioms originally introduced by Joyal and Moerdijk. This result improves on the existing developments by avoiding the assumption of additional axioms for small maps and the use of collection sites.

We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-Löf type theory. This is done by showing that the comprehension category associated with a type-theoretic algebraic weak factorisation system satisfies the assumptions necessary to apply a right adjoint method for splitting comprehension categories. We then provide methods for constructing several examples of type-theoretic algebraic weak factorisation systems, encompassing the existing groupoid and cubical sets models, as well as new models based on normal (...) fibrations. (shrink)

La traduction latine des Dialoghi della historia du philosophe néo-platonicien Francesco Patrizi da Cherso est publiée à Bâle en 1570. L’étude de la circulation de ce texte et des choix de traduction permet de mieux comprendre la réception des artes historicae italiennes dans le Nord de l’Europe et les fluctuations ou limites du latin face à la montée en puissance de l’italien vernaculaire comme langue philosophique.

La traduction latine des Dialoghi della historia du philosophe néo-platonicien Francesco Patrizi da Cherso est publiée à Bâle en 1570. L’étude de la circulation de ce texte et des choix de traduction permet de mieux comprendre la réception des artes historicae italiennes dans le Nord de l’Europe et les fluctuations ou limites du latin face à la montée en puissance de l’italien vernaculaire comme langue philosophique.

De l'antiquité à la Renaissance, la notion de certitude est au coeur de la structuration de la pensée. Cet ouvrage réunit les contributions de spécialistes, qui explorent tous la littérature latine en mettant cette notion à l'épreuve de différentes disciplines et époques.

Taste as Experience puts the pleasure of food at the center of human experience. It shows how the sense of taste informs our preferences for and relationship to nature, pushes us toward ethical practices of consumption, and impresses upon us the importance of aesthetics. Eating is often dismissed as a necessary aspect of survival, and our personal enjoyment of food is considered a quirk. Nicola Perullo sees food as the only portion of the world we take in on a (...) daily basis, constituting our first and most significant encounter with the earth. Perullo has long observed people's food practices and has listened to their food experiences. He draws on years of research to explain the complex meanings behind our food choices and the thinking that accompanies our gustatory actions. He also considers our indifference toward food as a force influencing us as much as engagement. For Perullo, taste is value and wisdom. It cannot be reduced to mere chemical or cultural factors but embodies the quality and quantity of our earthly experience. (shrink)

Quantum physics, which offers an explanation of the world on the smallest scale, has fundamental implications that pose a serious challenge to ordinary logic. Particularly counterintuitive is the notion of entanglement, which has been explored for the past 30 years and posits an ubiquitous randomness capable of manifesting itself simultaneously in more than one place. This amazing 'non-locality' is more than just an abstract curiosity or paradox: it has entirely down-to-earth applications in cryptography, serving for example to protect financial information; (...) it also has enabled the demonstration of 'quantum teleportation', whose infinite possibilities even science-fiction writers can scarcely imagine. This delightful and concise exposition does not avoid the deep logical difficulties of quantum physics, but gives the reader the insights needed to appreciate them. From 'Bell's Theorem' to experiments in quantum entanglement, the reader will gain a solid understanding of one of the most fascinating areas of contemporary physics. (shrink)

A meta-analysis and an experiment show that the degree of compression of the in-depth dimension of visual space relative to the frontal dimension increases quickly as a function of the distance between the stimulus and the observer at first, but the rate of change slows beyond 7 m from the observer, reaching an apparent asymptote of about 50 %. In addition, the compression of visual space is greater for monocular and reduced cue conditions. The pattern of compression of the in-depth (...) dimension as a function of distance is similar to the ratio of in-depth to frontal visual angles of stimuli, but is not as extreme as this ratio would suggest, implying that observers are incapable of fully ignoring size information provided by cues to depth. Size and distance judgments may be described by an Affine transformation of physical space; however, the compression parameter in this model changes as a function of distance from the observer and other experimental conditions. (shrink)

In the historical context of a crisis in biological psychiatry, psychedelic drugs paired with psychotherapy are globally re-emerging in research clinics as a potential transdiagnostic therapy for treating mood disorders, addictions, and other forms of psychological distress. The treatments are poised to soon shift from clinical trials to widespread service delivery in places like Australia, North America, and Europe, which has prompted ethical questions by social scientists and bioethicists. Taking a broader view, we argue that the ethics of psychedelic therapy (...) concerns not simply how psychotherapies are different when paired with psychedelic drugs, but how psychedelic therapies shape and are shaped by different values, norms, and metaphysical commitments. Drawing from the published literature and interviews with seven psychedelic therapists working in clinical trials in the United States, Germany, Switzerland, and Australia, this article opens the black box of the treatments to consider the values and informal debates currently animating the therapies. Considering questions of patient autonomy, mechanisms of therapeutic action, and which therapies are best suited to pair with psychedelic substances, we examine the ethics of psychedelic therapy as an emergent form of life. To bring this form of life out in fuller relief, we conclude by comparing and contrasting it with ayahuasca use in Amazonian shamanism. (shrink)

We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.

Summary In the epistemic frame of the biocultural turn and of the neuroaesthetics, we have developed neurohermeneutics as an approach to literature that aims at contributing to the current debate about the linkage between literary, cognitive and neuroscientific studies, focusing on the relationship between mindbrain processes mirrored in the formal features of the text and the strategies activated by the author in a text in order to guide the reader in imagining, emotionally feeling and cognitively getting meanings out of the (...) literary experience. The aim of the neurohermeneutical approach is to grasp and describe phenomenologically the mirroring process between the two extremes of the literary experience, i.e. the writer’s creative process as it is mirrored in the formal features of the literary work and the reader’s imaginative reconfiguration of the text, and what they share in common. The reader revives the mental imaginative processes of the author by creating his/her unrepeatable individual experiences of the text and subjectively redesigning it in an endless loop of features that trigger the imagination and its creative potential both while writing and by reading literature. (shrink)

This chapter deals with one of the common fallacies in Western philosophy, inappropriate appeal to authority (IAA). IAA has many different facets. At its core, it is a fallacy that assumes that because someone is an authority, we should listen to that person. The problem with IAA is that it ignores content in favor of credentials and power. There are a few different ways in which IAA can occur. IAA seems to be the result of a flaw in human thinking. (...) Social cognitive theory, a theory that helps explain human action, notes that humans tend to act like each other. The tendency to listen to authorities who are not authorities explains why celebrities are able to sell us stuff. The important thing to remember about IAA is that it is not just a fallacy that comes up in arguments that do not matter. (shrink)

For decades, liberal democracy has been extolled as the best system of governance to have emerged out of the long experience of history. Today, such a confident assertion is far from self-evident. Democracy, in crisis across the West, must prove itself. This highly timely volume is both a conceptual and practical guide of impressive scope to the challenges of good governance as the world continues to undergo profound transformation in the coming decades.

The empirical study of belief is emerging at a rapid clip, uniting work from all corners of cognitive science. Reliance on belief in understanding and predicting behavior is widespread. Examples can be found, inter alia, in the placebo, attribution theory, theory of mind, and comparative psychological literatures. Research on belief also provides evidence for robust generalizations, including about how we fix, store, and change our beliefs. Evidence supports the existence of a Spinozan system of belief fixation: one that is automatic (...) and independent of belief rejection. Independent research supports the existence of a system of fragmented belief storage: one that relies on large numbers of causally isolated, context-sensitive stores of belief in memory. Finally, empirical and observational data support at least two systems of belief change. One system adheres, mostly, to epistemological norms of updating; the other, the psychological immune system, functions to guard our most centrally held beliefs from potential inconsistency with newly formed beliefs. Refining our under- standing of these systems can shed light on pressing real-world issues, such as how fake news, propaganda, and brainwashing exploit our psychology of belief, and how best to construct our modern informational world. (shrink)

Methexiology is not a particular theory, but rather a general philosophical orientation. Therefore, in Methexiology: Philosophical Theology and Theological Philosophy for the Deification of Humanity, Nicolas Laos elucidates the significance of methexiology for the study of ontology, epistemology, ethics, philosophical psychology, theory of justice, philosophy of history, and philosophy of religion. Laos argues that, faced with the modern and the postmodern crises of meaning, we need a new myth, a new spiritual formula, for the resacralization of humanity and the cosmos, (...) without restoring defunct totems, without using tales as "cheap" substitutes for the lack of a life-giving myth, and without negating history. In his Methexiology, Laos studies the "genealogy" of the modern and the postmodern crises of meaning, and, based on his new interpretation of classical Greek philosophy and Hesychasm, proposes methexiology as a way of overcoming the crises of meaning and as a way of resacralizing humanity and the cosmos through a new metaphysically grounded humanism. (shrink)

In recent years much research has been undertaken regarding the feasibility of the human uterine transplant as a treatment for absolute uterine factor infertility. Should it reach clinical application this procedure would allow such individuals what is often a much-desired opportunity to become not only social mothers, or genetic and social mothers but mothers in a social, genetic and gestational sense. Like many experimental transplantation procedures such as face, hand, corneal and larynx transplants, UTx as a therapeutic option falls firmly (...) into the camp of the quality of life transplant, undertaken with the aim, not to save a life, but to enrich one. However, unlike most of these novel procedures – where one would be unlikely to find a willing living donor or an ethics committee that would sanction such a donation – the organs to be transplanted in UTx are potentially available from both living and deceased donors. In this article, in the light of the recent nine-case research trial in Sweden which used uteri obtained from living donors, and the assertions on the part of a number of other research teams currently preparing trials that they will only be using deceased donors, I explore the question of whether, in the case of UTx, there exist compelling moral reasons to prefer the use of deceased donors despite the benefits that may be associated with the use of organs obtained from the living. (shrink)

1. L'oeuvre musicale et son écoute -- 2. Le monde-musique et son solfège -- 3. Le musicien et son intellectualité musicale -- 4. Les raisonances du monde-musique ; postlude d'Alain Badiou.

Trente et un penseurs, parmi lesquels Jacques Derrida, Françoise Héritier, Edgar Morin, Jean-Luc Nancy, Michel Onfray ou encore Jacques Rancière, pour comprendre les errements et les raisons d'espérer d'une planète convulsée. Dix-neuf entretiens et débats avec les intellectuels les plus engagés dans la réflexion sur le temps présent dressent un état des lieux des questions qui taraudent notre modernité. Issu du Théâtre des idées, cycle de rencontres intellectuelles du Festival d'Avignon (2004-2012), ces dialogues singuliers s'attachent à faire vivre l'esprit critique, (...) cette faculté de juger, de soumettre la réalité sociale, artistique ou politique au tamis du jugement argumenté, qu'il soit sérieux ou ironique, virulent ou tempéré. De très actuelles "résistances intellectuelles" qui esquissent ce que pourrait être un service public des idées, c'est-à-dire un accès direct, libre et partagé à l'intellectualité. (shrink)

Blaise Pascal est le penseur radical des limites et des contradictions de l'homme, ni ange ni bête. Contrairement à ce qu'en prétend l'orgueil de toute une modernité, la raison ne peut pas tout ; mais contrairement au désespoir du fanatisme, la raison n'est pas sans force. Jusqu'où alors peut-elle s'exercer? Pour Pascal, la philosophie ne saurait faire l'économie de la question de Dieu, Elle doit donc croiser la théologie. Mais comment vont se nouer l'ordre de l'esprit et celui de la (...) charité? Pascal produit ainsi une analyse critique de la philosophie comme telle, de ses capacités et de ses limites, que le présent ouvrage se donne pour tâche de clarifier. Que peut la philosophie? Mais qui décide de ce qu'elle peut, et surtout de ce qu'elle ne peut pas? Comment s'établissent alors ses rapports avec la théologie? Ce que Pascal nous invite ainsi à penser, c'est toujours à la fois la misère et la grandeur de la philosophie. (shrink)

Dans son dernier cours au Collège de France, Michel Foucault nous parle d'un oubli, plus fondamental à ses yeux que le fameux "oubli de l'être", ou plus précisément d'une négligence ; une négligence dont la philosophie est responsable, ce qui est d'autant plus paradoxal qu'il concerne précisément la vie philosophique. "Je voudrais, en tout cas, suggérer simplement que s'il est vrai que la question de l'être a bien été ce que la philosophie occidentale a oublié et dont l'oubli a rendu (...) possible la métaphysique, peut-être aussi la question de la vie philosophique n'a-t-elle pas cessé d'être, je ne dirais pas oubliée, mais négligée ; elle n'a pas cessé d'apparaître comme en trop par rapport à la philosophie, à la pratique philosophique, à un discours de plus en plus indexé au modèle scientifique" Cette négligence a une histoire. Car le problème de la vie philosophique a été posé dans toute sa radicalité dans l'Antiquité ; il n'était pas complètement oublié à l'époque moderne, comme en témoigne l'oeuvre de Spinoza ; mais à partir du moment "où la philosophie est devenue un métier de professeur, c'est-à-dire au début du XIXème siècle", elle a évacué du champ des problèmes pertinents, des problèmes "sérieux", cela même qui pourtant lui avait donné son horizon et sa raison d'être : la possibilité de définir une vie philosophique, c'est-à-dire une vie juste, une vie bonne, une "vraie vie". (shrink)

Die Utopien sind tot, es leben die Utopien. In diesem Buch wird die Utopie sozialer Gerechtigkeit entwickelt. INhaltlich besteht es in dem Dreischritt, (1) aus im Alltag von jedermann hin und wieder geauSSerten situativen Urteilen das gemeinsame Grundverstandnis von Gerechtigkeit zu destillieren, (2) anhand dieses Gelanders die bedeutendsten zeitgenossischen Theoretiker sozialer Gerechtigkeit akribisch zu lesen und in konstruktiver Absicht zu kritisieren, um (3) in ersten Ansatzen eine gerechtere Zukunftsgesellschaft zu skizzieren, deren quer zu tradierten Ideologien liegendes System sich ethischer Sozialismus (...) nennen lieSSe. (shrink)

This book advances a new interpretation of Hart's penal philosophy. Positioning itself in opposition to current interpretations, the book argues that Hart does not defend a mixed theory of punishment, nor a rule-utilitarian theory of punishment, nor a liberal form of utilitarianism, nor a goal and constraint approach. Rather, it is argued, his penal philosophy is based on his moral pluralism, which comprises two aspects: value pluralism and pluralism with respect to forms of moral reason. It is held that this (...) means, on the one hand, that criminal law has an irreducible complexity due to the compromises it makes to accommodate competing values, and on the other hand, that there need not be one single justification of punishment. This original interpretation is not based only on Hart's key volume on the subject Punishment and Responsibility, but on a careful reading of his complete works. The book will be a valuable resource for academics and researchers interested in Hart's philosophy, the philosophy of law and criminal law. (shrink)

Die Suche nach historischen Quellen für die Leibniz’sche Philosophie scheint zunächst unerschöpflich. Durch alle in diesem Band versammelten Arbeiten wird der Einfluss der Philosophie des Aristoteles auf das Leibniz’sche Denken näher umrissen. Ein wesentliches Ziel ist es hierbei, einen Beitrag zur Analyse dieser philosophischen Beziehung zu leisten und zu zeigen, dass auch Aristoteles’ Philosophie nach Ansicht unserer Autoren entscheidend zum Verständnis des Leibniz’schen Denkens beiträgt. Die Texte befassen sich mit wesentlichen Themen der Leibniz’schen Logik und Metaphysik, z. B. mit den (...) Grundbegriffen „Monade“ (und deren „Körperhaftigkeit“), „Entelechie“, „Nous“, mit dem Problem der Individuation (Individuum, Atomismus, Einheit), mit den substanziellen Formen, mit der Wissenschaft im Allgemeinen und der Technik, mit der Transformation der Logik, mit den Prinzipien (nämlich denjenigen des zureichenden Grundes, der Individuation und der Notwendigkeit), mit Zukunft und Kontingenz sowie Vergänglichkeit, mit der Theorie der syllogistischen Folgerung, usw. Diese Themen werden stets in der Gegenüberstellung von Leibniz und Aristoteles behandelt – sie zeigen daher, wie Leibniz aristotelische Thesen übernahm, veränderte oder kritisierte. The search for the historical sources of Leibniz’s philosphy initially seems to be unending. All the essays in this volume outline more clearly the influence of Aristotle’s philosophy on Leibniz’s thought. In this context a fundamental aim is to contribute to the analysis of this philosophical relationship and to demonstrate that Aristotle’s philosophy, in the opinion of our authors, plays a decisive role in the understanding of Leibniz’s thought. The texts address fundamental themes of Leibniz’s logic and metaphysics, e.g. the basic concepts of ‘monads’ (and their ‘corporality’), ‘entelechy’ and ‘nous; the problem of individuation (individual, atomism, unity); substantial forms; knowledge in general, and technology; the transformation of logic; principles (namely those of sufficient grounds, of individuation and of necesssity); future and contingency and transientness; the theory of syllogistic deduction, etc. These themes are regularly considered in the comparison between Leibniz and Aristotle – they demonstrate how Leibniz took over, treated or criticised Aristotelian theses. (shrink)

The use of human biological materials involves a number of issues from both an ethical and a legal point of view. In recent decades, the purposes for which this material has been used have i...