Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Logics of Proofs and Justifications
Contenu du livre :
Les logiques de justification sont étroitement liées aux logiques modales et peuvent être considérées comme un raffinement de ces dernières avec un mécanisme de manipulation des justifications. Les justifications sont représentées directement dans le langage par des termes, qui peuvent être interprétés comme des preuves formelles dans un système déductif, des preuves de connaissance, une stratégie gagnante dans un jeu, etc. Ce langage plus expressif s'est avéré bénéfique tant en théorie de la preuve qu'en épistémologie et a permis d'étudier des problèmes allant d'une sémantique classique de la prouvabilité pour la logique intuitionniste au problème de l'omniscience logique.
La logique de justification est un domaine nouveau et en évolution rapide qui offre de nouvelles approches inattendues et des aperçus sur des problèmes anciens. Sa position à la jonction des mathématiques, de la philosophie et de l'informatique la rend intéressante pour un large public.
Ce livre fournit une introduction rigoureuse à la logique de justification. Il couvre les constructions de base de la logique de justification ainsi que les modèles épistémiques et la sémantique de la prouvabilité. Il comprend également des chapitres sur la décidabilité et la complexité des logiques de justification ainsi qu'un chapitre sur l'autoréférentialité. Il contient également des remarques historiques détaillées sur le sujet.
Autres informations sur le livre :
| ISBN : | 9781848901681 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
