Семантика Логическая

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

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

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

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

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