удується в чотири етапи: спершу дається классіфікаціязнаков, потім встановлюються правілапостроенія (rules of formation), потім - правілаобозначенія (rules of designation) і, нарешті, правілаістінності ( rules of truth). За допомогою правил побудови системи S визначається термін В«Пропозиція системи SВ»; за допомогою правил позначення визначається термін В«Позначення в SВ»; за допомогою правил істинності визначається термін В«істинно в S В». Визначення терміна В«істинно в SВ» є головною метою всієї системи S у цілому; інші визначення мають характер попередніх етапів, що дозволяють досягти цієї головної мети. На підставі поняття В«істинно в SВ» можна визначити, - щодо системи S, - інші семантичні поняття. Наприклад, найпростішим з подібного роду семантичних понять є визначення хибності: пропозиція А 1 системи S брехливо в S = Df A 1 неправдиве в S. (При цьому слід мати на увазі, що правила позначення не роблять фактичних тверджень про те, що собою представляють десігнати определеленних знаків. У чистій семантиці відсутні фактичні затвердження. Правила просто встановлюють угоди в формі визначення В«позначення в SВ»; це відбувається шляхом перерахування випадків, в яких має місце відношення позначення. Причому іноді термін В«ПозначенняВ» використовується також для складних виразів і навіть для пропозицій. У цьому випадку правила позначення визначають шляхом перерахування попередній термін В«безпосереднє позначенняВ», а потім з його допомогою рекурсивно визначається більш загальний термін В«позначенняВ»). p> У семантичних дискусіях термін В«істинноВ» використовується Карнапом переважно по відношенню до пропозицій і системам пропозицій. Він не заперечує, що цей термін може застосовуватися аналогічним чином також і до пропозиціям як десігнати пропозицій; однак це вживання не зустрічається в його міркуваннях. В«Ми використовуємо тут, - каже Карнап, - цей термін у такому сенсі, що стверджувати, що пропозиція є істинним, означає те ж саме, що і стверджувати сама пропозиція; наприклад, два висловлювання. Пропозиція "Місяць є кругла" істинно В»іВ« Місяць є кругла В»представляють собою просто дві різні формулювання одного і того ж затвердження. При цьому він підкреслює, що в цьому випадку два висловлювання означають те ж саме в логічному або семантичному сенсі; ясно, що з точки зору прагматики практично завжди дві різні формулювання мають різні особливості і різні умови застосування; з точки зору прагматики відмінність між цими двома висловлюваннями полягає в акценті та емоційної функції. p> Зазначене рішення щодо терміна В«істинноВ» саме по собі не є визначенням терміну В«істинноВ». Швидше воно являє собою стандарт, за допомогою якого ми судимо, чи є визначення істини адекватним, тобто відповідним нашому наміру. Якщо визначення предиката У i - наприклад, слів В«істинноВ», або В«обгрунтованоВ» або будь-яких інших довільно вибраних знаків, - пропонується в якості визначення істини, то ми приймемо його в якості адекватного визначення істини тод...
