|
so:text
|
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. (it) |
