Note :
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Language, Form, and Logic: In Pursuit of Natural Logic's Holy Grail
Ce livre reprend une idée explorée pour la première fois par les logiciens médiévaux il y a 800 ans et la revisite avec les outils de la linguistique, de la logique et de l'informatique contemporaines. L'idée - le Saint Graal des logiciens médiévaux - était que toute la logique pouvait être réduite à deux règles très simples qui sont sensibles à la polarité logique (par exemple, la présence et l'absence de négations).
Ludlow et Zivanovic poursuivent cette idée et montrent qu'elle a des conséquences profondes sur notre compréhension de la nature des capacités inférentielles humaines. Ils montrent également ses conséquences sur certaines des questions les plus profondes de la linguistique contemporaine, y compris la nature de la quantification, les énigmes concernant l'anaphore du discours et la pragmatique, et même des idées sur la source de la notion de sujet dans le langage naturel. La clé de leur entreprise est une relation formelle qu'ils appellent p-scope - une relation sensible à la polarité qui contrôle les opérations qui peuvent être effectuées dans leur système déductif dynamique. Ils montrent qu'avec p-scope en jeu, les déductions peuvent être effectuées en utilisant des opérations sublogiques comme celles qu'ils appellent COPY et PRUNE - des opérations qui sont de simples opérations syntaxiques sur les phrases. Ils prouvent que le système déductif qui en résulte est complet et solide.
Le résultat est une magnifique tapisserie formelle dans laquelle p-scope déverrouille d'importantes propriétés du langage naturel, notamment la propriété de restriction, dont ils prouvent qu'elle est équivalente à la notion sémantique de conservativité. De plus, ils montrent que la restriction est également une clé pour comprendre la quantification et l'anaphore du discours, ainsi que de nombreux autres phénomènes linguistiques.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)