La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ?
Résumés
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.
Entrées d’index
Haut de pagePour citer cet article
Référence électronique
Jean-Pierre Ginisti, « La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ? », Mathématiques et sciences humaines [En ligne], 162 | Été 2003, mis en ligne le 10 février 2006, consulté le 02 novembre 2024. URL : http://journals.openedition.org/msh/2874 ; DOI : https://doi.org/10.4000/msh.2874
Haut de pageDroits d’auteur
Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.
Haut de page