Философская энциклопедия - семантика логическая

СЕМАНТИКА ЛОГИЧЕСКАЯ

— раздел металогики, в которой изучаются отношения между объектами и символами, используемыми для их обозначения.

Центральным содержательным компонентом С.л. является теория терминов. Согласно классической концепции смысла и значения терминов, сформулированной Г. Фреге, всякий термин обозначает некоторый объект (этот объект есть значение термина) и вместе с тем выражает некоторый смысл (абстрактное содержание данного термина). При этом смысл термина определенным образом характеризует его значение, но не совпадает с последним. К примеру, слово «человек», с одной стороны, используется для указания на конкретных людей, а с другой — имеет вполне определенный смысл, а именно выражает понятие человека. При этом очевидно, что понятие человека нельзя отождествлять с конкретными людьми, т.е. с теми материальными объектами, которых характеризует это понятие. Несмотря на свою интуитивную очевидность, концепция Фреге обладает некоторыми недостатками. Как отмечал, в частности, Р. Карнап, в концепции Фреге допускаются многозначность значений терминов, а также возможность построения потенциально бесконечной иерархии смыслов, не имеющей четкого содержательного истолкования и логического объяснения.

В результате последующих исследований во втор, пол. 20 в. концепция Фреге трансформировалась в современную теорию, согласно которой символ является термином лишь в том случае, если соблюдаются три основных условия: предметность (должен существовать сам объект обозначения), однозначность (единственность объекта обозначения) и контекстуальность (должен быть указан прагматический контекст, конкретные «координаты обозначения» для используемого символа). При этом в качестве значения (денотата) термина может рассматриваться любой объект (как материальный, так и абстрактный), а смысл термина заключается лишь в том, что он обозначает соответствующий объект.

К числу важнейших категорий С.л. относится также понятие истины. В рамках логической теории истины, основы которой были заложены А. Тарским, истина трактуется как свойство высказывания (предложения) обозначать соответствующее абстрактное суждение. При этом истинные высказывания рассматриваются в качестве пропозициональных терминов, а ложные высказывания — лишь в качестве синтаксически правильно построенных термов, а не терминов.

Кроме терминов, к числу важных семантических разновидностей символов относятся также переменные, формулы и метаформулы. Разделение символов на различные семантические типы позволяет, в частности, устранить ряд логических затруднений (т.н. парадоксов отношения именования), возникающих в результате некорректного применения принципа взаимозаменимости в некоторых естественно-языковых контекстах. Согласно данному принципу, если два термина обозначают один и тот же объект, то при их взаимной замене в любом высказывании, в который входят данные термины, истинностное значение высказывания (т.е. его истинность или ложность) не изменяется. В контекстах, подвергнутых семантически адекватной формализации, принцип взаимозаменимости сохраняет силу и не приводит к к.-л. противоречиям.

В современной С.л. изучаются также методы построения объектных моделей для различных исчислений (формальных систем) и общие принципы построения самих формальных систем. Если для исчисления построена модель, то оно становится интерпретированным исчислением или формальным языком, который может быть использован в качестве эффективного инструмента научного исследования соответствующей предметной области.

Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А.А. Ивина. 2004.