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)

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)

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)

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.

The immemorial and recollection -- The reserve of forgetting -- The unforgettable -- The sudden and the unhoped for -- Retrospection.

Georges Kalinowski, né en 1916 à Lublin, est dédédé le 21 octobre 2000 à Dijon, où, depuis la mort de son épouse, il s'était retiré auprès de sa fille, son gendre et ses petits-enfants.

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)

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)

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

Dans maintes exégèses récentes des textes de Michel Foucault, sont sans doute négligés la place et les effets théoriques d’une étape particulière de sa pensée, celle qui croise ce que l’on peut appeler « les années 68 ». Le présent article tente d’aborder cette question en s’appuyant sur une attention à la chronologie précise et systématique des écrits et des différentes formes d’interventions de Foucault durant cette période (et durant les années qui suivent dès lors que les passages évoqués peuvent (...) être analysés, tout ou partie, comme des « effets » de ces années-là). Au contraire, la philosophie définie à ce moment-là par Foucault comme une « espèce de journalisme radical » permet de refuser l’attitude des intellectuels–prophètes dans la mesure même où il n’existe pas de philosophie conservatrice ou de philosophie révolutionnaire mais des outils que la philosophie fournit et dont chacun fait l’usage qui lui semble bon. Au fil des années, un réseau de plus en plus dense se mit en place pour penser l’inscription du travail de la pensée dans le présent. Cette tâche peut même remettre en cause l’écriture ou la réorienter radicalement : on en trouve une illustration lors de la constitution du GIP (Groupe information sur les prisons), en 1971. (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)

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)

L'emploi du raisonnement par l'absurde a été source de contestations au cours de l'histoire des sciences. L'auteur en propose une définition, puis montre comment un tel raisonnement indirect peut se retourner en un raisonnement direct qui lui soit logiquement équivalent, ce dont Aristote avait pressenti la possibilité...

Cet article étudie l’apparente convergence qui s’opère, depuis quelques années, entre l’ approche en termes de Systèmes Nationaux d’Innovation et la théorie évolutionniste du changement technologique. Ce processus s’appuie sur une conception spécifique du processus d’innovation lui-même. Dans ce contexte, l’innovation est un processus cognitif, qui s’exprime à plusieurs niveaux – local, national, sectoriel et international – et dans de nombreuses dimensions – technologique, organisationnelle et institutionnelle. Cette approche attribue un rôle central aux acteurs publics et aux institutions mais révèle, (...) dans le même temps, les difficultés intrinsèques à toute tentative de synthèse entre des théories souvent hétérogènes.This paper examines the apparent convergence between the National Systems of Innovation approach and evolutionary theories of technological change. This convergence is organized around a complex and specific conception of the innovation process itself In this context, innovation is a cognitive, a multilevel – i.e. local, national, sectorial and international –, a historical and multidimensional – i.e. technological, organizational and institutional – process. This conception gives a central place to public actors and institutions but shows the strong difficulty inherent to the elaboration of a coherent evolutionary theory of economic change. In effect, it seems difficult to articulates heterogeneous concepts within a global framework. (shrink)

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)

Issu de la thèse de l'auteur soutenue en 1987, cet ouvrage a pour visée de redéfinir l'anthropologie, en dissipant le malentendu instauré par le modèle galiléen de scientificité appliqué aux sciences sociales afin d'opérer un retour à la fondation historique de la discipline dans l'epistêmê politikê des anciens Grecs. Trois voies d'accès sont parcourues : G. Dumézil, M. Heidegger et G. Guillaume. ©Electre 2018.

Cinema against Spectacle -- Introduction -- Cinema against Spectacle -- I. Opening the Window? -- II. Inventing the Cinema? -- III. Filming the Disaster? -- IV. Cutting the Figure? -- V. Changing the Spectator? -- Technique and Ideology: Camera, Perspective, Depth of Field -- Introduction -- I. On a Dual Origin -- The ideological place of the "base apparatus" -- Birth = deferral: The invention of the cinema -- II. Depth of Field: The Double Scene -- Bazin's "surplus realism" -- (...) The work of "transparency" -- For a materialist history of the cinema -- "For the first time ..." -- III."Primitive" Depth of Field -- IV. Effacement of Depth/Advent of Speech -- V. Which Speech? (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)

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)

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)