Рисунок 1. Логическая семантика
Определение Логической семантикой называют раздел металогики, предметом изучения которого становятся отношения между символом и объектом, обозначаемым этим символом.
В качестве самостоятельной дисциплины логическая семантика выделилась в середине XX века вследствие изучения парадоксов, существующих в лингвистике, логике и математике. Главными теоретиками данного направления в науке стали Г. Ферге, Р. Карнап, К. Уайн, А. Тарский, Б. Рассел и прочие ученые. Основой существования дисциплины является теория терминов, суть которой заключается в положении, сформулированном Г. Ферге: любой термин одновременно обозначает объект и имеет семантическое наполнение, то есть у любого знака есть предметное и смысловое значение.
Дальнейшие исследования, проводимые во второй половине XX века, позволили вывести новую теорию, которая гласит, что символ становится термином только при соблюдении трех условий: предметности (наличие обозначаемого объекта), однозначности (уникальность обозначаемого объекта), контекстуальности (необходимость указания контекста, в котором используется символ). При этом денотатом термина способен стать любой материальный или абстрактный объект, а смыслом термина становится только его способность обозначать этот объект.
Заметка Помимо терминов теоретических, важны эмпирические термины, способные обозначать объект при помощи описания, не называя его.
Классификация символов по принципу семантического типа позволяет избежать парадоксов, возникающих в контекстах вследствие ошибочного применения принципа взаимозаменимости. Этот принцип гласит, что если для обозначения объекта используется два термина, то при замене в высказывании одного на другой значение его не изменится. Важными для логической семантики категориями является понятие истинности, на котором строится теория референции, направленная на изучение отношений между объектом и именем.
