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