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)

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

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)

The relation between morality and rationality (in the sense of rational choice and rational behaviour) is a prominent theme in (the tradition of) moral philosophy. D. Gauthier’s account of this relation is an extraordinarily impressive one. He attempts to demonstrate a general coincidence (at different levels) between rationality and morality. His approach is discussed in what follows, and it will be shown that most of his ‘coincidence claims’ are exaggerated.

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)

Plutôt que de prendre le parti d’une critique – par ailleurs légitime – des usages, notamment managériaux, de la compétence éthique, ce texte propose de prendre le concept au sérieux et de tenter de l’éclairer en s’appuyant notamment sur les approches pragmatistes des émotions développées par James, Dewey et Peirce. Plutôt que de privilégier une accentuation délibérative et argumentative des compétences éthiques favorisée par l’efflorescence et la multiplication des « comités d’éthique », il cherche principalement à penser les émotions comme (...) compétences éthiques, tout en en revendiquant une conception cognitiviste. Les « compétences éthiques » sont tout d’abord déployées sous les accentuations possibles de la responsabilité, distinguées selon la grammaire des pronoms personnels, comme autonomie, comme sollicitude, comme souci du collectif, comme accusation... L’éclairage pragmatiste des émotions comme compétences éthiques permet ensuite d’ouvrir à une approche renouvelée de l’« engagement » pensé comme compétence, couvrant un large spectre allant des engagements volontaires, obéissant à des décisions, jusqu’à des engagements à dominante émotionnelle caractéristiques par exemple des « communautés esthétiques », du ressentir, du vibrer ensemble. (shrink)

Les concepts de systéme physique, de mesure, de prévision, sont d’abord précisés. Ils conduisent à faire intervenir un observateur, d’où une « physique du solitaire ». Pour parvenir à une «physique collective », il faut admettre en outre un « principe des signaux » qui établit une solidarité entre les observateurs. Le résultat de cette étude est qu’à l’echelle atomique les notions classiques perdent toute signification, même les notions d’espace et de temps qui n’ont qu’un caractère statistique. Cela entraine des (...) lois indetérministes et réciproquement. Les seuls éléments objectifs sont l’existence des corpuscules, les résultats de mesure et les probabilités concernant les résultats de mesures ultérieures. (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)

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)

RésuméLes aspects théoriques les plus fondamentaux de la notion de complémentarité sont successivement étudiés.Dans la première partie la notion de complémentarité de Bohr est précisée et on montre de quelle façon cette notion est venue profoundément modifier les conceptions physiques. Dans une seconde partie la théorie générale des prévisions est résumée et ses principaux résultats sont énoncés pour permettre de mener ? une façon précise une discussion sur la notion de complémentarité: le problème des prévisions est ? abord posé, puis (...) décomposé en trois problèmes successifs grâce àľ introduction des eAléments initiaux et des eAléments de prévision.LCaron; opérateur ?évolution est ensuite défini. Puis on montre de quelle manière le calcul des prévisions conduit à une généralisation de la décomposition spectrale. II intervient alors une certaine fonction f dont la forme est déterminée. La notion de grandeur ?état est alors définie; lorsqu'il existe une telle grandeur le formalisme du calcul des prévisions se simplifle et se ramène au schèma ? un point en mouvement dans un espace de phases. Une théorie dans laquelle il existe une grandeur ?état est appelée théorie objectiviste. Par opposition une théorie telle qu'il n'existe pas de grandeur ?état est appelée théorie subjeetiviste. La fonction f a la forme |x|k; la constante k dans une théorie subjectiviste a une valeur unique et il est montré que k = 2: on établit ainsi comme un théorème le principe de décomposition spectrale, et cela pour toute théorie subjectiviste. On définit ensuite les grandeurs neutres, puis on fait la distinction entre les propriétés qui ont lieu en fait et celles qui ont lieu en droit. Les notions de déterminisme et dcaron; indéterminisme sont définies et il est montré qu'il n'y a que deux types de théories physiques: les théories objectivistes qui sont déterministes, et les théories subjectivistes qui sont essentiellement indéterministes.Dans la troisième partie la notion de complémentarité est diseutée en utilisant les résultats de la théorie générale des prévisions. On montre qu'il n'y a pas de complémentarités dans une théorie objectiviste et qu'au contraire il y en a nécessairement dans une théorie subjectiviste. Deux types de complémentarités peuvent se présenter: une complémentarité effective et une complèmentarité idéate, mais en fait il y a toujours des complémentarités effectives. Ensuite on examine les observations successives et les conditions qui se présentent suivant les complémentarités; on précise ce qu'on doit entendre par grandeurs complémentaires.La quatrième partie est consacrée à une interprétation du quantum ? action. Les différents aspects de la notion de quantification sont examinés , puis la constante de Planck est introduite au moyen de la notion de spin et au moyen du principe ? homomorphisme. Ľ origine de la subjectivité est examinée; un principe de subjectivité est énoncé et doit ètre mis à la base des théories de la microphysique; au contraire un principe ? objectivité doit ètre mis à la base de la physique macroscopique.La cinquième partie concerne les rapports entre les notions de complémentarité et ? indiscernabilité.Enfin la complémentarité de Bohr apparaît sous un aspect dialectique quand on ľ envisage comme provenant de ľ unification de deux théories qui s'opposaient au moyen ? un dépassement . – J.‐L. D. (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)

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)

En l'occurrence, au XXe siècle, le cinéma, alors que le XIXe était appareillé par la photographie. Dans une radicale philosophie de la temporalité comme la sienne, les appareils font chacun leur tour époque sans pourtant s'éliminer.

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)

Dans les traditions philosophiques occidentales, c'est à la critique développée par la pensée marxiste que l'on doit de pouvoir aborder l'oeuvre de Moses Hess (1812-1875). Pourtant, le "rabbin des communistes", comme on l'a appelé, fut l'un des penseurs du XIXe siècle qui questionna au plus près les conditions de la liberté et de l'égalité sociales, en même temps qu'il ouvrit la voie à l'idée d'un foyer juif en Palestine, où cette liberté et cette égalité se seraient pleinement épanouies. Dans les (...) études juives, la philosophie de Moses Hess est rarement évoquée, si l'on excepte quelques commentaires qui font de lui ce "communiste et sioniste, qui joua un rôle décisif dans le premier mouvement et inventa virtuellement le second". Le livre de Jean-Louis Bertocchi veut porter un éclairage nouveau sur cette oeuvre pionnière et singulière à bien des égards, dont le coeur est bel et bien la discussion serrée, "en accord divergeant", de la pensée de Spinoza, lu attentivement par Marx lui-même, et qui, dans le ciel d'un humanisme juif émancipé et émancipateur, dessine une constellation en perpétuel mouvement, où scintillent tour à tour philosophie, communisme et sionisme."--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.

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)

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