Lógica formal e teoria da ciência contemporânea