Сайт Лотоса » на главную страницу
домойFacebookTwitter

Энциклопедия
современной эзотерики

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

А|Б|В|Г|Д|Е|Ж|З|И|Й|К|Л|М|Н|О|П|Р|С|Т|У|Ф|Х|Ц|Ч|Ш|Щ|Э|Ю|Я

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

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


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


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


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


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


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


В.Н. Переверзев


Источник: «Философский энциклопедический словарь".
Используемые сокращения.


Страницы, ссылающиеся на данную: С
ФЭСПолноеСодержание
ФЭСС

Энциклопедия Современной Эзотерики: к началу


 

 

 


Новости | Библиотека Лотоса | Почтовая рассылка | Журнал «Эзотера» | Форумы Лотоса | Календарь Событий | Ссылки


Лотос Давайте обсуждать и договариваться 1999-2019
Сайт Лотоса. Системы Развития Человека. Современная Эзотерика. И вот мы здесь :)
| Правообладателям
Модное: Твиттер Фейсбук Вконтакте Живой Журнал
Рейтинг@Mail.ru Rambler's Top100