Show description

Zermelo proposa une telle axiomatisation, qui fut améliorée par Fraenkel. Cette axiomatisation permet de formuler la théorie des ensembles nécessaire à la majeure partie de l’analyse classique tout en évitant l’apparition de paradoxes, dans la mesure où aucun n’a encore été découvert. On n’a cependant aucune preuve de consistance de la théorie axiomatique des ensembles. La théorie des types développée par Russell représentait également une solution au problème posé par l’émergence des paradoxes.

Ces passages mènent Reichenbach à formuler quelques pages plus loin la distinction devenue célèbre entre le contexte de la découverte et le contexte de la justification, et à camper l’épistémologie dans le contexte exclusif de la justification. Le modèle empiriste du système de la connaissance trouve donc sa source dans l’entreprise carnapienne de l’Aufbau d’exhiber un système général de constitution des concepts scientifiques. Plusieurs études sont récemment parues qui ont mis en question l’interprétation reçue de l’Aufbau due à Nelson Goodman et à W.

Rudolf Carnap 39 La règle [RS]* affaiblit suffisamment [RS] pour que l’ensemble P préserve les interprétations préalables des termes descriptifs de Lo (ce résultat est direct). L’interprétation des termes théoriques ne vaut que lorsqu’elle est licite du point de vue empirique. Ceci est en accord avec le précepte empiriste de base qui dit que si une théorie T doit être considérée comme empirique, il vaut mieux considérer comme non interprété tout terme descriptif de T qui n’est pas interprété empiriquement.