Семантика та її проблеми
Під загальною науковою редакцією М. В. Лебедєва
Семантика та її проблеми
У передмові до «Введення в семантику» Карнап зазначає, що для аналізу науки, окрім суто «формального» аналізу мови, потрібен також аналіз сигніфікативної функції мови, тобто теорія значення та інтерпретації. Цей розділ філософського аналізу мови називається логічною семантикою. Семантика, за Карнапом, містить «як теорію позначення (designation), тобто. відносини між висловлюваннями та їх значенням», але також і «теорію істини та теорію логічної дедукції». «Семантика, – каже він, – містить теорію те, що зазвичай називається значенням висловів і, отже, включає у собі дослідження, які призводять до створення словника, переводящего об'єктний мову в метамова. Однак ми побачимо, що теорії на перший погляд зовсім іншої галузі також відносяться до семантики, наприклад, теорія істини та теорія логічної дедукції. Виявляється, що істина та логічне слідство є поняттями, заснованими на відношенні позначення та, отже, семантичними поняттями».
У рамках самої семантики Карнап проводить різницю між «описовою» семантикою та «чистою» семантикою. Описова семантика займається описом та аналізом семантичних властивостей історично даних мов, наприклад, французької, чи всіх історично даних мов взагалі. Перша буде спеціальною описовою семантикою; друга – загальною описовою семантикою. Отже, описова семантика визначає факти; вона є емпіричною наукою. З іншого боку, ми можемо встановити систему семантичних правил, байдуже, чи тісно пов'язану з історично даною мовою чи винайденою; ми називаємо її семантичною системою. Побудова та аналіз семантичних систем називаєтьсячистоюсемантикою. Правила семантичної системи S становлять визначення певних семантичних контекстів щодо S, наприклад, «позначення S» і «істинно S». Чиста семантика складається з визначень цього виду та їх наслідків; тому на відміну описової семантики чиста семантика є цілком аналітичної і немає фактичного змісту.
Відповідно, синтаксис також поділяється Карнапом на описовий та чистий синтаксис, а ці останні – на спеціальний та загальний синтаксис. Описовий синтаксис є емпіричним дослідженням синтаксичних особливостей даних мов. Чистий синтаксис має справу із синтаксичними системами. Синтаксична система (або обчислення) До складається з правил, які визначають синтаксичні поняття, наприклад, «пропозиція в До», «доказується в До», «виводимо в До» і т.д. Чистий синтаксис містить пропозиції метамови, які випливають із цих визначень. Як у семантиці, так і в синтаксисі відношення між чистою та описовою областями подібне до відношення між чистою або математичною геометрією, яка є частиною математики і через це має аналітичний характер, і фізичною геометрією, яка є частиною фізики і через це має емпіричний характер.
Іноді обговорюється питання, залежить семантика і синтаксис від прагматики чи ні. Відповідь, яку дає на це питання Карнап, полягає в наступному: в одному сенсі семантика та синтаксис залежать від прагматики, в іншому – ні. Описові семантика та синтаксис засновані на прагматиці. Припустимо, що ми хочемо вивчити семантичні та синтаксичні властивості певної ескімоської мови, яку раніше не досліджували. Ясно, що спочатку немає іншого шляху, крім спостереження мовних звичок людей,вживають мову. Тільки після відкриття за допомогою спостереження того прагматичного факту, що люди мають звичку використовувати слово "igloo" у тих випадках, коли вони мають намір вказати на будинок, ми виявляємося в змозі висунути семантичне висловлювання "igloo" означає (позначає) будинок" і синтаксичне висловлювання "igloo" є предикат. Подібним чином все знання в області описової семантики та описового синтаксису ґрунтується на попередньому знанні у прагматиці. Лінгвістика, в найширшому значенні цього слова, є тією галуззю науки, яка включає всі емпіричні дослідження, що стосуються мов. Вона є описова, емпірична частина семіотики (усних чи письмових мов); отже, вона складається з прагматики, описової семантики та описового синтаксису. Однак ці три частини не перебувають на одному рівні; Прагматика є основою всієї лінгвістики. Це, проте, значить, що у рамках лінгвістики дослідники зобов'язані посилатися осіб, які використовують відповідну мову. Якщо семантичні та синтаксичні особливості мови були встановлені за допомогою прагматики, ми можемо більше не звертати уваги на осіб, які вживають мову і зосередити її на цих семантичних та синтаксичних особливостях. Так, наприклад, два згадані вище висловлювання вже не містять явних прагматичних посилань. У цьому сенсі описові семантика та синтаксис є, строго кажучи, частинами прагматики.
З чистою семантикою і чистим синтаксисом справа по-іншому. Ці області залежить від прагматики, тобто. від використання мови її носіями. «Тут ми даємо визначення деяких понять, зазвичай у формі правил, і вивчаємо аналітичні наслідки цих понять. При виборі правил ми вільні. Іноді миможемо керуватися у цьому виборі розглядом цієї мови, тобто прагматичними фактами. Однак це стосується виключно мотивації нашого вибору і ніяк не пов'язане з правильністю результатів нашого аналізу правил». Філософсько релевантні дослідження мови, за визнанням Карнапа, пов'язані саме з чистою семантикою та чистим синтаксисом.
Предметна область чистої семантики та чистого синтаксису виявляється обмеженою і ще в одному відношенні порівняно з семіотикою загалом. Ці дві дисципліни досліджують виключно оповідальні пропозиції (declarative sentences), залишаючи за своїми рамками пропозиції всіх інших видів, тобто питання, імперативи тощо. Отже, вони стосуються лише тих мовних систем (семантичних систем), які складаються з оповідальних речень. Тому термінологія логічної семантики повинна, за Карнапом, розумітися у цьому обмеженому значенні; «пропозиція» – як «оповідальна пропозиція», «мова» – як «мова (система), що складається з оповідальних речень», «англійська мова» – як «та частина англійської мови, яка складається з оповідальних речень», «інтерпретація пропозиції обчислення »- як «інтерпретація речення як оповідальної речення» і т.д.
«індивідуальні константи» (individual constants),
«предикати 1-го ступеня» (predicates of degree I) та
«предикати 2-го і вищого ступеня» (predicates of degree 2 and higher),
яким відповідають як «позначене»
«властивості» (properties) та
Крім того, для комбінації знаків, що становлять певну «пропозицію» (sentence), є відповідна «пропозиція» (proposition); при цьому пропозиція означає пропозицію. Зрештою, до основних видів знаківвідносяться також "функтори" (functors), що позначають "функції" (functions) (Приклади функторів: "prod", "temp"; "prod (m, n)" означає твір m і n, "temp (x)" позначає температуру тіла x). Зазначимо, що це «позначене» – «індивіди», «властивості», «відносини», «функції» і «предложения» – він називає «сутностями» (entity).
Індивідні знаки позначають індивідів відповідної області об'єктів; вони належать до нульового рівня. Їхні властивості та відносини, а також предикати, за допомогою яких вони позначаються, належать до першого рівня. Атрибут (тобто властивість або відношення), що приписується чомусь на рівні n, і предикат, що його позначає, належить рівню n + 1. Предикат ступеня I (так званий одномісним предикатом) позначає властивість; предикат ступеня n (n-місцевий предикат) позначає n-адічне ставлення, тобто. відношення, яке має місце між n членами.
Визначення має форму”. . . = Df - - -»; це означає: "". . .” має бути взаємозамінним з “– – -”». Іноді замість "= Df" виспольхується "(" для пропозицій або "=" для інших виразів. ". . ." називається дефенієндумом, "- - -" - дефінієнсом).
Атомарні пропозиції суть ті, які не містять ні зв'язок, ні змінних (наприклад, R(а, b), b = с);
молекулярна пропозиція - це пропозиція, яка не містить змінних, але складається з атомарних пропозицій (називаються його компонентами) і зв'язки (наприклад, «(Р(а)», «А (В));
загальна пропозиція - це пропозиція, яка містить змінні (наприклад, "((х) Р(х)").
У реченні форми «(х) (. )» або «((х) (. )» або у виразі форми «((х) (. х . )», «(х)», «((х)» і «((х)» називаються операторами(operator) (спільності, існування та ламбда-оператором, відповідно); «.» називаєтьсяоперандою (operand), що відноситься до оператора. Змінна, що стоїть у певному місці у виразі, називається пов'язаною (bound), якщо вона стоїть на цьому місці в операторі або в операнді, оператор якої містить ту саму змінну; в іншому випадку вона називається вільною (free). Вираз називається відкритим (open), якщо воно містить вільну змінну; інакше воно називається замкнутим (closed). (Клас пропозицій називається замкнутим, якщо всі його пропозиції є замкнутими; це поняття треба відрізняти від поняття класу, замкнутого у відомому відношенні). Відкритий вираз іменуватиметься також виразною функцією (expressional function); і, більше того, виразною функцією ступеня n, якщо безліч входять до нього як вільні різні змінні одно n. Виразна функція така, що вона або закриті вирази, побудовані з неї шляхом заміщення, є реченнями, що називаються сентенціальною функцією (sententional function).
Карнап вказує далі, що з знаків, що позначають сутності, ми спочатку будуємо атомарні пропозиції, та якщо з цих останніх з допомогою зв'язок, своєю чергою, – молекулярні пропозиції, генералізації, теорії тощо. Число пропозицій у подібних семантичних системах нескінченне. Така ситуація практично з усіма семантичними системами, з якими нам доводиться мати справу, і особливо в природними мовами. Зв'язки зазвичай вводяться за допомогою таблиці істинності (truth-tables). Звичайні таблиці істинності є нічим іншим, як семантичні правила істинності у вигляді діаграм. Їх функція у тому, щоб давати суворі визначення логічних зв'язок «і», «чи» тощо. Істинність атомарних пропозицій обумовлена тим, чи об'єднуються насправді «сутності» таким самимшляхом, як і знаки у відповідному реченні, а істинність інших, похідних пропозицій залежить виключно від істиннісних значень атомарних пропозицій, що входять до них, і характеру зв'язку між ними.