Selitämme, mitä tautologia on logiikassa, ja näytämme sinulle esimerkkejä. Lisäksi mitä ovat ristiriidat ja satunnaisuus.
Mikä on tautologia?
Alalla logiikka ja retoriikkaa, termiä tautologia käytetään viittaamaan niihin itsestäänselvyyksiin, ilmeisiin tai redundanttisiin väitteisiin, toisin sanoen jotka ovat totta mistä tahansa mahdollisesta tulkinnasta, koska ne selittävät ja vahvistavat itsensä. Tästä syystä tautologia on a Perustelu harhaanjohtava, virheellinen, tyhjä.
Tämä termi tulee kreikkalaisista äänistä tauto ("sama") ja logot ("Sana" tai "tietää"), ja sen looginen muotoilu koostuu usein A = A, toisin sanoen jonakin, joka on identtinen itsensä kanssa, eikä siksi oikeastaan ehdota mitään. Tämä tapahtuu yleensä ehdotuksissa, jotka sisältävät johtopäätös sen tiloissa, kuten "se on mitä se on" tai "näin sen omin silmin". Retoriikassa pleonasmit ovat tautologian tapauksia.
Yksinkertaisin looginen tapa löytää tautologia on formuloida totuustaulukot: ne tapaukset, jotka ovat totta riippumatta ilmaistuista arvoista, ovat välttämättä tautologisia.
Esimerkkejä tautologiasta
Seuraavat lausunnot ovat esimerkkejä tautologiasta:
- Mies on mies.
- Juoksin matkan omin jaloin.
- Kaikki mikä on enemmän, jää yli.
- Asiat putosivat.
- Kiipesin tikkaat ylös.
- Kylmyys johtuu lämpötilan laskusta.
Ja loogisesti sanottuna esimerkki tautologiasta on lauseke: (p ^ q) → p, jonka totuustaulukko olisi seuraava:
| p | mitä | p ^ q | (p ^ q) → s |
| V | V | V | V |
| V | F | F | V |
| F | V | F | V |
| F | F | F | V |
Ristiriita ja sattuma
Tautologian lisäksi logiikassa puhutaan usein ristiriitaisuudesta ja satunnaisuudesta seuraavasti:
- Ristiriita. Päinvastoin kuin tautologiat, jotka ovat totta kaikissa mahdollisissa muotoiluissa, ristiriidat ovat vääriä premissiensa arvoista riippumatta, koska niiden argumentatiivisessa rakenteessa saavutettava johtopäätös kiistetään. Esimerkki tästä olisi lause "pudotimme korkeuksiin" tai looginen lause p ^ p 'kun p ei ole koskaan yhtä suuri kuin p'.
- Satunnaisuus. Tässä tapauksessa puhumme kaavoista, joiden oikea tai epätosi arvo ei riipu sen premissien arvosta, joten se ei ole tosi eikä epätosi. Tai mikä on sama: satunnaisuus on väite, joka on totta ainakin yhdessä mahdollisessa maailmassa ja väärä toisessa, joten se riippuu aina tapauksesta. Loogisesti ilmaistu esimerkki on seuraava lause:
(p ↔ q) v [(p → q) ^ (q → p)].