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)

, 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)

This paper shows that Aristotle's De Interpretatione does not separate syntax from semantics. Linguistic sentences are not syntactic entities, and non-linguistic meanings are not semantic propositions expressed by linguistic sentences. In fact, Aristotle resorts to a mental conception of meaning, distinguishing linguistic meanings in a given language from non-linguistic mental contents in relation to actual things: while the former are not the same for all, the latter are shared by everyone. Aristotle is not a modern logician, like Boole, Frege, or (...) Russell, in so far as a mental conception of meaning does not reveal an abstract semantics for a syntactic language. (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)

Les traites de zoologie d'Aristote ne sont nullement des traites mineurs, voire anecdotiques, mais des traites a inscrire au contraire dans la vaste enquete sur la nature qu'il entendait mener et qui caracterise si bien sa philosophie. Qu'en est-il cependant des capacites animales telles qu'Aristote les a decrites? Le probleme est autre, tant dans nombre de recherches recentes, les animaux eux-memes semblent avoir ete parfois comme oublies en chemin au profit de recherches plus epistemologiques. C'est ce singulier oubli que ces (...) etudes voudraient commencer de reparer en s'attachant a ce qu'Aristote dit effectivement de la vie meme des animaux et de leurs capacites a communiquer, a vivre en societe, voire tout simplement a se mouvoir. Qu'en est-il exactement de la difference entre la voix que possedent certains animaux et le langage propre aux etres humains? Comment se peut-il qu'Aristote qualifie certains autres animaux que l'homme de politiques et non seulement de gregaires? Par quels mecanismes psychologiques et physiologiques les animaux se mettent-ils en mouvement? Que cherche a expliquer le pretendu syllogisme pratique? Telles sont les questions abordees dans ces etudes. (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...

Que signifie l’Europe pour les juristes? La première réponse, de caractère descriptif, renvoie aux deux ordres juridiques européens, celui de l’Union Européenne et celui du Conseil de l’Europe. Ces deux ordres juridiques reposent sur des traités et les États qui adhèrent à ces traités sont reconnus comme « européens ». Le concept juridique d’Europe est donc distinct du concept géographique : il intègre des territoires situés en Asie ou outremer. L’Europe juridique ne correspond pas non plus à un peuple européen, (...) mais à une pluralité de peuples reliés à des États-nations dont les institutions démocratiques ont approuvé l’adhésion à l’Europe. La soumission au droit des traités européens est ainsi à la base, conventionnelle, de l’Europe juridique. Cette situation peut être envisagée comme une série de fictions qui ont donné naissance à un réseau, relativement stables, de règles sur la protection des droits de l’homme. C’est ce droit cosmopolite des droits de l’homme qui peut être considéré comme la structure fondamentale du concept juridique d’Europe. (shrink)

Dans les traditions philosophiques occidentales, c'est à la critique développée par la pensée marxiste que l'on doit de pouvoir aborder l'oeuvre de Moses Hess (1812-1875). Pourtant, le "rabbin des communistes", comme on l'a appelé, fut l'un des penseurs du XIXe siècle qui questionna au plus près les conditions de la liberté et de l'égalité sociales, en même temps qu'il ouvrit la voie à l'idée d'un foyer juif en Palestine, où cette liberté et cette égalité se seraient pleinement épanouies. Dans les (...) études juives, la philosophie de Moses Hess est rarement évoquée, si l'on excepte quelques commentaires qui font de lui ce "communiste et sioniste, qui joua un rôle décisif dans le premier mouvement et inventa virtuellement le second". Le livre de Jean-Louis Bertocchi veut porter un éclairage nouveau sur cette oeuvre pionnière et singulière à bien des égards, dont le coeur est bel et bien la discussion serrée, "en accord divergeant", de la pensée de Spinoza, lu attentivement par Marx lui-même, et qui, dans le ciel d'un humanisme juif émancipé et émancipateur, dessine une constellation en perpétuel mouvement, où scintillent tour à tour philosophie, communisme et sionisme."--Page 4 of cover. (shrink)

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)

Jean-Louis Fournel, abordant la période des guerres d’Italie, tente de montrer comment ces nouvelles guerres modifient l’intensité et le rythme de la guerre guerroyée : la conscience d’une violence et d’une rapidité inédites fait planer une menace de mort sur les États eux-mêmes et la question de la guerre est dès lors placée au cœur de la pensée politique. Trois manifestations de ces « nouvelles » guerres marquent particulièrement les contemporains et autorisent l’analyste à évoquer ici une « (...) brutalisation » ou un ensauvagement des conflits, bien avant la Première Guerre mondiale qui a fondé récemment le développement d’une telle problématique : les sacs de ville, la mise en coupe réglée des territoires conquis avec le développement d’une véritable guerre contre les civils et, enfin, l’augmentation exponentielle du nombre de morts durant les batailles (du fait entre autres des modifications dans l’armement et du nombre de soldats constituant les nouvelles armées « nationales »). S’ensuivent des tentatives d’une nouvelle « humanisation », très relative des conflits armés fondée sur un nouvel examen du jus in bello (par opposition à une quasi disparition de la question du jus ad bellum). Il est notable à cet égard que le lexique de la « barbarie » est très peu utilisé chez les chroniqueurs et historiens des guerres d’Italie alors même qu’il a une forte présence chez les historiens et témoins des guerres de Religion en France. On peut se poser la question de savoir s’il ne faudrait pas voir là une certaine « rechristianisation » du discours sur la guerre. De la sorte, cette « rechristianisation » d’une partie de la réflexion sur la violence de guerre, au croisement du déclin de l’idéologie chevaleresque, des réflexions philosophiques, théologiques ou juridiques nées des massacres commis par les conquistadores dans le « nouveau monde » (Cortez avait fait ses premières armes sur les champs de bataille italiens) et des réactions face aux atrocités de la guerre civile, permettrait peut-être tout à la fois d’inscrire la barbarie dans le présent des conflits, de permettre un nouveau discours pacifiste, de confier paradoxalement au souverain comme instance laïque, au-dessus des choix religieux personnels, le rôle d’arbitre et de régulateur des guerres (cf. les politiques), et, enfin, de relancer la question du jus in bello (le jus ad bellum n’étant plus vraiment opératoire, pas plus que le rôle d’arbitre du pape qui s’effondrera bientôt définitivement dans l’Europe née du traité de Westphalie). (shrink)

Thirteen inscriptions are published concerning magistrates or Roman emperors, which were found in the Claros excavations carried out from 1950 to 1961 by Louis and Jeanne Robert and Roland Martin. There are ten inscriptions on monuments put up (or reused) in honour of Romans along the sacred way (one is an unpublished inscription by the Ionian koinon in honour of Pompey, γης και θαλάσσης έπόπτην; the others come from the city of Colophon). A base of Octavian found in the (...) interior of the temple of Apollo suggests that he could have been honoured shortly after Actium, as σύνναος of the god. The two last inscriptions on architrave blocks from the temple of Apollo, show that the northern part of the pronaos was consecrated to Tiberius, and make it possible to restore and date the dedication of the temple by Hadrian (between 135 and 138). (shrink)

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)

Si l’on s’en tient à la grammaire traditionnelle, la question des noms propres est simple : on peut les séparer en noms de personnes et noms de lieux, une catégorie supplémentaire est parfois ajoutée, et ils s’opposent aux noms communs sur un certain nombre de critères (absence de déterminant, présence d’un haut de casse pour l’initiale, etc.). Pourtant, dès que l’on se confronte à des corpus authentiques, cette simplicité vole en éclats : la catégorie des noms propres est bien plus (...) hétérogène qu’on ne le pense et les critères généralement utilisés pour les définir deviennent parfois caducs. Nous tenterons de classer la série de termes qui ont été proposés à l’analyse soit dans la catégorie des noms propres, soit dans celle des noms communs en nous aidant de la notion de normes et du contexte linguistique, car une définition différente de celle des grammaires est nécessaire. (shrink)

Lo studio degli interventi politici repubblicani fiorentini dopo il 1494 (prediche savonaroliane, testi d'intervento, discorsi, dialoghi, cronache e storie) mette in rilievo in quest'articolo la nascita di una nuova lingua della politica, più immediata, più efficace, più precisa, più chiara che intende render conto dei tempi nuovi della guerra permanente e del suo stato d'emergenza. Questa retorica inedita porta quindi in sé nuove forme di razionalità politica che portono con sé buona parte dell'aurora della politica moderna.

Le temps ne peut être disjoint de l’éternité. « Image mobile de l’éternité immobile » selon Platon, dans le Timée, il permet à la réalité sensible d’être stable et de durer, en lui apportant le pouvoir d’imiter l’éternité par son mouvement cyclique. Avec le christianisme, malgré l’abandon de la figure cyclique, ordonné à une signification historique, le temps conserve ce pouvoir organisateur, dans un monde à l’image de Dieu. Mais c’est la déficience du temps, mise en scène dans les mythes (...) de la religion gnostique, dans le contexte anxiogène d’une création ratée, œuvre d’un dieu incompétent, qui met en évidence, quoique sur un mode négatif, l’articulation essentielle du temps et de l’éternité. (shrink)

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)

Le philosophe constitue l’une des figures les plus remarquables de la vie intellectuelle française. De Bergson à Foucault en passant par Sartre, il est l’ambassadeur à l’étranger d’une forme de « francité », paradoxale pour celui qui s’est installé d’emblée dans une perspective universelle. Au cours du xxe siècle, la discipline qui venait couronner l’enseignement secondaire classique a connu à la fois le succès mondial d’un style de pensée et les affres du déclassement institutionnel en France. Ce récit vivant décrit (...) au plus près ce qu’est la philosophie française : une construction conceptuelle, dont toutes les lectures et réceptions sont à prendre en compte, une institution et des pratiques sociales, de la salle de classe à la scène médiatique. Ce livre est aussi un hommage, ironique et quelquefois impertinent, à ceux qui ont fait une bonne part de notre histoire culturelle. (shrink)

À partir du XVIe siècle, le gouvernement «mixte» de Venise devient, pour l'Europe de l'Ancien Régime, un modèle politique. Composant harmonieusement les principes de la démocratie (avec le Grand Conseil), de l'aristocratie (avec le Sénat) et de la monarchie (avec le Doge), garantissant la paix sociale et la stabilité des institutions, prétendant préserver Venise des aléas de l'Histoire, cette forme de gouvernement donne naissance à un véritable mythe. Volet essentiel de la réflexion sur la diversité des traditions républicaines italiennes, l'étude (...) du mythe politique vénitien permet aussi de s'interroger sur les emplois discutables du paradigme républicain dans l'historiographie récente. (shrink)

This paper sketches a history of definition of identity from the Aristotle’s Topics down to the modern set theory. The author tries to explain particularly: first, how the transformation of the concept of predicate at the end of the nineteenth century made it necessary to revise the leibnitian definition of the identity of individuals; secondly, why Dedekind, Peano, Schröder, etc. made, between two possible definitions of identity of predicates or of sets, a choice which later made it necessary to postulate (...) in set theory the axiom of extensionality. (shrink)