Accueil Dernière Parution Auteurs Thèmes Mots-clefs Parutions Videos Recherche guidée Comité de lecture Contact Abonnement Soumission d'article   Version anglaise Collection numérisée également sur NUMDAM pour les n°1 à n°148 et sur Revues.org pour les n° 149 et suivants

Recherche selon le critère: Mot-clef: Formalisation Affiner ou élargir la recherche 2 entrées référencées Titre Mathématiques, musique et émotion Auteur MAILLARD-TEYSSIER Laurence, ALLOUCHE Jean-Paul Mots-clefs Emotion, Formalisation, Mathématiques, Musique Thèmes Musique, Psychologie Résumé L'émotion ne serait-elle pas une différence irréductible entre mathématiques et musique ? Numéro 178, Été 2007, n° spécial Art, mathématiques, langage et émotion Langue   Français Lire l'article 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 Droits des utilisateurs : Cette création est mise à disposition sous un contrat Creative Commons