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.

Ce texte a déjà paru dans la revue EspacesTemps le 30/05/2019. Résumé : À bien des égards, les politiques mais aussi les pratiques de la ville connaissent aujourd'hui ce que l'on pourrait appeler un « tournant esthétique ». La plupart du temps, ce tournant fait l'objet d'analyses centrées sur l'une ou l'autre de ses composantes, comme par exemple la montée des référentiels de la ville créative ou de l'attractivité, mais sans que ne soit pleinement réfléchie leur portée esthétique, au sens (...) plein du terme, - Urbanisme – Nouvel article. (shrink)

On pourrait multiplier indéfiniment les points communs et les possibilités de rapprochment entre philosophie et littérature. Tant qu'on s'en tient au plan théorique, la situation demeure è peu près inchangée. Le philosophe peut bien à l'occasion se distraire à quelque roman, le romancier ou le critique peuvent s'essayer à déchiffrer un ouvrage de métaphysique; les rapports n'entreront dans la phase d'efficacité réelle que lorsqu'une méthode adéquate permettra d'établir entre les deux modes d'activité un échange ordonné. C'est d'une telle méthode philosophique (...) en littérature que je voudrais tenter d'établir une définition. (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)

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

C’est bien à ce titre que nous présenterons le Discours prononcé par Victor Delbos à la distribution des prix du Lycée de Toulouse, le 31 juillet 1888. Le jeune professeur de philosophie qu’il est alors (le 26 septembre, il fêtera ses vingt-six ans) ne choisit pas les sentiers rebattus du panégyrique pour aborder le problème de l’éducation, mais le chemin escarpé de l’analyse critique sociale : la question téléologique au principe de tout « Discours » appartenant au genre « remise (...) des prix»s’en trouve dès lors singulièrement renouvelée. Au crépuscule de l’année scolaire, la spéculation a coutume de prendre son envol philosophique pour défendre les valeurs suprêmes de la culture libérale et rappeler les vertus irremplaçables des humanités. Seul l’éloge du métier d’être homme dans la plénitude du sens humaniste sied au public d’excellence que représente le lycée secondaire classique d’alors. (shrink)

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?

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

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)

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)

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)

The immemorial and recollection -- The reserve of forgetting -- The unforgettable -- The sudden and the unhoped for -- Retrospection.

The term Republic is a word whose obviousness and presence in our contemporary political culture are matched only by its long-term indeterminacies. The first of these indeterminacies, moreover, has to do with the origin of “republic” in the Latin syntagm res publica with the immediately complex and polysemous meaning of a notion that we find frequently used under the Roman Republic itself but also under the Empire. Questioning res publica also obviously means questioning a crucial part of Roman political history, (...) but also means thinking political history as such and methodologically reflecting on the language of these politics. As such, there is no stabilised model, no searching for “the essence of the thing”, or any claim to a stabilised definition of the object of study as a series of deletions and reappearances of core meanings is characteristic of res publica. The dynamic investigation concerns a question which, according to a syntagm present in the last page of Claudia Moatti’s book in a significant way, becomes a “mobilising reference”, therefore political. In this journey, the acceptance of uncertainty and indeterminacy, in a way, becomes the price to pay to rediscover the life of words and their historical signifiance, insofar as they are linked to the action of individuals, to their commitment to the world, without relying on semantic certainties or on a programme to be implemented, but by starting precisely from open questions because none of the proposed answers has proven to be satisfactory. The comparison with another moment of political and semantic crisis, the Machiavellian moment, will in conclusion illustrate the fruitfulness of the perspective adopted. (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)

Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.

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)

According to the author the nature of promise presents a twofold problem. First refers to the question why and how an utterance may cause action; second – to the question why and how this action may cause a duteous state, or action. The conclusions drawn from these analyses can facilitate legal statements concerning the nature of promise.

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)

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

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.

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)