Тематический глоссарий по предмету «Логика» (словарь терминов)

Абстрактные понятия – понятия, в которых признак как бы отрывается от предмета и мыслится самостоятельно.

Аналогия – умозаключение, в котором устанавливается наличие признака у предмета мысли на том основании, что этот признак имеется у другого предмета, сходного с первым в некоторых других признаках.

Аргумент – элемент доказательства, представляющий собой суждение, которым обосновывается истинность тезиса.

Атрибутивное суждение – суждение, в котором предикат является признаком субъекта.

Аналогия отношений – это умозаключение, в котором объектом уподобления выступают отношения между двумя парами предметов, а переносимым признаком являются свойства этих отношений.

Безотносительные понятия – понятия, которые мыслятся самостоятельно (в отличие от соотносительных).

Видовые признаки – признаки, принадлежащие некоторой совокупности элементов класса.

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

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

Дедуктивное умозаключение – 1) умозаключение, в котором из посылок большей степени обобщенности делают менее общий вывод; 2) умозаключение, в котором вывод носит достоверный характер.

Деление понятий – прием, раскрывающий объем понятия.

Демонстрация – элемент доказательства, представляющий собой способ связи аргументов и тезиса.

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

Доказательство – логический прием обоснования какой-либо мысли другими мыслями, истинность которых доказана ранее.

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

Единичные признаки – признаки, принадлежащие отдельному предмету мысли.

Единичные понятия – понятия, объем которых состоит из одного элемента.

Единичное суждение – суждение, в котором субъект является единичным понятием.

Заключение (вывод) – суждение, которое в умозаключении выводится из посылок.

Закон обратного отношения между объемом и содержанием понятия – положение, устанавливающее зависимость между объемом и содержанием понятия. Обычно используют следующую его формулировку: «Из двух понятий, находящихся в отношениях подчинения, большее по объему будет иметь меньшее содержание и наоборот».

Знак модальности – элемент суждения, указывающий на закономерный, случайный или возможный характер связи между терминами.

Импликативное (условное) суждение – сложное суждение, в котором два простых объединяются с помощью логического союза «если…, то…» (формула: Если А, то В).

Индуктивное определение – прием, сходный определением, в котором признаки понятия раскрываются путем перечисления элементов, составляющих понятие.

Индуктивные умозаключения – 1) умозаключения, в которых из посылок меньшей степени обобщенности получаются более общие выводы; 2) умозаключение, в котором вывод носит вероятный характер.

Категорическое суждение – суждение, в котором устанавливается существование или отсутствие связи (закономерной или случайной) между терминами.

Категорический силлогизм – это умозаключение, в котором из двух категорических высказываний выводится новое категорическое высказывание. Логическая теория такого рода умозаключений называется силлогистикой. Она была создана еще Аристотелем и долгое время служила образцом логической теории.

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

Классификация – прием, при котором однородные элементы распределяются по определенным группам и подгруппам с использованием системы оснований.

Конечные понятия – понятия, объем которых состоит из ограниченного количества элементов.

Конкретные понятия – понятия, в которых предмет мысли отражается как реальный объект во всем многообразии его признаков.

Косвенное доказательство – доказательство, в котором истинность тезиса обосновывается через ложность антитезиса (суждения, противоречащего тезису).

Логика – наука, изучающая законы и формы правильного мышления.

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

Методы научной индукции – умозаключения научной индукции, устанавливающие причинно-следственные связи между явлениями.

Модальность суждения – это выраженная в суждении явно или неявно дополнительная информация. В логике различают три группы модальных суждений.

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

Научная индукция – соединение индукции и дедукции в практике научного познания.

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

Непосредственное доказательство – доказательство, в котором для обоснования тезиса не используются дополнительные суждения, аргументы; истинность тезиса обосновывается сопоставлением его с действительностью.

Непосредственное умозаключение – умозаключение, в котором вывод получается из одной посылки путем преобразования ее структуры.

Нестрогая аналогия – аналогия, в которой вывод является вероятным.

Номинальное определение – определение, в котором раскрывается значение термина.

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

Общие понятия – понятия, объем которых состоит из двух или более элементов.

Общее суждение – суждение, в котором речь идет обо всех элементах суждения.

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

Опосредованное доказательство – доказательство, в котором для обоснования тезиса используются вспомогательные суждения, аргументы.

Определение понятия (дефиниция) – логический прием, раскрывающий содержание понятия.

Опровержение – логический прием, состоящий в обосновании ложности тезиса или несостоятельности его доказательства.

Отрицательные понятия – понятия, в которых подчеркивается отсутствие у предмета мысли некоторых признаков.

Ощущение — это отражение отдельных чувственно воспринимаемых свойств предметов — их цвета, формы, запаха, вкуса.

Пересечение – отношение между понятиями, при котором объемы понятий совпадают лишь частично.

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

Понятие — это форма мышления, отражающая предметы в их существенных признаках.

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

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

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

Посылка – суждение, из которого в умозаключении получается вывод.

Предикат суждения (обозначается латинской буквой Р) – это то, что утверждается или отрицается о предмете суждения. Субъект и предикат называются терминами суждения.

Представление — это сохранившийся в сознании чувственный образ предмета, который воспринимался раньше.

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

Противопоставление предикату – это непосредственное умозаключение, при котором предикатом является субъект, субъектом – понятие, противоречащее предикату исходного суждения, и связка меняется на противоположную. Его схема: S есть Р; не-Р не есть S.

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

Разделительные понятия – понятия, в которых каждый элемент мыслится самостоятельно и обладает всеми признаками данного понятия.

Разделительный силлогизм – дедуктивное умозаключение, в состав которого входят разделительные суждения.

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

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

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

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

Строгая аналогия – аналогия, в которой вывод является достоверным.

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

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

Тезис – элемент доказательства, представляющий собой суждение, которое обосновывается в ходе доказательства.

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

Умозаключение по «логическому квадрату» – это определение истинности или ложности одного суждения из истинности или ложности другого.

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

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

Частное суждение – суждение, в котором речь идет о некоторых элементах субъекта.

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