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

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

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

The biological function of human reasoning abilities cannot be to improve shared knowledge. This is at best a side effect. A more plausible function of argumentation, and thus of reasoning, is to advertise one's ability to detect lies and errors. Such selfish behavior is closer to what we should expect from a naturally selected competence.

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)

This paper sketches a history of definition of identity from the Aristotle’s Topics down to the modern set theory. The author tries to explain particularly: first, how the transformation of the concept of predicate at the end of the nineteenth century made it necessary to revise the leibnitian definition of the identity of individuals; secondly, why Dedekind, Peano, Schröder, etc. made, between two possible definitions of identity of predicates or of sets, a choice which later made it necessary to postulate (...) in set theory the axiom of extensionality. (shrink)

Celem pracy jest podanie reguł semantycznych dla logik, w których funkcjonują obok siebie funktory modalne i funktory deontyczne. Idea wspólnego traktowania tych funktorów. a w szczególności badania związków między nimi, została zapoczątkowana jeszcze w 1671 r. przez Leibnitza w "Elementa juris naturalis". Autor rozróżnia trzy następujące koncepcje dotyczące wzajemnych relacji między rozważanymi dwoma rodzajami funktorów logicznych: 1) koncepcję Leibnitza, wg. której konieczność implikuje obowiązek; 2) koncepcję, w której konieczność jest nieporównywalna z obowiązkiem; 3) zmodyfikowaną koncepcję [2] drogą pomysłowej modyfikacji znanej (...) semantyki Kripkego - autor wprowadza dodatkowe rozróżnienie światów na pozytywne i negatywne. Interesująco wypadają też porównania reguł semantyk dla trzech wymienionych wyżej koncepcji i rozważania wzajemnych powiązań czterech pojęć deontycznych: silnego obowiązku, silnego zakazu, słabego przyzwolenia i słabej "dowolności" - okazuje się, że spośród szesnastu możliwych relacji aż osiem spełnionych jest równocześnie we wszystkich trzech semantykach, Artykuł kończą uwagi na temat możliwych konsekwencji i zastosowań zaprezentowanego materiału. (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)

Au Chant Premier du Paradis, Dante fait de la poésie un art de la subversion sinon de la transgression, en lui assignant la tâche de travailler la parole pour en contourner les limites : Outrepasser l’humain, c’est aller au-delà des limites du langage, prétendre aux formes angéliques de la communication. Les anges font une expérience heureuse de l’indicible et se comprennent en silence. C’est dans cet intervalle que la poésie doit se frayer son chemin et faire accéder l’impensable à l’expression, (...) dire l’indicible. Elle doit signifier par des mots (« significar per verba ») ce qui excède toute signification humaine. Nous retrouvons ici la théologie négative et son inventeur Denys l’Aréopagite : quand la théologie, confrontée à l’ineffable, aboutit au silence et à l’apophatisme, la poésie répond à l’appel pour assurer le passage de l’invisible à la figuration. Figuration également négative, qui fait exploser des images « bigarrées », faites de mots pour ainsi dire illisibles. En quoi la poésie a vocation à devenir non figurative. (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)

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)

Résumé Nous verrons que le désintérêt à peine voilé de Michael Sheringham, comme de Philippe Lejeune avant lui, à l’ égard des Mémoires d’ une jeune fille rangée tient à leur valorisation excessive du pacte autobiographique. Or, tout en s’ inscrivant dans la nébuleuse des autobiographies existentialistes, le récit de Simone de Beauvoir s’ en démarque, en particulier par le rôle qu’ y joue le genre des Mémoires en creux, ou plus précisément à l’ horizon du texte de 1958. Il (...) s’ agira de montrer que le premier volume du cycle beauvoirien occupe au sein des récits de soi existentialistes une place beaucoup plus centrale que ne l’ envisageait Sheringham dans French Autobiography. (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)

Montrer que le rapport de la conversion au Souverain Bien chez Pascal nous invite à ausculter philosophiquement la notion d'émotion : c'est ce que Jean-Louis Bischoff entend montrer dans la présente étude. L'enjeu de son enquête est clair : il entend affoler et subvertir l'approche commune du mot « émotion ». Pour mener à bien son projet, l'auteur mobilise les lumières de philosophes comme Marion, Levinas, Ricoeur, Greisch ou Romano.

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)

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)

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.