Les travaux sur le rôle et la place des femmes en Afrique subsaharienne ne sont pas très nombreux. On pense notamment ­ pour les pionniers/ères ­ à la thèse de Catherine Coles, Muslim Women in Town. Social Change among the Hausa of Northern Nigeria (Madison, Ph. D, 1983), à Jean Boyd et Murray Last, « The Role of Women as " Agents religieux " in Sokoto » (Canadian Journal of African Studies, 1985), à Barbara Callaway, Muslim Hausa Women in (...) Nigeria. Tradition and Change (Syracuse, 1987)... (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)

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)

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)

L’apologétique a pris un nouveau visage aujourd’hui. Jadis, au temps des Pères, elle vivait en tension entre le désir d’être communicable et en même temps pointe acérée de la nouveauté chrétienne. Cette tension se met ensuite au service de l’approfondissement et de la réassurance, ce qu’il convient de nommer conversion, c’est-à-dire une religion plus fervente. Une deuxième tension de l’apologétique la situe entre la fermeté de la révélation et l’humilité de son témoin. La troisième tension s’exerce entre continuité et rupture (...) de la foi avec la mondanité. Plus tard, la dénonciation pascalienne de l’indifférence des hommes à rechercher la vérité affronte l’incroyance et elle a connu une riche postérité. Issue d’une conception dramatique de l’existence, elle l’ouvre à l’espérance chrétienne. La parole du salut a toujours à dégager l’espace dans lequel elle pourra retentir. (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)

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)

Cet article étudie ce que l’on peut entendre par « ce qui dépend de nous » dans la tradition aristotélicienne. L’auteur interroge les tenants de l’apparition d’un Self chez les Stoïciens et remet vivement en question certaines conceptions de l’histoire de la philosophie. Il soutient qu’il n’y a pas de raison, et même moins, de voir en Épictète l’inventeur du « libre arbitre », pas plus qu’il n’y en a de voir chez les Stoïciens une quelconque naissance de la subjectivité (...) en raison de l’innovation qu’aurait été la notion d’assentiment. L’argumentation repose sur la conception « libertarienne » du « ce qui dépend de nous » par Alexandre d’Aphrodise.De « ce qui dépend de nous »This paper examines that what is the meaning of « what depends on us » in the Aristotelian tradition. The Author adresses all those who think that the Self was originated by the Stoics. He criticizes in a provocative way some manners in the history of philosophy. He champions that there is no cause, or even less, to understand Epictetus as any creator of the liberum arbitrium, no more than to understand the Stoics as the origine of our modern conception of the subjectivity because of their notion of assent. The argument rests on the « libertarian » conception of « what depends on us » by Alexander of Aphrodisias. (shrink)

Contrairement à l’apparence, Plotin est un philosophe du mouvement et de la genèse. Tout être, même éternel, est pensé à partir des actes qui l’engendrent. Même ce qui n’a pas de genèse est décrit génétiquement. L’article étudie quelques unes des figures de ce mouvement (la course, la danse, la trace), et leurs prolongements au-delà de Plotin. Il établit que cette mobilité donne à Plotin son style unique, qui anticipe à certains égards celui de l’idéalisme allemand. Loin d’être une caractéristique générale (...) du néoplatonisme ancien, cette écriture du mouvement forme une singularité significative de Plotin. (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)

Résumé Nous verrons que le désintérêt à peine voilé de Michael Sheringham, comme de Philippe Lejeune avant lui, à l’ égard des Mémoires d’ une jeune fille rangée tient à leur valorisation excessive du pacte autobiographique. Or, tout en s’ inscrivant dans la nébuleuse des autobiographies existentialistes, le récit de Simone de Beauvoir s’ en démarque, en particulier par le rôle qu’ y joue le genre des Mémoires en creux, ou plus précisément à l’ horizon du texte de 1958. Il (...) s’ agira de montrer que le premier volume du cycle beauvoirien occupe au sein des récits de soi existentialistes une place beaucoup plus centrale que ne l’ envisageait Sheringham dans French Autobiography. (shrink)

Cet article étudie l’apparente convergence qui s’opère, depuis quelques années, entre l’ approche en termes de Systèmes Nationaux d’Innovation et la théorie évolutionniste du changement technologique. Ce processus s’appuie sur une conception spécifique du processus d’innovation lui-même. Dans ce contexte, l’innovation est un processus cognitif, qui s’exprime à plusieurs niveaux – local, national, sectoriel et international – et dans de nombreuses dimensions – technologique, organisationnelle et institutionnelle. Cette approche attribue un rôle central aux acteurs publics et aux institutions mais révèle, (...) dans le même temps, les difficultés intrinsèques à toute tentative de synthèse entre des théories souvent hétérogènes.This paper examines the apparent convergence between the National Systems of Innovation approach and evolutionary theories of technological change. This convergence is organized around a complex and specific conception of the innovation process itself In this context, innovation is a cognitive, a multilevel – i.e. local, national, sectorial and international –, a historical and multidimensional – i.e. technological, organizational and institutional – process. This conception gives a central place to public actors and institutions but shows the strong difficulty inherent to the elaboration of a coherent evolutionary theory of economic change. In effect, it seems difficult to articulates heterogeneous concepts within a global framework. (shrink)

La formule selon laquelle « l’homme est un animal politique par nature » est une des plus connues d’Aristote, pour cela même méconnue. L’objet de cette étude est de montrer qu’il n’y a pas lieu d’interpréter cela d’une façon trop naturaliste, ou, pire, « réductionniste ». Que la nature soit à l’origine de l’élan ayant présidé à l’apparition de la polis est certain, mais qu’elle gouverne tout le processus l’est nettement moins. À commencer par les critères de la distinction entre (...) les différentes constitutions, faites par les citoyens eux-mêmes. De même en va-t-il pour l’acquisition de la vertu morale, qui n’est nullement donnée par la nature et que les citoyens se devraient de posséder. D’où il résulte qu’en matière de politique, il est bien plus question d’éducation que de nature. (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)

Georges Kalinowski, né en 1916 à Lublin, est dédédé le 21 octobre 2000 à Dijon, où, depuis la mort de son épouse, il s'était retiré auprès de sa fille, son gendre et ses petits-enfants.

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)

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, (...) A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

Episodic memory is certainly a unique endowment, but its primary purpose is something other than to provide raw material for creative synthesis of future scenarios. Remembered episodes are exactly those that are worth telling. The function of episodic memory, in my view, is to accumulate stories that are relevant to recount in conversation.

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.

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.

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)

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)

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.

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)

The biological function of human reasoning abilities cannot be to improve shared knowledge. This is at best a side effect. A more plausible function of argumentation, and thus of reasoning, is to advertise one's ability to detect lies and errors. Such selfish behavior is closer to what we should expect from a naturally selected competence.

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)