Logique et mathématique

✍ Scribed by Gérard Potdevin

• Publisher: Quintette
• Year: 1990
• Tongue: French
• Leaves: 66
• Series: Philosopher 15
• Category: Library

✦ Synopsis

Conçue pour les lycéens, les étudiants préparant le DEUG ou les concours des grandes Ecoles, la collection “Philosopher” s’organise autour des grandes notions du programme de philosophie des classes terminales. “La fonction de penser ne se délègue point” disait Alain. Si philosopher c’est s’interroger sur le sens des mots et des choses, cette collection est une invitation à l’effort de chacun pour penser par soi-même. A la fois essai et cours rédigé, chaque titre est un auxiliaire précieux pour l’exercice difficile de la dissertation.

✦ Table of Contents

Couverture
Page de titre
Copyright d'origine
INTRODUCTION
I. QU’EST-CE QUI FONDE LA CERTITUDE MATHÉMATIQUE ?
La rigueur déductive
L’évidence intuitive
II. LA SÉPARATION DE L’INTUITIF ET DU LOGIQUE
Vérité mathématique et exigence formelle
Le formalisme leibnizien
Les géométries non euclidiennes
Conséquences et problèmes
Les axiomatiques
III. QU’EST-CE QUE LA LOGIQUE FORMELLE ?
La théorie de l’inférence valide
Niveaux du langage et formalisation
IV. LA CRISE DES FONDEMENTS
Les antinomies
Les réponses à la crise
Les limites à la formalisation
Interprétation et problèmes
Démonstration et ontologie
CONCLUSION
BIBLIOGRAPHIE
Pour une saisie des problèmes essentiels, des lectures indispensables :
Pour approfondir :
Table des matières
Quatrième de couverture