Spieghiamo cos'è una tautologia nella logica e ti mostriamo degli esempi. Inoltre, cosa sono la contraddizione e la contingenza.
Che cos'è una tautologia?
Nelle discipline di logica e il retorica, il termine tautologia è usato per riferirsi a quelle affermazioni autoevidenti, ovvie o ridondanti, cioè vere da ogni possibile interpretazione, poiché si spiegano e si affermano. Quindi, una tautologia è a discussione fallace, invalido, vuoto.
Questo termine deriva dalle voci greche tauto ("Lo stesso") e loghi ("Parola" o "sapere"), e la sua formulazione logica spesso consiste in A = A, cioè come qualcosa che è identico a se stesso, e quindi in realtà non propone nulla. Ciò si verifica generalmente in proposizioni che includono il conclusione nelle sue premesse, come "è quello che è" o "l'ho visto con i miei occhi". Nella retorica, i pleonasmi sono casi di tautologia.
Il modo logico più semplice per scoprire una tautologia è attraverso la formulazione di tavole di verità: quei casi che sono veri indipendentemente dai valori espressi, saranno necessariamente tautologici.
Esempi di tautologia
Le seguenti affermazioni sono esempi di tautologia:
- Un uomo è un uomo.
- Ho corso la distanza con i miei piedi.
- Tutto ciò che è di più è avanzato.
- Le cose sono crollate.
- Sono salito sulla scala.
- Il freddo è causato dall'abbassamento della temperatura.
E in termini logici, un esempio di tautologia è l'espressione: (p ^ q) → p, la cui tavola di verità sarebbe la seguente:
| P | che cosa | p^q | (p^q) → p |
| V | V | V | V |
| V | F | F | V |
| F | V | F | V |
| F | F | F | V |
Contraddizione e contingenza
Oltre alla tautologia, nella logica si parla spesso di contraddizione e contingenza, come segue:
- Contraddizione. Contrariamente alle tautologie, che sono vere in ogni possibile formulazione, le contraddizioni sono false indipendentemente dai valori delle loro premesse, poiché nella loro struttura argomentativa viene negata la conclusione da ottenere. Un esempio di ciò potrebbe essere l'affermazione "siamo caduti in alto", o l'affermazione logica p ^ p 'quando p non è mai uguale a p'.
- Contingenza. In questo caso si tratta di formule il cui valore vero o falso non dipenderà dal valore delle sue premesse, quindi non sarà né vero né falso. O che è lo stesso: una contingenza è un'affermazione che è vera in almeno un mondo possibile e falsa in un altro, in modo che dipenderà sempre dal caso. Un esempio espresso in termini logici è la seguente affermazione:
(p ↔ q) v [(p → q) ^ (q → p)].