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)

Comment et pourquoi affirmer que l'humanisme d'un penseur catholique du XVIIe siècle peut nous guider dans la compréhension de phénomènes culturels contemporains, c'est in fine la question qui commande cette étude rigoureuse et audacieuse. Faire dialoguer de façon féconde le projet de Blaise Pascal et la pop culture, appréhendée à partir des tribus musicales punk, rock, skinhead, gothique, hip-hop et électro, c'est l'objectif du travail de Jean-Louis Bischoff.

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

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?

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)

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 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)

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

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)

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)

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)

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

S'approprier un lieu pour l'habiter est un acte fondamental de l'homme. Mais ce que nous sommes, il nous faut aussi apprendre à le faire nôtre, en découvrant, exerçant et habitant nos possibilités. Cet espace intérieur est-il essentiellement celui de ma solitude, où nul autre ne peut pénétrer, ou peut-il être celui d'une hospitalité, un vide central où Dieu vient demeurer? Dans la continuité d'une tradition qui remonte à la Bible, nos diverses demeures (chambre, appartement, maison, temple, château...) ont permis de (...) figurer et de décrire l'intériorité humaine. Il s'agit de schèmes variés, tantôt pour explorer, tantôt pour construire notre personnalité, et par là pour penser le jeu de nos forces et de nos désirs, le déploiement de nos pensées et de nos actes, et en dégager des lois, selon une topique, du mot qui signifie la disposition des lieux. Une rupture et un renversement marquent cette histoire. La topique chrétienne, largement méconnue, forme un modèle diversifié et approfondi au long des siècles, lequel pose l'identité humaine comme habitable par une autre présence que la nôtre. A partir de la Renaissance, et depuis Montaigne jusqu'à Rousseau et Kant, tout comme dans la poésie et le roman, elle tend à s'effacer, avec son horizon mystique, au profit d'un face-à-face avec moi-même, tout en usant des mêmes schèmes. Ainsi se fondent l'identité moderne et la subjectivité. A travers la pensée de nombreux auteurs, de saint Augustin à sainte Thérèse d'Avila, d'Origène à Dante, de Baudelaire à Freud, ce livre décrit et médite, selon une généalogie, un axe oublié de la pensée de l'identité, lourd de questions toujours aiguës. (shrink)

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.

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)

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)

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)

Le débat entre E. Peterson et C. Schmitt des années 1930 sur le théologico-politique a laissé une question irrésolue qui resurgit dans les sociétés pluralistes postmodernes. La nouvelle théologie politique du théologien de Münster J.B. Metz la réactive en proposant au fil de son oeuvre une éthique politique comme éthique du changement social. En sous-estimant le caractère polémique du politique et la fragilité des sujets dont l’identité est devenue précaire, Metz parvient sûrement à une théologie critique mais demeure incertain sur (...) le versant de l’invention politique proprement dite de la société. L’opposition de J. Milbank à cette théologie politique ne dirime pas la question et demeure dans un geste uniquement critique en proposant une contre-éthique, une contre-ontologie, un contre-royaume par la mise en oeuvre de pratiques narratives, rituelles et sociales. Un débat entre la théologie de J.B. Metz et la pensée communautariste de S. Hauerwas pourrait peut-être affronter la question de l’avènement des sujets capables d’invention politique dans les sociétés complexes de la postmodernité. (shrink)

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)

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)