D’acord amb el neopositivisme o positivisme lògic (segons el qual només és veritable allò que és verificable), són verificables únicament les proposicions sintètiques de natura empírica i les proposicions logicomatemàtiques merament analítiques i tautològiques: les primeres són verificables per mitjà de l’experiència sensible (és a dir, per llur correspondència exacta amb una determinada percepció), i les segones, per mitjà de les regles amb què han estat constituïdes. Qualsevol altra proposició que no es redueixi a aquests dos tipus és inverificable i, doncs, mancada de significació.
m
Lògica