We present a version of system Fω, called image, in which the layer of type constructors is essentially the traditional one of Fω, whereas provability of types is classical. The proof-term calculus accounting for the classical reasoning is a variant of Barbanera and Berardi’s symmetric λ-calculus.We prove that the whole calculus is strongly normalising. For the layer of type constructors, we use Tait and Girard’s reducibility method combined with orthogonality techniques. For the layer of terms, we use Barbanera and Berardi’s (...) method based on a symmetric notion of reducibility candidate. We prove that orthogonality does not capture the fixpoint construction of symmetric candidates.We establish the consistency of image, and relate the calculus to the traditional system Fω, also when the latter is extended with axioms for classical logic. (shrink)

Rousseau’s thoughts on education are being presented and then put in tension with todays educational conceptions. We aim at highlighting in how far Rousseau’s work can still contribute to conceive teaching and learning, but also how it is in tension with some contemporary educational tenets. We conclude by emphasising the need to reflect all teaching and learning taking into account the objective to allow the development of a human being bestowed with a unique potential, that of being able to become (...) autonomous and free, actively taking part in his and his society’s future. (shrink)

Les articles réunis dans ce dossier de la revue Astérion portent sur la première génération de la Théorie critique (dont Max Horkheimer, Walter Benjamin, Theodor W. Adorno, Herbert Marcuse et Erich Fromm constituent sans doute les figures principales). Ils se concentrent plus précisément sur les contributions philosophiques qui marquèrent la période ouverte par l’accession de Horkheimer à la direction de l’Institut de recherches sociales (1931) et close par la publication en 1944 de Dialektik..

Cet article a déjà été publié dans le Carnet Zilsel, en date du 16 septembre 2017. L'auteur remercie Catherine Dupuy, Pascal Engel, Éric Guichard, Gaïa Lassaube, Pierre Lévy, Pierre Mœglin, David Monniaux, Mathieu Triclot et Stéphane Vial, ainsi qu'Arnaud Saint-Martin et Jérôme Lamy, éditeurs du Carnet Zilsel, de leur relecture du projet d'article et de leurs remarques. Il va de soi que l'article lui-même n'engage que son auteur. Rhuthmos remercie Alexandre Moatti et les Carnets Zilsel d'avoir permis - (...) Philosophie – Nouvel article. (shrink)

The Repugnant Conclusion served an important purpose in catalyzing and inspiring the pioneering stage of population ethics research. We believe, however, that the Repugnant Conclusion now receives too much focus. Avoiding the Repugnant Conclusion should no longer be the central goal driving population ethics research, despite its importance to the fundamental accomplishments of the existing literature.

La Déclaration des droits de l'homme nous est familière. Mais de quel homme parle-t-on? L'homme/esprit des Lumières ou l'homme/matière des sciences? En discutant ces deux approches, l'objectif de cet ouvrage est de réfléchir sur la particularité ontologique de chaque existence humaine. À partir d'exemples tirés de l'actualité juridique et politique, ce livre insiste sur la quête de sens inhérente à toute entreprise humaine. Être humain est un effort pour chacun, ce n'est pas un acquis. " Devenir humain " signifie lutter (...) pour trouver les valeurs de l'existence humaine. Le but de l'auteur est de montrer que l'être humain est constitué par le devenir. Sa vision du vivant redonne alors une place au finalisme : la vie n'est pas due au hasard. (shrink)

This collection of six essays centers on Professor Koyre;'s great theme: the relative importance of metaphysics and observation, with controlled experiment a kind of marriage between the two. Professor Koyre;'s thesis might be summed up as a claim that when one is seeking to explain the scientific revolution, attention must be concentrated on the philosophical outlook of the scientist and away from speculative theories. At the time of his death, Alexandre Koyre; was a professor at the Ecole Pratique des (...) Hautes Études (Sorbonne) and a memeber of the Institute for Advanced Study in Princeton. (shrink)

Franz Rosenzweig : the other side of the West -- Dissimilation -- Hegel taken literally -- Utopia and redemption -- Walter Benjamin : the three models of history -- Metaphors of origin : ideas, names, stars -- The esthetic model -- The angel of history -- Gershem Scholem : the secret history -- The paradoxes of messianism -- Kafka, Freud, and the crisis of tradition -- Language and secularization.

Entre todos los campos que abarca la fenomenología de la donación de Jean-Luc Marion, es notable que la política ocupe un lugar exiguo, por no decir inexistente. Esta cuasi ausencia se puede explicar por motivos conceptuales, dado que la filosofía política se encerró dentro de la metafísica a través del uso recurrente de conceptos tales como el sujeto, el poder o el interés. Sin embargo, es posible pensar, a partir de la filosofía de Marion, una política que no se limite (...) a su figura metafísica. Esta posibilidad supone el pensamiento de una verdadera política de la comunión que una al colectivo a partir de un punto que le permanece externo y que no le sirva como su fundamento. (shrink)

This study examined narrative identity in a group of 81 patients with schizophrenia and 50 healthy controls through the recall of self-defining memories. The results indicated that patients’ narratives were less coherent and elaborate than those of controls. Schizophrenia patients were severely impaired in the ability to make connections with the self and extract meaning from their memories, which significantly correlated with illness duration. In agreement with earlier research, patients exhibited an early reminiscence bump. Moreover, the period of the reminiscence (...) bump, which is highly relevant for identity development, was characterized by fewer achievements and more life-threatening event experiences, compared with controls. A negative correlation was found between negative symptoms, number of self-event connections and specificity of narratives. Our results suggest that schizophrenia patients have difficulties to organize and extract meaning from their past experiences in order to create coherent personal narratives. (shrink)

This paper presents the hypothesis that concept possession is sufficient and necessary for self-consciousness. If this is true it provides a yardstick for gauging the validity of different research paradigms in which claims for self-consciousness in animals or human infants are made: a convincing demonstration of concept possession in a research subject, such as a display of inferential reasoning, may be taken as conclusive evidence of self-consciousness. Intuitively, there appears to be a correlation between intelligence in animals and the existence (...) of self-consciousness. I present three discussions to support the hypothesis: an analogy between perception and conception, where both are self-specifying; an argument that any web of concepts will always include the self-concept; and a fresh interpretation of Bermũdez showing how his theory of non-conceptual content provides strong support for the concept possession hypothesis. (shrink)

Il ne subsiste aucun vestige de la charpente du temple d’Apollon construit à Delphes durant le ive s. av. J.‑C., ni de bloc comportant des réservations pour l’appui des poutres. En revanche, de nombreux passages des comptes de construction mentionnent des pièces en bois et font état de travaux sur les parties hautes du monument. Nous présentons ici un commentaire de ces inscriptions qui s’articule autour de trois objectifs principaux : déterminer la destination et la fonction des pièces de bois (...) ; analyser le vocabulaire technique ; établir la chronologie des travaux dans les parties hautes du temple. Au‑delà d’une étude centrée sur l’architecture delphique, le corpus mobilisé contribue à la caractérisation des techniques de charpente et à la connaissance du déroulement des chantiers d’architecture monumentale en Grèce ancienne. (shrink)

(2013). Does consciousness entail subjectivity? The puzzle of thought insertion. Philosophical Psychology: Vol. 26, No. 2, pp. 291-314. doi: 10.1080/09515089.2011.625117.

This article renders a close reading of those passages in Walter Benjamin's work where he uses the term “unscheinbar.” Arguing that this concept cannot be reduced to its privative prefix “un-,” the article explores how moments in time, objects or images that are not meaningful in themselves can nevertheless trigger an experience that is to be called such. The article analyzes Benjamin's ideas on friendliness, commemoration, melancholy, mémoire involontaire and photography with the purpose of understanding how a detail or fragment (...) strikes us as significant, despite the fact that it cannot become visible as a unity or whole in its own right. (shrink)

Thanks to the particularly penetrating analysis of André Martinet, we now know that the complementary existence of two levels of different articulation is one of the most remarkable specific characteristics of language. To the first level belong all facts concerning significant units, the meaning and inflection of words, syntactic groupings and the composition of a discourse; the second articulation is that of non-significant elements that we call phonemes. In other words, it is at the second level that we pronounce articulate (...) sounds, while to the first we owe the possibility of formulating groups with meaning. The first articulation could be visualized as the molecular and cellular level in which the simplest elements, having a very limited autonomy, are organized according to affinities having the force of law; the second articulation would thus represent the atomic level, that of elementary particles identified by their role in groups. (shrink)

The purpose of this text is to present the different approaches and mechanisms of a training engineering based on the current analysis of the work of the "clinic of activity". Called clinical didactic engineering of activity, this approach is based on the principles of the clinic of activity to design and implement professional training systems and thus solve a recurring question that all professional training engineers come up against, which is that of transposing work activity, without distorting it. Illustrated by (...) two examples in health and services, this text proposes a first structuring of such engineering. (shrink)

Art-philosophical treatise on the concept of beauty."--Publisher information.

In this paper, we put forward a new account of emergence called “transformational emergence”. Such an account captures a variety of emergence that can be considered as being diachronic and weakly ontological. The fact that transformational emergence actually constitutes a genuine form of emergence is motivated. Besides, the account is free of traditional problems surrounding more usual, synchronic versions of emergence, and it can find a strong empirical support in a specific physical phenomenon, the fractional quantum Hall effect, which has (...) long been touted as a paradigmatic case of emergence. (shrink)

The role of fixed charges present at the surface of biological membranes is usually described by the Gouy-Chapman-Grahame theory of the electric double-layer where the Grahame equation is applied independently on each side of the membrane and where the capacitive charges are disregarded. In this article, we generalize the Gouy-Chapman-Grahame theory by taking into account both intrinsic charges and capacitive charges, in the density value of the membrane surface charges. In the first part, we show that capacitive charges couple electrostatic (...) potentials present on both sides of the membrane. The intensity of this coupling depends both on the value of the membrane specific capacitance and the transmembrane electric potential difference. In the second part, we suggest some physiological implications of membrane electric double-layers. (shrink)

Nous nous demandons souvent ce que nous aurions interet a faire ou ce que nous devrions faire, ce que les autres peuvent legitimement exiger de nous. Rien ne nous semble plus immediat que cette reflexion sur nos desirs et nos devoirs. Pourtant, des que l'on s'efforce de decrire les processus effectifs qui sont en jeu et les normes de rationalite ou morales qui pesent sur cette reflexion, l'evidence s'evanouit. Comment connaissons-nous nos desirs? Qu'est-ce qui sous-tend nos jugements moraux? Quelle place (...) les demandes de la morale laissent a nos desirs? La reflexion pratique ne nous sert-elle qu'a justifier nos actions a posteriori ou nous permet-elle de guider nos actions? Le present livre s'attache a repondre a ces questions, anciennes pour la plupart, en discutant les recherches recemment menees a leur sujet en philosophie de l'action, en philosophie de l'esprit et en philosophie morale, dans l'esprit de la tradition analytique. (shrink)

Dans cette introduction, je situe en premier lieu la métaéthique vis-à-vis des autres recherches qui s’intéressent à la morale. Je distingue pour commencer la métaéthique de l’éthique normative et des éthiques appliquées. Alors que ces dernières s’intéressent à ce que la morale nous demande de faire, la métaéthique est une interrogation de second ordre sur la nature de la morale, du discours moral et sur la possibilité de justifier des jugements moraux. Je distingue ensuite parmi ces questions de second ordre (...) celles qui constituent plus proprement la métaéthique par opposition à la psychologie morale tout en soulignant leurs relations de dépendance. Pour finir, je présente assez brièvement les questions centrales propres aux différents sous-domaines de la métaéthique : la sémantique morale qui porte sur la signification des termes moraux, l’épistémologie morale qui porte sur la connaissance morale, et l’ontologie morale qui porte sur les faits moraux susceptibles d’expliquer pourquoi certains de nos jugements moraux sont vrais. Dans cette brève introduction à la métaéthique, notre ambition sera essentiellement de situer la métaéthique par rapport aux autres approches philosophiques de la morale. Nous nous efforcerons en outre de présenter assez sommairement les grandes questions qui structurent ce vaste domaine de recherche. (shrink)

Using emotional film clips is one of the most popular and effective methods of emotion elicitation. The main goal of the present study was to develop and test the effectiveness of a new and comprehensive set of emotional film excerpts. Fifty film experts were asked to remember specific film scenes that elicited fear, anger, sadness, disgust, amusement, tenderness, as well as emotionally neutral scenes. For each emotion, the 10 most frequently mentioned scenes were selected and cut into film clips. Next, (...) 364 participants viewed the film clips in individual laboratory sessions and rated each film on multiple dimensions. Results showed that the film clips were effective with regard to several criteria such as emotional discreteness, arousal, positive and negative affect. Finally, ranking scores were computed for 24 classification criteria: Subjective arousal, positive and negative affect (derived from the PANAS; Watson & Tellegen, 1988), a positive and a negative affect scores derived from the Differential Emotions Scale (DES; Izard et al., 1974), six emotional discreteness scores (for anger, disgust, sadness, fear, amusement and tenderness), and 15 “mixed feelings” scores assessing the effectiveness of each film excerpt to produce blends of specific emotions. In addition, a number of emotionally neutral film clips were also validated. The database and editing instructions to construct the film clips have been made freely available in a website. (shrink)

La mythologie est une source d’inspiration constante pour la psychanalyse, dont l’une des pierres de touche réfère à la primauté accordée à la sexualité et à la vie pulsionnelle. Partant du constat surprenant de la mise sous silence de la légende de Tirésias dans la littérature psychanalytique, mythe évoquant une plus grande intensité de la jouissance sexuelle chez la femme, cet article se veut une invitation à la déconstruction du refus du féminin freudien (roc du biologique) à la lumière de (...) ce que nous nommons : le complexe de Tirésias. Au sein du nécessaire dialogue entre théorie et clinique, cette perspective accordant toute sa place à l’activité fantasmatique inconsciente à la lumière d’une acception intersubjective de la genèse pulsionnelle, contribue selon nous à limiter le risque contre-transférentiel d’une survalorisation du courant maternel au détriment du féminin érotique. (shrink)

L'identité n'est plus reçue comme une question : elle est devenue la passion moderne, et c'est surtout ainsi qu'elle nous affecte, individuellement ou en masses. C'est pourquoi nous pouvons en proposer ici une clinique : pour l'analyser, en donner les éléments, et aussi restituer les conditions de ce qui serait là, pour chacun, la possibilité d'une interrogation singulière. Cet ouvrage prend son départ dans les faits de la psychose, où la passion de l'identité livre le plus purement ses principes et (...) ce qui la cause, avant d'en venir à la névrose contemporaine, et aux diverses manières dont elle méconnaît ses difficultés - et parfois ses impasses - dans les problématiques identitaires. Parmi ces difficultés, il examine en particulier celles que posent, dans les modalités de consommation et d'échange, le statut du père ou la place d'une femme. En même temps qu'une analyse clinique, ce livre propose au lecteur étudiant, praticien, ou simplement curieux, un abord de l'identité dont il puisse faire une question, au lieu des réponses de plus en plus désorientées, passionnelles et donc automatiques, que nous renvoie notre actualité. (shrink)

In their target article, Kammerer and Frankish (K&F) wonder what forms introspection could take in non-human animals, enhanced humans, artificial intelligences, and aliens. In this short note, I focus on disordered or neurodiverse minds. More specifically, I assess a claim that has often been made more or less implicitly to the effect that, in virtue of their conditions, people with schizophrenia or depersonalization disorder have superior introspective abilities that allow them to discern some important but normally hidden characteristics of our (...) experiences — call this the superintrospectionitis thesis. In the course of my argumentation, I introduce distinctions and questions concerning the nature of the architecture and the function of introspection that might enrich K&F's framework. (shrink)

A recent proposal to solve the halting problem with the quantum adiabatic algorithm is criticized and found wanting. Contrary to other physical hypercomputers, where one believes that a physical process “computes” a (recursive-theoretic) non-computable function simply because one believes the physical theory that presumably governs or describes such process, believing the theory (i.e., quantum mechanics) in the case of the quantum adiabatic “hypercomputer” is tantamount to acknowledging that the hypercomputer cannot perform its task.

Local sustainable food systems have captured the popular imagination as a progressive, if not radical, pillar of a sustainable food future. Yet these grassroots innovations are embedded in a dominant food regime that reflects productivist, industrial, and neoliberal policies and institutions. Understanding the relationship between these emerging grassroots efforts and the dominant food regime is of central importance in any transition to a more sustainable food system. In this study, we examine the encounters of direct farm marketers with food safety (...) regulations and other government policies and the role of this interface in shaping the potential of local food in a wider transition to sustainable agri-food systems. This mixed methods research involved interview and survey data with farmers and ranchers in both the USA and Canada and an in-depth case study in the province of Manitoba. We identified four distinct types of interactions between government and farmers: containing, coopting, contesting, and collaborating. The inconsistent enforcement of food safety regulations is found to contain progressive efforts to change food systems. While government support programs for local food were helpful in some regards, they were often considered to be inadequate or inappropriate and thus served to coopt discourse and practice by primarily supporting initiatives that conform to more mainstream approaches. Farmers and other grassroots actors contested these food safety regulations and inadequate government support programs through both individual and collective action. Finally, farmers found ways to collaborate with governments to work towards mutually defined solutions. While containing and coopting reflect technologies of governmentality that reinforce the status quo, both collaborating and contesting reflect opportunities to affect or even transform the dominant regime by engaging in alternative economic activities as part of the ‘politics of possibility’. Developing a better understanding of the nature of these interactions will help grassroots movements to create effective strategies for achieving more sustainable and just food systems. (shrink)

Stéphane Lemaire | : Subjectivists about well-being claim that an object is good for someone if and only if this individual holds a certain type of pro-attitude toward this object. In this paper, I focus on the dispute among subjectivists that opposes those who think that the relevant pro-attitudes are actual to those who think that they are counterfactual under some idealized conditions. My main claim is that subjectivism should be stringently actualist, though our actual pro-attitudes may be criticized (...) from an intrinsic perspective. To defend this claim, I first present three desiderata that a subjectivist theory of well-being should fulfil. Two of these desiderata result from the fact that a subjectivist theory of well-being should not be implicitly paternalist, while the other is that it should be able to play a normative role. I then show that several actualist theories that introduce light forms of idealization or other conditions that have a similar aim, fail to satisfy at least one of the antipaternalist desiderata. This gives some legitimacy to a very stringent version of actualism. I then describe three features of the kind of stringent actualism that I want to defend, which will explain the ability of what is good for someone to play its normative role. Finally, I show how these features allow us to deal with the classic objection that the objects of actual “defective attitudes” cannot be good for the holder of these pro-attitudes. | : Les subjectivistes à propos du bien-être soutiennent qu’un objet est bon pour un individu si et seulement si cet individu possède un certain type d’attitude positive à l’égard de cet objet. Dans cet article, je me concentre sur le débat à l’intérieur du camp subjectiviste qui oppose ceux qui pensent que les attitudes positives pertinentes sont actuelles à ceux qui pensent qu’elles sont contrefactuelles sous une condition d’idéalisation. Ma thèse principale est que le subjectivisme devrait être rigoureusement actualiste bien que nos attitudes positives actuelles puissent être critiquées d’un point de vue qui leur est interne. Afin de défendre cette position, je présente d’abord trois desiderata qu’une théorie subjectiviste du bien-être devrait satisfaire. Deux de ces desiderata résultent du fait qu’une théorie subjectiviste du bien-être ne devrait pas être implicitement paternaliste, alors que le troisième résulte de ce qu’elle devrait pouvoir jouer un rôle normatif. Je montre ensuite que plusieurs théories actualistes qui introduisent des formes modestes d’idéalisation ou d’autres conditions ayant la même visée échouent à satisfaire au moins un des desiderata anti-paternalistes. Une version très rigoureuse de l’actualisme subjectiviste s’en trouve ainsi légitimée. Je décris ensuite les trois aspects de l’actualisme rigoureux que je souhaite défendre et qui permettront d’expliquer dans quelle mesure ce qui est bon pour un individu peut jouer un rôle normatif. Enfin, je montre comment ces aspects nous permettent de répondre à l’objection classique selon laquelle les objets d’« attitudes défectives » actuelles ne peuvent être bons pour ceux qui ont ces attitudes. (shrink)

The article aims at assessing the strengths and weaknesses of the objections to Habermas’s epistemic conception of democracy raised by Thomas McCarthy in some of his essays. The author defends two ideas. First, he contends that McCarthy is mistaken in believing that democratic debates would not be a matter of consensus. In this regard, two arguments are raised, showing that the search for agreement and consensus by citizens in public forums can hardly be dismissed and that consensus can be invested (...) with many meanings in democratic life. Secondly, however, the author approves McCarthy when challenging Habermas’s epistemic claims regarding his theory of democracy. Not all democratic deliberations can be analysed in epistemic terms, in particular, debates on values. The pitfalls of any epistemic account of this form of deliberation are pointed out in the end of the essay. (shrink)