Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Symbolic Logic
Contenu du livre :
Ce livre propose une introduction complète aux éléments essentiels de la logique symbolique standard (classique). Les principaux sujets abordés sont les suivants :
- La nature caractéristique et la portée de la logique en tant que discipline.
- La construction d'une série de langages formels nommés distinctement et adaptés à la traduction formelle.
- Les modèles sémantiques.
- La construction de procédures de décision.
- L'exécution d'arrangements de théorie de la preuve comme la déduction naturelle et les systèmes de séquence de preuve.
Le livre couvre à la fois la sémantique et la théorie de la preuve de la logique sententielle (propositionnelle) standard et de la logique des prédicats (premier ordre). Parmi les autres sujets abordés, citons : les arbres d'analyse, l'extraction de notations alternatives (par exemple, la notation polonaise), la théorie de la preuve à la Fitch, les systèmes de preuve séquentielle et "arborescente", les comparaisons et les contrastes avec la logique intuitionniste, et les présentations de modèles de logique des prédicats. Un chapitre auxiliaire sur les éléments de la théorie des ensembles est judicieusement placé à la fin et comprend des aperçus de la systématisation Zermelo-Fraenkel de la théorie des ensembles. La philosophie de la logique est également explorée.
Des exercices dans le texte fournissent des instructions sur l'induction mathématique pour la construction de formules, des tests pour la bonne forme de la notation polonaise, et la complétude fonctionnelle.
La logique symbolique est une lecture essentielle pour tous les étudiants en philosophie qui suivent des cours de logique formelle de niveau intermédiaire et intéressera également les étudiants assidus de première année de logique. Le texte est truffé d'exercices sur les mécanismes formels et les aspects philosophiques de la logique.
Autres informations sur le livre :
| ISBN : | 9783030673956 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2022 |
| Nombre de pages : | 492 |
Achat:
Actuellement disponible, en stock.
