Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation
Auteur(s) : Desclès, Jean-Pierre
Guibert, Gaëll (1973-....)
Sauzay, Benoît (1969-....)
Titre(s) : Calculs de signification par une logique d'opérateurs [Texte imprimé] / Jean-Pierre Desclés, Gaëll Guibert, Benoît Sauzay
Publication : Toulouse : Cépaduès-éditions, DL 2016
Impression : 31-Toulouse : Impr. Messages
Description matérielle : 2 vol. (651 p.) : ill. ; 24 cm
Comprend : Vol. II*, Vers une logique d'opérateurs ; Vol. II**, Concepts et schèmes analysés
par la logique combinatoire
Note(s) : La p. de titre et couv. portent en plus : "volume II". - Fait suite à : "Logique combinatoire
et [lambda]-calcul", des mêmes auteurs = volume I. - Bibliogr. p. 607-636. Index
Sujet(s) : Logique combinatoire
Linguistique -- Informatique
Indice(s) Dewey :
511.31 (23e éd.) = Logique non classique (mathématiques)
Identifiants, prix et caractéristiques : ISBN 978-2-36493-575-4 (br.) : 65 EUR
EAN 9782364935754
Identifiant de la notice : ark:/12148/cb45200632s
Notice n° :
FRBNF45200632
Résumé : *Vers une logique d'opérateurs La logique combinatoire (LC) n'est pas tellement reconnue,
il s'agit pourtant d'une logique d'opérateurs abstraits qui composent et transforment
des opérateurs quelconques. Cette notion d'opérateur, bien qu'utilisée en mathématiques,
n'est pas vraiment définie pour elle-même comme dans les domaines qui l'utilisent,
tels que l'informatique, celui des langues naturelles et de la cognition ou de l'Intelligence
Artificielle. Cependant, elle motive la présentation donnée ici. Parfois attribuée
à l'article de Schönfinkel (1924), la LC naît surtout avec H. Curry, dès 1929, dont
Hindley et Seldin vont développer le programme. C'est dans la continuité de ce programme
de recherche que l'ouvrage s'inscrit, avec l'édition revue et augmentée de différents
travaux scientifiques (Desclés, 1980, 1990). La notion d'opérateur est présentée dans
cette première partie à travers des notions telles que la variable, la fonction, la
structure opérateur-opérande et la distinction entre l'opérateur et l'opération. De
même que l'engagement ontologique de Quine avec la variable liée, cette mise en place
revient à celle de différents niveaux d'opératoire permettant de penser les opérateurs,
les fonctions, les calculs et leurs domaines d'application, à travers des niveaux
d'abstraction et de représentations sémantiques et cognitives. ** Concepts et schèmes
analysés par la logique combinatoire Dans le cadre théorique proposé, et à l'aide
des concepts préalablement construits (vol. II *), la seconde partie met en place
une logique intégrant des quantificateurs, des propriétés, des concepts, l'intension
et l'essence. La logique combinatoire (LC), dès lors illative, puis logique de l'objet,
appliquée avec de nombreux exemples ou calculs, analyse et interroge ces concepts.
Ces derniers permettent d'aborder ceux de l'informatique, de la linguistique, de la
philosophie, des sciences cognitives, comme autant de domaines d'application de la
logique combinatoire synthé [source éditeur]