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


СЕМАНТИКА ЛОГИЧЕСКАЯ
СЕМАНТИКА ЛОГИЧЕСКАЯ
— раздел металогики, в которой изучаются отношения между объектами и символами, используемыми для их обозначения.
Центральным содержательным компонентом С.л. является теория терминов. Согласно классической концепции смысла и значения терминов, сформулированной Г. Фреге, всякий термин обозначает некоторый объект (этот объект есть значение термина) и вместе с тем выражает некоторый смысл (абстрактное содержание данного термина). При этом смысл термина определенным образом характеризует его значение, но не совпадает с последним. К примеру, слово «человек», с одной стороны, используется для указания на конкретных людей, а с другой — имеет вполне определенный смысл, а именно выражает понятие человека. При этом очевидно, что понятие человека нельзя отождествлять с конкретными людьми, т.е. с теми материальными объектами, которых характеризует это понятие. Несмотря на свою интуитивную очевидность, концепция Фреге обладает некоторыми недостатками. Как отмечал, в частности, Р. Карнап, в концепции Фреге допускаются многозначность значений терминов, а также возможность построения потенциально бесконечной иерархии смыслов, не имеющей четкого содержательного истолкования и логического объяснения.
В результате последующих исследований во втор, пол. 20 в. концепция Фреге трансформировалась в современную теорию, согласно которой символ является термином лишь в том случае, если соблюдаются три основных условия: предметность (должен существовать сам объект обозначения), однозначность (единственность объекта обозначения) и контекстуальность (должен быть указан прагматический контекст, конкретные «координаты обозначения» для используемого символа). При этом в качестве значения (денотата) термина может рассматриваться любой объект (как материальный, так и абстрактный), а смысл термина заключается лишь в том, что он обозначает соответствующий объект.
К числу важнейших категорий С.л. относится также понятие истины. В рамках логической теории истины, основы которой были заложены А. Тарским, истина трактуется как свойство высказывания (предложения) обозначать соответствующее абстрактное суждение. При этом истинные высказывания рассматриваются в качестве пропозициональных терминов, а ложные высказывания — лишь в качестве синтаксически правильно построенных термов, а не терминов.
Кроме терминов, к числу важных семантических разновидностей символов относятся также переменные, формулы и метаформулы. Разделение символов на различные семантические типы позволяет, в частности, устранить ряд логических затруднений (т.н. парадоксов отношения именования), возникающих в результате некорректного применения принципа взаимозаменимости в некоторых естественно-языковых контекстах. Согласно данному принципу, если два термина обозначают один и тот же объект, то при их взаимной замене в любом высказывании, в который входят данные термины, истинностное значение высказывания (т.е. его истинность или ложность) не изменяется. В контекстах, подвергнутых семантически адекватной формализации, принцип взаимозаменимости сохраняет силу и не приводит к к.-л. противоречиям.
В современной С.л. изучаются также методы построения объектных моделей для различных исчислений (формальных систем) и общие принципы построения самих формальных систем. Если для исчисления построена модель, то оно становится интерпретированным исчислением или формальным языком, который может быть использован в качестве эффективного инструмента научного исследования соответствующей предметной области.

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


.

Смотреть что такое "СЕМАНТИКА ЛОГИЧЕСКАЯ" в других словарях:

  • семантика логическая —         СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… …   Энциклопедия эпистемологии и философии науки

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

  • ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …   Философская энциклопедия

  • СЕМАНТИКА — раздел семиотики и логики, исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Семантическая проблематика обсуждалась еще в античности, однако только на рубеже 19 20 вв. в трудах Ч. Пирса, Ф. де Соссюра, Ч.… …   Философская энциклопедия

  • СЕМАНТИКА — [< гр. semantikos значащий] лингв. наука о значениях слов и выражений, а также об отношении языковых знаков к обозначаемым объектам. Словарь иностранных слов. Комлев Н.Г., 2006. семантика (гр. semantikos обозначающий) 1) смысловая сторона языка… …   Словарь иностранных слов русского языка

  • ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел математической логики, посвященный проблеме отношения высказывания или его частей к реальности. Основатель современной Л. с. немецкий ученый Готтлоб Фреге. Прежде всего, он сформулировал различие между денотатом (значением) знака (то есть… …   Энциклопедия культурологии

  • ЛОГИЧЕСКАЯ СЕМАНТИКА — теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном… …   Большой Энциклопедический словарь

  • СЕМАНТИКА — (от греч. semantikos обозначающий). Различают несколько видов С. 1. Лингвистическая С. раздел языкознания, изучающий лексические значения слов и выражений, изменения их значений (значение слова, оборота речи или грамматической формы). Син.… …   Большая психологическая энциклопедия

  • ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… …   Философская энциклопедия

  • СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ — Представление о том, что у настоящего может быть не одно, а несколько направлений развития в будущем (это, собственно, и составляет содержание понятия возможные миры ), было, вероятно, в культуре всегда. Но оно обострилось в ХХ в. в связи с общей …   Энциклопедия культурологии

Книги

Другие книги по запросу «СЕМАНТИКА ЛОГИЧЕСКАЯ» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.