В«рВ» - На переклад В«Місяць - круглаВ», і В«хВ» - на В«A 2В». В результаті отримали пропозиція В«A 2 є Т тоді і тільки тоді, коли місяць круглаВ». Якщо це і всі аналогічні пропозиції виявляються наступними з визначення D 2 для В«ТВ», тоді D 2 є адекватне визначення, і В«ТВ» - адекватний предикат для істини в S. p> Карнап зазначає, що поняття істини в вищевказаному сенсі, - його можна назвати семантичним поняттям істини, - принципово відрізняється від понять типу В«переконанийВ», В«верифікованеВ», В«в високого ступеня підтверджено В»і т.д. Відмінність полягає в тому, що останні поняття відносяться до прагматики і вимагають вказівки на певну особу, їх вживати. p> Наприклад, є три пропозиції В«На місяці немає атмосфери В»(A 1);В« A 1 істинно В»(A 2);В« A 1 підтверджується в дуже високого ступеня вченими в даний час В»(A 3). A 2 говорить те ж саме, що і A 1; A 2 є, як і A 1, астрономічним висловлюванням і повинно, як і A 1, перевірятися астрономічними спостереженнями Місяця. З іншого боку, A 3 є історичне висловлювання; воно повинно перевірятися історичними, психологічними спостереженнями поведінки астрономів. p> Згідно Тарського, С. Леснєвський був першим, хто сформулював точне вимога адекватності для визначення істини в простій формі D 7 - A, наведеної вище (у неопублікованих лекціях, починаючи з 1919 року); подібні формулювання маються на книзі з теорії знання, опублікованій Т. Котарбіньський польською мовою у 1926 році. Ф. П. Рамсей в своїй рецензії 1923 на "Трактат" Вітгенштейна дає схожу формулювання: В«Якщо думки або пропозиція у вигляді токенуВ« р В»стверджує р, то вона називається істинної, якщо р, і помилкової, якщо ~ р В». Сам Тарський дав визначення адекватності у більш загальній формі, що нагадує вказане вище визначення D 7-В (його В«Конвенція ТВ»). Крім того, він дав перше точне визначення істини для певних формалізованих мов; його вимога задовольняє вимогам адекватності і одночасно уникає антиномій, пов'язаних з необмеженим використанням поняття істини, зокрема, в повсякденній мові. У тій же самій роботі [Wahrheitsbegriff] Тарський приходить до дуже цінним результатами завдяки своєму аналізу поняття істини і пов'язаних з ним семантичних понять. p> Зазначене вимога аж ніяк не є новою теорією або поняттям істини. Котарбіньський вже зазначав, що це - стара класична концепція, яка сходить до Арістотелем. Нова особливість полягає виключно в більш точної формулюванні вимоги. Тарський далі стверджує, що дана характеристика знаходиться також у згоді з звичайним вживанням слова В«істиннийВ». Як відомо, вершиною цієї лінії став Дональд Девідсон. p> Ставлення позначення. В якості центрального поняття семантики Карнап виділяє отношеніеобозначенія (the relation of designation), при якому знак або мовне вираження представляє те, що він позначає. Тому знаки (signs) Карнап пропонує відрізняти від об'єктів, які вони позначають; ці останні він іменує десігнати (designata). Для позначення того, що собою представляють об&...
