Avis des lecteurs
Résumé:Ce livre est considéré comme un classique de la logique symbolique, loué pour sa profondeur et l'intégration de divers sujets connexes. Cependant, il est considéré comme difficile, en particulier pour ceux qui n'ont pas de solides connaissances en mathématiques.
Avantages:⬤ Présentation solide de la logique symbolique
⬤ couvre de nombreux sujets connexes avec clarté
⬤ considéré comme un classique et une contribution significative à la philosophie
⬤ utile pour comprendre les concepts plus profonds de la logique
⬤ traitement complet des théories axiomatiques.
⬤ Difficile à comprendre pour les non-mathématiciens
⬤ certains le trouvent pédant et dépassé
⬤ manque de couverture de certaines méthodes modernes en logique
⬤ n'inclut pas d'applications pratiques comme la déduction naturelle ou la récursion.
(basé sur 8 avis de lecteurs)
Titre original :
Introduction to Symbolic Logic and Its Applications
Contenu du livre :
Ce livre est l'une des introductions les plus claires, les plus complètes et les plus rigoureuses à la logique symbolique moderne disponible dans n'importe quelle langue. Le professeur Carnap, autorité mondiale en matière de logique symbolique, développe le sujet à partir de concepts élémentaires et d'exercices simples jusqu'à la construction et l'analyse d'un certain nombre de langages logiques relativement complexes.
Il examine ensuite en détail l'application de la logique symbolique à la clarification et à l'axiomatisation de diverses théories en mathématiques, en physique et en biologie. Des sujets tels que la nature et l'utilisation des constantes et des variables, les prédicats, les connecteurs sentenciels, les tables de vérité, les phrases universelles et existentielles, les définitions, l'identité, l'isomorphisme, les systèmes syntaxiques et sémantiques et les relations entre eux, le système des types, les variétés de relations, l'ordre linéaire, les opérateurs spéciaux, les structures et les relations, etc, l'ordre linéaire, les opérateurs spéciaux, les structures et les nombres cardinaux, les descriptions, les concepts finis et infinis, la continuité, les langages de choses, les langages de coordonnées, les systèmes d'axiomes pour la théorie des ensembles, l'arithmétique, la géométrie, la topologie de l'espace-temps, les concepts biologiques, et bien d'autres sujets encore, sont traités en détail.
La logique des relations fait l'objet d'un traitement particulièrement approfondi. Des centaines de problèmes, d'exemples et d'exercices sont inclus pour permettre aux étudiants de s'exercer aux techniques de la logique symbolique et à leur utilisation.
Autres informations sur le livre :
| ISBN : | 9780486604534 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
