Jean Ladrière propose une distinction renouvelée des sciences par rapport à la classification traditionnelle des sciences, dérivé de Descartes d'une part, ou des positivistes d'autre part.

Attention, ce texte est difficile, mais c'est un véritable petit concentré d'épistémologie

Texte de Ladrière

Mon commentaire

«Dans les sciences formelles, l'entreprise fondationnelle prend une allure strictement formaliste: fonder, c'est axiomatiser et fournir une démonstration de non-contradiction pour le formalisme ainsi constitué.»

Que sont les sciences formelles ?
Il s'agit essentiellement de la logique et des mathématiques.

- Le fondement de la logique et des mathématiques consiste à poser des axiomes
(des propositions non démontrables)
puis à démontrer une hypothèse appuyée sur les axiomes.

- Les axiomes sont des définitions de concepts ou des relations entre concepts.
Par exemple, on définit deux droites parallèles.
Et on pose des règles de logique : la transitivité par exemple.

L'hypothèse est :
Le parallélisme est transitif, c'est-à-dire :
Si une droite D est parallèle à une autre droite D',
elle l'est de toutes les droites parallèles à la droite D'

- Cette démonstration doit suivre les règles imposées par la définition de la transitivité.

Désolé pour les non mathématiciens !
Mais ne vous découragez pas... Cela vaut la peine de continuer

-