Logique et raisonnement scientifique

Logique et raisonnement
scientifique
cours transversal
Collège Doctoral
Pr. Alain Lecomte

Thèmes du cours
La logique au secours de la science?
Y a-t-il un langage de la science?
Y a-t-il une logique de la découverte scientifique?
Une logique inductive?
La logique et les modèles
La logique et les sciences modernes :
–Biologie
–Physique
–Sciences humaines (linguistique…)

La logique au secours de la science?
L’exemple des mathématiques
Paradoxes du début du XXème siècle (même
modèle que le menteur)
Brouwer :
On peut démontrer que ces paradoxes résultent de
la même méprise que l’Epiménide, c’est-à-dire qu’ils
naissent là où la régularité du langage qui
accompagne les mathématiques est étendue à un
discours composé de mots mathématiques que
n’accompagne pas de mathématique

Y a-t-il un langage de la science?
Rudolf Carnap (1891 –
1970)
1928 : Der logische
Aufbau der Welt
Tous les énoncés
scientifiques sont
formulables dans une
« langue logique »
Thèse de la vérifiabilité

Carnap et l’empirisme logique
Distinguer science et métaphysique
Un énoncé est vérifiable si et seulement si chaque
terme non logique qu’il renferme est définissable au
moyen d’un langage « phénoménaliste » très
restreint
Ce langage ne contiendrait que des termes
désignant les réalités immédiatement accessibles
par les sens (sense data)
Critiques de Popper