Мы объясним, что такое тавтология в логике, и покажем примеры. А также, что такое противоречие и случайность
Тавтологии – это утверждения, которые объясняют и утверждают сами себя
Что такое тавтология?
В дисциплинах логика риторика термин тавтология используется для обозначения тех самоочевидных, очевидных или избыточных утверждений , т.е. которые истинны при любом возможном толковании, поскольку они объясняют и утверждают сами себя. Поэтому тавтология – это аргумент ошибочный, недействительный, пустой
Этот термин происходит от греческого tauto (то же самое) и logos (слово или знание), и его логическая формулировка часто состоит из A = A , то есть как нечто, тождественное самому себе, и поэтому на самом деле ничего не предлагающее. Обычно это происходит в предложениях, которые включают заключение в свои предпосылки, например, ‘есть то, что есть’ или ‘я видел это своими глазами’. В риторике плеоназмы – это случаи тавтологии
Самый простой логический способ обнаружения тавтологии – это составление таблиц истинности: те случаи, которые истинны независимо от выраженных значений, обязательно будут тавтологичными
Примеры тавтологии
Примерами тавтологии являются следующие утверждения:
- Мужчина есть мужчина.
- Я пробежал дистанцию своими ногами.
- Все лишнее – это лишнее.
- Все упало.
- Я поднялся по лестнице.
- Холод вызывается понижением температуры.
А в логических терминах примером тавтологии является выражение: (p ^ q) → p , таблица истинности которого будет выглядеть следующим образом:
| p | q | p ^ q | (p ^ q) → p |
| FV | |||
| FV |
Противоречие и случайность
Помимо тавтологии, противоречие и случайность часто обозначаются в логике следующим образом:
- Противоречие. В отличие от тавтологий, которые истинны в любой возможной формулировке, противоречия ложны независимо от значений их посылок, поскольку в их аргументационной структуре отрицается желаемое заключение. Примером может служить утверждение ‘мы упали в сторону высоты’ или логическое утверждение p ^ p’, когда p никогда не равно p’.
- Условное обозначение. В данном случае речь идет о формулах, истинность или ложность которых не будет зависеть от значения их предпосылок, так что она не будет ни истинной, ни ложной. Или, что то же самое: контингентность – это утверждение, которое истинно по крайней мере в одном возможном мире и ложно в другом, так что всегда будет зависеть от того, о каком случае идет речь. Примером, выраженным в логических терминах, является следующее утверждение:
(p ↔ q) v (p → q) ^(q → p).
Добавить комментарий