Mathématiques et sciences humaines/Mathematics and social sciences

n° 162, Été 2003

Version imprimable   Signaler cette page  

La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ?

Combinatory logic: a logic of any objects vhatever or a logic of operators?

Jean-pierre Ginisti

Télécharger le texte intégral (881k)

Résumé

La logique combinatoire est-elle une logique de l'objet quelconque ou ne logique de l'opérateur ? (1) Les engagements philosphiques de la logique combinatoire sont expliqués à partir de plusieurs principes, pas toujours explicites dans la littérature (pansémie, formalisation complète, neutralité ontologique, réversibilité, libre application). (2)Des exemples (connus, puis nouveaux) du style combinatoire sont donnés pour identifier le programme de cette logique. Les contributions techniques de l'auteur sont (principalement) : l'élimination des foncteurs propositionnels par des nouveaux combinateurs (des distributeurs d'objets sémantiques), puis par des combinateurs classiques. La curryfication et la théorie de la fonctionnalité sont reconsidérées. Partout, la notion d'objet quelconque s'avère capitale.

Abstract

Is combinatory logic a logic of any objects whatever or a logic of operators?(1) The philosophical commitments of combinatory logic are explained from several principles, not always explicit in literature (pansemy, complete formalisation, ontological neutrality, reversibility, free application).(2) Examples known, then new) of the combinatory style are given in order to identify the program of this logic. The technical contributions of the author are (mainly) : the elimination of propositional functors by new combinators (distributors of semantical objects), then by classical combinators. The process called « currying » and the theory of functionality are revisited. Everywhere, the notion of « any object whatever » turns out to be capital.

Index

Pour citer cet article

Jean-pierre Ginisti, « La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ? », Mathématiques et sciences humaines, n° 162, Été 2003, [En ligne], mis en ligne le 10 février 2006. URL : http://msh.revues.org/document2874.html. Consulté le 28 novembre 2009.

 
Page générée par Lodel - Nous adhérons à www.revues.org

ISSN : 0987 6936
Ecole des hautes études en sciences sociales