Su obra principal fue "Lenguaje, verdad y lógica", editada en 1936, y en ella defendió las tesis capitales del positivismo o empirismo lógicos, en particular la doctrina estricta de la verificación, la separación completa entre enunciados lógicos (tautológicos) y enunciados empíricos, la imposibilidad de la metafísica por constituir un conjunto de pseudoproposiciones, es decir, de enunciados que no pueden ser ni verificados empíricamente ni incluidos dentro del cálculo lógico y, finalmente, la necesidad de reducir la filosofía al análisis.