Researchers from across the social sciences have found consistent deviations from the predictions of the canonical model of self-interest in hundreds of experiments from around the world. This research, however, cannot determine whether the uniformity results from universal patterns of human behavior or from the limited cultural variation available among the university students used in virtually all prior experimental work. To address this, we undertook a cross-cultural study of behavior in ultimatum, public goods, and dictator games in a range of (...) small-scale societies exhibiting a wide variety of economic and cultural conditions. We found, first, that the canonical model – based on self-interest – fails in all of the societies studied. Second, our data reveal substantially more behavioral variability across social groups than has been found in previous research. Third, group-level differences in economic organization and the structure of social interactions explain a substantial portion of the behavioral variation across societies: the higher the degree of market integration and the higher the payoffs to cooperation in everyday life, the greater the level of prosociality expressed in experimental games. Fourth, the available individual-level economic and demographic variables do not consistently explain game behavior, either within or across groups. Fifth, in many cases experimental play appears to reflect the common interactional patterns of everyday life. Key Words: altruism; cooperation; cross-cultural research; experimental economics; game theory; ultimatum game; public goods game; self-interest. (shrink)

We would like to thank the commentators for their generous comments, valuable insights and helpful suggestions. We begin this response by discussing the selfishness axiom and the importance of the preferences, beliefs, and constraints framework as a way of modeling some of the proximate influences on human behavior. Next, we broaden the discussion to ultimate-level (that is evolutionary) explanations, where we review and clarify gene-culture coevolutionary theory, and then tackle the possibility that evolutionary approaches that exclude culture might be sufficient (...) to explain the data. Finally, we consider various methodological and epistemological concerns expressed by our commentators. (shrink)

Pour cerner les caractéristiques récurrentes de la jurislittérature, qui réfléchit la juridicité en littérarité, huit études visent ici à dégager les points cardinaux de son exigeante méditation sur un droit incarné, ainsi que certains tropismes d'écriture qui mettent la juridicité en état de grâce.

Jean Starobinski, one of Europe's foremost literary critics, examines the life that led Rousseau, who so passionately sought open, transparent communication with others, to accept and even foster obstacles that permitted him to withdraw into himself. First published in France in 1958, Jean-Jacques Rousseau remains Starobinski's most important achievement and, arguably, the most comprehensive book ever written on Rousseau. The text has been extensively revised for this edition and is published here along with seven essays on Rousseau that (...) appeared between 1962 and 1970. (shrink)

The philosopher of Mathematics Jean Cavaillès plays an important role in Claude Imbert's thought. His published work had a significant impact after the war. It is largely a reflection on debates on the foundation of mathematics and on two opposed models of axiomatics, foundationalist and constructionist. The philosophy he announced was to be a study of the generativity of conceptual structures, as opposed to a phenomenology of knowledge. He derived from his reflection on invention in mathematics a great scepticism (...) on the ideas of the separateness and unity of consciousness and a criticism of the teleologies inherent in philosophies of consciousness. In that, his work, according to Claude Imbert, made possible the reflections on structures and symbolisms which were to dominate the French context in the following decades. (shrink)

L'abstraction qui donne le logique etant radicale tombe dans le vide. Ni du cote matiere, puisqu'elle porte sur l'indefini tout objet, ni du cote forme elle ne s'accroche a une qualification positive. Comment est possible une science qui ne dispose que des notions unite, pluralite et representation? Que tirer de l'exigence d'accord de la pensee avec elle meme sinon l'eternelle repetition? Pour que l'accord revetit un sens plein, il faudrait qu'il y eut au moins une differenciation a l'interieur de la (...) pensee, que l'occasion de desaccord possedat deja un contenu, mais la logique serait alors logique transcendantale ou dialectique. Jean Cavailles. (shrink)

Est-il possible de parler de ce qui n’est pas ou d’y penser sans présupposer une forme d’être pour cela même que nous pensons ne pas exister? La vieille énigme parménidienne, qui hante toujours la philosophie contemporaine, est au cœur non seulement de la philosophie médiévale mais aussi des études médiévales, comme en témoigne le récent ouvrage d’Alain de Libera sur la référence vide. L’objet de cette étude est en comparaison beaucoup plus...

Following the September 2001 terrorist attacks on the United States, much support for torture interrogation of terrorists has emerged in the public forum, largely based on the “ticking bomb” scenario. Although deontological and virtue ethics provide incisive arguments against torture, they do not speak directly to scientists and government officials responsible for national security in a utilitarian framework. Drawing from criminology, organizational theory, social psychology, the historical record, and my interviews with military professionals, I assess the potential of an official (...) U.S. program of torture interrogation from a practical perspective. The central element of program design is a sound causal model relating input to output. I explore three principal models of how torture interrogation leads to truth: the animal instinct model, the cognitive failure model, and the data processing model. These models show why torture interrogation fails overall as a counterterrorist tactic. They also expose the processes that lead from a precision torture interrogation program to breakdowns in key institutions—health care, biomedical research, police, judiciary, and military. The breakdowns evolve from institutional dynamics that are independent of the original moral rationale. The counterargument, of course, is that in a society destroyed by terrorism there will be nothing to repair. That is why the actual causal mechanism of torture interrogation in curtailing terrorism must be elucidated by utilitarians rather than presumed. (shrink)

This article critically examines the relations between epistemics in conversation analysis and linguistic and cognitivist conceptions of communicative interaction that emphasize information and information transfer. The epistemic program adheres to the focus on recorded instances of talk-in-interaction that is characteristic of CA, explicitly identifies its theoretical origins with ethnomethodology, and points to implications of its research for the social distribution of knowledge. However, despite such affiliations with CA and ethnomethodology, the EP is cognitivist in the way it emphasizes information exchange (...) as an underlying, extrasituational ‘driver’ in social interaction. To document how the EP draws upon cognitivist conceptions of information and knowledge, we review examples from the corpus of transcripts analyzed in key publications on epistemics. Our re-analysis casts doubt upon the way EP analysis invokes an underlying order that supposedly drives the evident sequential organization of those transcripts. (shrink)

Jean-Paul Sartre is one of the most famous philosophers of the twentieth century. The principal founder of existentialism, a political thinker and famous novelist and dramatist, his work has exerted enormous influence in philosophy, literature, politics and cultural studies. Jean-Paul Sartre: Basic Writings is the first collection of Sartre's key philosophical writings and provides an indispensable resource for readers of his work. Stephen Priest's clear and helpful introductions make the volume an ideal companion to those coming to Sartre's (...) writing for the first time. (shrink)

Inλ-calculus, the strategy of leftmost reduction (“call-by-name”) is known to have good mathematical properties; in particular, it always terminates when applied to a normalizable term. On the other hand, with this strategy, the argument of a function is re-evaluated at each time it is used.To avoid this drawback, we define the notion of “storage operator”, for each data type. IfT is a storage operator for integers, for example, let us replace the evaluation, by leftmost reduction, ofϕτ (whereτ is an integer, (...) andϕ anyλ-term) by the evaluation oftτϕ. Then, this computation is the same as the following: first computeτ up to some reduced formτ 0, and then applyϕ toτ 0. So, we have simulated “call-by-value” evaluation within the strategy of leftmost reduction.The main theorem of the paper (Corollary of Theorem 4.1) shows that, in a second orderλ-calculus, using Gödel's translation of classical intuitionistic logic, we can find a very simple type (or specification) for storage operators. Thus, it gives a way to get such operators, which is to prove this type in second order intuitionistic predicate calculus. (shrink)

If anything marks the image, it is a deep ambivalence. Denounced as superficial, illusory, and groundless, images are at the same time attributed with exorbitant power and assigned a privileged relation to truth. In this collection of writings on images and visual art, the author explores this through an extraordinary range of references.

This paper proposes a synthetic presentation of the proof construction paradigm, which underlies most of the research and development in the so-called “logic programming” area. Two essential aspects of this paradigm are discussed here: true non-determinism and partial information. A new formulation of Focussing, the basic property used to deal with non-determinism in proof construction, is presented. This formulation is then used to introduce a general constraint-based technique capable of dealing with partial information in proof construction. One of the baselines (...) of the paper is to avoid to rely on syntax to describe the key mechanisms of the paradigm. In fact, the bipolar decomposition of formulas captures their main structure, which can then be directly mapped into a sequent system that uses only atoms. This system thus completely “dissolves” the syntax of the formulas and retains only their behavioural content as far as proof construction is concerned. One step further is taken with the so-called “abstract” proofs, which dissolves in a similar way the specific tree-like syntax of the proofs themselves and retains only what is relevant to proof construction. (shrink)

When it was first published in France in 1961 as _Folie et Déraison: Histoire de la Folie à l'âge Classique_, few had heard of a thirty-four year old philosopher by the name of Michel Foucault. By the time an abridged English edition was published in 1967 as _Madness and Civilization_, Michel Foucault had shaken the intellectual world. This translation is the first English edition of the complete French texts of the first and second edition, including all prefaces and appendices, some (...) of them unavailable in the existing French edition. _History of Madness_ begins in the Middle Ages with vivid descriptions of the exclusion and confinement of lepers. Why, Foucault asks, when the leper houses were emptied at the end of the Middle Ages, were they turned into places of confinement for the mad? Why, within the space of several months in 1656, was one out of every hundred people in Paris confined? Shifting brilliantly from Descartes and early Enlightenment thought to the founding of the Hôpital Général in Paris and the work of early psychiatrists Philippe Pinel and Samuel Tuke, Foucault focuses throughout, not only on scientific and medical analyses of madness, but also on the philosophical and cultural values attached to the mad. He also urges us to recognize the creative and liberating forces that madness represents, brilliantly drawing on examples from Goya, Nietzsche, Van Gogh and Artaud. The _History of Madness_ is an inspiring and classic work that challenges us to understand madness, reason and power and the forces that shape them. (shrink)

Buridan was a brilliant logician in an age of brilliant logicians, sensitive to formal and philosophical considerations. There is a need for critical editions and accurate translations of his works, for his philosophical voice speaks directly across the ages to problems of concern to analytic philosophers today. But his idiom is unfamiliar, so editions and trans lations alone will not bridge the gap of centuries. I have tried to make Buridan accessible to philosophers and logicians today by the introduc tory (...) essay, in which I survey Buridan's philosophy of logic. Several problems which Buridan touches on only marginally in the works trans lated herein are developed and discussed, citing other works of Buridan; some topics which he treats at length in the translated works, such as the semantic theory of oblique terms, I have touched on lightly or not at all. Such distortions are inevitable, and I hope that the idiosyncracies of my choice of philosophically relevant topics will not blind the reader to other topics of value Buridan considers. My goal in translating has been to produce an accurate renaering of the Latin. Often Buridan will couch a logical rule in terms of the grammatical form of a sentence, and I have endeavored to keep the translation consistent. Some strained phrases result, such as "A man I know" having a different logic from "I know a man. " This awkwardness cannot always be avoided, and I beg the reader's indulgence. All of the translations here are my own. (shrink)

A travers une analyse des concepts d’affirmation originaire, d’attestation et de reconnaissance, cet article tente de reconstituer le sens et les motivations du cheminement réflexif qui conduit Ricœur de L’Homme faillible à Soi-même comme un autre et à Parcours de la reconnaissance . Pour ce faire, il s’efforce d’abord de montrer ce qui fait la continuité profonde, de problématique et de méthode, du projet anthropologique ricœurien; afin de dégager ensuite les difficultés centrales liées à l’idée d’une constitution poétique du soi, (...) qui conduisent Ricœur à réélaborer les concepts directeurs de son herméneutique du soi. A la lumière du dialogue constant de Ricœur avec la philosophie de Nabert, il tente enfin de montrer comment les concepts d’attestation et de reconnaissance trouvent, pour l’essentiel, leur genèse dans un approfondissement de la notion d’affirmation originaire, lui-même prolongé par une réflexion sur le témoignage.  . (shrink)

It is commonly assumed across the language sciences that some semantic participant information is lexically encoded in the representation of verbs and some is not. In this paper, we propose that semantic obligatoriness and verb class specificity are criteria which influence whether semantic information is lexically encoded. We present a comprehensive survey of the English verbal lexicon, a sentence continuation study, and an on-line sentence processing study which confirm that both factors play a role in the lexical encoding of participant (...) information. (shrink)

, which uses the intuitionistic propositional calculus, with the only connective →. It is very important, because the well known Curry-Howard correspondence between proofs and programs was originally discovered with it, and because it enjoys the normalization property: every typed term is strongly normalizable. It was extended to second order intuitionistic logic, in 1970, by J.-Y. Girard [4], under the name of system F, still with the normalization property.More recently, in 1990, the Curry-Howard correspondence was extended to classical logic, following (...) Felleisen and Griffin [6] who discovered that the law of Peirce corresponds to control instructions in functional programming languages. It is interesting to notice that, as early as 1972, Clint and Hoare [1] had made an analogous remark for the law of excluded middle and controlled jump instructions in imperative languages.There are now many type systems which are based on classical logic; among the best known are the system LC of J.-Y. Girard [5] and the λμ-calculus of M. Parigot [11]. We shall use below a system closely related to the latter, called the λ c -calculus [8, 9]. Both systems use classical second order logic and have the normalization property.In the sequel, we shall extend the λ c -calculus to the Zermelo-Frænkel set theory. The main problem is due to the axiom of extensionality. To overcome this difficulty, we first give the axioms of ZF in a suitable (equivalent) form, which we call ZF ɛ. (shrink)

We describe here a simple method in order to obtain programs from proofs in second-order classical logic. Then we extend to classical logic the results about storage operators proved by Krivine for intuitionistic logic. This work generalizes previous results of Parigot.

Introduction. Il est bien connu que la correspondance de Curry-Howard permet d'associer un programme, sous la forme d'un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre. Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul. Chaque théorème formalisé en logique du second ordre correspond donc à une spécification de programme.Il se pose alors le problème, en général tout à fait non trivial, de trouver la spécification associée (...) à un théorème donné; autrement dit, de déterminer le comportement opérationnel commun aux λ-termes associés aux diverses démonstrations formelles du théorème considéré.Cette question est résolue ici pour le théorème de complétude de la logique classique.La première étape consiste à formaliser convenablement ce théorème en logique du second ordre. Ce travail est fait complètement dans la section 1. Il a comme sous-produit, peut-être inattendu, de montrer que ce théorème est prouvable en logique intuitionniste du second ordre. Ceci, toutefois, à condition d'introduire une légère variante de la notion de modèle, en admettant un modèle supplémentaire trivial, où toute formule est satisfaite.On notera, à ce sujet, que des preuves intuitionnistes du théorème de complétude de la logique intuitionniste, utilisant des variantes de la notion de modele de Kripke, ont été données par H. Friedman [7] et W. Veldman [8]. On remarquera également qu'un argument de G. Kreisel [2] montre que le théorème de complétude habituel de la logique intuitionniste n'a pas de preuve intuitionniste. (shrink)

RESUME L’hypothèse que tente d’esquisser cet article est que l’idée ricœurienne d’une médiatisation dynamique des contradictions de l’imaginaire social présuppose une corrélation originaire de l’idéologie et de l’utopie qui ne peut elle-même être comprise qu’à partir de l’événement de l’institution d’un imaginaire social constituant. Dans un premier temps, l’article s’efforce de cerner ce qui fait la spécificité de la théorie ricœurienne de l’idéologie et de l’utopie comme « pratiques imaginatives », en soulignant à ce titre l’influence déterminante des thèses de (...) Jacques Ellul sur l’idéologie. Puis, dans un second temps, il s’engage dans une analyse régressive qui conduit de la réappropriation ricœurienne de la conception dialectique de l’idéologie et de l’utopie exposée par Mannheim à l’idée d’un fondement événementiel de ces deux formes opposées de l’imaginaire social. Mots-Clés : Evénement, idéologie, utopie, Ellul, Mannheim. ABSTRACT This paper attempts to sketch out the hypothesis that the Ricœurian conception of a dynamic mediatization of the contradictions of the social imaginary presupposes an original correlation between ideology and utopia, which can itself be understood only from the event that institutes a constitutive social imaginary. The first part of the paper marks out the specificity of the Ricœurian theory of ideology and utopia in terms of “imaginative practices”, underlining the determining influence of Jacques Ellul’s theses on ideology. The second part tries to develop a regressive argument, starting from the Ricœurian re-appropriation of Mannheim’s dialectical conception of ideology and utopia, and leading back to the idea of an event foundation for these two opposed forms of the social imaginary. Keywords : Event, Ideology, Utopia, Ellul, Mannheim. (shrink)

This paper argues for a largely unnoted distinction between relational and modal components in the lexical semantics of verbs. Wehypothesize that many verbs encode two kinds of semantic information:a relationship among participants in a situation and a subset ofcircumstances or time indices at which this relationship isevaluated. The latter we term sublexical modality.We show that linking regularities between semantic arguments andsyntactic functions provide corroborating evidence in favor of thissemantic distinction, noting cases in which the semantic groundingof linking through participant-role properties (...) apparently fails. Thissemantic grounding can be preserved, however, once we abstractaway from sublexical modality in lexical semantic representations.Semantically-based linking constraints are insensitive to the sublexicalmodality component of lexical entries and depend only on informationin a predicator's situational core. (shrink)

Artificial intelligency can bring speed and reliability to drug discovery process. It represents an additional intelligence, which in any case can replace the strategic and logic creative insight of the medicinal chemist who remains the architect and molecule master designer. In terms of drug design, artificial intelligency, deep learning machines, and other revolutionary technologies will match with the medicinal chemist’s natural intelligency, but for sure never go beyond. This manuscript tries to assess the impact of the artificial intelligency on drug (...) discovery today. (shrink)

Starting from a genesis of the concept of narrative identity, this article attemps to interpret the constitution process of our narrative identities through a systematic and synthetic review of the main contributions of the Ricœurian theory of imagination, from Freedom and Nature to Oneself as Another. In its complex imaginative constitution, narrative identity can then be characterized as a poetico-practical mix that mediates and puts in a dialectical relation two distinct functions of the imagination: a poetic and a practical one, (...) which are themselves enlivened by a dialectic and an internal duplication. (shrink)

The debate between Ursin (2019) and Wilkinson and colleagues (2019) in this issue of The American Journal of Bioethics underscores the long-standing theoretical controversy about the equivalence of...

Alors qu’il était précepteur en Suisse, le jeune Hegel traduisit minutieusement un libelle révolutionnaire dénonçant l’oppression que les autorités bernoises exerçaient sur le Pays de Vaud. Il publia ces Lettres de Jean-Jacques Cart à son retour en Allemagne, en 1798, sous le couvert d’un anonymat qu’il ne leva jamais. Derrière le caractère anecdotique de cette première publication, on peut déceler des enjeux qui conduisirent à l’instauration de l’idéalisme spéculatif. Le motif de la lutte pour la reconnaissance, en particulier, semble (...) y trouver sa première apparition. Plus fondamentalement cette première publication éclaire le travail d’élaboration stylistique conduisant progressivement au système, avec, à l’horizon, la question de la portée pratique de la philosophie. (shrink)

Toujours, dans toute proposition affirmative veritable, necessaire ou contingente, universelle ou singuliere, la notion du predicat est comprise en quelque facon dans celle du sujet, praedicatum inest subjecto, ou bien je ne sais ce que c'est que la vetite. Parce qu'elles mettaient principalement l'accent sur les liaisons conceptuelles, les precisions de ce genre ont ete interpretees comme autant d'indices permettant de reconstituer le contenu du predicat de verite a partir de presupposes coherentistes. Dans le concensus qui s'est etabli sur ce (...) point, le role hermeneutique tres excessif accorde a la notion de systeme a eu une portee aussi considerable que le contenu des quelques textes generalement allegues. Si on admet, au contraire, qu'il y a bien une doctrine leibnizienne de la verite, alors on est amene a inscrire la position de Leibniz dans le contexte du debat relatif a l'adaequatio rei et a souligner davantage ce qui l'apparente a une theorie de la verite-correspondance. Cet argument principal est soutenu par des analyses de detail dans la logique. Un attention particuliere est apportee aux valeurs des variables du nouveau calcul, a la fonction du predicat de possibilite, au probleme relatif a la constantia subjecti et au statut des entites intensionnelles. L'image de l'ontologie leibnizienne s'en trouve modifiee et precisee: a la fois possibiliste et factualiste, elle est traversee de tensions importantes et occupe une place tout a fait singuliere dans cette partie de la philosophie qui connait aujourd'hui un si profond renouveau. (shrink)

The article analyses the idea that according to the averroist Jean de Jandun, Master of Arts in Paris at the beginning of the 14th century, human beings are composed of a «double form» the separated intellect on the one hand, the cogitative soul on the other hand. After recalling several major accounts of the time, we explore Jean's reading of Averroes' major conceptions concerning the problem. Finally, we challenge the idea according to which we observe in his writings (...) the radical thesis of a sometimes cogitating sometimes thinking «double human being» that makes of the homo intelligens a punctual and exclusive new being, which is accidentally produced while the thinking takes place. (shrink)

Jean de Jandun (ca. 1285/1328), maître es arts à l'Université de Paris durant la première moitié du quatorzième siècle, est considéré par l'historiographie contemporaine comme le principal tenant de l'"averroi͏̈sme latin", c'est-à-dire comme le défenseur majeur d'une psychologie extrême dans laquelle l'intellect est unique, éternel, et séparé par essence des hommes. Sa noétique procède en réalité d'une réarticulation ou d'une reprise active du corpus latin d'Averroès et l'on étudie sur trois plans (le rapport au corps, l'intervention de l'image, la (...) production de la pensée) comment elle s'élabore et chemine à l'écart du Grand Commentaire sur le De anima laissé par le Cordouan. La notion de subiectum sert de fil directeur, elle vaut chez Averroès à la fois pour l'intellect sujet-substrat des intelligibles et pour le phantasme qui sert de base à la formation du concept. On décrit donc quels "transferts du sujet" s'opèrent dans la relance de la noétique rushdienne, pour relever des glissements et finalement pointer la mise en place de problématiques nouvelles et constitutives, aussi, de notre modernité. Car, en reconnaissant à l'"averroi͏̈sme" une production réellement philosophique qu'on tendait à lui refuser, on fait apparaître combien l'oeuvre de Jean est solidaire de l'invention ou de l'accentuation d'une question capitale dont nous sommes héritiers : celle du sujet humain des pensées, celle de l'assomption de l'homme comme sujet. (shrink)