Vi forklarer hva en tautologi er i logikk og vi viser deg eksempler. Også, hva er selvmotsigelse og beredskap.
Hva er en tautologi?
I fagene til logikk og retorisk, begrepet tautologi brukes for å referere til de selvinnlysende, åpenbare eller overflødige utsagnene, det vil si som er sanne fra enhver mulig tolkning, siden de forklarer og bekrefter seg selv. Derfor er en tautologi en argument feilaktig, ugyldig, tom.
Dette begrepet kommer fra de greske stemmene tauto ("Det samme") og logoer ("Ord" eller "vet"), og dens logiske formulering består ofte av A = A, det vil si som noe som er identisk med seg selv, og derfor egentlig ikke foreslår noe. Dette skjer vanligvis i forslag som inkluderer konklusjon i sine lokaler, for eksempel "det er hva det er" eller "Jeg så det med mine egne øyne." I retorikk er pleonasmer tilfeller av tautologi.
Den enkleste logiske måten å oppdage en tautologi på er gjennom formuleringen av sannhetstabeller: de tilfellene som er sanne uansett hva de uttrykte verdiene er, vil nødvendigvis være tautologiske.
Eksempler på tautologi
Følgende utsagn er eksempler på tautologi:
- En mann er en mann.
- Jeg løp distansen på egne ben.
- Alt som er mer blir til overs.
- Ting falt ned.
- Jeg klatret opp stigen.
- Kulden er forårsaket av temperaturfallet.
Og i logiske termer er et eksempel på tautologi uttrykket: (p ^ q) → p, hvis sannhetstabell ville være følgende:
| s | hva | p ^ q | (p ^ q) → s |
| V | V | V | V |
| V | F | F | V |
| F | V | F | V |
| F | F | F | V |
Motsigelse og beredskap
I tillegg til tautologi, snakkes det ofte om motsigelse og beredskap i logikken, som følger:
- Motsigelse. I motsetning til tautologier, som er sanne i enhver mulig formulering, er motsetninger falske uavhengig av verdiene til deres premisser, siden i deres argumentative struktur nektes konklusjonen som skal oppnås. Et eksempel på dette vil være utsagnet "vi falt til høyden", eller det logiske utsagnet p ^ p 'når p aldri er lik p'.
- Beredskap. I dette tilfellet snakker vi om formler hvis sanne eller falske verdi ikke vil avhenge av verdien av premissene, så den vil verken være sann eller usann. Eller hva som er det samme: en beredskap er et utsagn som er sant i minst én mulig verden og usant i en annen, slik at det alltid vil avhenge av saken. Et eksempel uttrykt i logiske termer er følgende utsagn:
(p ↔ q) v [(p → q) ^ (q → p)].