Je voudrais commencer à étudier la logique par moi-même. Le problème: avec la quantité de livres disponibles, je nai aucune idée de comment distinguer les bons des mauvais. Veuillez me suggérer quelques bons livres.
Commentaires
- Si cette question nest ' supprimée / closed / etc .: consultez les & Etchemendy ' Langue, preuve et logique de Barwise. Il ' est écrit très clairement, il est ' interactif (il est livré avec trois logiciels merveilleux), et dans sa troisième partie, il présente de brèves introductions à des sujets intermédiaires importants tels que la théorie des ensembles axiomatiques, le principe de résolution, les résultats " métalogiques " limitatifs, etc. recommande-le comme premier manuel.
- La logique est un sujet très vaste. Certaines personnes létudient pour faciliter leur raisonnement. Certains étudient la logique mathématique. Moi-même, je létudie du point de vue de son application au langage. Je ' suis sûr quil y a des aspects de la logique que je ne ' pas connaître. En bref, " logic " est une vaste collection de sujets. Que voulez-vous apprendre exactement, et pourquoi?
- Je ' m’intéresse pour le côté mathématique!
- Je pense que le cours, coursera.org/course/intrologic , est un très bon moyen de commencer avec la logique mathématique.
- Possibilité de duplication de Où est un bon endroit pour commencer à lire sur la logique?
Réponse
Téléchargez le guide de lecture sur les livres de logique à partir de http://www.logicmatters.net/students/tyl/
§2.2 donne quelques recommandations pour les débutants.
Le reste du Guide donne des conseils détaillés sur la lecture.
Réponse
Puis-je humblement suggérer mon logiciel de preuve gratuit et axé sur les mathématiques et le tutoriel qui laccompagne avec des exemples concrets et des exercices, chacun avec des conseils et des solutions complètes. Visitez mon site Web à ladresse pour une démonstration vidéo.
Réponse
Sauf ces livres déjà examinés ici , je reproduis quelques suggestions de Reddit: rechercher « livre » , recherchez « manuel » comme suit (mais jomets les guillemets pour faciliter la lecture):
Message du 17/11/2011:
Logic: An Introduction , par Greg Restall
[…] Cest « un grand livre, mais truffé derreurs. Heureusement, la plupart dentre eux sont sur son site Web .
Logical Labyrinths de Raymond Smullyan servirait dintroduction amicale au sujet. Smullyan déploie fréquemment son célèbres puzzles de logique tout au long du texte pour enseigner une variété de leçons. Et un mot davertissement: convivial ne veut pas dire facile! Smullyan poussera vos boutons et vous fera réfléchir profondément à des concepts délicats. Celui-ci est très gratifiant et est fortement recommandé.
Le pouvoir de la logique par Howard-Snyder, Howard -Snyder et Wasserman […]
Au fait, voici une excellente ressource en ligne qui pourrait vous être utile.
Lire que (pdf) pour les références. Lisez CL Hamblin « s " fallacies ", et les trucs de Doug Walton.
Message envoyé le 2014/6/5:
Virginia Klenk « s Comprendre la logique symbolique
Message envoyé le 28/09/2014:
Hausman « s Logic et philosophie
Pour obtenir un livre gratuit, avec des réponses aux exercices en ligne, essayez A Modern Formal Logic Primer de Paul Teller: http://tellerprimer.ucdavis.edu
Pour un livre récent avec des couverture, et des vertus similaires de clarté, Logic: The Laws of Truth par Nicholas JJ Smith (qui a obtenu des réponses aux exercices en ligne).
Plus court et même plus clair, peut-être, est An Introduction to Formal Logic de Peter Smith (qui a également obtenu des réponses à des exercices en ligne). Particulièrement bon pour la traduction dans et hors de la notation quantifiée dont les débutants peuvent trouver un point de friction.
Logique , par Paul Tomassi
Publié le 11/07/2015:
Jai commencé par la logique en comprenant les concepts philosophiques de base. Je recommanderais donc dabord la logique philosophique
Message du 06/10/2015:
Les bases de la logique symbolique par RL Simpson.
Message le 2015/12/3:
Jai pris une introduction à la classe de logique à lécole, nous avons utilisé The Logic Book (6e éd.) de Bergmann, Moor et Nelson. La plupart de lapprentissage a été fait à partir du manuel; les conférences étaient principalement destinées à poser des questions et résoudre les problèmes de pratique les plus difficiles. Si je me souviens bien, le texte était assez cher mais incroyablement utile. Le manuel de la solution est en ligne, et je parie que vous pourriez trouver le texte lui-même en ligne aussi avec un peu de travail. Je le recommande vivement.
Essayez le livre de Nelson Lande, La logique classique et ses trous de lapin . Il est très accessible, voire amusant. Il existe également des solutions à de nombreux problèmes en ligne.
An Introduction to Mathematical Logic (Dover Books on Mathematics) par Richard E. Hodel
Introduction à la logique: et à la méthodologie des sciences déductives par Alfred Tarski