Тематический глоссарий по предмету «Логика» (словарь терминов)
НАВИГАЦИЯ ПО СТРАНИЦЕ
Пример колоды флэш-карт по терминам для запоминания: логика 👨🎓
А
Абстрактные понятия – понятия, в которых признак как бы отрывается от предмета и мыслится самостоятельно.
Аналогия – умозаключение, в котором устанавливается наличие признака у предмета мысли на том основании, что этот признак имеется у другого предмета, сходного с первым в некоторых других признаках.
Аргумент – элемент доказательства, представляющий собой суждение, которым обосновывается истинность тезиса.
Атрибутивное суждение – суждение, в котором предикат является признаком субъекта.
Аналогия отношений – это умозаключение, в котором объектом уподобления выступают отношения между двумя парами предметов, а переносимым признаком являются свойства этих отношений.
Б
Безотносительные понятия – понятия, которые мыслятся самостоятельно (в отличие от соотносительных).
В
Видовые признаки – признаки, принадлежащие некоторой совокупности элементов класса.
Вопрос – это логическая форма, которая содержит некоторую исходную информацию и определенные пути восполнения недостающего знания в виде ответов.
Г
Генетическое определение – определение, в котором указывается на способ образования, происхождения объекта.
Д
Дедуктивное умозаключение – 1) умозаключение, в котором из посылок большей степени обобщенности делают менее общий вывод; 2) умозаключение, в котором вывод носит достоверный характер.
Деление понятий – прием, раскрывающий объем понятия.
Демонстрация – элемент доказательства, представляющий собой способ связи аргументов и тезиса.
Дихотомическое деление – деление, при котором делимое понятие делится на два: элементы одного имеют какой-то признак, а у элементов второго этот признак отсутствует, ничем не заменяясь.
Доказательство – логический прием обоснования какой-либо мысли другими мыслями, истинность которых доказана ранее.
Доказательство по аналогии – это обоснование тезиса, утверждающего свойства единичного явления с помощью аргументов, которые содержат информацию о другом явлении, сходном с первым в существенных признаках.
Е
Единичные признаки – признаки, принадлежащие отдельному предмету мысли.
Единичные понятия – понятия, объем которых состоит из одного элемента.
Единичное суждение – суждение, в котором субъект является единичным понятием.
З
Заключение (вывод) – суждение, которое в умозаключении выводится из посылок.
Закон обратного отношения между объемом и содержанием понятия – положение, устанавливающее зависимость между объемом и содержанием понятия. Обычно используют следующую его формулировку: «Из двух понятий, находящихся в отношениях подчинения, большее по объему будет иметь меньшее содержание и наоборот».
Знак модальности – элемент суждения, указывающий на закономерный, случайный или возможный характер связи между терминами.
И
Импликативное (условное) суждение – сложное суждение, в котором два простых объединяются с помощью логического союза «если…, то…» (формула: Если А, то В).
Индуктивное определение – прием, сходный определением, в котором признаки понятия раскрываются путем перечисления элементов, составляющих понятие.
Индуктивные умозаключения – 1) умозаключения, в которых из посылок меньшей степени обобщенности получаются более общие выводы; 2) умозаключение, в котором вывод носит вероятный характер.
К
Категорическое суждение – суждение, в котором устанавливается существование или отсутствие связи (закономерной или случайной) между терминами.
Категорический силлогизм – это умозаключение, в котором из двух категорических высказываний выводится новое категорическое высказывание. Логическая теория такого рода умозаключений называется силлогистикой. Она была создана еще Аристотелем и долгое время служила образцом логической теории.
Кванторные слова «все» («каждый», «любой», «ни один», «всякий» и пр.), «некоторые». Слово «все» (и т.п.) выражает квантор общности, слово «некоторые» (и т.п.) – квантор существования. Кванторное слово указывает, относится ли предикат ко всему объему субъекта, или только к его части.
Классификация – прием, при котором однородные элементы распределяются по определенным группам и подгруппам с использованием системы оснований.
Конечные понятия – понятия, объем которых состоит из ограниченного количества элементов.
Конкретные понятия – понятия, в которых предмет мысли отражается как реальный объект во всем многообразии его признаков.
Косвенное доказательство – доказательство, в котором истинность тезиса обосновывается через ложность антитезиса (суждения, противоречащего тезису).
Л
Логика – наука, изучающая законы и формы правильного мышления.
Логический квадрат – условная фигура, служащая для изображения отношений между суждениями, в которой вершинами являются сравнимые суждения, а сторонами и диагоналями – отношения между ними.
М
Методы научной индукции – умозаключения научной индукции, устанавливающие причинно-следственные связи между явлениями.
Модальность суждения – это выраженная в суждении явно или неявно дополнительная информация. В логике различают три группы модальных суждений.
Мышление – это социально обусловленный, неразрывно связанный с речью психический процесс поисков и открытия существенно нового, процесс опосредствованного и обобщенного отражения действительности в ходе ее анализа и синтеза. Мышление возникает на основе практической деятельности из чувственного познания и далеко выходит за его пределы.
Н
Научная индукция – соединение индукции и дедукции в практике научного познания.
Неполная индукция – это умозаключение, в котором при повторяемости признаков у явлений определенного класса делают вывод о принадлежности этого признака всему классу явлений.
Непосредственное доказательство – доказательство, в котором для обоснования тезиса не используются дополнительные суждения, аргументы; истинность тезиса обосновывается сопоставлением его с действительностью.
Непосредственное умозаключение – умозаключение, в котором вывод получается из одной посылки путем преобразования ее структуры.
Нестрогая аналогия – аналогия, в которой вывод является вероятным.
Номинальное определение – определение, в котором раскрывается значение термина.
О
Обращение – непосредственное умозаключение, в котором термины меняются местами.
Общие понятия – понятия, объем которых состоит из двух или более элементов.
Общее суждение – суждение, в котором речь идет обо всех элементах суждения.
Объем понятия – совокупность входящих в понятие объектов, имеющих признаки, перечисленные в его содержании.
Опосредованное доказательство – доказательство, в котором для обоснования тезиса используются вспомогательные суждения, аргументы.
Определение понятия (дефиниция) – логический прием, раскрывающий содержание понятия.
Опровержение – логический прием, состоящий в обосновании ложности тезиса или несостоятельности его доказательства.
Отрицательные понятия – понятия, в которых подчеркивается отсутствие у предмета мысли некоторых признаков.
Ощущение — это отражение отдельных чувственно воспринимаемых свойств предметов — их цвета, формы, запаха, вкуса.
П
Пересечение – отношение между понятиями, при котором объемы понятий совпадают лишь частично.
Первая группа силлогизмов – простые категорические силлогизмы. К ним относятся заключение, в котором из двух категорических высказываний выводится новое категорическое высказывание.
Понятие — это форма мышления, отражающая предметы в их существенных признаках.
Полисиллогизм – совокупность двух или более простых категорических силлогизмов, в которой вывод предыдущего является посылкой последующего.
Полная индукция – индуктивное умозаключение, отвечающее на вопрос о наличии признака у класса предметов на том основании, что этот признак имеется у всех элементов данного класса.
Популярная индукция – индуктивное умозаключение, устанавливающее наличие признака у класса предметов на том основании, что этот признак имеется у некоторых элементов данного класса.
Посылка – суждение, из которого в умозаключении получается вывод.
Предикат суждения (обозначается латинской буквой Р) – это то, что утверждается или отрицается о предмете суждения. Субъект и предикат называются терминами суждения.
Представление — это сохранившийся в сознании чувственный образ предмета, который воспринимался раньше.
Превращение – вид непосредственного умозаключения, при котором изменяется качество посылки без изменения ее количества, при этом предикат заключения является отрицанием предиката посылки. Схема превращения: S есть Р; S не есть не-Р.
Противопоставление предикату – это непосредственное умозаключение, при котором предикатом является субъект, субъектом – понятие, противоречащее предикату исходного суждения, и связка меняется на противоположную. Его схема: S есть Р; не-Р не есть S.
Прямое доказательство – доказательство, в котором обосновывается истинность тезиса.
Р
Разделительные понятия – понятия, в которых каждый элемент мыслится самостоятельно и обладает всеми признаками данного понятия.
Разделительный силлогизм – дедуктивное умозаключение, в состав которого входят разделительные суждения.
Реальное понятие – это определение самого предмета, отраженного в понятии. Примеры таких определений дают энциклопедии и специальные научные словари.
Регрессивный силлогизм – это такой сложный силлогизм, в котором заключение предшествующего силлогизма становится меньшей посылкой последующего силлогизма.
С
Собирательные понятия – понятия, в которых группа родственных элементов мыслится как единое целое, а признак, принадлежащий их совокупности, не принадлежит ее отдельным элементам.
Сравнение – прием, сходный с определением, состоящий в сопоставлении неизвестного предмета мысли с другим, хорошо известным, при этом подчеркиваются признаки сходные.
Строгая аналогия – аналогия, в которой вывод является достоверным.
Субъект (обозначается латинской буквой S) – это понятие о предмете суждения, т.е. понятие, представляющее предметы, о которых в суждении говорится.
Суждение – форма мышления, в которой что-либо утверждают или отрицают о предмете мысли и которая может быть истинной или ложной.
Т
Тезис – элемент доказательства, представляющий собой суждение, которое обосновывается в ходе доказательства.
У
Умозаключение – форма мышления, в которой из одного или нескольких суждений получается новое суждение.
Умозаключение по «логическому квадрату» – это определение истинности или ложности одного суждения из истинности или ложности другого.
Условный силлогизм – дедуктивное умозаключение, в состав которого входят условные суждения.
Ф
Формальная логика – наука, изучающая наши мысли со стороны их структуры (при этом она отвлекается от их изменения и развития); формальная логика изучает законы и правила, которым подчиняется наша мысль в процессе получения выводного знания; формальная логика выявляет операции, применяемые к различным формам нашей мысли, к предметам самого различного конкретного содержания.
Ч
Частное суждение – суждение, в котором речь идет о некоторых элементах субъекта.
Э
Энтимема – дедуктивное умозаключение, построенное на основе простого категорического силлогизма, в котором одна из посылок или вывод пропущены.