ГЛОССАРИЙ

Абстрагирование - выделение одних признаков из всей сово­купности при отвлечении от остальных.

Абстрактные понятия - это понятия о свойствах и отношениях предметов, мыслимых в отрыве от самих предметов.

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

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

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

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

Аподиктические суждения - это суждения вида «Необходимо, что S есть Р». Примеры: «Необходимо, что сумма квадратов катетов равна квадрату гипотенузы» или «Необходимо, что сила притяжения между любыми двумя телами пропорциональна их массе и обратно пропорциональна расстоянию между ними». Аподиктические суж­дения выражают законы какой-либо науки.

Аргументация - это приведение доводов с целью изменения по­зиции или убеждений другой стороны.

Ассерторические суждения выражают фактическое положение дел, то, что имеет место, но не является необходимым. Примеры: «Действительно, что здание Эрмитаж выкрашено в зеленый цвет». При этом здание Эрмитажа зеленого цвета не является необходимо­стью. Оно может быть выкрашено в будущем в любой другой цвет, да и в прошлом не всегда было зеленым.

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

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

Дебаты - это обмен мнениями по какому-то конкретному вопро­су. нерешенной проблеме; типичный пример - парламентские деба­ты.

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

Демонстрация или форма доказательства - это вид связи аргу­ментов и тезиса.

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

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

Диспут - публичный спор по научным и общественно-значимым проблемам.

Дихотомическое деление - это деление на два противоречащих понятия.

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

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

Единичные понятия - понятия, объем которых содержит толь­ко один предмет.

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

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

Закон непротиворечия. В процессе рассуждения о каком-ли­бо предмете нельзя одновременно утверждать и отрицать что-либо о нем в одном и том же смысле, в одном и том же отношении.

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

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

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

Классификация - это последовательное многоуровневое деле­ние. Виды делятся на подвиды и т. д.

Конкретные понятия - это понятия о предметах или классах предметов.

Контекстуальные определения - определения, в которых дается пример правильного употребления интересующего нас слова.

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

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

Метод остатков. Если известно, что причиной исследуемого яв­ления не служат необходимые для него обстоятельства, кроме одно­го, которое не известно, то это обстоятельство, вероятно, и есть при­чина данного явления.

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

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

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

Модус силлогизма - разновидность силлогизма, которая зависит от количественной и качественной характеристик суждений, входя­щих в его состав.

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

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

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

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

Номинальное определение - соглашение об употреблении термина.

Обобщение - мысленное объединение различных предметов в одном понятии.

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

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

Общеотрицательные суждения имеют структуру «Ни одно S не есть Р». Общеотрицательные суждения обозначаются латинской буквой Е.

Общеутвердительные суждения имеют структуру «Все S есть Р». Они обозначаются в логике латинской буквой Л.

Общие понятия - понятия, объем которых содержит два и более предмета.

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

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

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

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

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

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

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

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

Отрицательные понятия фиксируют отсутствие признака.

Паралогизм - ненамеренная логическая ошибка, допускаемая теми, кто не имеет представления о законах логики.

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

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

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

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

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

Положительные понятия фиксируют наличие признака.

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

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

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

Предикат суждения (Р). Он приписывает предмету, выделяемо­му субъектом, какие-то признаки.

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

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

Проблематические суждения - это суждения вида «возможно, что S есть Р».

Простая аналогия - аналогия, в которой от сходства двух пред­метов в одних каких-либо признаках заключают о сходстве этих предметов в других признаках.

Простой категорический силлогизм состоит из трех катего­рических суждений и включает в себя средний (М), больший (Р) и меньший (.S) термины.

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

Противопоставление предикату (субъекту) - умозаключение, в котором субъектом (предикатом) заключения является термин, про­тиворечащий предикату (субъекту) посылки, а предикатом (субъек­том) - субъект (предикат) посылки. Противопоставление включает в себя превращение и обращение.

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

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

Пустые понятия - понятия, объем которых не содержит ни од­ного предмета.

Разделительное доказательство осуществляется в форме стро­гой дизъюнкции с точным перечнем всех ее членов. Тезис обосновы­вается исключением всех членов дизъюнкции, кроме тезиса.

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

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

Распределенным считается термин, который взят в полном объеме.

Распространенная аналогия - аналогия, в которой заключе­ние делают, отталкиваясь от сходства явлений к сходству причин.

Реальное определение - это попытка ответить на вопрос «Что такое А?»

Синтез - мысленное соединение признаков, постижение их вза­имосвязи.

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

Совместимые понятия - это понятия, объемы которых совпа­дают хотя бы частично; в их объемы входит хотя бы один общий предмет.

Собирательные понятия - понятия, которые относятся к груп­пе однородных объектов.

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

Соподчинение - отношение между понятиями, объемы которых не имеют ни одного общего элемента и при этом подчиняются объе­му третьего, более общего понятия.

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

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

Сравнение - установление сходства и различия предметов.

Субъект суждения (А) указывает на предмет, о котором идет речь в суждении.

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

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

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

Тезис доказательства - это положение, истинность которого следует доказать. Данное положение может быть выражено только в суждении, ибо только суждение может быть истинным или лож­ным.

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

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

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

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

Фигура силлогизма - это разновидность силлогизма в зависи­мости от местоположения среднего термина.

Частноотрицательные суждения имеют структуру «Некоторые S есть Р». Они обозначаются в логике латинской буквой О.

Частноутвердительные суждения имеют структуру «Некото­рые S есть Р». Они обозначаются латинской буквой/.

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

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