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)

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)

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)

Le problème de la vérité a toujours préoccupé l'esprit humain; il hante pour ainsi dire l'homme d'aujourd'hui. Dans les brèves réflexions qui vont suivre, nous nous proposons de présenter une approximation tres limitée de ce problème tel qu'il se pose à la philosophic traditionnelle, à savoir: Le caractère historique et relatifde la connaissance humaine est-il conciliable avec I'affirmation de vérites immuables?

La formule selon laquelle « l’homme est un animal politique par nature » est une des plus connues d’Aristote, pour cela même méconnue. L’objet de cette étude est de montrer qu’il n’y a pas lieu d’interpréter cela d’une façon trop naturaliste, ou, pire, « réductionniste ». Que la nature soit à l’origine de l’élan ayant présidé à l’apparition de la polis est certain, mais qu’elle gouverne tout le processus l’est nettement moins. À commencer par les critères de la distinction entre (...) les différentes constitutions, faites par les citoyens eux-mêmes. De même en va-t-il pour l’acquisition de la vertu morale, qui n’est nullement donnée par la nature et que les citoyens se devraient de posséder. D’où il résulte qu’en matière de politique, il est bien plus question d’éducation que de nature. (shrink)

Ce texte a déjà paru dans la revue EspacesTemps le 30/05/2019. Résumé : À bien des égards, les politiques mais aussi les pratiques de la ville connaissent aujourd'hui ce que l'on pourrait appeler un « tournant esthétique ». La plupart du temps, ce tournant fait l'objet d'analyses centrées sur l'une ou l'autre de ses composantes, comme par exemple la montée des référentiels de la ville créative ou de l'attractivité, mais sans que ne soit pleinement réfléchie leur portée esthétique, au sens (...) plein du terme, - Urbanisme – Nouvel article. (shrink)

L’apologétique a pris un nouveau visage aujourd’hui. Jadis, au temps des Pères, elle vivait en tension entre le désir d’être communicable et en même temps pointe acérée de la nouveauté chrétienne. Cette tension se met ensuite au service de l’approfondissement et de la réassurance, ce qu’il convient de nommer conversion, c’est-à-dire une religion plus fervente. Une deuxième tension de l’apologétique la situe entre la fermeté de la révélation et l’humilité de son témoin. La troisième tension s’exerce entre continuité et rupture (...) de la foi avec la mondanité. Plus tard, la dénonciation pascalienne de l’indifférence des hommes à rechercher la vérité affronte l’incroyance et elle a connu une riche postérité. Issue d’une conception dramatique de l’existence, elle l’ouvre à l’espérance chrétienne. La parole du salut a toujours à dégager l’espace dans lequel elle pourra retentir. (shrink)

Trade in high-value-added toxins for therapeutic and biological use is expanding. These toxins are generally derived from microalgae belonging to the dinoflagellate family. Due to the difficulties to grow these sensitive planktonic species and to the complexity of methods used to synthesize these molecules, which are generally complex chemical structures, biotoxin manufacturers called on artificial intelligence technologies. Manufacturing processes have been greatly improved through the development of specific learning neural networks, applied to each phases of biotoxin production: photo-bioreactors operating at (...) optimal yied; new chemical synthesis research processes; toxin biosynthetic research pathways offering short-cut possibilities. (shrink)

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, (...) A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (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)

Contrairement à une idée reçue, les religions fabriquent de nombreuses différences : c’est une façon de donner sens au monde. La difficulté vient de ce qu’elles ne coïncident pas avec les différenciations et les séparations modernes. Du coup, les différences religieuses du passé peuvent s’effacer, mais aussi s’exacerber dans des formes identitaires. Mais elles peuvent aussi rappeler à la modernité que le franchissement de certaines limites en certains domaines l’expose au risque de « déraillements » .Contrary to a received idea, (...) religions create a great many differences in their attempts to give meaning to the world. The difficulty arises from the fact that these differences do not coincide with the differentiations and separations of modern times. As a result, the religious differences of the past can fade away, but they can also become exacerbated through forms of identity-building. Nevertheless, they can also be a reminder to modern times that crossing over certain boundaries in certain areas can create risks of “derailment”. (shrink)

Quel est le fondement du lien social? La réponse à cette question doit être cherchée au coeur du domaine de l'éthique, dans ce que nous appelons la responsabilité.¦Aboutissement d'un processus d'apprentissage auquel participent les nombreuses institutions qui, comme la famille, assurent la socialisation, la responsabilité constitute la spécificité de l'activité et des relations humaines et sociales.¦C'es elle qui permet de comprendre que nous sommes fiers de nos réussites... honteux ou désespérés de nos échecs. C'es elle qui justifie les scrupules que (...) nous pouvons avoir à l'égard d'autrui, l'indignation que nous éprouvons face à la souffrance ou encore l'attachement qui nous lie à nos proches... Mais c'est aussi à elle qu'en appellera la justice pour évaluer et sanctionner nos fautes...¦Prenant d'abord ses distances par rapport aux grandes approches sociologiques de l'activité morale, l'auteur montre ensuite comment s'opère l'apprentissage social de la responsabilité et comment naissent les grandes valeurs (équité, respect, sincérité, autonomie,...) qui structurent les engagements et les débats éthiques. Il évoque enfin les risques qui menacent aujourd'hui la responsabilité.¦Au travers de ce livre, J.L. Genard tente de relaver le défi épistémologique auquel l'actuel retour de la réflexion éthique confronte la pensée sociologique. (shrink)

Résumé Nous verrons que le désintérêt à peine voilé de Michael Sheringham, comme de Philippe Lejeune avant lui, à l’ égard des Mémoires d’ une jeune fille rangée tient à leur valorisation excessive du pacte autobiographique. Or, tout en s’ inscrivant dans la nébuleuse des autobiographies existentialistes, le récit de Simone de Beauvoir s’ en démarque, en particulier par le rôle qu’ y joue le genre des Mémoires en creux, ou plus précisément à l’ horizon du texte de 1958. Il (...) s’ agira de montrer que le premier volume du cycle beauvoirien occupe au sein des récits de soi existentialistes une place beaucoup plus centrale que ne l’ envisageait Sheringham dans French Autobiography. (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.

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)

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)

On ne compte plus les articles, les revues, les livres, les colloques, les émissions de radio et de télévision qui traitent des questions éthiques. Cet engouement a profité naturellement à la théologie morale. On pourrait même dire qu'elle est la seule discipline théologique à avoir acquis un droit de parole dans la cité séculière. Pour les meilleures raisons, et aussi les moins bonnes, l'attention des chrétiens, des spécialistes et de ceux qui cherchent simplement un sens à leur vie, ne retient (...) qu'elle dans le message délivré par l'Eglise. Etonnant retournement! La conscience contemporaine s'inquiète, en effet, des développements technologiques qui précèdent toute recherche de sens et récusent toute limitation. Le progrès tient lieu de règle. Pour la première fois depuis longtemps, cette même conscience admet que les problèmes posés à nos sociétés, analysés jusque-là en termes strictement techniques, sont en réalité des défis moraux. En réponse, il convient de repenser la morale chrétienne comme une éthique de construction de soi, comme un style de vie. La tâche est immense. La première étape nous impose de visiter notre mémoire. Ce dictionnaire n'a d'autre ambition que de fournir les repères facilitant cet inventaire. Il pare au plus pressé : les interrogations actuelles portent davantage sur les fondements de la morale catholique et sur ses applications personnelles. Ce livre limite donc son propos à la morale fondamentale, personnelle et familiale. Edité pour la première fois en 1991, ce dictionnaire s'est rapidement épuisé. Des mots nouveaux font leur apparition dans cette seconde édition, tandis que d'autres ont vu leur présentation renouvelée. Une nouvelle introduction met en perspective ce travail vis-à-vis du Catéchisme de l'Eglise catholique et de Veritatis Splendor. (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)