Introduction à la logique

Bon état général

Format poche.

Préface de Jacques Bouveresse.

Aucun étudiant en philosophie - et plus généralement en Sciences humaines, surtout si l'on pense au développement à venir des Sciences cognitives -, ne peut aujourd'hui ignorer les rudiments techniques et les fondements philosophiques de la logique mathématique. Ce manuel est conçu pour répondre à cette attente. Il couvre approximativement le contenu d'un cours de logique en première et deuxième année de DEUG, et constitue éventuellement une introduction à des développements plus approfondis de la licence.

Ne présupposant aucune connaissance spéciale en mathématiques, ce livre introduit le lecteur à une approche sémantique du Calcul des énoncés, non sans avoir consacré une attention relativement importante aux questions formelles concernant le langage utilisé. Dans une deuxième partie, les ressources des langages du 1er Ordre sont exposées et expliquées, à partir du langage ordinaire, puis le Calcul des prédicats est présenté suivant les deux approches, dites respectivement sémantique et syntaxique. Le livre s'achève sur des preuves de complétude pour deux systèmes formels qui constituent autant de procédures de preuves pour la validité - selon la méthode axiomatique, selon la méthode des arbres de vérité.

Des compléments et aperçus historiques et philosophiques permettent au lecteur d'intégrer la maîtrise technique qu'il aura acquise au fil des Exercices dans une vision philosophiquement claire de la logique.

Table des matières

Calcul des énoncés

Le langage pour le calcul des énoncés

Tautologies, la relation de conséquence (tauto)logique

L'équivalence (tauto)logique

Applications aux arguments en langage ordinaire

Logique du premier ordre

Langage du premier ordre

Vérité et modèles : la notion de conséquence logique, la validité

Un système formel pour le calcul de la déduction

La méthode des tableaux analytiques (ou : arbres de vérité)

Annexe - Notions élémentaires sur les ensembles

Liste des principaux symboles

Index des principaux ouvrages et articles cités

Payot, 1993, 284 p.