Elmagyarázzuk, mi a tautológia a logikában, és példákat mutatunk. Továbbá, mi az ellentmondás és az esetlegesség.
Mi az a tautológia?
A tudományágakban logika és a retorika, a tautológia kifejezés azokra a magától értetődő, nyilvánvaló vagy redundáns állításokra vonatkozik, amelyek minden lehetséges értelmezés szerint igazak, mivel önmagukat magyarázzák és megerősítik. Ezért a tautológia a érv hamis, érvénytelen, üres.
Ez a kifejezés a görög hangokból származik tauto ("Ugyanaz") és logók ("Szó" vagy "tudom"), és logikai megfogalmazása gyakran abból áll A = A, vagyis mint valami, ami önmagával azonos, és ezért valójában nem javasol semmit. Ez általában olyan javaslatokban fordul elő, amelyek magukban foglalják a következtetés helyiségeiben, mint például „az, ami” vagy „saját szememmel láttam”. A retorikában a pleonazmusok a tautológia esetei.
A tautológia felfedezésének legegyszerűbb logikai módja az igazságtáblázatok megfogalmazása: azok az esetek, amelyek igazak, függetlenül attól, hogy milyen értékekről van szó, szükségszerűen tautologikusak lesznek.
Példák a tautológiára
A következő állítások a tautológia példái:
- A férfi az ember.
- A távot a saját lábamon futottam le.
- Minden, ami több, megmarad.
- A dolgok leestek.
- Felmásztam a létrán.
- A hideget a hőmérséklet csökkenése okozza.
És logikai értelemben a tautológia példája a (p ^ q) → p kifejezés, amelynek igazságtáblázata a következő lenne:
| p | mit | p ^ q | (p ^ q) → p |
| V | V | V | V |
| V | F | F | V |
| F | V | F | V |
| F | F | F | V |
Ellentmondás és esetlegesség
A tautológia mellett a logikában gyakran beszélnek ellentmondásról és esetlegességről, az alábbiak szerint:
- Ellentmondás. Ellentétben a tautológiákkal, amelyek minden lehetséges megfogalmazásban igazak, az ellentmondások premisszák értékétől függetlenül hamisak, mivel érvelési szerkezetükben tagadják a levonható következtetést. Példa erre a „magasságba zuhantunk” állítás, vagy a p ^ p logikai állítás „amikor p soha nem egyenlő p-vel”.
- Eshetőség. Ebben az esetben olyan formulákról beszélünk, amelyek igaz vagy hamis értéke nem függ majd premisszái értékétől, tehát nem lesz sem igaz, sem hamis. Vagy ami ugyanaz: az esetlegesség olyan állítás, amely legalább az egyik lehetséges világban igaz, a másikban pedig hamis, így mindig az esettől függ. Egy logikai kifejezésekkel kifejezett példa a következő állítás:
(p ↔ q) v [(p → q) ^ (q → p)].