Accueil
| Titre : | Introduction à la logique |
| Auteurs : | François Rivenc, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Payot, 1989 |
| Collection : | Petite Bibliothèque Payot, num. 14 |
| ISBN/ISSN/EAN : | 978-2-228-88204-0 |
| Format : | 272 p. |
| Langues: | Français |
| Index. décimale : | QU/C (Branches de la philosophie : épistémologie, esthétique, logique, métaphysique, morale/éthique, philos. de la religion) |
| Résumé : |
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 pour 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 preuve 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. |
| Note de contenu : |
- Préface (Jacques Bouveresse) - Introduction PREMIÈRE PARTIE : Calcul des énoncés - I. Le langage pour le calcul des énoncés : I.1 Remarques introductives / I.2 Le langage Lp / I.3 Le Théorème de non-ambiguïté / I.4 Quelques compléments syntaxiques - II. Tautologies, la relation de conséquence (tauto)logique : II.1 Une sémantique pour le langage Lp / II.2 Tautologies et schémas de tautologies / II.3 La notion de conséquence (tauto)logique - III. L’équivalence (tauto)logique : III.l Le Théorème de remplacement / III.2 La complétude fonctionnelle - IV : Applications aux arguments en langage ordinaire : IV.1 Remarques préliminaires / IV.2 Analyse d’exemples - Annexe : La méthode des arbres de vérité (du point de vue sémantique) DEUXIÈME PARTIE : Logique du premier ordre - V. Langages du premier ordre : V.l Traduction et paraphrase / V.2 Langages du premier ordre, morphologie / V.3 Variables libres et liées, substitution - VI. Vérité et modèles : la notion de conséquence logique, la validité : VI.1 Satisfaction et vérité / VI.2 Validité et conséquence logique - VII. Un système formel pour le calcul de la déduction : VII.1 La notion de preuve formelle / VII.2 Le Théorème de complétude - VIII. La méthode des tableaux analytiques (ou : arbres de vérité) : VIII.1 Préliminaires sur les arbres / VIII.2 Un exemple de tableau analytique / VIII.3 Méthode des tableaux systématiques / VIII.4 Consistance (ou fiabilité) de la méthode des tableaux / VIII.5 La complétude de la méthode / VIII.6 La satisfiabilité - Annexe : Notions élémentaires sur les ensembles - Liste des principaux symboles - Index des principaux ouvrages et articles cités |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| QU/C Log 004 | QU/C Log 004 | Livre | Compactus | Livres empruntables | Prêt possible Disponible |
