Introduction à la logique

François Rivenc

272 pages, parution le 01/07/1996

Ajouter à une liste

Indisponible

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.

Sommaire

Préface

Introduction

Calcul des enoncés

Le langage pour le calcul des énoncés
Tautologie, la relation de conséquence (tauto)logique
Applications aux arguments en langage ordinaire

Logioque du premier ordre

Langages du premier ordre
Vérité et modèle
Un système formel pour le calcul de la déduction
La méthode des tableaux analytiques
Annexe : notions élémentaires sur les ensembles
Liste des principaux symboles
index des principaux ouvrages et articles cités

L'auteur - François Rivenc

F. Rivenc, ancien élève de l'ENS-Ulm, agrégé de philosophie, est actuellement Maître de conférences à l'université de Paris-I (Panthéon-Sorbonne).

Autres livres de François Rivenc

Essai sur les logiques temporelles de prior

Découvrir tous les livres de François Rivenc

Caractéristiques techniques

	PAPIER
Éditeur(s)	Payot et Rivages
Auteur(s)	François Rivenc
Parution	01/07/1996
Nb. de pages	272
Format	12,5 x 19
Couverture	Broché
Poids	271g
Intérieur	Noir et Blanc
EAN13	9782228882040