Note :
Les « Méthodes de logique » de Quine sont considérées comme un texte fondamental pour l'apprentissage de la logique du premier ordre, loué pour sa clarté, sa profondeur et son approche systématique. Bien qu'il couvre efficacement les bases et offre des techniques perspicaces pour traduire le langage naturel en forme logique, certains lecteurs le trouvent accablant, complexe et manquant dans certains domaines tels que la logique modale.
Avantages:⬤ Un style d'écriture clair et cohérent ; la prose de Quine est précise et accessible.
⬤ Couverture complète des fonctions de vérité et de la théorie de la quantification.
⬤ Offre des techniques précieuses pour traduire le langage naturel en schémas logiques.
⬤ Les notes historiques et la bibliographie fournissent un contexte et encouragent à poursuivre l'étude.
⬤ Les méthodes de Quine améliorent les compétences logiques et encouragent une pensée rigoureuse.
⬤ La complexité peut submerger les lecteurs, en particulier les débutants.
⬤ L'exclusion de la logique modale et de la logique informelle peut laisser les lecteurs sur leur faim.
⬤ Certains lecteurs ont noté des notations peu orthodoxes et un contexte historique excessif qui pourraient détourner l'attention des sujets principaux.
⬤ Le texte peut être considéré comme aride par certains, manquant de contenu attrayant.
⬤ Il ne convient pas en tant que texte d'introduction autonome pour les débutants absolus ; des connaissances en logique sont utiles.
(basé sur 13 avis de lecteurs)
Methods of Logic: Fourth Edition
Ce manuel de logique formelle moderne, largement utilisé, offre désormais un certain nombre de nouveautés.
Avec des notations mises à jour, des réponses sélectives aux exercices, un traitement élargi de la déduction naturelle et de nouvelles discussions sur la logique des foncteurs de prédicats et les affinités entre la théorie des ensembles supérieurs et la logique élémentaire des termes, la nouvelle édition de Quine servira admirablement à la fois pour la classe et pour l'utilisation indépendante.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)