Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Proof-theoretic Semantics
Contenu du livre :
Ce livre est une monographie sur le thème de la sémantique de la théorie de la preuve, une théorie de la signification qui constitue une alternative à la sémantique plus traditionnelle de la théorie des modèles. Cette dernière considère le sens comme des conditions de vérité (dans des modèles arbitraires), tandis que la première considère le sens comme des conditions de dérivabilité canonique dans un système de preuve par déduction naturelle qui confirme le sens.
La première partie du livre présente la sémantique de la théorie de la preuve pour la logique. Elle étudie la manière dont un système de déduction naturelle peut servir à confirmer le sens, et analyse en particulier les différents critères qu'un tel système doit remplir pour être considéré comme confirmant le sens. Un critère central est l'harmonie, un équilibre entre les règles d'introduction et les règles d'élimination.
La théorie est appliquée à diverses logiques, par exemple la logique de pertinence, et à divers systèmes de preuve tels que la déduction naturelle multi-conclusion et le bilatéralisme. La présentation s'inspire de travaux récents de l'auteur et passe également en revue les développements récents. Dans la deuxième partie, la théorie est appliquée à des fragments de langage naturel, à la fois extensionnels et intensionnels, un développement basé sur les travaux récents de l'auteur.
Par exemple, la conservativité des déterminants, une fois établie dans un cadre de théorie de la preuve, devient une propriété prouvable de tous les déterminants (réguliers). Il est démontré que la signification n'a pas besoin de supporter la lourde charge ontologique caractéristique de la sémantique de la théorie des modèles pour les constructions complexes du langage naturel. Nissim Francez est professeur émérite d'informatique au Technion, l'Institut israélien de technologie.
À un certain moment de sa carrière, il est passé de la recherche liée à la programmation concurrente et distribuée et à la vérification de programmes à la recherche en linguistique informatique, principalement la sémantique formelle du langage naturel. Ces dernières années, il a travaillé sur la sémantique de la théorie des preuves, en particulier pour le langage naturel.
Autres informations sur le livre :
| ISBN : | 9781848901834 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
