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)

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)

Traditionally, the field of science and technology studies (STS) considered the scientific laboratory as the central site of knowledge production and technological development. While providing rich analyses of the social construction of scientific knowledge and the role of non-human actors, STS scholars have often neglected the university – the very context in which laboratories themselves are embedded – as a relevant object of research. In this paper, we argue for re-introducing the university as a relevant category and object of analysis (...) by using the notion of epistemic virtues to link epistemic culture – traditionally the focus of STS – and epistemic structure – traditionally the focus of higher education studies. Advancing this line of argumentation, we make three analytical moves. First, we explore academic freedom as a specific version of negative liberty that extends beyond disciplinary boundaries. We suggest that academics continuously negotiate academic freedom considering culturally and socially situated epistemic virtues such as objectivity and neutrality. Second, we introduce the notion of humility to revisit scientific knowledge production more generally and academic freedom in particular. Finally, we argue that practicing humility leads to enacting the university as an infrastructure of becoming otherwise, thereby enriching our understanding of universities as distinct and highly complex social spaces with a logic of their own. (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)

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)

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)

Copyright ©2005–2010 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been added, but can be read as though it were part of the original text. Occasional •bullets, and also indenting of passages that are not quotations, are meant as aids to grasping the structure of a sentence or a thought. Every four-point ellipsis . . . . indicates the omission of a brief passage that seems to present more difficulty than it is worth. (...) Larger omissions are reported, between brackets, in normal-sized type. The numbering of the segments of each dialogue is Malebranche’s. (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.

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)

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)

In this work we propose a labelled tableau method for Łukasiewicz infinite-valued logic Lω. The method is based on the Kripke semantics of this logic developed by Urquhart [25] and Scott [24]. On the one hand, our method falls under the general paradigm of labelled deduction [8] and it is rather close to the tableau systems for sub-structural logics proposed in [4]. On the other hand, it provides a CoNP decision procedure for Lω validity by reducing the check of branch (...) closure to linear programming. (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)

Las ideas filosóficas del ámbito de la actividad física suelen estar sustentadas en concepciones que trascienden la propia disciplina de estudio aludida, de modo que es importante estudiarlas en profundidad. Este ensayo tiene por objetivo comprender la interpretación de los términos movimiento humano y motricidad humana desde la mirada de tres corrientes filosóficas que han sido utilizadas por referentes de la actividad física, el deporte y la Educación Física. La primera corriente filosófica analizada es la de corte idealista, que entiende (...) el movimiento humano como un acto esencialmente mecánico y biológico. La segunda perspectiva filosófica es la materialista, que entiende el movimiento humano como una manifestación de la motricidad, la cual sería inmanente a la esencia del ser humano. Es decir, estaría dotada de intencionalidad. La tercera corriente sería una mirada ecléctica de las dos anteriores, asemejando el concepto de movimiento humano con el de las contemporáneas interpretaciones de motricidad. En otras palabras, el movimiento humano sería parte de la potencia y el acto. Se concluye que, según diferentes perspectivas filosóficas, es posible utilizar el concepto de movimiento y/o motricidad para trascender la mirada idealista o moderna del movimiento humano. (shrink)

In this work we propose a labelled tableau method for ukasiewicz infinite-valued logic L . The method is based on the Kripke semantics of this logic developed by Urquhart [25] and Scott [24]. On the one hand, our method falls under the general paradigm of labelled deduction [8] and it is rather close to the tableau systems for sub-structural logics proposed in [4]. On the other hand, it provides a CoNP decision procedure for L validity by reducing the check of (...) branch closure to linear programming. (shrink)

Imagine that your body has become attached, without your permission, to that of a sick violinist. The violinist is a human being. He will die if you detach him. Such detachment seems, nonetheless, to be morally permissible. Thomson argues that an unwantedly pregnant woman is in an analogous situation. Her argument is considered by many to have established the moral permissibility of abortion even under the assumption that the foetus is a human being. Another popular argument is that presented by (...) Singer and Unger to the effect that even those who are moderately prosperous are morally obliged to help the poor if they can do so at relatively small cost to themselves. The paper (published under the pseudonym 'Nicola Bourbaki') considers the question whether these two arguments can be simultaneously valid. (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 the biomedical context, policy makers face a large amount of potentially discordant evidence from different sources. This prompts the question of how this evidence should be aggregated in the interests of best-informed policy recommendations. The starting point of our discussion is Hunter and Williams’ recent work on an automated aggregation method for medical evidence. Our negative claim is that it is far from clear what the relevant criteria for evaluating an evidence aggregator of this sort are. What is the (...) appropriate balance between explicitly coded algorithms and implicit reasoning involved, for instance, in the packaging of input evidence? In short: What is the optimal degree of ‘automation’? On the positive side: We propose the ability to perform an adequate robustness analysis as the focal criterion, primarily because it directs efforts to what is most important, namely, the structure of the algorithm and the appropriate extent of automation. Moreover, where there are resource constraints on the aggregation process, one must also consider what balance between volume of evidence and accuracy in the treatment of individual evidence best facilitates inference. There is no prerogative to aggregate the total evidence available if this would in fact reduce overall accuracy. (shrink)

For the majority of scholars concerned with the ethics of living organ donation, inflicting moderate harms on competent volunteers in order to save the lives or increase the life chances of others is held to be justifiable provided certain conditions are met. These conditions tend to include one, or more commonly, some combination of the following: The living donor provides valid consent to donation. Living donation produces an overall positive balance of harm–benefit for donors and recipients which cannot be obtained (...) in a less harmful manner. Donation is not liable to cause significant and long-term morbidity to, or the death of, the donor. This paper critically examines the suggestion that these criteria are not sufficient to offer a general account of justified living organ donation in the context of competent volunteers and that key to justified living organ donation is that donors receive sufficient benefits from their donation that these outweigh the harms they suffer. However, although this view—termed here ‘The Donor Benefit Standard’—directs welcome attention to the many and complex motives which may underlie living organ donation, this paper ultimately concludes that given the threats this position poses to individual autonomy and the lives of those in need of organ transplants ‘The Donor Benefit Standard’ should ultimately be rejected. (shrink)

What does it mean to be a morally good person? It can be tempting to think that it is simply a matter of performing certain actions and avoiding others. And yet there is much more to moral character than our outward actions. We expect a good person to not only behave in certain ways but also to experience the world in certain ways within.

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

This paper offers a framework for consciousness of internal reality. Recent PET experiments are reviewed, showing partial overlap of cortical activation during self-produced actions and actions observed from other people. This overlap suggests that representations for actions may be shared by several individuals, a situation which creates a potential problem for correctly attributing an action to its agent. The neural conditions for correct agency judgments are thus assigned a key role in self/other distinction and self-consciousness. A series of behavioral experiments (...) that demonstrate, in normal subjects, the poor monitoring of action-related signals and the difficulty in recognizing self-produced actions are described. In patients presenting delusions, this difficulty dramatically increases and actions become systematically misattributed. These results point to schizophrenia and related disorders as a paradigmatic alteration of a ''Who?'' system for self-consciousness. (shrink)

Fieldwork is a project in which, according to Rose (1997, p. 316), researcher, researched and research make each other, yet far more attention has been given to the making of the research and researcher than to the researched. Focusing on three aspects of the research process (the researcher's presence in the field, the research topic and the choice of methods), this paper uses examples from the author's own fieldwork to debate whether it is possible to shape fieldwork such that the (...) knowledges created and consumed in the field by the researched serve to destabilise dominant discourses of race, gender and age. (shrink)

Fieldwork is a project in which, according to Rose (1997, p. 316), researcher, researched and research make each other, yet far more attention has been given to the making of the research and researcher than to the researched. Focusing on three aspects of the research process (the researcher's presence in the field, the research topic and the choice of methods), this paper uses examples from the author's own fieldwork to debate whether it is possible to shape fieldwork such that the (...) knowledges created and consumed in the field by the researched serve to destabilise dominant discourses of race, gender and age. (shrink)