істина

I

ІСТИНА — 1) Філософська категорія, разом з категоріями добра, краси і свободи відбиває глибинний смисл людського світовідношення та осягнення буття, шукань людського духу та творення гуманістичних ідеалів; виражає сутнісний зміст та безпосередню мету пізнавального процесу і характеризує його результат — знання як адекватне відображення суб'єктивної та об'єктивної реальності в свідомості людини. І. встановлюється через визначення відповідності пізнавального образу, знання реального стану речей в дійсності, що надає І. за своїм змістом незалежності від суб'єкта (див. об'єктивна істина). Однак ця відповідність не розглядається як повний збіг пізнавального образу і об'єкта, оскільки останньому притаманна пізнавальна невичерпність, а процес пізнання завжди обумовлений історично, обмежений у своїх пізнавальних можливостях, залежить від рівня розвитку пізнавального інструментарію. На кожному конкретному етапі пізнавальний образ відносно вірно відтворює об'єкт, але з розвитком пізнання поповнюється новими якісними визначеннями предмета, все точніше його відтворює. Тому І. не є щось статичне і незмінне, а розглядається як безперервний процес послідовного наближення до повноти відтворення (див. абсолютна істина, відносна істина). В процесі пізнання І. реалізується через дотримання принципів об'єктивності, що вимагає розглядати об'єкт таким, який він є сам по собі, в об'єктивній реальності; всебічності, коли об'єкт повинен розглядатися в усій його багатостатності, якісній різноманітності, у взаємозв'язках і опосередкуваннях; доказовості, коли за достовірне приймається лише знання, яке має достатнє теоретичне і емпіричне, логічне і практичне обґрунтування. Тим самим категорія І. відсікає від справжнього пізнання різного роду його суррогати. Будучи продуктом пізнання, І. в сфері культури набуває ціннісного значення. Визначення сенсу пізнавальної діяльності як служіння І. надає категорії І. морального звучання. У вченні про І. серед основних є питання про критерій І. 2) Логічне поняття, виражає одне з двох або багатьох істиннісних значень, які надаються будь-якому судженню або системі суджень, окремій теорії або системі теорій. Часто ототожнюється з поняттями істинності (напр., істинність твердження, істинність теорії) або істинного (напр., істинне твердження, істинна теорія). Встановлюється за допомогою застосування визначених правил побудови та процедур доведення логічних виразів. Залежно від умов і правил визначення істинності логічних побудов розрізняють синтаксичне і семантичне поняття І. (див. істина в формалізованих мовах). Протилежними до категорії І. виступають поняття "омана", "хиба", "оманливість", "хибність". Проблему І. вивчають переважно теорія пізнання, логіка.

П. Йолон

[br]

II

ІСТИНА в формалізованих мовах — властивість висловлювання (пропозиційної формули), що висловлює істинне судження. Тоді як гносеологічне поняття істини фіксує відповідність між змістом суджень і реальністю, І.в ф.м. пов'язана з моделюванням цієї відповідності засобами формалізованої мови С. емантичне визначення поняття істини було запропоноване Тарським ("Поняття істини в формалізованих мовах", 1933, 1935). Основні вимоги до дефініції поняття стосуються блокування парадоксальності (що притаманна буденній мові внаслідок її універсальності) шляхом розрізнення у формалізованій мові складників мови-об'єкта (висловлювання) і метамови (структурно-дескриптивного імені висловлювання, трансляції цього висловлювання у метамову, предикату істини). Однак вимоги до дефініції істини не містять засобів визначення істинності конкретного висловлювання, оскільки не всі складні висловлювання — скінченне з'єднання простих висловлювань. Використовується поняття пропозиційної функції (для якої є справедливим те, що складні функції — скінченне поєднання простих) і аналог поняття істини для функції — поняття доконаності. В залежності від правил утворення мови, визаначаються умови істинності кожного конкретного висловлювання О. скільки правила утворення задають скінченний список типів формул мови, виходячи з якого визначається клас істинних висловлювань, це дозволяє визначити для нескінченної ієрархії метамов нескінченне число предикатів істини скінченними засобами.

Н. Філіпенко