AH... LA TAUTOLOGIA...
In logica, una tautologia è un'affermazione vera per definizione, quindi fondamentalmente priva di valore informativo. Le tautologia logiche ragionano circolarmente attorno agli argomenti o alle affermazioni.
Una tautologia logica è una affermazione vera per qualsiasi valore di verità degli elementi che la compongono. Per esempio, l'affermazione "Tutti i corvi sono neri, oppure non lo sono", è una tautologia, perché è vera indipendentemente dal colore dei corvi. Un ironico ma ben chiaro esempio è la seguente definizione: tautologia è "ciò che è tautologico". (La quale definizione, evidentemente, è tautologica).
L'opposto della tautologia è la contraddizione, un'affermazione che è sempre falsa per qualsiasi valore delle sue componenti.
Le tautologie sono spesso utilizzate per introdurre in un discorso un particolare tipo di fallacia, la cosiddetta aringa rossa, ma le due fattispecie non sono equivalenti.
Le tautologie son poste alla base di ogni conoscenza matematica poiché son lo strumento fondamentale per la dimostrazione dei teoremi. Infatti ogni dimostrazione cerca di ricondurre il teorema a una tautologia per dimostrarne la verità o a una contraddizione per dimostrarne la falsità. Pure lo stesso procedimento di dimostrazione trova il suo fondamento nelle tautologie e nelle contraddizioni, ad esempio il modus ponens aristotelico (se l'ipotesi è vera e l'ipotesi implica la tesi allora la tesi è vera) giustifica la dimostrazione per ipotesi cartesiane
L'opposto della tautologia è la contraddizione, un'affermazione che è sempre falsa per qualsiasi valore delle sue componenti.
Le tautologie sono spesso utilizzate per introdurre in un discorso un particolare tipo di fallacia, la cosiddetta aringa rossa, ma le due fattispecie non sono equivalenti.
Le tautologie son poste alla base di ogni conoscenza matematica poiché son lo strumento fondamentale per la dimostrazione dei teoremi. Infatti ogni dimostrazione cerca di ricondurre il teorema a una tautologia per dimostrarne la verità o a una contraddizione per dimostrarne la falsità. Pure lo stesso procedimento di dimostrazione trova il suo fondamento nelle tautologie e nelle contraddizioni, ad esempio il modus ponens aristotelico (se l'ipotesi è vera e l'ipotesi implica la tesi allora la tesi è vera) giustifica la dimostrazione per ipotesi cartesiane
Nessun commento:
Posta un commento