Vi forklarer, hvad en tautologi er i logik, og vi viser dig eksempler. Også hvad er modsigelse og kontingens.
Hvad er en tautologi?
I disciplinerne af logik og retorik, bruges udtrykket tautologi til at henvise til de selvindlysende, åbenlyse eller overflødige udsagn, det vil sige, som er sande ud fra enhver mulig fortolkning, da de forklarer og bekræfter sig selv. Derfor er en tautologi en argument fejlagtig, ugyldig, tom.
Dette udtryk kommer fra de græske stemmer tauto ("Det samme") og logoer ("Ord" eller "kend"), og dets logiske formulering består ofte af A = A, altså som noget, der er identisk med sig selv, og derfor ikke rigtig foreslår noget. Dette forekommer generelt i forslag, der inkluderer konklusion i sine lokaler, såsom "det er, hvad det er" eller "Jeg så det med mine egne øjne." I retorik er pleonasmer tilfælde af tautologi.
Den enkleste logiske måde at opdage en tautologi på er gennem formuleringen af sandhedstabeller: de tilfælde, der er sande, uanset hvad de udtrykte værdier er, vil nødvendigvis være tautologiske.
Eksempler på tautologi
Følgende udsagn er eksempler på tautologi:
- En mand er en mand.
- Jeg løb distancen på mine egne fødder.
- Alt, hvad der er mere, er tilovers.
- Tingene faldt ned.
- Jeg klatrede op ad stigen.
- Kulden skyldes faldet i temperaturen.
Og i logiske termer er et eksempel på tautologi udtrykket: (p ^ q) → p, hvis sandhedstabel ville være følgende:
| s | hvad | p ^ q | (p ^ q) → s |
| V | V | V | V |
| V | F | F | V |
| F | V | F | V |
| F | F | F | V |
Modsigelse og beredskab
Ud over tautologi tales der ofte om modsigelse og kontingens i logikken, som følger:
- Modsigelse. I modsætning til tautologier, som er sande i enhver mulig formulering, er modsigelser falske uanset værdierne af deres præmisser, da den konklusion, der skal opnås, nægtes i deres argumentative struktur. Et eksempel på dette ville være udsagnet "vi faldt til højderne", eller det logiske udsagn p ^ p 'når p aldrig er lig med p'.
- Beredskab. I dette tilfælde taler vi om formler, hvis sande eller falske værdi ikke vil afhænge af værdien af dens præmisser, så den vil hverken være sand eller falsk. Eller hvad er det samme: en kontingens er et udsagn, der er sandt i mindst én mulig verden og falsk i en anden, så det altid vil afhænge af sagen. Et eksempel udtrykt i logiske termer er følgende udsagn:
(p ↔ q) v [(p → q) ^ (q → p)].