Craig (théorème de)

Cet article est extrait de l'ouvrage Larousse « Dictionnaire de la philosophie ».

Logique, Philosophie des Sciences

Théorème du logicien W. Craig sur la définissabilité dans un système formel, qui a des applications en philosophie des sciences.

Craig a montré comment, si nous distinguons au sein du vocabulaire d'un système formel deux sortes de termes, les termes théoriques T et les termes observationnels O, alors s'il y a un système complètement formalisé T avec un ensemble de conséquences ne contenant que des termes O, il y a aussi un système O contenant seulement les termes du vocabulaire O mais suffisamment fort pour produire le même ensemble de conséquences.

Ce théorème logique peut encourager l'idée, chère à l'instrumentalisme et au positivisme en philosophie des sciences, que l'on peut se dispenser des termes théoriques d'une théorie scientifique (comme « électron ») au bénéfice des termes observationnels puisqu'on peut dériver des seconds les mêmes conséquences. Mais, en fait, la procédure de Craig ne donne aucun moyen de se dispenser d'avance des termes théoriques.

Pascal Engel

→ théorie