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)

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)

Un foisonnement d'expériences associatives et coopératives s'est manifesté dans les différents pays européens depuis les années 1970, particulièrement dans le champ des initiatives locales et des nouveaux services relationnels. Selon la grille d'analyse adoptée qui privilégie le potentiel de démocratisation, ces pratiques peuvent être mieux comprises à travers une perspective d'économie solidaire que par les références habituelles au tiers secteur, à l'économie sociale et aux organisations non gouvernementales. Néanmoins, comme l'interdépendance entre actions collectives et publiques s'avère déterminante dans l'histoire européenne (...) pour organiser une résistance à l'utopie d'une « société de marché », le devenir de l'économie solidaire est étroitement lié à la reconnaissance par les pouvoirs publics. Tant au niveau national qu'international celle-ci reste partielle et la pertinence d'un soutien ne fait pas consensus comme le montre la position de l'Union européenne.A large amount of associative and cooperative experiments has arisen everywhere in Europe since the 1970s particularly in the fields of local initiatives and new “relational” services. Our framework of analysis shows these practices are better understood by a civil and solidarity-based economy perspective, emphasizing their potential of economic democratization, rather than by the usual references to third sector, social economy or non-governmental organizations. Nevertheless, since collective and public action has interacted decisively in European history to organize resistance against the utopic vision of the “market society”, the future of this solidarity-based economy appears to be closely linked to its recognition by public policies. But at the European and national levels, this still remains partial and the relevance of such an economy is a highly controversial subject as the European Union’s position demonstrates. (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)

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.

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)

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)

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)

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)

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)

Quel est le fondement du lien social? La réponse à cette question doit être cherchée au coeur du domaine de l'éthique, dans ce que nous appelons la responsabilité.¦Aboutissement d'un processus d'apprentissage auquel participent les nombreuses institutions qui, comme la famille, assurent la socialisation, la responsabilité constitute la spécificité de l'activité et des relations humaines et sociales.¦C'es elle qui permet de comprendre que nous sommes fiers de nos réussites... honteux ou désespérés de nos échecs. C'es elle qui justifie les scrupules que (...) nous pouvons avoir à l'égard d'autrui, l'indignation que nous éprouvons face à la souffrance ou encore l'attachement qui nous lie à nos proches... Mais c'est aussi à elle qu'en appellera la justice pour évaluer et sanctionner nos fautes...¦Prenant d'abord ses distances par rapport aux grandes approches sociologiques de l'activité morale, l'auteur montre ensuite comment s'opère l'apprentissage social de la responsabilité et comment naissent les grandes valeurs (équité, respect, sincérité, autonomie,...) qui structurent les engagements et les débats éthiques. Il évoque enfin les risques qui menacent aujourd'hui la responsabilité.¦Au travers de ce livre, J.L. Genard tente de relaver le défi épistémologique auquel l'actuel retour de la réflexion éthique confronte la pensée sociologique. (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.

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?

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)

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)

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

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

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)