Titre original :
Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic
Contenu du livre :
Ce texte, volume I d'un ouvrage en deux volumes, examine en profondeur la logique propositionnelle standard (également appelée classique).
Il s'agit d'un ouvrage théorique qui vise une présentation philosophiquement exploratoire et techniquement rigoureuse. Des exemples et des exercices détaillés sont utilisés pour faire ressortir les détails techniques, consolider la compréhension et mettre en évidence les énigmes et les défis logico-philosophiques ; grâce à cette caractéristique, le texte peut également être utilisé pour étudier la logique formelle d'une manière rigoureuse.
L'étude de la logique propositionnelle peut récompenser l'étudiant dévoué et patient en dévoilant les mystères techniques de la pensée critique et de la résolution de problèmes, en éclairant les concepts pertinents de l'étude du raisonnement, en montrant comment les puissants outils et méthodes formels fonctionnent dans les applications, et en dévoilant les cryptes de l'analyse logique. Il permet d'affiner les connaissances qui contribuent à la fois à la compréhension du fonctionnement de la logique et à la préparation de futures poursuites dans l'étude du raisonnement formel.
Ce texte englobe certains sujets et mécanismes de décision qui sont généralement absents des textes de logique et qui ne peuvent être explorés qu'en prenant connaissance de parties de plus en plus importantes de la bibliographie existante. Les sujets rarement abordés dans le présent texte comprennent : l'analyse des mondes possibles, l'analyticité et le non-cognitivisme, les études détaillées des relations logiques, les systèmes grammaticaux et informatiques alternatifs, les tables de vérité pour le flux dynamique d'informations et les tables de vérité corrigées, les arbres sémantiques négatifs et positifs, les formes normales et les cartes de Karnaugh, la déduction naturelle intuitionniste, la normalisation et l'harmonie dans les systèmes de théorie de la preuve, et la logique dialogique.
Autres informations sur le livre :
| ISBN : | 9781848902664 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
