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)

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.

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)

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)

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)

Christianism often mentions perfumes. Its liturgy based on Scripture uses incense and balm. A reading from the Bible and the lives of saints reveals many extraordinary perfumes (“odours of sanctity”). The Virgin Mary holds extreme importance among saints and it is quite common to see her spreading miraculous fragrances. These are subtle, discrete but pleasant signals from Heaven. They are sent to everyone in order to convert non‑believers or turn back believers to the faith in God. The divine origin of (...) perfumes is tied up with the memories and hopes from Paradise. It marks bodies escaping from death and entering into eternal life. (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)

La défense canguilhemienne de l’institution philosophique s’inscrit dans une lignée républicaine ; cette attitude diffère de celle propre à certains de ses contemporains (Nizan), ou de ses cadets (Althusser, Foucault). Canguilhem a toujours défendu l’importance de la philosophie quand elle était menacée par les sciences humaines et sociales, tant au moment du succès de l’existentialisme que pendant le structuralisme des années 1960 ; il fut, en même temps, le critique de certaines manières de concevoir la philosophie (existentialiste ou spiritualiste), de (...) certaines modes de sa pratique (journalistique ou littéraire), et un innovateur en matière de pédagogie. (shrink)

. The aim of this paper is to clarify the logical structure of a code connecting together some distinctions already introduced by different authors: a distinction between primary norms and secondary norms, the latter being implied by the provisions describing institutions in the indicative; a distinction between norms the content of which concerns a state and those the content of which concerns a behaviour which is itself function of several states; a distinction, among the primary norms, of the norms of (...) competence by which a normative power can be delegated to an individual; lastly a distinction between regulative rules and constitutive rules. (shrink)

Há anos ou décadas, vemos países que estavam em marcha em direção à democracia como a Rússia, a Turquia e mesmo reais democracias como o Brasil, se tornarem verdadeiras democraduras, ou se encaminharem para esse tipo de regime, a Hungria por exemplo, mas igualmente outros países. Os analistas políticos continuam lutando para entender a origem e a natureza desse direcionamento sobre o qual a leitura de Tocqueville ainda fornece um esclarecimento notável, cujas análises mantêm perfeita atualidade; é um grande pensador (...) para os dias atuais que estabelece como, para pensar o surgimento da democracia e os problemas que aparecem a ela, é apropriado partir do estado social democrático. (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)

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

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

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)

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.