Aristotle's endeavor, at least insofar as we can judge from the way it has been transmitted to us and from the titles of the lost works, is often presented as the first work of an encyclopedic nature, as it seems to embrace and order all of the elements of knowledge. Does Aristotle not advance a classification of sciences, in Metaphysics, E, 1, as well as a systematic outline of the “sciences of nature” in his Meteorologica, I, 1? And again, although (...) logic is often presented as not belonging to the system of sciences since it is not counted as a science in Metaphysics, E, 1, is Aristotle not generally considered the inventor of this discipline? The impression is all the stronger in that Andronicus of Rhodes, in the first century b.c., edited Aristotle's works by roughly adopting the threefold division of philosophy into Logic-Physics-Ethics, a division that had become common during the Hellenistic period though more particularly proper to the Stoic system. Since then, all the editions of Aristotle, in every language, have been made to serve the order in which Aristotle's treatises were thus edited. (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)

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)

Les douze etudes ici proposees jalonnent un parcours s'etalant sur une vingtaine d'annees et s'etant ordonne autour d'une question centrale: et si nous n'avions rien entendu de la difference introduite par le logos entre l'homme et l'animal ...

Le présent article vise à montrer qu'on ne peut ranger Aristote parmi les « intellectualistes tempérés » que si l'on privilégie la représentation de l'objet désirable par rapport à la faculté motrice elle-même, qui est bien la faculté désirante et elle seule. Si la phantasia semble être finalement la seule faculté cognitive dont on ne saurait se passer pour se mouvoir et agir, c'est parce qu'elle régit la forme de base du mode de présentation du désirable ou bien pratique, qui (...) est celle de l'apparaître. The present article is arguing that Aristotle can be ranked amongst the « moderate intellectualists » only if we put the stress on the representation of the desirable rather than on the faculty which produces movement, which is really the faculty of desire alone. If the phantasia seems to be ultimately the alone cognitive faculty which is needed for moving and acting, it is because it rules the most basic form of mode of presentation for the desirable or practical good, which is appearing. (shrink)

Cette étude analyse comment la mise en scène d'une méditation sur les ruines des anciens empires conduit Volney à opposer le cycle des révolutions à la Révolution française. Les vertus du décentrement, tout autant méthodologiques que philosophiques et politiques, sont multiples et elles permettent d'instruire le procès des religions. Si la Révolution française est exemplaire, c'est donc parce quelle annonce ce mouvement de prise en main de leur destin par les peuples. Pourquoi faut-il dès lors encore recourir à un catéchisme (...) ?This study examines how the staging of a meditation on the ruins of the ancient empires leads Volney to contrast the seemingly endless cycle of revolutions to the French Revolution. Decentration has virtues — as much methodological as philosophical and political — that are multiple, and that allow to put religions on trial. If the French Revolution is paradigmatic, it is because it announces this movement by which the peoples will take their destiny in their own hands. But then, why should a catechism still be needed? (shrink)

Dans le traité De l’âme, II, 8, 450 b 5-9, Aristote pose que la voix (phônê) possède apotasis, melos et dialektos. L’analyse des significations possibles de ces trois termes dans le vocabulaire musical conduit à soutenir qu’il y a progression de l’un à l’autre et qu’ils forment système. Apotasis désigne la tessiture ou registre, melos la séquence mélodique et articulée et dialektos la manière propre d’articuler, l’accent ou prononciation, ce qu’en éthologie on appelle le “ dialecte ”. La dialektos des (...) oiseaux chanteurs permet de confirmer cette analyse. (shrink)

Aristote soutenant que les plaisirs corporels se sont accaparés le nom de plaisir, il sous-entend clairement par là que ce ne sont pas les seuls. On aurait tort, cependant, malgré la tradition médiévale, de ne voir dans les plaisirs non-corporels que les plaisirs dus à la « vie contemplative » menée par le sage d’Aristote. Il existe des « plaisirs intellectuels » et ils ne sont pas nécessairement « spirituels ». C’est par exemple le cas du géomètre exerçant la géométrie (...) et c’est à l’analyse de ces plaisirs qu’est consacrée cette étude. (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)

L'un a les flancs bleutes, l'autre la poitrine gluante; une nageoire pousse ici sur un dos, surgit la une queue; tantot la tete manque, tantot le reste; la main de celui-ci ondule, et celui-la reclame en hurlant ses pieds qui s'evanouissent. Introduisant a la polymorphie de l'animal, le frontispice, ainsi commente par Philostrate, est deploye a travers ce receuil qui explore la difference entre homme, animal et plante. De la medecine a la religion, en passant par les modeles et contre-modeles (...) politiques, les metaphores et les fables, l'imagerie et la logique, textes et images y sont analyses. Car l'animal (dit-on meme animal en grec?) est l'un des lieux de polemique majeurs pour determiner les ruptures au sein de l'Antiquite greco-latine et mieux fixer les coupures entre Antiquite et Modernite. (shrink)

Le terme de République est un mot dont l’évidence et la présence dans notre culture politique contemporaine n’ont d’égales que ses indéterminations de longue durée. La première de ces indéterminations tient d’ailleurs à l’origine de « république » dans le syntagme latin res publica avec le sens immédiatement complexe et polysémique d’une notion que l’on retrouve abondamment utilisée sous la République romaine proprement dite mais aussi sous l’Empire. Questionner la res publica, c’est donc évidemment questionner un pan crucial de l’histoire (...) politique romaine mais c’est aussi intervenir dans l’histoire politique tout court et dans la réflexion méthodologique sur la langue de cette politique. Pas de modélisation stabilisée donc et pas plus de recherche de « l’essence de la chose », pas non plus de prétention à une définition de l’objet d’étude puisqu’une suite d’effacements et de réapparitions des noyaux de sens est le propre de la res publica. L’enquête dynamique porte sur une question qui devient, selon un syntagme présent, de façon significative, dans la dernière page de l’ouvrage de Claudia Moatti, « référence mobilisatrice », politique donc. En effet, dans ce parcours, l’acceptation de l’incertitude et de l’indétermination devient en quelque sorte le prix à payer pour retrouver la vie des mots et leur charge historique, en tant qu’ils se lient à l’action des hommes, à leur engagement dans le monde, sans s’appuyer sur les certitudes sémantiques ni sur un programme à mettre en œuvre mais en partant de questions ouvertes justement parce qu’aucune des réponses proposées ne s’est avérée satisfaisante. La comparaison avec un autre moment de crise politique et sémantique, le moment machiavélien, permettra en conclusion d’illustrer la fécondité de la perspective adoptée. (shrink)

Cet ouvrage vise à montrer l’importance « philosophique et scientifique » de traités biologiques d’Aristote qui, formant plus du tiers du corpus, pourraient faire de leur auteur le père de la sociobiologie et suggérer des réponses aux interrogations actuelles sur la distinction entre l’homme et l’animal (p. 13-14). Que la démarcation entre les deux soit moins tranchée qu’on ne l’a parfois admis, telle semble être la thèse rectrice de cette étude, une idée que l’A. cherche à établir par le bia...

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)

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

La société contemporaine est constamment confrontée aux problèmes religieux. Cependant, la tradition républicaine française abandonne la religion à la sphère privée, comme si elle n'avait pas, par essence, une existence dans la Cité. Il ne s'agit pas pour autant de réduire la religion à sa dimension politique, voire au militantisme fanatique. La critique des réductions illégitimes de la religion est donc la première tâche. Il est aussi impossible de privatiser la religion que de la politiser. La réduire au lien social (...) n'est pas plus satisfaisant, même si c'est une tentation des sociologues. La religion ne se réduit pas davantage à la religiosité du sublime ou de l'idéal démocratique. Contre la notion scabreuse de " religions sans Dieu ", il vaut mieux admettre qu'il existe du religieux diffus sans religion, et garder le terme pour désigner une relation à la transcendance divine (une ou multiple) à la fois et indissolublement singulière et collective. Ainsi, il n'y a pas de religion sans prière individuelle, contrairement à ce que Kant souhaitait. Mais cette prière n'a aucun sens si elle ne s'adosse pas à un message intersubjectif, celui d'une communauté inspirée qui s'inscrit dans la Cité par sa dimension sociale et son histoire. La dimension personnelle de la religion (foi et méditation) s'appuie donc sur le symbolique, le témoignage et la communauté. Pour le philosophe d'aujourd'hui, les religions se présentent comme l'attestation multiple de la présence d'une transcendance divine et d'une vie spirituelle dans la société et dans l'histoire. Mettre la religion entre parenthèses, c'est s'exposer à ne rien comprendre de l'histoire du monde. (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)

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)

Aristotle’s Prior Analytics identifies deductions simpliciter with inferential necessity, so that a deduced conclusion is necessarily inferred from some premises. Modern logical reconstructions claim that inferential necessity in Aristotle corresponds to logical validity. However, this logical reconstruction fails on two accounts. First, logical validity does not highlight Aristotle’s distinction between inferential necessity and predicative necessity, meaning that the inferential necessity of a deduction is not of the same kind as the predicative necessity of a non‑deductive argument. Second, logical validity does (...) not explain the relevance of Aristotle’s distinction between complete and incomplete deductions. Logicians speak of complete deduction by adding the term “obvious” or “transparent” to logical validity, and then criticize Aristotle’s view for being unclear. However, Aristotle’s position is not confronted with this difficulty. There is nothing to add to inferential necessity, which already means complete deducibility, as opposed to incomplete deducibility, deemed to be potentially complete. Accordingly, the Prior Analytics reduces the incomplete deductions to the complete deductions in order to prove the potential, inferential necessity of the incomplete deductions. Logical validity would have been faithful to Aristotle’s text, if it had been possible to coin a notion of potential validity, distinct from both validity and invalidity. (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)

On a voulu montrer dans ce livre que, reflete a travers les miroirs differents que sont les genies philosophiques et politiques de l'epoque, l'idealisme allemand forme une incontestable unite de langage philosophique. A l'interieur de cette grande unite, ou la philosophie ne cesse de se confronter aux plus hauts problemes de l'homme, le clivage entre un idealisme transcendantal et l'idealisme speculatif apparait comme une faille profonde, en ce que la description de la finitude humaine, et par consequent la comprehension des (...) limites de l'homme, est l'objet du premier alors que le rapport d'expression du fini a l'infini est au coeur du second. L'attitude idealiste symbolisee par Hegel a eu de nombreuses consequences. Mais les critiques qui ont ete faites aux successeurs de Hegel ne doivent pas nous faire oublier la presence de l'idealisme allemand. C'est cette presence philosophique que ce livre espere restituer. (shrink)

L’une des conséquences indirectes de la rupture de l’unité confessionnelle aux temps modernes, fut une exploration accélérée du passé chrétien. Pour cela, une masse régulièrement accrue de documents venait nourrir deux représentations antagonistes de l’histoire de l’Eglise, lesquelles étaient défendues par des travaux d’érudition au service de deux conceptions de l’histoire, qui étaient aussi bien deux théologies de l’Eglise. Cependant, l’exigence de proximité des sources devait induire un mode particulier d’écriture de l’histoire qui transcenderait les frontières confessionnelles, tout en maintenant (...) des positions différentes. La prise en compte des documents allait notamment renforcer une certaine critique, pour laquelle surgissent notamment les noms de Mabillon et de Le Nain de Tillemont, même si les positions continueraient de se différencier tout au long du XVIIe siècle.One of the indirect consequences of the break up of confessional unity in modern times was an accelerated exploration of the Christian past. In the process, a constantly increasing mass of documents came to fuel two opposing representations of the history of the Church. These representations were supported by works of erudition in keeping with two different conceptions of history, which were also two theologies of the Church. The use of new sources became required, however, and led it to a particular way of writing history that would transcend confessional boundaries, while maintaining different positions. Taking these documents into account strengthened a critical current that gave rise to Mabillon and Le Nain de Tillemont, even though the positions continued to differ throughout 17th century. (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)