
„Chiamiamo "vera" un'asserzione se essa coincide con i fatti o corrisponde ai fatti o se le cose sono tali quali l'asserzione le presenta; e il concetto cosiddetto assoluto o oggettivo della verità, che ognuno di noi continuamente usa. Uno dei più importanti risultati della logica moderna consiste nell'aver riabilitato con pieno successo questo concetto assoluto di verità. […] Vorrei indicare nella riabilitazione del concetto di verità da parte del logico e matematico Alfred Tarski il risultato filosoficamente più importante della logica matematica moderna.»“
— Karl Raimund Popper filosofo austriaco 1902 - 1994
da Sulla logica delle scienze sociali, in AA. VV., Dialettica e positivismo in sociologia, Einaudi, Torino, 1972