Тавтологія (від грец. Ταὐτός - той же самий і λόγος - слово), термін класичної формальної логіки, що означає формулу (судження, висловлювання), яка залишається тотожно істинною для будь-якого набору істиннісних значень її змінних. Тотожна істинність такої формули обумовлена виключно її логічною структурою.
Наприклад, в логіці предикатів 1-го порядку будь-яка атомарна формула A виду a = a (де a суть терм (термін)) є тавтологією: якщо a = МАСЛО. то атомарна формула A має вигляд
МАСЛО = МАСЛО ( "Масло масні").
Це значення терміна "тавтологія" було введено Л.Витгенштейном. а пізніше сфера його застосування була розширена: "тавтологією" стали називати взагалі логічно істинні формули класичних логічних обчислень - закони класичної логіки. Відповідно до цього термін "тавтологія" природно відносити не до «чистим", а до прикладних формальним исчислениям, в яких зафіксована область зміни змінних (предметна область розгляду або універсум), не дивлячись на те, що тавтологія не залежить від того, яким є цей універсум.
Чому? Тому що відома область інтерпретації абстрактної формули: ви завжди маєте можливість перевірки її тотожною істинності, а не просто здійсненності в якійсь частині універсуму.
У класичній формальної логіки терміни "тавтологія", "логічний закон", "тотожне справжня формула" є синонімами. Одночасно в класичній формальної логіки термін "тавтологія" використовується в якості особливого різновиду логічної помилки.
Вітгенштейн, назвавши "тавтологією" будь-яку тотожне справжню формулу або логічний закон формального обчислення, фактично закріпив вже застосовується десятиліттями багатьма логіками і філософами лексику. Так Г. В. Ф. Гегель застосовував термін "тавтологія" саме в сенсі логічного закону. Широко відома дана їм характеристика для класичної формальної логіки: "Ця логіка нічого крім формальних тавтологію дати не в змозі."
Двозначність поняття "Тавтологія" в повсякденній мові Правити
У повсякденній мові (на відміну від, наприклад, текстів юридичних законів або інструкцій по експлуатації) досить часто використовуються тавтологічні конструкції, які, однак, не вводять в оману, так як верифікація висловлювань здійснюється в "режимі реального часу". В цьому випадку ми легко розрізняємо, який сенс "тут і зараз" (тавтологія це логічний закон або логічна помилка) має поняття "Тавтологія":
Тавтологія як логічна ПОМИЛКА:
1) крайній випадок логічної помилки «передбачення підстави» (лат. Peti-tio principii), а саме: коли щось визначається або доводиться тим же самим (лат. Idem per idem).
2) "п о р о ч н и й коло", т. Е. Коли теза обгрунтовується аргументами, а аргументи обгрунтовуються цією ж тезою.
Наприклад, "Опіум присипляє тому, що має усипляючий силу".
У середовищі формалізованої мови (будь то формальна або змістовна логіка), очевидно, що така двозначність не припустима, тому що верифікація судження здійснюється "наодинці з текстом".
Тавтології діалектичної логіки Правити
Діалектичними протилежностями в марксизмі традиційно є наступні пари:
сутність і явище, якість і кількість, простір і час, причина і наслідок, необхідність і випадковість, дійсність і можливість, матерія і свідомість, об'єкт і суб'єкт і ін.
СУТНІСТЬ ЯВИЩЕ
ЯКІСТЬ КІЛЬКІСТЬ
ЄДНІСТЬ БОРОТЬБА
МАТЕРИЯ СВІДОМІСТЬ
ПРИЧИНА СЛІДСТВО
НЕОБХІДНІСТЬ ВИПАДКОВІСТЬ
Продуктивні СИЛИ Виробничі ВІДНОСИНИ
Споживча ВАРТІСТЬ Мінова ВАРТІСТЬ
Тут символ "" суть знак діалектичної тотожності.
Тавтологія Гегель і Маркс у власних логіках вважали також тріади. При цьому необхідно враховувати, що ці тріади ніколи не проходили інтерсубєктивності верифікації, а вважалися епігонами безумовно істинними як результати божественного одкровення. У марксистсько-ленінської діалектики істинної вважається єдина гегелівська тріада:
Все гранично просто: гегелівські судження стають правдоподібними тоді, коли Гегель забуває про своє Принципі препозиции (ІДЕЯ - первинна, МАТЕРИЯ - вторинна), а мислить у відповідність з реальним розвитком процесу, тобто матеріалістично.