Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

N162r874 pdf Math Sci hum Mathematics and Social Sciences e année n p - LA LOGIQUE COMBINATOIRE LOGIQUE DE L ? OBJET QUELCONQUE OU LOGIQUE DE L ? OPÉRATEUR Jean-Pierre GINISTI RÉSUMÉ ?? La logique combinatoire est-elle une logique de l ? objet quelconque

Math Sci hum Mathematics and Social Sciences e année n p - LA LOGIQUE COMBINATOIRE LOGIQUE DE L ? OBJET QUELCONQUE OU LOGIQUE DE L ? OPÉRATEUR Jean-Pierre GINISTI RÉSUMÉ ?? La logique combinatoire est-elle une logique de l ? objet quelconque ou une logique de l ? opérateur Les engagements philosophiques 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 Des exemples connus puis nouveaux du style combinatoire sont donnés pour identi ?er 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 curry ?cation et la théorie de la fonctionnalité sont reconsidérées Partout la notion d ? objet quelconque s ? avère capitale MOTS -CLÉS ?? Logique combinatoire Formalisation Ontologie Curry ?cation SUMMARY ?? Combinatory logic a logic of any objects whatever or a logic of operators Is combinatory logic a logic of any objects whatever or a logic of operators The philosophical commitments of combinatory logic are explained from several principles not always explicit in literature pansemy complete formalisation ontological neutrality reversibility free application 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 KEYWORDS ?? Combinatory logic Formalization Ontology Curry ?cation Notre problème sera d ? identi ?er ce à quoi s ? adresse exactement la logique combinatoire la nature des objets sur lesquels porte sa théorie Il y a en e ?et certaines divergences au moins apparentes entre les interprètes pour les uns en bref la logique combinatoire est une logique de l ? objet quelconque pour les autres une logique de l ? opérateur On peut donc préciser les deux optiques examiner dans quelle mesure elles s ? opposent et tenter d ? arbitrer entre elles Avant examen on entendra par opérateur de la manière la plus générale un être qui conduit à un certain résultat quand il porte selon ce qu ? il exige sur une ou plusieurs données ses opérandes D ? autre part un objet dans Professeur à l ? Université Lyon III Jean Moulin Faculté de philosophie rue de l ? Université B P Lyon En ce sens nous écrirons opérateur ? quand il faudra le distinguer de certains autres Nous écrirons LC ? pour logique combinatoire ? Nous nous accorderons quelque liberté avec l ? emploi des C J -P GINISTI une classe qui le spéci ?e est dit quelconque si on a égard seulement à des propriétés qui sont celles de tous les autres objets de cette classe