Објашњавамо шта је таутологија у логици и показујемо вам примере. Такође, шта су контрадикција и контингентност.
Шта је таутологија?
У дисциплинама од логика анд тхе реторика, термин таутологија се користи за означавање оних саморазумљивих, очигледних или сувишних исказа, односно који су истинити из сваког могућег тумачења, будући да сами себе објашњавају и афирмишу. Дакле, таутологија је а расправа лажан, неважећи, празан.
Овај израз потиче од грчких гласова тауто („Исто“) и логос („Реч” или „знати”), а њена логичка формулација се често састоји од А = А, односно као нешто што је идентично самом себи, па самим тим заправо ништа не предлаже. Ово се обично дешава у пропозицијама које укључују закључак у својим просторијама, као што су „то је оно што јесте“ или „видео сам то својим очима“. У реторици, плеоназми су случајеви таутологије.
Најједноставнији логичан начин да се открије таутологија је кроз формулисање таблица истине: они случајеви који су истинити, без обзира на изражене вредности, нужно ће бити таутолошки.
Примери таутологије
Следеће изјаве су примери таутологије:
- Човек је човек.
- Претрчао сам дистанцу сопственим ногама.
- Остало је све што је више.
- Ствари су пале.
- Попео сам се уз мердевине.
- Хладноћа је узрокована падом температуре.
И у логичком смислу, пример таутологије је израз: (п ^ к) → п, чија би табела истинитости била следећа:
| стр | Шта | п ^ к | (п ^ к) → стр |
| В | В | В | В |
| В | Ф | Ф | В |
| Ф | В | Ф | В |
| Ф | Ф | Ф | В |
Контрадикција и контингентност
Поред таутологије, у логици се често говори о контрадикцији и контингентности, на следећи начин:
- Контрадикција. Супротно таутологијама, које су истините у свакој могућој формулацији, противречности су лажне без обзира на вредности својих премиса, јер се у њиховој аргументационој структури негира закључак који треба да се добије. Пример за то би била изјава „пали смо у висине“, или логичка изјава п ^ п „када п никада није једнако п“.
- Случај. У овом случају говоримо о формулама чија тачна или лажна вредност неће зависити од вредности њених премиса, па неће бити ни истинита ни нетачна. Или шта је исто: контингенција је изјава која је тачна у барем једном могућем свету и лажна у другом, тако да ће увек зависити од случаја. Пример изражен логичким терминима је следећа изјава:
(п ↔ к) в [(п → к) ^ (к → п)].