Обясняваме какво е тавтология в логиката и ви показваме примери. Също така, какво са противоречие и случайност.
Какво е тавтология?
В дисциплините на логика и на риторика, терминът тавтология се използва за обозначаване на онези самоочевидни, очевидни или излишни твърдения, тоест, които са верни от всяка възможна интерпретация, тъй като те се обясняват и утвърждават. Следователно тавтологията е a аргумент погрешен, невалиден, празен.
Този термин идва от гръцките гласове тавто („Същото“) и лога („Дума“ или „знам“), а логическата му формулировка често се състои от А = А, тоест като нещо, което е идентично на себе си и следователно всъщност не предлага нищо. Това обикновено се случва в предложения, които включват заключение в неговите помещения, като „това е това, което е“ или „Видях го със собствените си очи“. В реториката плеоназмите са случаи на тавтология.
Най-простият логически начин за откриване на тавтология е чрез формулирането на таблици на истината: онези случаи, които са верни, независимо какви са изразените стойности, непременно ще бъдат тавтологични.
Примери за тавтология
Следните твърдения са примери за тавтология:
- Човекът си е мъж.
- Пробягах дистанцията със собствените си крака.
- Всичко, което е повече, е останало.
- Нещата паднаха.
- Изкачих се нагоре по стълбата.
- Студът се причинява от спадането на температурата.
И в логически план, пример за тавтология е изразът: (p ^ q) → p, чиято таблица на истинността би била следната:
| стр | Какво | p ^ q | (p ^ q) → стр |
| V | V | V | V |
| V | Ф | Ф | V |
| Ф | V | Ф | V |
| Ф | Ф | Ф | V |
Противоречие и случайност
В допълнение към тавтологията, в логиката често се говори за противоречие и случайност, както следва:
- Противоречие. Противно на тавтологиите, които са верни във всяка възможна формулировка, противоречията са неверни, независимо от стойностите на техните предпоставки, тъй като в тяхната аргументативна структура се отрича изводът, който трябва да се получи. Пример за това би било твърдението „ние паднахме във висините“ или логическото твърдение p ^ p „когато p никога не е равно на p“.
- Непредвидени обстоятелства. В този случай говорим за формули, чиято истинска или невярна стойност няма да зависи от стойността на нейните предпоставки, така че няма да бъде нито вярна, нито невярна. Или какво е същото: случайност е твърдение, което е вярно в поне един възможен свят и невярно в друг, така че винаги ще зависи от случая. Пример, изразен в логически термини, е следното твърдение:
(p ↔ q) v [(p → q) ^ (q → p)].