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.

This paper demonstrates the central role of the Socratic elenchus in the Sophist. In the first part, I defend the position that the Stranger describes the Socratic elenchus in the sixth division of the Sophist. In the second part, I show that the Socratic elenchus is actually used when the Stranger scrutinizes the accounts of being put forward by his predecessors. In the final part, I explain the function of the Socratic elenchus in the argument of the dialogue. By contrast (...) with standard scholarly interpretations, this way of reading the text provides all the puzzles about being (241c4–251a4) with a definite function in the dialogue. It also reveals that Plato’s methodology includes a plurality of method and is more continuous than what is often believed. (shrink)

Nicolas Weill propose une lecture stimulante de ces textes qui constituent une des découvertes philosophiques les plus importantes de ces dernières années. La publication des "Cahiers" redonne une actualité brûlante à la question qui divise épigones et détracteurs du penseur allemand : comment continuer à philosopher avec Heidegger sans tenir compte d'une éventuelle contamination de cette philosophie par l'idéologie nazie? Par une analyse sans concession des "Cahiers", en se concentrant sur les Réflexions (tenues par Heidegger de 1931 à 1941) mais (...) tout en cherchant à en dégager les éléments proprement philosophiques, cet ouvrage invite à une approche équilibrée, quitte à "penser avec Heidegger, contre Heidegger", comme le suggérait Jürgen Habermas dès le début des années 1950. Il montre notamment comment l'auteur d'Etre et temps, en inventant une nouvelle forme de philosopher, a poursuivi et prolongé dans ces carnets la critique de la modernité telle qu'elle a été formulée par la "révolution conservatrice" allemande et par Oswald Spengler, le théoricien du déclin de l'Occident. (shrink)

With aims to both increase organ supply and better reflect individual donation preferences, many nations worldwide have shifted from ‘opt‐in’ to ‘opt‐out’ systems for post‐mortem organ donation (PMOD). In such countries, while a prospective donor's willingness to donate their organs/tissues for PMOD was previously ascertained—at least partially—by their having recorded positive donation preferences on an official register prior to death, this willingness is now presumed or inferred—at least partially—from their not having recorded an objection to PMOD—on an official organ donation (...) register. Using evidence regarding the presence and prevalence of selective donation preferences, and via exploration of how appeals to donation preferences are used to both motivate and legitimate shifts to opt‐out frameworks, this paper draws attention to a set of previously unexplored problems for opt‐out organ donation arising in contexts where: (a) individuals demonstrate selective post‐mortem organ/tissue donation preferences, (b) legislation provides prospective donors with the opportunity to selectively permit/refuse the donation of certain organs/tissues in line with these preferences. While selective preferences pose few problems for opt‐in systems where a selective occasion is built into the process of signing the donor register, this is not the case for opt‐out systems. The loss of this selective occasion can cause significant problems where appeals to preferences motivate/legitimate shifts to opt‐out but evidence regarding variable preferences does not feed into determinations regarding organ/tissue exclusions. The nature of these problems depends on how the authorization aspect of ‘opt‐out’ systems is framed (e.g. as presumed consent, deemed consent or, given the role of familial consent in many jurisdictions as consent in name only). (shrink)

This book is the first extensive treatment of Husserl's phenomenology of time-consciousness. Nicolas de Warren uses detailed analysis of texts by Husserl, some only recently published in German, to examine Husserl's treatment of time-consciousness and its significance for his conception of subjectivity. He traces the development of Husserl's thinking on the problem of time from Franz Brentano's descriptive psychology, and situates it in the framework of his transcendental project as a whole. Particular discussions include the significance of time-consciousness for other (...) phenomenological themes: perceptual experience, the imagination, remembrance, self-consciousness, embodiment, and the consciousness of others. The result is an illuminating exploration of how and why Husserl considered the question of time-consciousness to be the most difficult, yet also the most central, of all the challenges facing his unique philosophical enterprise"--Provided by publisher. (shrink)

What semantics should we attribute to nouns like "wisdom" and "generosity", which are derived from gradable adjectives? We show that, from a morphosyntactic standpoint, these nouns are mass nouns. This leads us to consider and answer the following questions. How are these nouns interpreted in their various uses? What formal representations may one associate with their interpretations? How do these depend on the semantics of the adjective? And where lies the semantic unity of nouns like wisdom and generosity with the (...) more familiar concrete mass nouns, like wine and furniture? (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)

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.

In this paper we claim that pragmatist philosophical practice is incompatible with scientistic philosophy. The kind of pragmatism used for making this case follows the spirit and method of philosophical pragmatists such as William James, John Dewey, Richard Rorty, and a related pragmatic tradition, Confucian Philosophy. Pragmatism starts from immediate experience, and refuses to cleave off the reality and salience of what is found in such experience in the process of thinking. Pragmatism also concerns itself with social problems, broadly conceived. (...) In contrast to this focus on immediate experience, the influence of science in much philosophizing involves a kind of scientism through which the relevance, value, and even reality of experience is brought into question. It also concerns itself with a narrowly defined set of so-called philosophical problems. In this regard, pragmatist philosophical practice is fundamentally opposed to scientistic philosophical practice. We will start by modelling the kind of philosophical practice that stems from pragmatism, and the role of immediate experience in it. Subsequently, we will introduce two modes of philosophizing that diminish if not negate the role of experience. One is bald naturalist philosophizing, and the other is a priori scientific philosophizing. In the last section, we will show how main commitments of both of these traditions are incompatible with a pragmatist philosophy that remains committed to the original impulse of pragmatism. (shrink)

In this article, we discuss how we used institutional ethnography (Institutional ethnography as practice, Rowman & Littlefield, Lanham, MD and 2006) to map out powerful ruling relations that organize nurses’ wound care work. In recent years, the growing number of people living with wounds that heal slowly or not at all has presented substantial challenges for those managing the demands on Canada's publicly insured health‐care system. In efforts to address this burden, Canadian health‐care administrators and policy‐makers rely on scientific evidence (...) about how wounds heal and what treatments are most effective. Advanced wound care exemplifies the growing authorization of particular forms of evidence that change the ways in which nurses come to know about and conduct their work. The focus of this paper's nursing inquiry is a critique of registered nurses’ wound work as it arises within the established uptake of scientific evidence. (shrink)

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)

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)

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

Has the time come to put to bed the concept of a harm threshold when discussing the ethics of reproductive decision making and the legal limits that should be placed upon it? In this commentary, we defend the claim that there exist good moral reasons, despite the conclusions of the non-identity problem, based on the interests of those we might create, to refrain from bringing to birth individuals whose lives are often described in the philosophical literature as ‘less than worth (...) living’. (shrink)

Il n’est pas inhabituel de considérer l’imagination comme une conscience d’objets non réels, ayant la forme d’images internes ou de représentations privées de toute incarnation spatiale. Dans cet article j’interroge la phénoménologie de l’imagination de Husserl à partir de deux questions : l’imagination est-elle un type de conscience d’image ? L’imagination, est-elle privée de toute incarnation spatiale ? Après avoir reconstruit la distinction nette opérée par Husserl entre imagination et conscience d’image (l’imaginaire n’est pas une image mentale interne), j’explore la (...) thèse de Husserl, fort suggestive, selon laquelle toute imagination implique la projection du corps vécu. Loin d’être entièrement dépourvu de spatialité, l’imaginaire exhibe des caractéristiques quasi-spatiales, et il est fondé sur ce qui est « le plus propre » de mon corps vécu – cela même que, pour ainsi dire, j’amène toujours avec moi, même dans les envols les plus éloignés de mon imagination. (shrink)

Il n’est pas inhabituel de considérer l’imagination comme une conscience d’objets non réels, ayant la forme d’images internes ou de représentations privées de toute incarnation spatiale. Dans cet article j’interroge la phénoménologie de l’imagination de Husserl à partir de deux questions : l’imagination est-elle un type de conscience d’image? L’imagination, est-elle privée de toute incarnation spatiale? Après avoir reconstruit la distinction nette opérée par Husserl entre imagination et conscience d’image (l’imaginaire n’est pas une image mentale interne), j’explore la thèse de (...) Husserl, fort suggestive, selon laquelle toute imagination implique la projection du corps vécu. Loin d’être entièrement dépourvu de spatialité, l’imaginaire exhibe des caractéristiques quasi-spatiales, et il est fondé sur ce qui est « le plus propre » de mon corps vécu – cela même que, pour ainsi dire, j’amène toujours avec moi, même dans les envols les plus éloignés de mon imagination. (shrink)

Syphilis occupies a unique position in the history of U.S. medicine and medical ethics. Given its widespread prevalence and variable presentation, syphilis was a major professional concern among late nineteenth‐ and early twentieth‐century physicians. Syphilis was also at the center of perhaps the most famous example of medical racism in our history, the U.S. Public Health Service Syphilis Study at Tuskegee, in which officials followed the natural history of the disease in a cohort of black men for forty years without (...) offering treatment, even once penicillin became available. In this essay, I call attention to a less well‐known aspect of syphilis and its history. I examine one of the disease's most dreaded manifestations, neurosyphilis (also known as general paresis or general paralysis of the insane), and its treatment via malarial inoculation from the 1920s into the 1950s. The goal of this treatment, dramatic even to observers at the time, was to produce spiking fevers that would kill the syphilitic spirochete and arrest the disease process. My focus will be on developments at St. Elizabeths Hospital, a large‐scale federal psychiatric facility in the District of Columbia that served the city's residents and members of the U.S. military. Physicians at St. Elizabeths were the first in the United States to experiment with malarial fever therapy, treating their initial cohort of patients in December of 1922.Malarial fever therapy raised a host of ethical questions, rendered all the more complex from today's vantage point by efforts to understand them within the context of the time. What sorts of risks, both from malaria and via indirect exposure, might be deemed acceptable in the treatment of a devastating and almost invariably fatal disease? How ought researchers and clinicians to have approached the question of consent, itself an evolving concept in the early decades of the twentieth century, when the disease they were targeting impaired a patient's ability to reason effectively? Finally, at a time when segregated and inferior care for black Americans was the norm and when the black community bore a disproportionate burden of disease, who would have had access to malarial fever therapy, and at what cost? (shrink)

When attempting to determine which of our acts affect future generations and which affect the identities of those who make up such generations, accounts of personal identity that privilege psychological features and person affecting accounts of morality, whilst highly useful when discussing the rights and wrongs of acts relating to extant persons, seem to come up short. On such approaches it is often held that the intuition that future persons can be harmed by decisions made prior to their existence is (...) mistaken as identity is a most fragile thing with even the smallest differences in the conditions under which we procreate affecting not the interests of distinct future persons, but the identities of those who will come to exist in the future. Within this paper I reject this view, holding that a subscription to these two accounts need not result in the conclusion that virtually all acts relating to possible persons are permitted. Further, I argue that such accounts may in fact allow a great deal more scope for the determination of prenatal harms than accounts of personal identity that privilege physical features. Finally, by interpreting claims regarding causal identity such as Parfit’s Time Dependence Claim in terms of Counterpart Theory I suggest that a solution to the non-identity problem can be found in the acceptance of, as relevant in prenatal cases, three kinds of objective similarity relations: Biological, Environmental and Decisional counterpart relations. (shrink)

It is commonly assumed that moral deliberation requires that the alternatives available in a choice situation are evaluatively comparable. This comparability assumption is threatened by claims of incomparability, which is often established by means of the small improvement argument (SIA). In this paper I argue that SIA does not establish incomparability in a stricter sense. The reason is that it fails to distinguish incomparability from a kind of evaluative indeterminacy which may arise due to the vagueness of the evaluative comparatives (...) ‘better than,’ ‘worse than,’ and ‘equally as good as.’. (shrink)

Queer theorists have long staked their politics in an engagement with intersectionality. Yet intersectional scholars have been some of queer theory’s most vocal critics, decrying its failure to adequately engage persistent inequalities. I approach this seeming paradox in three parts. First, I situate intersectionality within the field of critical theory, arguing that it shares critical theory’s view of power. Both traditions, I argue, understand power to generate the very marginalized figures that it subordinates. Second, while intersectional and queer theories share (...) this critical insight, the two frameworks offer fundamentally different understandings of what constitutes a democratic politics of redress. Where intersectional theorists promote coalition-building between differently marginalized subjects, queer theorists tend to figure sexually marginalized subjects as exemplary democratic agents. Finally, I argue that this slippage in conceptions of democracy has had negative consequences for critical theory and highlights the difficult but essential role of coalition as a political resource. (shrink)

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.