Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
Empirismo lógico
Si bien los empiristas lógicos intentaron ofrecer una visión de la ciencia que abarca principalmente sus aspectos gnoseológicos y metodológicos, tal vez su tesis más conocida es el verificacionismo, la cual sostiene que un enunciado es cognitivamente significativo, solo si posee un método de verificación empírica (empirismo) o es analítico (logicismo). Solo los enunciados de la ciencia empírica cumplen con el primer requisito, y solo los enunciados de la lógica y las matemáticas cumplen con el segundo. Los enunciados típicamente filosóficos o teológicos no cumplen con ninguno de los dos requisitos, así que la filosofía, como tal, debe pasar de ser un supuesto cuerpo de proposiciones a un método de análisis lógico de los enunciados de la ciencia.