Rudolf Carnap se ha dedicado especialmente a la lógica formal y su aplicación a los problemas de epistemología y filosofía de la ciencia en sus obras capitales.