СЕМАНТИКА – дисциплина, изучающая знаки и знаковые системы с точки зрения их смысла; как правило, рассматривается в рамках семиотики (науки о знаковых системах) совместно с двумя другими ее разделами: синтактикой и прагматикой. Первая из них изучает отношения знаков между собой (синтаксис), вторая – отношения между знаками и производящими и интерпретирующими их субъектами, тогда как семантика рассматривает знаки в их отношении к обозначаемым (не имеющими знаковой природы) объектам.
ЛОГИЧЕСКАЯ СЕМАНТИКА – раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа знаковых систем, то логическая семантика имеет дело с особого рода знаковыми системами – языками, построенными для целей логики. Приписывание значений выражениям исследуемого (объектного) языка осуществляется посредством особого рода правил, называемых семантическими. Эти правила в свою очередь описываются в каком-то понятном, заранее интерпретированном языке, называемом в этом случае метаязыком (для данного объектного языка)...
СЕМАНТИЧЕСКИЕ АНТИНОМИИ— антиномии, возникающие в высказываниях, предметом которых являются выражения некоторого языка. Представителем одного из основных типов С. а. служит антиномия «Лжец», восходящая к Евбулиду из Милета (4 в. до н. э.), которую можно сформулировать так: [Предложение, взятое на этой странице в квадратные скобки, ложно]. Если это предложение истинно, то из его содержания вытекает, что оно ложно. Если же оно ложно, то опять-таки из его содержания вытекает, что оно истинно.
ЛОГИЧЕСКАЯ СЕМАНТИКА — отдел логики, изучающий значение выражений языка; в более точном смысле раздел металогики, изучающий интерпретации (Интерпретация и модель) логических исчислений (Формализованный язык). Основные понятия Логической семантики можно разделить на две группы: 1) входящие в так называемую теорию обозначения, применение которых к выражениям данного языка существенным образом зависит от выбора интерпретации (понятия истинности, обозначения, выполнимости, именования (Имя), экстенсиональности, синтетической истинности и др.); 2) принадлежащие к т. наз. теории смысла (значение и смысл, синонимия, аналитическая истинность и др.) и определяющиеся относительно всех возможных интерпретаций данного языка...
ЛОГИЧЕСКАЯ И ФАКТИЧЕСКАЯ ИСТИННОСТЬ — логические понятия, восходящие к Лейбницу, который различал необходимые истины, или «истины разума», и случайные истины, или «истины факта»; истинность первых вытекает из законов логики, истинность вторых — из соответствия фактическому положению вещей. Рассматривая законы логики как абсолютные, Лейбниц считал, что «истины разума» истинны во всех возможных (т. е. не противоречащих логике) мирах, тогда как истины факта истинны лишь в некотором из возможных миров (в т. ч.
СЕМАНТИЧЕСКОЕ ПРОСТРАНСТВО - предложенная американским физиком Д. Бомом модель целостности мира как всеобъемлющего движения (Holomovement). Он поставил задачу построения концепции, которая в рамках единого методологического подхода объединила бы материальную Вселенную и сознание. Фундаментальная отличительная черта космологии Бома состоит в признании неразрывного единства реальности, ее неделимой целостности. С этой точки зрения мы являемся частью целого, которое обладает способностью генерировать идеи о самом себе и регистрировать их внутри себя самого.
СЕМАНТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ИСТИНЫ — было разработано в 30-е гг. XX в. в логико-семантической теории А. Тарского. Данное определение является формально-логическим уточнением классической («корреспондентной») концепции истины, экспликацией нашего интуитивного представления об истине как соответствии реальности. Непосредственным поводом к формулированию С.о.и. послужило стремление преодолеть присущие естественному языку семантические парадоксы (например, известный парадокс «Лжец»), В отличие от представителей лингвистической философии Тарский считал естественные языки несовершенными, «семантически замкнутыми», т.е. содержащими как сами выражения, так и их имена, а также семантические термины типа «истинно», применимые по отношению к выражениям определенного языка. При этом Тарский исходил из принципиальной невозможности формализации естественных языков. Строгое определение истины должно, по его мнению, удовлетворять требованию материальной адекватности и формальной непротиворечивости...
СЕМАНТИЧЕСКИЕ ПАРАДОКСЫ - логические парадоксы, при построении которых используются семантические понятия. К числу семантических парадоксов относят парадокс Греллинга о гетерологичности и негетерологичности прилагательного «гетерологический», парадоксы Ришара и Берри. Но наиболее известным семантическим парадоксом является парадокс «Лжец». Древнегреческий философ Эпименид высказал утверждение, что все критяне лжецы. Пикантность ситуации состоит в том, что сам Эпименид был критянином. В дальнейшем данный парадокс рассматривался Эвбулитом Милетским, который сформулировал его в виде фразы «Я лгу». В современной логике он обычно представляется в виде выражения «То, что я говорю, есть ложь». Парадоксальность этого выражения состоит в том, что оно одновременно должно быть оценено и. как истинное и как ложное, что, конечно же, противоречиво. В самом деле, допустим, что это предложение является истинным. Тогда то, что я говорю, соответствует действительности, а говорю я, что я лгу...
СЕМАНТИЧЕСКИЕ КАТЕГОРИИ - классы языковых выражений с одинаковым типом значений. Принятие той или иной системы С.к. соответствует допущению определенной теоретико-познавательной «сетки» логического анализа, которая определяет то, что называют «миром языка», его онтологией, указывает на то, о каком типе сущностей может идти речь в данном языке, какого рода абстракции и идеализации принимаются. Иерархия С.к., положенная в основу формализованного языка, обусловливает способ анализа логической формы его выражений и тем самым допустимые способы рассуждения. Теория С.к.