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)

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

Philosophical hermeneutics developed by the German philosopher Hans-Georg Gadamer and founded on interpretation as explicit form of comprehension generated a debate on contemporary hermeneutics about texts written at different periods of time from those in which they must then be applied. This debate is necessarily very instructive for the jurist when he interprets texts and creates positive law to produce a determined effect on recipients. Comprehension as participation in truth involves questioning and an interpretation devoid of prejudices. Illustration of hermeneutics (...) in law demonstrates that interpretation related to comprehension is strictly bound to the question of application bearing in mind that application does not only consist in concretizing comprehension, it constitutes his nucleus. It follows that hermeneutics oscillates between a theoretical and practical meaning. Regarding the concept of a presumption it is perceived as an instrumental necessity and a necessary corollary of interpretation in that it anticipates on the meaning found on the possibility. It is specified in a context of legal hermeneutics that it is necessary to distinguish the interpretation of the observer from the one of the player such the judge put in the performative position. (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)

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)

La dualité.objectif-subjectif constitue pour le dualisme une structure a priori par essence : ceci se vérifie aussi bien avec le couple contemporain de l'en-soi et du pour-soi qu'avec, sur une autre base, le couple cartésien de la chose étendue et de la chose pensante. Dans le champ théorique actuel règne, de facto, un double monisme juxtaposé qui se partage entre le réductionnisme phénoménologique et celui du néomatérialisme, aussi systématiques l'un que l'autre. Aussi la difficulté générale inhérente au dualisme, loin de (...) disparaître avec cette scission, a-t-elle pris une forme nouvelle. Au lieu de se réduire à une expérience subjective pure (comme dans la phénoménologie) ou à la seule expérience objective (dont se réclame l'explication néomatérialiste), l'auteur du présent essai explore une voie nouvelle pour interpréter la dualité du côté de l'ontologie, grâce à une division préalable et proprement ontologique. La détermination du fondement de cette dualité ne doit plus relever de l'expérience (toujours particulière), mais d'une déduction plus générale."--Page 4 of cover. (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?

En l'occurrence, au XXe siècle, le cinéma, alors que le XIXe était appareillé par la photographie. Dans une radicale philosophie de la temporalité comme la sienne, les appareils font chacun leur tour époque sans pourtant s'éliminer.

Predicates involved in language and reasoning are claimed to radically differ from categories applied to objects. Human predicates are the cognitive result of a contrast between perceived objects. Object recognition alone cannot generate such operations as modification and explicit negation. The mechanism studied by Hurford constitutes at best an evolutionary prerequisite of human predication ability.

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)

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)

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)

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)