The main point developed in this paper is the demonstration of the attitudes characterizing the major Belgian political parties. This is achieved through a factorial analysis applied to a set of data resulting from the answers given by the major parties leaders to various specific questions regarding bath the prevailing economie as well as institutional issues at the eve of the election of December 17th, 1978. From that point it has been possible to compare those results with the one obtained (...) from the data concerning the 1974 programmes.The results of the statistical analysis show that white in 1974 the strongest positive associations between parties corresponded to tht traditional ethical and socioeconomic cleavages, four years later the linguistic dimension was predominant with a stronger homogeneity characterizing the Dutchspeaking group than what could be observed for the Frenchspeaking one.The factorial analysis allows for a graphical representation of the respective positioning of the parties along the statistically significant factorial axes. Applied to two sets of data, the first one on purely institutional matters, the second one on both institutional and economic policies, the analysis reveals clearly through the various graphs presented the linguistic cleavage as well as the divergences about the extent of regional competences and minorities protection, on the one hand, and, on the other hand, the degrees of regional economic autonomy and of public intervention in the business life. (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)

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)

Artificial intelligency can bring speed and reliability to drug discovery process. It represents an additional intelligence, which in any case can replace the strategic and logic creative insight of the medicinal chemist who remains the architect and molecule master designer. In terms of drug design, artificial intelligency, deep learning machines, and other revolutionary technologies will match with the medicinal chemist’s natural intelligency, but for sure never go beyond. This manuscript tries to assess the impact of the artificial intelligency on drug (...) discovery today. (shrink)

Les traites de zoologie d'Aristote ne sont nullement des traites mineurs, voire anecdotiques, mais des traites a inscrire au contraire dans la vaste enquete sur la nature qu'il entendait mener et qui caracterise si bien sa philosophie. Qu'en est-il cependant des capacites animales telles qu'Aristote les a decrites? Le probleme est autre, tant dans nombre de recherches recentes, les animaux eux-memes semblent avoir ete parfois comme oublies en chemin au profit de recherches plus epistemologiques. C'est ce singulier oubli que ces (...) etudes voudraient commencer de reparer en s'attachant a ce qu'Aristote dit effectivement de la vie meme des animaux et de leurs capacites a communiquer, a vivre en societe, voire tout simplement a se mouvoir. Qu'en est-il exactement de la difference entre la voix que possedent certains animaux et le langage propre aux etres humains? Comment se peut-il qu'Aristote qualifie certains autres animaux que l'homme de politiques et non seulement de gregaires? Par quels mecanismes psychologiques et physiologiques les animaux se mettent-ils en mouvement? Que cherche a expliquer le pretendu syllogisme pratique? Telles sont les questions abordees dans ces etudes. (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...

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)

Que signifie l’Europe pour les juristes? La première réponse, de caractère descriptif, renvoie aux deux ordres juridiques européens, celui de l’Union Européenne et celui du Conseil de l’Europe. Ces deux ordres juridiques reposent sur des traités et les États qui adhèrent à ces traités sont reconnus comme « européens ». Le concept juridique d’Europe est donc distinct du concept géographique : il intègre des territoires situés en Asie ou outremer. L’Europe juridique ne correspond pas non plus à un peuple européen, (...) mais à une pluralité de peuples reliés à des États-nations dont les institutions démocratiques ont approuvé l’adhésion à l’Europe. La soumission au droit des traités européens est ainsi à la base, conventionnelle, de l’Europe juridique. Cette situation peut être envisagée comme une série de fictions qui ont donné naissance à un réseau, relativement stables, de règles sur la protection des droits de l’homme. C’est ce droit cosmopolite des droits de l’homme qui peut être considéré comme la structure fondamentale du concept juridique d’Europe. (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)

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)

Le philosophe constitue l’une des figures les plus remarquables de la vie intellectuelle française. De Bergson à Foucault en passant par Sartre, il est l’ambassadeur à l’étranger d’une forme de « francité », paradoxale pour celui qui s’est installé d’emblée dans une perspective universelle. Au cours du xxe siècle, la discipline qui venait couronner l’enseignement secondaire classique a connu à la fois le succès mondial d’un style de pensée et les affres du déclassement institutionnel en France. Ce récit vivant décrit (...) au plus près ce qu’est la philosophie française : une construction conceptuelle, dont toutes les lectures et réceptions sont à prendre en compte, une institution et des pratiques sociales, de la salle de classe à la scène médiatique. Ce livre est aussi un hommage, ironique et quelquefois impertinent, à ceux qui ont fait une bonne part de notre histoire culturelle. (shrink)

À partir du XVIe siècle, le gouvernement «mixte» de Venise devient, pour l'Europe de l'Ancien Régime, un modèle politique. Composant harmonieusement les principes de la démocratie (avec le Grand Conseil), de l'aristocratie (avec le Sénat) et de la monarchie (avec le Doge), garantissant la paix sociale et la stabilité des institutions, prétendant préserver Venise des aléas de l'Histoire, cette forme de gouvernement donne naissance à un véritable mythe. Volet essentiel de la réflexion sur la diversité des traditions républicaines italiennes, l'étude (...) du mythe politique vénitien permet aussi de s'interroger sur les emplois discutables du paradigme républicain dans l'historiographie récente. (shrink)

This paper sketches a history of definition of identity from the Aristotle’s Topics down to the modern set theory. The author tries to explain particularly: first, how the transformation of the concept of predicate at the end of the nineteenth century made it necessary to revise the leibnitian definition of the identity of individuals; secondly, why Dedekind, Peano, Schröder, etc. made, between two possible definitions of identity of predicates or of sets, a choice which later made it necessary to postulate (...) in set theory the axiom of extensionality. (shrink)

Si l’on s’en tient à la grammaire traditionnelle, la question des noms propres est simple : on peut les séparer en noms de personnes et noms de lieux, une catégorie supplémentaire est parfois ajoutée, et ils s’opposent aux noms communs sur un certain nombre de critères (absence de déterminant, présence d’un haut de casse pour l’initiale, etc.). Pourtant, dès que l’on se confronte à des corpus authentiques, cette simplicité vole en éclats : la catégorie des noms propres est bien plus (...) hétérogène qu’on ne le pense et les critères généralement utilisés pour les définir deviennent parfois caducs. Nous tenterons de classer la série de termes qui ont été proposés à l’analyse soit dans la catégorie des noms propres, soit dans celle des noms communs en nous aidant de la notion de normes et du contexte linguistique, car une définition différente de celle des grammaires est nécessaire. (shrink)

Lo studio degli interventi politici repubblicani fiorentini dopo il 1494 (prediche savonaroliane, testi d'intervento, discorsi, dialoghi, cronache e storie) mette in rilievo in quest'articolo la nascita di una nuova lingua della politica, più immediata, più efficace, più precisa, più chiara che intende render conto dei tempi nuovi della guerra permanente e del suo stato d'emergenza. Questa retorica inedita porta quindi in sé nuove forme di razionalità politica che portono con sé buona parte dell'aurora della politica moderna.

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)

Long known solely as fascism’s precursor, Joseph de Maistre re-emerges in this volume as a versatile thinker with a colossally diverse posterity whose continuing relevance in Europe is ensured by his theorization of the encounter between tradition and modernity.