Titre original :
Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Contenu du livre :
La théorie des conséquences logiques est au cœur de la logique moderne et de ses applications. Cependant, elle est surtout dispersée dans une abondance d'articles souvent difficiles d'accès, et rarement traitée dans une optique d'application.
Ce livre rassemble les aspects les plus fondamentaux de cette théorie et offre au lecteur les bases de ses applications en informatique, en intelligence artificielle et en sciences cognitives, pour ne citer que les domaines les plus importants où cette notion trouve ses nombreuses applications. Les conséquences déductives et non déductives sont toutes deux abordées. Le point de départ est la conséquence déductive classique : la logique classique est le système de référence, et les systèmes déductifs non classiques sont considérés comme des extensions, des déviations ou des variations de cette logique.
La discussion sur les conséquences déductives non classiques se concentre sur les conséquences logiques multivaluées, intuitionnistes, modales, paraconsistantes et substructurales. Le sujet des conséquences non déductives est développé du point de vue des logiques abductive, inductive et probabiliste.
Dans l'ensemble, les principaux (classes de) systèmes logiques contemporains sont abordés ici. L'approche est essentiellement mathématique et le contexte mathématique, principalement fondé sur les relations d'ordre, est traité de manière approfondie et accessible aux non-mathématiciens.
Autres informations sur le livre :
| ISBN : | 9781848902367 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
