Signifiance du monde propose une "harmonisation intégrale" entre la linguistique saussuro-guillaumienne des langues naturelles et la pensée phénoménologique heideggérienne de la vérité de l'être en tant qu'alètheia, dans son sens grec de "ce qui sort de la latence" et que Jean-Louis Tristani nomme illatence. En d'autres termes, cet essai donne accès à une compréhension des "relations grammaticales évidentes qui articulent l'être, dans sa vérité, et la pensée, telles qu'elles sont a priori données dans le système linguistique de n'importe (...) quelle langue naturelle". Cette mise au jour de la co-originarité de la langue et de la pensée corrobore la formule du linguiste français Antoine Meillet, maintes fois citée par Gustave Guillaume, selon laquelle, en ce lieu intelligible de la langue "tout se tient et a un plan d'une pleine rigueur". Une rigueur qui intègre le système morpho-lexical d'une langue, en tant qu'intégrale des conditions d'effection du discours, avec les conditions existentiales de possibilité du Dasein en tant qu'être-au-monde. D'où Signifiance du monde, ce titre qui annonce la composante linguistique de notre présence au monde."--Page 4 of cover. (shrink)

When it was first published in French in 1980, The Ordinary Man of Cinema signaled a shift from the French film criticism of the 1960s to a new breed of film philosophy that disregarded the semiotics and post-structuralism of the preceding decades. Schefer describes the schizophrenic subjectivity the cinema offers us: the film as a work projected without memory, viewed by (and thereby lived by) a subject scarred and shaped by memory. The Ordinary Man of Cinema delineates the phenomenology of (...) movie-going and the fleeting, impalpable zone in which an individuals personal memory confronts the cinemas ideological images to create a new way of thinking. It is also a book replete with mummies and vampires, tyrants and prostitutes, murderers and freaksfigures that are fundamental to Schefers conception of the cinema, because the worlds that cinema traverses (our worlds, interior and exterior) are worlds of pain, unconscious desire, decay, repressed violence, and the endless mystery of the body. Fear and pleasure breed monsters, and such are what Schefers emblematic "ordinary man" seeks and encounters when engaging in the disordering of the ordinary that the movie theater offers him. Among other things, Schefer considers "The Gods" in 31 brief essays on film stills and "The Criminal Life" with reflections on spectatorship and autobiography. While Schefers book has long been standard reading in French film scholarship, until now it has been something of a missing link to the field (and more broadly, French theory) in English. It is one of the building blocks of more widely known and read translations of Gilles Deleuze (who cited this book as an influence on his own cinema books) and Jacques Rancière. (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)

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)

Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.

The biological function of human reasoning abilities cannot be to improve shared knowledge. This is at best a side effect. A more plausible function of argumentation, and thus of reasoning, is to advertise one's ability to detect lies and errors. Such selfish behavior is closer to what we should expect from a naturally selected competence.

Comment et pourquoi affirmer que l'humanisme d'un penseur catholique du XVIIe siècle peut nous guider dans la compréhension de phénomènes culturels contemporains, c'est in fine la question qui commande cette étude rigoureuse et audacieuse. Faire dialoguer de façon féconde le projet de Blaise Pascal et la pop culture, appréhendée à partir des tribus musicales punk, rock, skinhead, gothique, hip-hop et électro, c'est l'objectif du travail de Jean-Louis Bischoff.

Un foisonnement d'expériences associatives et coopératives s'est manifesté dans les différents pays européens depuis les années 1970, particulièrement dans le champ des initiatives locales et des nouveaux services relationnels. Selon la grille d'analyse adoptée qui privilégie le potentiel de démocratisation, ces pratiques peuvent être mieux comprises à travers une perspective d'économie solidaire que par les références habituelles au tiers secteur, à l'économie sociale et aux organisations non gouvernementales. Néanmoins, comme l'interdépendance entre actions collectives et publiques s'avère déterminante dans l'histoire européenne (...) pour organiser une résistance à l'utopie d'une « société de marché », le devenir de l'économie solidaire est étroitement lié à la reconnaissance par les pouvoirs publics. Tant au niveau national qu'international celle-ci reste partielle et la pertinence d'un soutien ne fait pas consensus comme le montre la position de l'Union européenne.A large amount of associative and cooperative experiments has arisen everywhere in Europe since the 1970s particularly in the fields of local initiatives and new “relational” services. Our framework of analysis shows these practices are better understood by a civil and solidarity-based economy perspective, emphasizing their potential of economic democratization, rather than by the usual references to third sector, social economy or non-governmental organizations. Nevertheless, since collective and public action has interacted decisively in European history to organize resistance against the utopic vision of the “market society”, the future of this solidarity-based economy appears to be closely linked to its recognition by public policies. But at the European and national levels, this still remains partial and the relevance of such an economy is a highly controversial subject as the European Union’s position demonstrates. (shrink)

Two strains of male mice have bred over fortygenerations, starting with the work of RobertCairns and his colleagues, one strain with ahigh level of intra-species aggression, theother a low level of aggression. Thehigh-aggression mice tend to establishdominance hierarchies and particularly fight inthe presence of female mice. Thelow-aggression mice tend, in groups of theirown, to have a high degree of low-intensity,peaceful social contact, and to be more timidin initiating action than the high-aggressionmice. Biochemical differences have beenobserved between the two strains, and (...) confirmedby the present data: the high-aggression micehave greater dopamine concentrations (in thecaudate nucleus and nucleus accumbens), lowerlevels of the stress hormone corticosterone,and higher levels of testosterone than thelow-aggression mice. The current experimentswere designed to answer questions about theflexibility of adaptive behaviors:specifically, what is the effect of early dailymaternal separation on adult stress response ineach strain? What are the behavioral andhormonal mechanisms by which, as has beenobserved, low-aggression mice achieve adominant status when brought into situationswhere they compete for territory withhigh-aggression mice? Finally, what are thesocial and neurochemical mechanisms by whichhigh-aggression mice can develop low-aggressionbehavior if brought out of isolation and intogroups?Maternal separation was found to lead todecreases in stress levels, as measured bycorticosterone, in the low-aggression but notthe high-aggression, mice – presumably becauseof the surplus of maternal care the pupsreceive on returning to the nest. When alow-aggression mouse became dominant and ahigh-aggression mouse became submissive, theirusual pattern of corticosterone andtestosterone levels was found to be reversed. The change to low-aggression behavior inhigh-aggression mice switching from anisolation condition to a group condition, wasmediated by a decrease in D 1 dopaminereceptor densities.These results, like the ones on which theybuild, argue for substantial developmentalinfluences in expressions of the genesinfluencing aggressive or cooperative behavior. In this approach to evolution, epigenesis istreated not as a set of traits and behaviorspredetermined by the genome, but as a set ofprobabilistic tendencies toward certain traitsand behaviors. (shrink)

Há anos ou décadas, vemos países que estavam em marcha em direção à democracia como a Rússia, a Turquia e mesmo reais democracias como o Brasil, se tornarem verdadeiras democraduras, ou se encaminharem para esse tipo de regime, a Hungria por exemplo, mas igualmente outros países. Os analistas políticos continuam lutando para entender a origem e a natureza desse direcionamento sobre o qual a leitura de Tocqueville ainda fornece um esclarecimento notável, cujas análises mantêm perfeita atualidade; é um grande pensador (...) para os dias atuais que estabelece como, para pensar o surgimento da democracia e os problemas que aparecem a ela, é apropriado partir do estado social democrático. (shrink)

La défense canguilhemienne de l’institution philosophique s’inscrit dans une lignée républicaine ; cette attitude diffère de celle propre à certains de ses contemporains (Nizan), ou de ses cadets (Althusser, Foucault). Canguilhem a toujours défendu l’importance de la philosophie quand elle était menacée par les sciences humaines et sociales, tant au moment du succès de l’existentialisme que pendant le structuralisme des années 1960 ; il fut, en même temps, le critique de certaines manières de concevoir la philosophie (existentialiste ou spiritualiste), de (...) certaines modes de sa pratique (journalistique ou littéraire), et un innovateur en matière de pédagogie. (shrink)

Selection through iterated learning explains no more than other non-functional accounts, such as Universal Grammar (UG), why language is so well designed for communicative efficiency. It does not predict several distinctive features of language, such as central embedding, large lexicons, or the lack of iconicity, which seem to serve communication purposes at the expense of learnability.

Cet article étudie ce que l’on peut entendre par « ce qui dépend de nous » dans la tradition aristotélicienne. L’auteur interroge les tenants de l’apparition d’un Self chez les Stoïciens et remet vivement en question certaines conceptions de l’histoire de la philosophie. Il soutient qu’il n’y a pas de raison, et même moins, de voir en Épictète l’inventeur du « libre arbitre », pas plus qu’il n’y en a de voir chez les Stoïciens une quelconque naissance de la subjectivité (...) en raison de l’innovation qu’aurait été la notion d’assentiment. L’argumentation repose sur la conception « libertarienne » du « ce qui dépend de nous » par Alexandre d’Aphrodise.De « ce qui dépend de nous »This paper examines that what is the meaning of « what depends on us » in the Aristotelian tradition. The Author adresses all those who think that the Self was originated by the Stoics. He criticizes in a provocative way some manners in the history of philosophy. He champions that there is no cause, or even less, to understand Epictetus as any creator of the liberum arbitrium, no more than to understand the Stoics as the origine of our modern conception of the subjectivity because of their notion of assent. The argument rests on the « libertarian » conception of « what depends on us » by Alexander of Aphrodisias. (shrink)

Que se cache-t-il derrière L'Esprit Matériel ?

Foucault a décrit quelques dispositifs qui articulent pouvoir et savoir, mais cela ne permet pas de rendre compte d’un certain nombre d’institutions ou d’appareils ayant affaire au visible – comme la perspective, le musée, la photographie, etc. – ou au musical – comme l’opéra ou le son. Ces derniers interviennent à un niveau plus fondamental, celui de la sensibilité commune ou du pré-individuel en faisant époque et monde. Dans cette série, le musée a une place à part puisqu’il sépare dans (...) l’œuvre d’art ce qui relevait de cette puissance de destination de l’esthétique elle-même. C’est la raison pour laquelle il n’appartient pas aux différents théâtres de mémoire qui donnent leur assise aux sociétés. Certes le musée peut être le lieu de l’histoire de l’art, mais surtout il fait entrer les œuvres dans une communication générale où la plus récente invente le passé comme sa cause matérielle. (shrink)

Les juristes considèrent souvent que toute société a un droit. Une conception positiviste du droit comme artefact humain conduit, au contraire, à envisager que la technologie juridique a été inventée dans l'histoire pour formaliser les changements normatifs. Cette technologie du changement a pu être ensuite transférée, par la force ou le prestige, dans d'autres sociétés. Les transferts de droit ne sont-ils pas à l'origine de plusieurs mondialisations dont on pourrait dessiner les profils? Un premier profil, de caractère historique, montre que (...) le droit romain, le droit chinois et le droit musulman ont donné lieu dans les siècles passés à de grandes vagues d'expansion. Avec l'impérialisme colonial, l'Occident a imposé ses conceptions du droit, en diffusant des modèles de constitution ou de codification, ainsi que des règles du common law. Depuis 1945, l'hégémonie américaine n'est pas sans liens avec les nouvelles formes, en apparence plus achevées, de mondialisation du droit. Un second profil propose une typologie des ordres juridiques actuels en relativisant la cartographie traditionnelle des familles du droit pour privilégier des domaines où les changements ont été plus notables au cours de ces dernières décennies : les diverses configurations des ordres juridiques démocratiques, le maintien ou non des statuts personnels, l'opposition entre traditions privatistes et commercialisation du droit, les flux ou reflux de l'ordre public social. (shrink)

Véronique Adam : Les neurosciences ne s’intéressent que depuis très récemment à l’olfaction. Pourriez‑vous expliquer pourquoi ce sens est devenu un objet d’étude plus prégnant? Jean-Louis Millot : En fait, l’olfaction demeure encore peu étudiée comparée à d’autres modalités sensorielles. De manière générale, les neurosciences cognitives actuelles, comme d’autres investigations scientifiques chez l’homme par le passé, se focalisent davantage sur les compétences cognitives complexes, telles qu...

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)