Приглашаем посетить сайт
СЕМАНТИКА
СЕМАНТИКА - в л о г и к е (греч. σημαντικός - означающий, от σημαίνω - означаю) - отдел логики, изучающий значения понятий и суждений, в особенности при записи их в виде выражений т.н. формальных систем (см. Синтаксис в логике). К задачам С. относится прежде всего уточнение таких общелогич. понятий, "как "смысл", "соответствие", "предмет", "множество", "логическое следование", "интерпретация" и т.п. Важное место в С. занимают вопросы различения между объемом понятия и содержанием понятия, между значением истинности суждения и смыслом суждения. Свойства, связанные с объемом понятия и значением истинности суждения, наз. экстенциональными, а свойства, связанные с содержанием понятия и смыслом суждения, - интенциональными. Так, суждения "дважды два четыре" и "Волга впадает в Каспийское море", равносильные экстенционально (их значения истинности совпадают), различаются интенционально (они имеют разные смыслы).
Точный смысл проблемы С. приобретают в связи с построением и изучением формальных систем. При исследовании к.-л. формальной системы семантич. проблемы возникают тогда, когда система получает интерпретацию, т.е. истолковывается как отображающая нек-рую содержательную теорию или раздел науки, в силу чего приобретают значение (смысл) выражения данной системы. Сама система в этом случае наз. с е м а н т и ч е с к о й, или интерпретированной. При изучении формальных систем объектом С. являются общие вопросы соотношения между формальной системой и ее интерпретациями. Т.о., в С. изучаются такие проблемы, как проблема истины (соответствие формул или предложений семантич. системы "положению вещей" в изображаемой области), проблемы, связанные с соотношением знака и обозначаемого, проблема определения смысла выражений системы и т.п. С. при этом не может быть оторвана от синтаксиса, к-рый она естественно дополняет. (Существуют вопросы, являющиеся одновременно и синтаксическими и семантическими. Так, напр., одно из определений полноты формальной системы состоит в том, что система полна, если добавление к ее аксиомам формулы, не являющейся теоремой, делает систему противоречивой; само это определение имеет синтаксич. характер, однако существенно используемое в нем понятие непротиворечивости может определяться и семантически). Но, в отличие от синтаксиса, С. рассматривает выражения формальных систем не просто как таковые, а как записи суждений и понятий. Запись нек-рого понятия (для простоты, единичного) может считаться именем предмета, составляющего объем этого понятия. Т.о., возникает трехчленное соответствие (называемое часто "основным семантич. треугольником") между предметом, содержанием понятия и именем. Чтобы подчеркнуть отношение первого и второго членов к третьему, их называют предметом (или денотатом) имени и концептом имени. Так, у имен "А. С. Пушкин" и "автор „Евгения Онегина"" одинаковые предметы, но разные концепты.
Многие важные проблемы логич. С. являются традиционными. Однако традиц. идеи (в особенности греческих и ср.-век. авторов) получили более или менее полное объяснение и развитие только в конце 19 - нач. 20 вв. в работах Г. Фреге, Б. Рассела и логиков львовско-варшавской школы. А. Тарский заложил основы систематич. построения совр. логич. С. (1929), к-рую он продолжал развивать в своих позднейших работах. Осн. внимание Тарский уделяет анализу семантич. понятий ("истина", "определение", "выполнимость", "обозначение" и др.) и выяснению возможности их определения. По Тарскому, семантич. понятия могут быть определены только для формализованных языков, т.е. языков, построенных как нек-рое (интерпретированное) логическое исчисление. Для того же, чтобы определить семантич. понятия для неформализованных, в т.ч. естеств., языков, необходимо построить формализованные языки, служащие приближениями к данному языку. Как показал Тарский, попытка определения семантич. понятий, в частности понятия истины, в системе того языка, в к-ром они фигурируют, с неизбежностью приводит к возникновению парадоксов семантических типа парадокса "Лжец". Поэтому для определения семантич. понятий, помимо исследуемого, или объектного, языка, должен вводиться метаязык, на к-ром должно вестись рассуждение об определяемых его средствами семантич. понятиях объектного языка. Работы Тарского оказали влияние на Р. Карнапа, к-рый создал наиболее развитую систему С. в серии работ под общим названием "Исследования по семантике" ("Studies in semantics", 1942-47). Взглядам Карнапа и Тарского противопоставляет свою позицию У. Куайн. То, что обычно понимается под С., он делит на две части: теорию смысла и теорию обозначения. Первую характеризуют такие понятия, как "смысл", "синонимия" (см. Синонимы), "осмысленность", "следование". Вторую - понятия "обозначение", "наименование", "истина". По мнению Куайна, эти две дисциплины настолько отличаются друг от друга, что нецелесообразно объединять их под общим названием С. Более или менее развитой из них Куайн считает теорию обозначения, к к-рой он относит, напр., большинство работ Тарского. Дж. Кемени в работе "Новый подход к семантике" ("A new approach to semantics", "T. J. Symbolic Logic", 1956, v. 21, No 1-2) предложил новую систему формализованной С. Он строит формализованный язык, в к-ром определяются понятия "модели" и "интерпретации". На основе понятия интерпретации Кемени вводит различение аналитич. и синтетич. высказываний: аналитическое имеет место во всех интерпретациях данного исчисления, тогда как синтетическое имеет место лишь в нек-рой данной интерпретации. В соответствии с этим понятия, определяемые в терминах всех интерпретаций, относятся к тому, что Куайн назвал теорией смысла, а понятия, определяемые в терминах одной интерпретации, - к теории обозначения. См. также Семиотика.
Лит.: Финн В. К., О некоторых семантических понятиях для простых языков, в сб.: Логическая структура науч. знания, М., 1965; Смирнова Е. Д., Формализованные языки и логическая форма, там же; Ajdukiewicz К., Sprache und Sinn, "Erkenntnis", 1934, Bd 4, [H. 2]; Church Α., Carnap's "Introduction to semantics", "The Philosophical Review", 1943, v. 11 (52), No 3; Linsky L. [ed.], Semantics and the philosophy of language, Urbana, 1952; Frege G., Translations from the philosophical writings, Oxf., 1952.