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

Содержание И Форма — см.: Логическая форма.

Референция — - отношение между обозначаемым и обозначающим, между предметом и его именем. Отношение Р. изучается теорией референции - разделом логической семантики (см.: Имя, Денотат).

Следование — см.: Логическое следование.

Совместимость — - вид отношения между понятиями и суждениями. Два понятия называются совместимыми, если их объемы совпадают полностью или частично, т. е. имеют хотя бы один общий элемент. Напр., понятия "политик" и "спортсмен" частично совпадают по своему объему:...

Силлогизм (от Греч. Sillogismos) Категорический — - дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную форму ("Все S суть Р", "Ни одно S не есть Р", "Некоторые 5 суть Р", "Некоторые 5 не есть Р"), следует новое суждение (заключение), имеющее также...

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

Семантическое Понятие Истины — - классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе "Понятие истины в формализованных языках" (1935). Тарский исходит из...

Релевантная Импликация — см.: Релевантная логика.

Смысл — - в повседневной речи синоним значения. В логической семантике общее значение языковых выражений расщепляют на две части: предметное значение и С. Предметным значением, денотатом, объемом, экстенсионалом и т. п. некоторого выражения называют тот...