La rencontre du beau nous laisse-t-elle indemnes? Sa joie neuve peut-elle s'ouvrir sans briser d'abord en nous ce qui était trop vieux pour elle, de cette blessure que seul sait donner l'invulnérable? Son excès sur tous nos possibles apporte dans la proximité même l'offrande du lointain. Ce qui nous saisit reste insaisissable et, comme autrui, l'est d'autant plus qu'il s'approche. Ainsi Platon fait de l'effroi le premier présent de la beauté, et pour Dostoïevski et Rilke elle n'est que le commencement (...) du terrible. Cette joie douloureuse, démesurée comme tout amour, est la dimension oubliée par l'esthétique, qui la relègue dans le sublime, distingué du beau. Il faut surmonter l'esthétique pour penser la beauté, si elle est le visage même de l'Etre. Les questions qu'elle fait surgir ne sont pas régionales, elles mettent en cause l'être entier de l'homme et les voies selon lesquelles il peut se perdre ou se trouver. La beauté nous éprouve, et cette épreuve décide de tout. Tel est le sens du mythe du Phèdre de Platon, dont Heidegger médita ce qu'il nous donne toujours à penser. La beauté qui se suffit pourtant nous appelle, et nous impose, sans esquive possible, la charge de lui répondre et de lui correspondre. Cette réponse ne saurait résider dans le jugement esthétique, elle peut seulement être l'acte de louer. Elle ne répond à la beauté qu'en la communiquant, et de la blessure qu'elle reçut ne veut pas guérir, mais accroître le chœur de ceux qui souffrent d'elle. L'insupportable du beau ne peut être porté que par le chant, un chant qui devienne existence. (shrink)

In this article first appeared in 1997, Jean-Louis Chrétien examines the meaning of prayer in Kierkegaard’s writings and existence. By focusing on the difficulties of this task and with meticulous attention to the vast work of the Danish philosopher, Chrétien describes prayer as a tense and agonistic experience, akin to the evangelical struggle between Jacob and the angel. Just like in his well-known phenomenological analysis, “The Wounded Word: Phenomenology of Prayer”, the author identifies in prayer a paradoxical articulation (...) of struggle and peace, gift and endeavour, speaking and listening, through which the human being is profoundly transformed and finally learns to truly say “thank you”. (shrink)

Contrairement à l’apparence, Plotin est un philosophe du mouvement et de la genèse. Tout être, même éternel, est pensé à partir des actes qui l’engendrent. Même ce qui n’a pas de genèse est décrit génétiquement. L’article étudie quelques unes des figures de ce mouvement (la course, la danse, la trace), et leurs prolongements au-delà de Plotin. Il établit que cette mobilité donne à Plotin son style unique, qui anticipe à certains égards celui de l’idéalisme allemand. Loin d’être une caractéristique générale (...) du néoplatonisme ancien, cette écriture du mouvement forme une singularité significative de Plotin. (shrink)

Tenir la Bible pour inspirée, c’est croire qu’elle est à la fois divine et humaine, tout entière humaine et tout entière divine. Et que cette Ecriture soit inspirée signifie la coexistence en elle du vivant et du mort, du présent et du passé, de l’un et du multiple. L’affirmation de l’inspiration des Ecritures n’est donc pas seulement descriptive de leur nature et de leur objet, ni normative quant à la nature et à l’objet de la foi ; elle est aussi (...) prescriptive quant à la manière ou aux manières dont nous pouvons les lire et user d’elles. L’unique propos de ces pages est de tenter de répondre, au moins dans certains traits essentiels, à cette question : qu’est-ce que lire les Ecritures bibliques comme inspirées ? qu’est-il possible de dégager dans l’acte de lire mis en jeu qui lui serait propre et le caractériserait comme tel ? S’il ne s’agit en aucune façon d’esquisser une typologie des interprétations de la Bible ni de rappeler les étapes de l’histoire de l’exégèse, il s’agit de s’en tenir à ce qu’appelle du lecteur la présence d’un livre – d’un ensemble de livres – de divine provenanceTo accept the Bible as inspired is to believe that it is both divine and human, totally human and totally divine. That this Writing is inspired signifies coexistence within it of the living and dead, the present and past, and the one and the many. Affirmation of the Scripture¹s inspiration is, then, not only descriptive of its nature and object, nor merely normative as regards the nature and object of faith. It is also prescriptive as to the way or ways in which we can read them and use them. The unique aim of these pages is to attempt to answer, at least in certain essential features, this question: What does it mean to read these biblical Writings as inspired? Is it possible to separate in the act of reading a practice that is proper to it and to characterize it as such? This article is in no way about outlining a typology of interpretations of the Bible, nor a summary of the stages of the history of exegesis; it is only concerned with that which the presence of a book of divine origin –a group of books– demand of the reader. (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)

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)

"Ce travail collectif entend mettre en lumière le cours sur la liberté donné entre 1936 et 1939 à la faculté de Philosophie de l'Institut catholique de Paris par le professeur Jacques Maritain. Le projet maritainien s'inscrit dans une refondation de la notion de liberté. Maritain a notamment pris contact avec les États-Unis où le président Roosevelt accentue la référence religieuse dans une Amérique qui donne à la laïcité un contenu bien différent de celui de la IIIe République finissante. Cette liberté (...) ne va pas sans la vérité. L'ouvrage explore cette relation ad extra plus qu'à l'intérieur du catholicisme lui-même. Liberté et vérité ad intra, au sein du monde catholique, sont des notions plus sujettes à débat aujourd'hui qu'à l'époque que ce livre explore. La manière d'être chrétien mérite sûrement attention et réflexion dans l'église romaine du XXIe siècle, et au-delà de cette institution, en Occident tout spécialement."--Page 4 of cover. (shrink)

A leading philosopher and theologian, Jean-Louis Chrétien uses poetry and painting to explore a theme that runs through all of his work: how human life is shaped by the experience of call and response. For Chrétien, we live by responding to the call of experience with words, gestures, expressions, and silence. In luminous meditations on Rembrandt, Delacroix, Manet, Verlaine, Keats, and other artists, Chrétien shows how “talking hands of painters” and the “secretly lucid” voices of poets confront the (...) finitude of the human body. Hand to Hand is a deeply cultured renewal of art in all its provocative, transforming, spiritual presence. (shrink)

Malebranche ne dissocie jamais la théorie et la pratique. Son Traité de morale est une œuvre métaphysique. Ceci a sa raison dans les rapports entre la foi et la raison qui sont complémentaires. Le rapport de l'âme et de l'amour, conformément à une tradition platonicienne, est un lieu où l'on peut vérifier cette connexion. L'analyse de l'âme met en évidence la modernité de Malebranche dans sa conception de la conscience ou sentiment intérieur, où se révèle l'irréductibilité du sensible. L'amour est (...) au sommet de l'âme, en ce qu'il coïncide avec la volonté du bonheur. En ce sens la théorie païenne est juste: une volonté aveugle et un amour d'instinct s'équivalent. Mais la liberté est le don du Dieu chrétien à l'homme. Avec la liberté seulement, un amour-propre déréglé est possible et pécheur. Inversement, le véritable amour, celui où l'âme se reconnaît elle-même, c'est la charité, qui est une sainte concupiscence; celle-ci est capable de nous inspirer le désir du vrai. L'amour de la vérité qui illumine l'âme est le sentiment qui reconnaît Dieu comme la souveraine Raison. (shrink)

Louis Painchaud | : Pendant près de deux millénaires, « faux-Judéens » et « synagogue de Satan » de Smyrne et de Philadelphie ont été considérés comme des « Juifs », membres des « synagogues » de ces villes, hostiles aux « chrétiens » qu’ils auraient même dénoncés auprès des autorités. Dans la deuxième moitié du xxe siècle, dans un contexte qui a suscité tout un courant de réflexion critique sur l’antisémitisme chrétien, plusieurs ont proposé de voir dans ces (...) « Juifs » des factions hostiles à Jean au sein des assemblées auxquelles il s’adresse. L’hypothèse qui est proposée ici est de voir, dans ces Judéens accusés de blasphème et taxés d’être de faux Judéens ou des Judéens menteurs, des membres de l’ethnos Judéens souillés, aux yeux de Jean, un prophète judéen sectaire, par leur intégration dans le tissu associatif de la cité. Quant à la « congrégation de Satan » qu’ils formeraient, elle ne doit pas être entendue comme la désignation d’une communauté judéenne ayant une existence réelle dans la cité, mais comme une pure construction de Jean, prophète de Jésus le Vivant qui ne se savait pas encore chrétien, visant à démoniser non pas tous les Judéens de ces deux cités, mais certains Judéens infidèles aux commandements et, donc, à leur identité judéenne. | : For nearly two thousand years, the Smyrneans and Philadelphians that the book of Revelation describes as “false Judeans” and as making up a “synagogue of Satan” have been taken to be “Jews,” members of the “synagogues” located in those cities, who were hostile to local “Christians,” to the point of denouncing them to the authorities. In the second half of the twentieth century, in a context in which Christian anti-Semitism was increasingly recognized and critiqued, many argued that these “Jews” were in fact members of the communities addressed by John, belonging to factions hostile to his message. In this paper, I will argue that the people whom John accuses of being blaspheming and false Judeans were members of the Judean ethnos who were seen by John — himself a Judean sectarian — as having become defiled through their integration into the social and professional fabric of the city. From this point of view, the “synagogue of Satan” is not to be seen as a real Judean community, but rather as the pure creation of John, a prophet of Jesus the Living One who did not know that later generations would consider him a “Christian.” Thus John does not intend to demonize all the Judeans in these two cities ; rather, his invective is directed at some Judeans, whom he sees as betraying the commandments and, hence, their own Jewish identity. (shrink)

Historien de la philosophie, Jean-Luc Marion est l'un des philosophes français contemporains les plus discutés, les plus commentés et les plus traduits aujourd'hui. La rigueur d'une oeuvre aussi riche que dense rend ainsi très précieuse cette conversation. Le philosophe y revient sur quelques grandes figures qui ont marqué sa vie (Ferdinand Alquié, Louis Bouyer, Emmanuel Levinas qu'il a remplacé à la Sorbonne, Jean-Marie Lustiger dont il a pris la place à l'Académie française...). Il évoque également les grandes (...) étapes de son travail, et rend compte de la dynamique d'une quête philosophique jamais éteinte. Philosophe-phare du catholicisme français, il offre enfin un éclairage neuf et très original sur l'état de l'Eglise et le dialogue judéo-chrétien. (shrink)

Il y a bien eu, dans le refus d'un culte des images en Europe latine, la construction d'un dogme des images portant prescription de leur usage conforme à leur pouvoir d'évocation du passé (un art de mémoire), aux manipulations de figures dans la machinerie des rêves. La théologie et les philosophies en ont fait l'instrument approché de toute connaissance conçue comme la lecture d'un tableau, possible parce que nous en participons par notre nature. Que signifient les formules de la création (...) : l'homme a été fait comme une image? l'homme a été créé selon le mode des images? Dieu a créé l'homme à son image, ou encore, il l'a fabriqué par une image? (shrink)

Et si certaines entités vivantes n'étaient pas matérielles? Potentiellement éternelles, en lutte pour la survie, elles évoluent. Elles constituent ce qui unit les êtres à travers le temps. Elles sont le fil de la vie. Ces entités vivantes immatérielles sont des informations. Elles existent à travers nous, dans nos gènes, dans notre culture, dans nos écosystèmes. La vie produit l'information, lit l'information et se définit par l'information qu'elle porte. Ce livre nous aide à comprendre le monde vivant d'une manière toute (...) nouvelle! Il est le résultat de discussions passionnées entre trois chercheurs qui, chacun à sa manière, étaient parvenus au même questionnement à propos de la nature. Ils nous proposent une nouvelle description du vivant, où la lutte pour l'existence n'est pas celle des êtres, mais des messages qui passent à travers eux et dont ils sont les hôtes éphémères. (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...

Deep learning and other similar machine learning techniques have a huge advantage over other AI methods: they do function when applied to real-world data, ideally from scratch, without human intervention. However, they have several shortcomings that mere quantitative progress is unlikely to overcome. The paper analyses these shortcomings as resulting from the type of compression achieved by these techniques, which is limited to statistical compression. Two directions for qualitative improvement, inspired by comparison with cognitive processes, are proposed here, in the (...) form of two mechanisms: complexity drop and contrast. These mechanisms are supposed to operate dynamically and not through pre-processing as in neural networks. Their introduction may bring the functioning of AI away from mere reflex and closer to reflection. (shrink)

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)

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.

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

ABSTRACTThis article interrogates Jean-Louis Chrétien’s phenomenological appreciation of prayer as a call to the transcendent other, by juxtaposing it with the style and content of Augustine’s Confessions. In the Confessions, prayer is less the contradiction of presence than it is the paradox of simultaneous presence-and-absence, God being both the most intimate and the most remote at the same time. It is concluded that Chrétien’s phenomenology fails to understand prayer as the reciprocity it claims to articulate because, despite affirming (...) both the presence and the absence of God to the one praying, phenomenology cannot hold both these propositions in tension but must continually resolve them into a contradiction in which the subject ‘discovers’ God only by falling back on the self. The question is one of style and genre: Augustine’s speech addresses someone whereas Chrétien’s does not. In as much as he follows the phenomenological style established by Husserl, Chrétien cannot value any spe... (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)

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)