L’articolo affronta il tema dei sistemi formali da prospettive diverse, esplorando alcune suggestive analogie con lo zen. Dopo aver illustrato cos’è una tautologia, vengono presentati alcuni esempi di [...] sistemi formali, come il sistema formale per il calcolo delle proposizioni e il sistema MIU. Quest’ultimo è stato ideato da Hofstadter a fini divulgativi. Si propone al lettore un “semplice” esercizio ...
Leggi Tutto
tautologia
tautologìa s. f. [dal gr. ταὐτολογία, comp. di ταὐτο- «tauto-» e -λογία «-logia»]. – 1. a. Nella logica formale classica, termine usato per qualificare negativamente ogni proposizione la quale, proponendosi di definire qualcosa,...
tautologico
tautològico agg. [der. di tautologia] (pl. m. -ci). – Di tautologia, che ha carattere di tautologia, o costituisce una tautologia: proposizione, definizione t.; formazione toponomastica t. (per es., Linguaglossa); denominazione...
tautologia Nella logica formale classica, proposizione che, proponendosi di definire qualcosa, non fa sostanzialmente che ripetere nel predicato ciò che già è detto nel soggetto.
In logica matematica si chiama t. (o verità logica) ogni espressione...
tautologia
Francesco Tateo
Figura retorica, che Cicerone, seguito da Quintiliano, designava come " commoratio una in re ", e che Isidoro spiegava come " idemloquium ", ossia ripetizione di un medesimo concetto in più parole e frasi equivalenti....