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.

De Nous n’avons jamais été modernes jusqu’à l’Enquête sur les modes d’existence, Latour s’est toujours positionné sur le terrain de l’anthropologie, articulant une anthropologie comme méthode d’enquête avec une anthropologie comme objet de l’enquête. Rappelant les thèses de Foucault qui décrivent l’homme de la modernité comme « doublet empirico-transcendantal », et s’appuyant sur une lecture de Kant qui privilégie l’antinomie liberté-déterminisme, cet article montre que la modernité est passée d’une dominante anthropologique disjonctive séparant les êtres à une dominante conjonctive dans (...) laquelle ils se situent sur un continuum allant de l’hétéronomie à l’autonomie, où nature et culture s’entrelacent…. Loin de rompre avec la modernité, la pensée de Latour serait on ne peut plus moderne, radicalisant le passage de la disjonction vers la conjonction, mais s’empêtrant dans les antinomies de sa propre radicalité.Beginning with We Have Never Been Modern up to An Inquiry into Modes of Existence, Latour has always positioned himself in the field of anthropology, articulating anthropology both as a method of inquiry and as the object of inquiry. Through recourse to Foucault's claim that modernity’s human is an “empiricaltranscendantal doublet”, and based on a reading of Kant that champions the freedom-determinism antinomy, this article shows that modernity has shifted from a “disjunctive” anthropological trend that separates beings into a conjunctive trend that locates them on a continuum going from heteronomy to autonomy, where nature and culture intertwine…. Far from breaking with modernity, Latour’s thinking could not be more modern, since it radicalizes the shift from disjunction to conjunction, though at the cost of tangling up in the antinomies of its own radicalism. (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)

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)

Le temps ne peut être disjoint de l’éternité. « Image mobile de l’éternité immobile » selon Platon, dans le Timée, il permet à la réalité sensible d’être stable et de durer, en lui apportant le pouvoir d’imiter l’éternité par son mouvement cyclique. Avec le christianisme, malgré l’abandon de la figure cyclique, ordonné à une signification historique, le temps conserve ce pouvoir organisateur, dans un monde à l’image de Dieu. Mais c’est la déficience du temps, mise en scène dans les mythes (...) de la religion gnostique, dans le contexte anxiogène d’une création ratée, œuvre d’un dieu incompétent, qui met en évidence, quoique sur un mode négatif, l’articulation essentielle du temps et de l’éternité. (shrink)

Le préambule de l'édit de Tiberius Julius Alexander inscrit sur les piliers du temple d'Hibis de l'oasis d'El Khargeh est exceptionnel à plus d'un titre : par sa longueur, par la complexité et la précision de son cadre idéologique associant empereur et gouverneur dans le gouvernement de l'Egypte, mais aussi par la difficulté qu'il y a à l'insérer, lui et son projet, dans la chronologie heurtée du début de l'année 68. L'examen de la forme diplomatique démontre qu'il s'agit d'un édit (...) préparé de longue date, la tâche essentielle dévolue par Néron au gouverneur de cette province qu'il devait visiter, et qui a été promulgué le 6 juillet 68 dans l'ignorance des événements romains. Sitôt annoncées et confirmées les nouvelles de la mort de Néron et de l'accession de Galba, le texte de l'édit et du préambule a été repris à la hâte pour l'adapter au programme du nouveau régime. Il faut donc considérer cet «édit de restauration d'Alexandrie et de l'Egypte» dans le droit fil des ordonnances philanthropiques hellénistiques, comme un édit néronien. En appendice, sont étudiés les usages dans la langue de chancellerie de πρόνοιαν ποιεΐσθαι, φροντίς, φροντίζειν et προγράφειν. (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)

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)

Cinema against Spectacle -- Introduction -- Cinema against Spectacle -- I. Opening the Window? -- II. Inventing the Cinema? -- III. Filming the Disaster? -- IV. Cutting the Figure? -- V. Changing the Spectator? -- Technique and Ideology: Camera, Perspective, Depth of Field -- Introduction -- I. On a Dual Origin -- The ideological place of the "base apparatus" -- Birth = deferral: The invention of the cinema -- II. Depth of Field: The Double Scene -- Bazin's "surplus realism" -- (...) The work of "transparency" -- For a materialist history of the cinema -- "For the first time ..." -- III."Primitive" Depth of Field -- IV. Effacement of Depth/Advent of Speech -- V. Which Speech? (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...

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)

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.

Le plaidoyer de Meier pour la méthode dans l’exégèse historico-critique du N.T. le conduit à accorder une authenticité historique à des textes évangéliques que d’autres exégètes considèrent comme des relectures théologiques de l’Église primitive. Sur ce constat, il faudra donc mesurer ce que cette méthode peut apporter au portait historique de Jésus qui a été l’objectif de la longue histoire des quêtes du Jésus historique. Situé ainsi dans les débats sur le Jésus historique, le travail de Meier conduit à la (...) question théologique des rapports qui existent entre la vérité de la foi et les méthodes exégétiques, entre la vérité théologique et l’histoire. Il s’agira finalement de se demander, sur la base des travaux de Meier, de quel « Jésus » la théologie chrétienne a besoin pour être vraiment chrétienne.Meier’s plea in favor of a coherent method in historico-critical exegesis of the New Testament leads him to attribute an historical authenticity to evangelical texts that other exegesists consider as theological re-readings of the Early Church. On the basis of this assessment, we have to evaluate what this method may contribute to the historical portrait of Jesus which has been the goal of the many different quests for the historical Jesus. Once Meier’s work has been situated in the context of the debates on the historical Jesus, it leads to the theological question of the relationships that exist between the truth of faith and exegetical methods, between theological truth and history. In the final analysis, we have to wonder what kind of “Jesus” Christian theology needs in order to be truly Christian. (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)

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)

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.

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)