Pour apprendre la logique.

Annotation :

Une introduction générale à la logique qui permet de poser des bases conceptuelles, des bornes historiques, commencer à s'immerger dans le domaine.

Annotation :

Une introduction plus logique que philosophie ici : ce manuel vous apprendra concrètement à manipuler des systèmes logiques formels. Vous commencerez par la logique propositionnelle, avec l'introduction des connecteurs, de la terminologie, et aurez des exercices. Bon livre. Couvre la logique propositionnelle, logique du premier ordre et logique modale propositionnelle / logique modale du premier ordre.

Annotation :

C'est un texte plus ancien et plus difficilement accessible, qui se concentre aussi sur la logique en tant que système formel. Le symbolisme est un peu désuet, Denis Vernant alterne entre la notation Russell/Peano et la notation usuelle pour le symbole d'implication. Chiant. Mais ce livre permettra de compléter le précédent : faites les exercices.

Annotation :

Commencé en médiathèque : je le place ici puisqu'il ne semble pas particulièrement plus dur que le livre précédent. Vous pouvez en théorie le sauter.

Annotation :

Entrée dans l'aspect plus théorique et philosophique sur la logique : ce bouquin va introduire des questions importantes : démontrabilité, cohérence, théorie de la démonstration, vérité, notions de complétude sémantique, de correction (appelé adéquation dans le bouquin : confusion malheureuse puisque le terme d'adéquation renvoie usuellement à la conjonction de la propriété de complétude sémantique et de correction).
On va interroger les fondements théoriques qui sous-tendent les systèmes formels et briser de nombreux mythes (sur les théorèmes d'incomplétude de Gödel, notamment).

Annotation :

C'est un recueil de papiers écrits par des logiciens célèbres : Tarski, Dummet, Prior, Belnap Kripke...) - on est encore sur de la pure théorie. Permet d'approfondir les notions déjà vues dans le précédent ouvrage et introduire d'autres questions. Bon livre. Vous pouvez le lire avant le Précis de philosophie de la logique et des mathématiques, il est moins cher ; même si vous comprendriez certainement mieux en suivant l'ordre que je conseille.

Annotation :

Un classique vers lequel beaucoup de logiciens modernes retournent. Pour la culture, ça peut être très intéressant. Beaucoup de fondements théoriques repris dans des textes contemporains plus techniques.

Annotation :

Non lu encore.

Annotation :

Non lu encore.

Annotation :

AVANT PROPOS : Je vous conseille de lire d'abord "La logique, pas à pas" de Jacques Duparc. Ce manuel est bien plus accessible et tout aussi technique. Lisez le impérativement avant de passer au Cori-Lascar.
Les deux tomes du manuel de Cori et Lascar est réputé : un must read mais vraiment très technique. Un bon niveau en mathématiques serait idéal pour ne pas être rebuté par le symbolisme : on entre vite dans le concret.

Annotation :

La suite du précédent.