Словарь терминов по логике

Последнее обновление: 29 Ноябрь 2018.

Свойство — характеристика, присущая вещам и явлениям, позволяющая отличать или отождествлять их.

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

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

Семантическая Категория — класс языковых выражений, взаимная замена которых в предложении сохраняет его грамматический статус, т. е. предложение остается предложением.

Семантические Парадоксы — см.: Антиномия.

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

Семиотика — общая теория знаковых систем, к числу которых относятся как естественные языки, так и специальные языки конкретных наук, искусственные языки, сигнальные системы и т. п.

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

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

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

Символическая Логика — одно из названий современного этапа в развитии формальной логики.

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

Синкатегорематическое Выражение — см.: Символы собственные и несобственные.

Синонимия — одно из важнейших понятий логической семантики, выражающее тождество значений языковых выражений. Два выражения считаются синонимичными, если имеют одно и то же значение.

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

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

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

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

Сложное Высказывание — высказывание, полученное с помощью логических связок из простых высказываний.

Случайность Логическая — одна из модальных характеристик высказывания наряду с возможностью, необходимостью и невозможностью; высказывание случайно, когда и оно само, и его отрицание являются возможными.

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

Собирательное Понятие — см.: Понятие.

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

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

Современная Логика — одно из имен для обозначения нынешнего этапа в развитии (формальной) логики, начавшегося во второй половине XIX в. — начале XX в. В качестве других имен этого этапа в развитии логики используются также термины математическая логика и символическая логика.

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

Содержание Понятия — см.: Понятие.

Сорит — (от греч. soros — куча) — цепь сокращенных силлогизмов, в которых опущена или большая, или меньшая посылка.

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

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

Сравнительные Модальности — см.: Абсолютные и сравнительные модальности.

Строгая Импликация — см.: Импликация, Парадоксы импликации, Логика.

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

Суждение — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной.

Суппозиция — (от лат. suppositio — подкладывание, подмена) — термин, использовавшийся средневековыми логиками для обозначения разных употреблений термина.

Существенный Признак — см.: Определение понятия.

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