версальним парадоксом знання raquo ;. Припустимо, хтось говорить: Я знаю все raquo ;. Якщо під словом знати ми розуміємо - знати значення певних пропозицій raquo ;, то з я знаю все слід я знаю значення всіх пропозицій raquo ;. Але є така пропозиція Я чогось не знаю raquo ;. Стало бути, я знаю значення пропозиції я чогось не знаю raquo ;, а це суперечить тому, що я знаю все. Точно так само справа йде з висловлюванням я нічого не знаю raquo ;. Якщо я не знаю значення жодної пропозиції, то, отже, я також не знаю значення пропозиції я щось знаю raquo ;, а це суперечить тому, що я нічого не знаю.
Цей різновид расселовского парадоксу відображає певну психічну реальність - якесь ментальне осяяння, коли людині дійсно відкривається все і закони двозначної логіки перестають для нього діяти. Коли ж людина вигукує в розпачі: Я нічого не знаю raquo ;, він знаходиться в стані епістеміческой фрустрації, і знову-таки для нього в цей момент важливий логічно нечленімих недискретні континуум.
Наступна проблема, з якою зіткнулася логічна семантика, це проблема порожніх вигаданих імен, таких, наприклад, як Пегас. Суть тут полягає в тому, що як же ми можемо говорити про значення того, що не існує?
Цю проблему також вирішив Рассел за допомогою так званої теорії певних дескрипций (описів). Рассел розкладав ім'я Пегас на дескрипцію кінь, що має за природою крила raquo ;, і тоді можна було сказати, що не існує такого індивіда, як кінь, що має за природою крила. Наступною проблемою логічної семантики була проблема неповної синонімії слів і виразів, що мають один денотат, але різні смисли. Наприклад, Ранкова зірка і Вечірня зірка мають один денотат - планету Венеру, але різні смисли: Ранкова зірка - це Венера, яка видна вранці, а Вечірня - увечері.
Таким чином, твердження Ранкова зірка - це Вечірня зірка не завжди виявляється істинним. Відбувається це тому, що реально ми завжди або майже завжди користуємося не прямими, а непрямими контекстами, тобто це хтось говорить про Ранковій зірці, а хтось - про Вечірньої.
У цих непрямих контекстах, або, як їх тепер називають, пропозіціональних установках (термін введений Расселом), значення слів і виразів затемнені - вони, за висловом Уілларда Куайна, референтної непрозорі.
У логічній семантиці цю проблему вирішила семантика можливих світів, ми ж, використовуючи цю особливість мови, можемо побудувати на її основі теорію сюжету. Едіп не знає, що Иокаста і мати Едіпа - Це одне і те ж обличчя. Він думає, що Иокаста і мати Едіпа - це різні жінки. Звідси відбувається трагедія Едіпа. На цій семантичної непрозорості, тобто на можливості два імені одного предмета приймати за дві предмета, і побудований фундаментальний сюжет помилки .
У поетиці постмодернізму закономірності логічної семантики не діють, тому що в ній порушується найбільш фундаментальний закон логіки - закон рефлексивності (А=А).
Семантичні категорії
Семантичні категорії-типи значень виразів мови. Вчення про семантичних категоріях сходить до Е. Гуссерлю (Bedeutungskategorien, категорії значення). Найбільш інтенсивну розробку це вчення одержало в польській школі логіки. До вчення про семантичних категоріях дуже близька теорія типів Б. Рассела. Але якщо остання була введена як засіб для запобігання теоретико-множинних парадоксів, то у Ст. Лесневський, А. Тарського, К. Айдукевича, Т. Котарбінського, А. Гжегорчик теорія семантичних категорій пов'язана з глибокими філософськими і лінгвістичними проблемами. Для них елімінація парадоксів не єдиний і не головний стимул для введення семантичних категорій Лесневський використовує семантичні категорії в дослідженні підстав дедуктивних наук. Тарський дає класифікацію формалізованих мов залежно від порядку і числа семантичних категорій до яких належать змінні мови. Цілий ряд найважливіших результатів Тарського (про те, що метамова, в якому визначається поняття істини, повинен бути багатшими об'єктного мови; неможливість семантичного визначення істини для мов нескінченного порядку без використання трансфінітної індукції) неможливо навіть точно сформулювати, не припускаючи певної теорії семантичної категорії. Робота Айдукевича, систематично викладати теорію, в той же час з'явилася першою роботою, що послужила основою для впровадження цієї теорії не тільки в логіку, а й в лінгвістику. У 1960-і рр. теорія семантичної категорії отримала подальший розвиток в англомовній логічній літературі (Р. Монтегю, М. Крессвелл та ін.).
Теорія семантичної категорії пов'язана з глибинними принципами побудови мов - як формалізованих, так і природних. Дотримання умов, що накладаються теорією, є необхідною (але не достатньою) умовою осмисленості виразів будь-якої мови. Вирази мови розбивают...
