Accueil
Dernière Parution
Auteurs
Thèmes
Mots-clefs
Parutions
Videos
Recherche guidée
Comité de lecture
Contact
Abonnement
Soumission d'article
 
Version anglaise
Drapeau anglais


Collection numérisée également sur NUMDAM
pour les n°1 à n°148
et sur Revues.org
pour les n° 149 et suivants
Affiner ou élargir la recherche
8 entrées référencées
Titre La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ?
Auteur GINISTI Jean-Pierre
Mots-clefs Curryfication, Formalisation, Logique combinatoire, Ontologie
Thèmes Combinatoire, Epistémologie, Logique
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.
Numéro 162, Été 2003
Langue   Français
Lire l'article


Titre Y. Gauthier, "Logique et fondements des mathématiques", Paris, New York, Diderot, 1997, 174p., bibliographie de 120 titres
Auteur GINISTI Jean-Pierre
Mots-clefs Aucun
Thèmes Analyse bibliographique, Epistémologie, Logique
Résumé Analyse bibliographique
Numéro 140, Hiver 1997
Langue   Français
Lire l'article


Titre Les problèmes de la définition
Auteur GINISTI Jean-Pierre
Mots-clefs Aucun
Thème Logique
Résumé
Numéro 116, Hiver 1991, n° spécial Théorie de la définition
Langue   Français
Lire l'article


Titre La créativité des définitions dans les systèmes para-euclidiens
Auteur GINISTI Jean-Pierre
Mots-clefs Aucun
Thèmes Epistémologie, Logique
Résumé
Numéro 116, Hiver 1991, n° spécial Théorie de la définition
Langue   Français
Lire l'article


Titre J.-P. Desclés, "Langages applicatifs, langues naturelles et cognition", Paris, Hermès, 1990
Auteur GINISTI Jean-Pierre
Mots-clefs Aucun
Thèmes Analyse bibliographique, Cognitives (Sciences), Linguistique, Logique
Résumé Analyse bibliographique
Numéro 115, Automne 1991
Langue   Français
Document non disponible


Titre Présentation de la logique combinatoire en vue de ses applications
Auteur GINISTI Jean-Pierre
Mots-clefs Aucun
Thèmes Algèbre, Arithmétique - Théorie des nombres, Combinatoire, Linguistique, Logique
Résumé
Numéro 103, Automne 1988, n° spécial Linguistique et Mathématique
Langue   Français
Lire l'article


Titre Bibliographie commentée, numéro spécial : Linguistique et mathématique
Auteur DESCLES Jean-Pierre, GINISTI Jean-Pierre
Mots-clefs Aucun
Thèmes Bibliographie, Cognitives (Sciences), Linguistique, Logique, Programmation
Résumé
Numéro 103, Automne 1988, n° spécial Linguistique et Mathématique
Langue   Français
Lire l'article


Titre Erratum à l'article de J.-P. Ginisti "Présentation de la logique combinatoire en vue de ses applications", p. 45-66
Auteur GINISTI Jean-Pierre
Mots-clefs Aucun
Thèmes Histoire des sciences, Linguistique
Résumé
Numéro 103, Automne 1988, n° spécial Linguistique et Mathématique
Langue   Français
Document non disponible



Droits des utilisateurs :
Contrat Creative Commons
Cette création est mise à disposition sous un contrat Creative Commons