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

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

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

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

Безотносительное понятие - это понятие, в котором мыслится предмет, существующий самостоятельно, вне связи с другим предметом (например, «студент», «государство»).

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

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

Деление - логическая операция, раскрывающая объем понятия.

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

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

Единичные понятия – это понятия, в которых мыслится лишь один предмет (явление, событие).

Закон достаточного основания: всякая истинная мысль должна иметь достаточное основание.

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

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

Закон тождества: всякая мысль в процессе рассуждения должна оставаться тождественной самой себе.

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

Импликация (условные) – это сложные суждения, образованные из простых суждений при помощи логического союза «если…, то…», «коль скоро, то…», «когда…. имеет место» и т. д. Обозначается знаком «».

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

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

Конкретное понятие – это понятие, в котором мыслится предмет или класс предметов в совокупности его признаков (например, понятия «книга», «растение»).

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

Леммы (условно-разделительные умозаключения) – это дедуктивное умозаключение, в котором большая посылка является условным суждением, а меньшая посылка – разделительным.

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

Логическая форма – это структура мысли, ее строение, выявленное в результате отвлечения от смыслов и значений нелогических терминов.

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

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

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

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

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

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

Несовместимые понятия – это понятия, объемы которых не совпадают ни полностью, ни частично.

Несравнимые – это понятия, не имеющие общих существенных признаков (например, понятия «любовь» и «дерево»).

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

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

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

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

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

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

Опровержение – это логическая операция установления ложности или необоснованности положения, выдвинутого в качестве тезиса

Отрицание – это суждение, в котором утверждается отсутствие некоторой ситуации. Выражается предложением, начинающимся словосочетанием «неверно, что…». Отрицание обозначается знаком «» ().

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

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

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

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

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

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

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

Положительное понятие – это понятие, в котором отражаются признаки, присущие предмету (например, «долгожитель», «говорящий по-английски»).

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

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

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

Простой категорический силлогизм (ПКС) – это дедуктивное умозаключе­ние, в котором из двух истинных суждений (посылок), соединенных средним термином, на основании правил вывода с достоверностью следует новое истинное суждение (заключение).

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

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

Совместимые понятия – это понятия, объемы которых совпадают полностью или частично.

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

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

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

Сравнимые – это понятия, имеющие общие существенные признаки (например, понятия «яблоко» и «груша» имеют общий признак – фрукты).

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

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

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

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

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

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

Эквиваленция (тождество) – это сложные суждения, образованные из двух или более простых суждений посредством логического союза «если и только если», «тогда и только тогда, когда…». Обозначается знаком «».

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

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

Язык – система знаков, фиксирующих и выражающих определенную информацию (мысли).