Titre original :
Propositional Logics Third Edition
Contenu du livre :
Logique propositionnelle présente l'histoire, la philosophie et les mathématiques des principaux systèmes de logique propositionnelle. La logique classique, la logique modale, la logique à plusieurs valeurs, l'intuitionnisme, la logique paraconsistante et l'implication dépendante sont examinées dans des chapitres distincts.
Chacun commence par une motivation dans les termes mêmes des auteurs, suivie de la sémantique formelle standard, de la syntaxe et du théorème de complétude. Les chapitres sur les différentes logiques sont largement autonomes, de sorte que le livre peut être utilisé comme référence. Un appendice résume la sémantique formelle et les axiomatisations des logiques.
Le point de vue qui unifie l'exposé est que les logiques propositionnelles constituent un spectre. La logique varie en fonction de l'aspect des propositions considérées.
Il est démontré que chaque logique s'inscrit naturellement dans un cadre général de sémantique. Une théorie des traductions entre logiques est présentée pour permettre d'autres comparaisons, et des conditions nécessaires sont données pour qu'une traduction préserve le sens.
Pour cette troisième édition, le matériel a été réorganisé pour rendre le texte plus facile à étudier, et une nouvelle section sur les logiques paraconsistantes avec une sémantique simple a été ajoutée, qui remet en question les points de vue habituels sur la nature des relations de conséquence. Le texte comprend des exemples travaillés et des centaines d'exercices, allant des problèmes de routine aux problèmes ouverts, ce qui fait de ce livre, avec son exposé clair et soigné, un outil idéal pour les cours ou l'étude individuelle.
Autres informations sur le livre :
| ISBN : | 9780983452164 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
Achat:
Actuellement disponible, en stock.
