ля всіх типів, для яких име ються змінні в М, тобто прийняти в якості другого аргументу uk будь-який вираз значення будь-якої змінної в М. Практичне виправдання даного визначення адекватності лежить в наступних двох фактах:
Воно дає загальне правило для всіх різних типів, причому простим способом;
воно, мабуть, перебуває у злагоді із звичайним використанням терміну В«ПозначенняВ», принаймні остільки, оскільки це вживання має силу. p> На основі адекватного ставлення позначення питання про десігнате об'єктного імені дозволяється на користь предмета, а не на користь класу однорідних предметів. Наприклад, якщо В« Des G В»є адекватний предикат (в М, тобто в англійській мові) для позначення в німецькій мові, то наступні пропозиції істинні:
а. В«Des G (В« Pferd В», horseВ»);
b. В«Des G (В« drei В», threeВ»). p> Якщо В«Des S 3В» визначено так, як зазначено вище (маючи місце В«DesInd S 3В», В« DesAttr S 3 В»іВ« DesProp S 3 В»відповідно), то він є адекватним предикатом для позначення в S 3. Крім інших пропозицій, наступні повинні стати істинними:
а. В«Des S 3 (В« а В», ЧикагоВ»);
b. В«Des S 3 (В« P В», великийВ»);
с. В«Des S 3 (В« Р (а) В», Чикаго - великийВ»);
всі три пропозиції істинні. Ми бачимо, що адекватність вимагає від нас писати на місці аргументу В«великийВ» замість В«большевізнаВ» або В«властивості бути великимВ» або В«Класу великих речейВ»; і подібним чином ми пишемо В«кіньВ» замість В«лошадностьВ» або В«клас конейВ». Це вказує на те, що ми можемо приписувати предикатам десігнати, не використовуючи ні термін В«властивістьВ», ні термін В«класВ». (Питання про те, чи є десігнат, наприклад, великий, властивістю або класом не має безпосереднього відношення до вживання нами відносини позначення, проте звичайно ж, має відповідь - залежний попросту від того, чи є даний мову екстенсіональним, або наскільки він екстенсіоналу. Те ж саме стосується питання про те, чи є десігнати пропозицій (sententional designata) істиннісними значеннями або чимось іншим.)
На основі В«позначенняВ» (В«designationВ») (D 2) Карнап визначає термін В«синонімічніВ» (В«SynonymosВ»). Таким чином термін В«синонімічніВ» як у більш вузькому, так і в ширшому розумінні відповідно з більш вузькою або ширшої областю застосування, обраної для терміна В«позначенняВ». p> D 12-2. ui в S m синонімічно uj в S n = Df ui позначає в S m ту ж саму сутність, що і u j в S n. p> Таким чином, констатує Карнап, ставлення синонімії не обмежується виразами однієї системи. Більшість семантичних відносин можна застосувати до виразів разлічнихсістем, навіть до тих, які для простоти визначаємо щодо однієї системи. p> L -Семантика. L-семантика займається дослідженням проблем логіческойістіни (В«L -Істинно В»), логіческойвиводімості (В« L-імплікація В») і пов'язаних з ними понять (L-понять). При цьому передбачається, що логіка, в сенсі теорії логічної виводимості і тим самим логічної істини є окремою ч...
