ISSN : 2269-5990

mardi 3 mai 2011

François Rivenc, Introduction à la logique

François Rivenc
Introduction à la logique 
Préface de Jacques Bouveresse
Collection : Petite Bibliothèque Payot | Numéro : 14
Payot 


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 1" 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.
"Dire que je recommande chaleureusement cet ouvrage serait rester nettement en dessous de la vérité. Il est l'œuvre d'un enseignant de logique qui a été formé à la meilleure école et possède les meilleures références, dont les connaissances techniques sont irréprochables et le jugement tout à fait sûr, et que des années d'expérience de l'enseignement de la logique à des étudiants de philosophie rendaient particulièrement compétent pour cette tâche difficile entre toutes : rendre la logique contemporaine accessible à un public de non-spécialistes. Le résultat est d'une qualité exceptionnelle et constitue une réussite remarquable." (Jacques Bouveresse)

François Rivenc, ancien élève de l'ENS-Ulm, agrégé de philosophie,
professeur Université Paris 1

Aucun commentaire:

Enregistrer un commentaire