Краткий словарь основных терминов логической теории

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

Атрибутивные суждения - суждения, в которых выражается принадлежность предметам свойств или отсутствие у пред­метов каких-либо свойств.

Дизъюнктивное суждение - суждение, в котором утверждается наличие, по крайней мере, одной из двух ситуаций. Дилемма - это умозаключение из трех посылок: две посыл­ки - условные суждения, а одна - разделитель­ное суждение.

Категорический силлогизм - это умозаключение, в котором из двух категорических суждений выводится третье категориче­ское суждение, в заключение категорического силлогизма связь между терминами устанавливается на основании знания их отношения к не­которому "третьему" термину в посылках.

Категорическое суждение - это атрибутивное суждение одной из следующих форм: Все S суть Р.; Некоторые S суть Р.; ни один S не суть не-Р; Некоторые S не суть не-Р.

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

Неполная обобщающая индукция - это умозаключение от знания лишь о некоторых предметах класса к знанию обо всех предметах класса.

Обобщающая индукция - это умозаключение, в котором осуществляется переход от знания об отдельных предметах клас­са или о подклассе класса к знанию обо всех пред­метах класса или о классе в целом.

Обращение категорического суждения - умозаключение, которое заключается в перемене местами его субъекта и предиката.

Отрицание суждения - это операция, заключающаяся в таком преобразовании суждения, в результате которого получают суждение, находящееся в отношении контрадикторности (противоречивости) к исходному суждению.

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

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

Предикат – термин суждения (P); признак, приписываемый субъекту, либо отрицаемый в отношении его.

Предмет – объект внимания сознания (объект, взятый в единстве с определенным методом познания), материальный или идеальный.

Превращение категорического суждения - это изменение его качества одновременно с заменой предиката на противоречащий ему термин.

Простое суждение - суждение, в котором нельзя выделить часть яв­ляющуюся суждением.

Разделительно-категорическое умозаключение - это умозаключение, в котором одна из посылок является разделительным суждением, а вторая совпадает с одним из членов разделительного суждения или с отрицанием одного из членов этого суждения, а заключение тоже совпадает с одним из членов разделительного суждения или с отрицанием одного из членов разделительного суждения.

Разделительные суждения - это суждения, в которых утверждается наличие одной из двух, трех и т.д. ситуаций.

Сложное суждение - суждение, в котором можно выделить часть яв­ляющуюся суждением.

Соединительные суждения - это суждения, в которых утверждается наличие двух ситуаций.

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

Субъект – термин суждения (S); понятие о предмете суждения (высказывания).

Суждение - это форма мышления (мысль), в которой что-либо утверждается или отрицается в отношении субъекта. Суждения бывают истинные или ложные.

Суждение эквивалентности - это суждение, в котором утверждается взаимная обусловленность двух ситуаций.

Суждения об отношениях - суждения, в которых говорится о том, что определенное отношение имеет место (или не имеет места) между элементами пар, троек и т.д. предметов.

Умозаключение - это форма мышления (рассуждение), в процессе которого из некоторых знаний, выраженных в исходных суждениях (посылках), получают новое знание, выраженное в итоговом суждении (заключении).

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

Условное (импликативное) суждение - суждение, в котором утверждается, что наличие одной ситуации обусловливает наличие другой.

Условно-категорическое умозаключение - это умозаключение, в котором одна посылка - условное суждение, а вторая посылка совпадает с основанием или следствием условного сужде­ния или же с результатом отрицания основания или следствия условного суждения.

Энтимема - сокращенный силлогизм, то есть силлогизм, в котором не высказана одна из посылок или заключение.