які вони позначають. Ці класи прийнято називати семантіческімікатегоріямі. Карнап наводить список основних видів знаків, що вживаються в мові, і видів сутностей, позначених цими знаками. Знаки включають в себе
В«індівідниеконстантиВ» (individual constants),
В«предикати 1 - ої ступеняВ» (predicates of degree I) і
В«предикати 2-ий і більш високого ступеня В» (Predicates of degree 2 and higher),
яким відповідають в якості В«позначеногоВ»
В«індивідиВ» (Individuals),
В«властивостіВ» (Properties) і
В«стосункиВ» (Relations). p> Крім того, для комбінації знаків, складових певне В«пропозиціяВ» (sentence), є відповідна В«пропозиціяВ» ( proposition); при цьому пропозиція позначає пропозицію. Нарешті, до основних видами знаків відносяться також В«функториВ» (functors), що позначають В«функціїВ» ( functions) (Приклади функторів: В«prodВ», В«tempВ»; В«prod (m, n)В» позначає твір m і n, В«temp (x)В» позначає температуру тіла x). Відзначимо, що всі В«позначенеВ» - В«індивідиВ», В«властивостіВ», В«стосункиВ», В«функціїВ» і В«ПропозиціїВ» - він називає В«сутностямиВ» (entity). p> индивидной знаки позначають індивідів відповідної області об'єктів; вони належать до нульового рівня. Їх властивості і відносини, а також предикати, за допомогою яких вони позначаються, належать до першого рівню. Атрибут (тобто властивість або відношення), приписуване чого-небудь на рівні n, і предикат, його позначає, належить рівню n + 1. Предикат ступеня I (званий також одномісним предикатом) позначає властивість; предикат ступеня n (n-місний предикат) позначає n-адических ставлення, тобто ставлення, яке має місце між n членів. p> Визначення має форму В«. . . = Df --- В»; це означає: В«". . . "Повинно бути взаимозаменимости з" --- "В». Іноді замість В«= Df В»ІспольхуетсяВ«? В»Для пропозицій абоВ« = В»для інших виразів. В«. . . В» називається дефеніендумом, В«---В» - дефініенс.
Класифікація пропозицій. p> Атомарні пропозиції суть ті, які не містять ні зв'язок, ні змінних (наприклад, В«R (а, b)В», В«b = зВ»);
молекулярне пропозиція - це пропозиція, яке не містить змінних, але складається з атомарних пропозицій (іменованих його компонентами) і зв'язки (наприклад, В«~ Р (а)В», В«А U ВВ»);
загальна пропозиція - це пропозиція, яка містить змінні (наприклад, В«($ х) Р (х)В»). p> В пропозиції форми В«(х) (...)В» або В«($ х) (...)В» або у вираженні форми В«(l х) (... х ...)В», В«(х)В», В«($ х)В» та В«(l х)В» називаються операторами (operator) (спільності, існування та лямбда-оператором, відповідно); В«...В» називається операндом (operand), що відноситься до оператора. Мінлива, що стоїть в певному місці у вираженні, називається пов'язаної (bound), якщо вона стоїть на цьому місці в операторі або в операнді, оператор якої містить ту ж саму змінну; в іншому випадку вона називається вільною (free). Вираз називається відкритим (open), якщо воно містить вільну змінну; в ін...
