Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Theory of Effective Propositional Paraconsistent Logics
Contenu du livre :
La propriété la plus contre-intuitive de la logique classique (ainsi que de sa rivale la plus célèbre, la logique intuitionniste) est peut-être le fait qu'elle permet de déduire n'importe quelle proposition à partir d'une seule paire d'énoncés contradictoires. De nombreux travaux et efforts ont été consacrés au fil des ans à la mise au point d'alternatives à la logique classique qui ne présentent pas cet inconvénient. Ces alternatives sont aujourd'hui appelées "systèmes paraconsistants", et le domaine de recherche correspondant --- le raisonnement paraconsistant.
Le but de ce livre est de fournir une présentation méthodologique complète de la riche théorie mathématique qui existe aujourd'hui concernant les systèmes paraconsistants.
Partie fondamentale du raisonnement paraconsistant : les logiques propositionnelles (monotones). Parmi ces logiques, il se concentre principalement sur celles qui sont efficaces.
(dans le sens où elles sont décidables, ont une sémantique concrète, et peuvent être équipées de systèmes de preuves analytiques implémentables).
La première partie du livre définit en termes précis toutes les notions de base liées à la paraconsistance, après avoir passé en revue tous les préliminaires nécessaires. Les autres parties décrivent en détail toutes les principales approches du sujet. Cela inclut la sémantique à valeurs finies (à la fois fonctionnelle de vérité et non déterministe)
Logique de l'incohérence formelle.
Logiques pertinentes.
Les logiques paraconsistantes constructives qui sont basées sur la logique intuitionniste positive.
Et les logiques paraconsistantes qui sont basées sur les logiques modales. Le livre couvre des milliers de logiques paraconsistantes, chacune d'entre elles étant étudiée à la fois d'un point de vue sémantique et d'un point de vue de la preuve.
Théoriquement, ces logiques sont étudiées d'un point de vue sémantique et d'un point de vue de preuve. En outre, la plupart de ces logiques sont caractérisées en termes de propriétés de minimalité ou de maximalité qu'elles peuvent avoir.
Autres informations sur le livre :
| ISBN : | 9781848902701 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
