- •О.И. Кирсанов традиционная логика
- •Введение
- •Тема 1. Общая характеристика логики как науки
- •1.1. Предмет и функции логического знания
- •1.2. Основные законы логики
- •Тема 2. Понятие
- •2.1. Понятие как мысль о классе предметов
- •2.2. Понятия и языковые знаки
- •2.3. Объем и содержание понятий
- •2.4 Виды понятий
- •2.5. Отношения между сравнимыми понятиями
- •2. 6. Логические операции с понятиями
- •2.6.1 Определение понятия
- •2.6.2. Обобщение и ограничение понятия
- •2.6.3. Деление понятия
- •Тема 3. Суждение
- •3.1. Понятие суждения и его структурные элементы
- •3.2. Разновидности суждения
- •3.3 Простое атрибутивное суждение
- •3.3.1. Виды простых атрибутивных суждений
- •3.3.2. Логические отношения между простыми атрибутивными
- •3.3.3. Распределенность терминов простого атрибутивного
- •3.4. Сложные суждения
- •3.4.1. Структура сложного суждения. Основные логические
- •3.4.2. Формализация и исчисление сложных суждений
- •Тема 4. Умозаключение
- •4.1. Понятие умозаключения, его структура и основные
- •Иванов - человек.
- •4.2. Непосредственные дедуктивные умозаключения
- •Умозаключение по правилам логического квадрата базируется на учете законов отношений между простыми суждениями а, е, I, o, о которых шла речь ранее.
- •4.3 Простой категорический силлогизм
- •4.3.1 Структура и разновидности простого категорического
- •4.3.2. Общие правила простого категорического силлогизма
- •4.3.3 Правила фигур пкс. Графический способ проверки
- •4.4 Энтимемы, полисиллогизмы и сориты
- •4.5.Силлогизмы, имеющие сложные суждения в посылках
- •4.6 Формальный способ проверки правильности выводов из
- •4.7 Индуктивные умозаключения
- •4.7.1. Полная индукция
- •4.7.2.Неполная индукция. Популярная индукция
- •4.7.3. Индукция Милля
- •4.8 Аналогии
- •Тема 5. Доказательство и опровержение
- •5.1. Понятие доказательства, его структура и разновидности
- •5.2. Правила доказательства и ошибки в доказательствах
- •Правила демонстрации.
- •5.3 Опровержение
- •Раздел 2. Словарь логических терминов
- •Аналогия отношений – аналогия, в которой переносимым признаком является структура предмета или его связи с другими предметами.
- •Вербальное определение - определение, в котором и определяемое, и определяющее понятия выражены словами.
- •Выводы умозаключения – суждения, получаемые в результате умозаключения.
- •Закон инверсии – логическое значение отрицательного суждения противоположно логическому значению суждения, которое в нем отрицается.
- •Крайние термины простого категорического силлогизма - термины, образующие вывод простого категорического силлогизма.
- •Лишний делитель - нарушение правила соразмерности для деления понятия: сумма объемов делителей, полученных в результате деления понятия, больше объема делимого понятия.
- •Логическая форма – способ строения мысли, специфическая связь между ее содержательными компонентами.
- •Меньший термин простого категорического силлогизма – термин, являющийся в простом категорическом силлогизме субъетом его вывода
- •Непрерывности правило – в одном делении нельзя получать видовые и подвидовые понятия в отношении к исходному делимому понятию.
- •Несравнимые понятия - понятия, не имеющие в своем содержании ни одного общего признака, помимо признака существования.
- •Обращение суждения – непосредственное умозаключение, в основе которого лежит установление отношения предиката посылки к ее субъекту.
- •Определяемое понятие – понятие, содержание которого раскрывается в определении.
- •Превращение суждения - непосредственное умозаключение, в основе которого лежит установление отношения субъекта посылки к понятию, находящемуся в отношении противоречия с ее предикатом.
- •Противопоставление предикату - непосредственное умозаключение, в основе которого лежит установление отношения понятия, находящегося в отношении противоречия с предикатом посылки к субъекту посылки.
- •Равнообъемность понятий - разновидность отношения совместимости между понятиями: понятия равнообъемны, если, имея разное содержание, выделяют один и тот же класс предметов.
- •Содержание понятия - набор мыслимых в понятии признаков, необходимых и достаточных для выделения и обобщения предметов в единый класс.
- •Теоретическое понятие – понятие, объединяющее предметы в класс по признакам, недоступным чувственному восприятию, обнаруживаемым в процессе мыслительного анализа.
- •Термины простого категорического силлогизма – понятия, входящие в структуру простого категорического силлогизма. Термины суждения – понятия, входящие в состав суждения.
- •Четвертая фигура простого категорического силлогизма - разновидность простого категорического силлогизма, в которой средний термин играет роль предиката большей посылки и субъекта меньшей посылки.
- •Элемент объема понятия – конкретный предмет, входящий в объем понятия.
- •Раздел 3. Тестовые задания по курсу «Логика»
- •3.1. Тестовые задания по теме «Общая характеристика логики
- •3.2. Тестовые задания по теме «Понятие»
- •3.3. Тестовые задания по теме «Суждения»
- •3.4. Тестовые задания по теме «Умозаключение»
- •3.5. Тестовые задания по теме «Доказательство и опровержение»
- •Раздел 4. Ключ к вопросам тестов и пояснения
- •4.1. Тема «Общая характеристика логики как науки»
- •4.2. Тема «Понятие»
- •4.3 Тема «Суждение»
- •4.4. Тема «Умозаключение»
- •4.5. Тема "Доказательство и опровержение"
- •Литература
- •Содержание
- •Традиционная логика
4.4 Энтимемы, полисиллогизмы и сориты
Довольно часто, обосновывая какую-либо мысль, мы используем схемы ПКС не в том виде, в каком они были даны выше, а опуская одну из посылок, держа ее как бы в уме. Мы говорим, например, "Иванов получает стипендию, поскольку он - студент", не произнося одну из посылок, а именно, "Все студенты получают стипендию".
Силлогизм, в котором пропущена одна из посылок, называется неполным силлогизмом или энтимемой (от древнегреческого — «в уме»). Присутствие энтимем в наших рассуждениях делает их лаконичными, свободными от повторения тривиальных общеизвестных положений12.
Но, с другой стороны, надо помнить, что заметить ошибку в энтимеме труднее, чем в полном ПКС. Поэтому иногда бывает полезной операция по восстановлению энтимемы в ПКС, лежащий в ее основе. Суть этой операции довольно проста. По структуре вывода энтимемы мы легко определим больший и меньший термины силлогизма, а также ответим на вопрос, какая посылка (большая или меньшая) пропущена. После этого остается определить средний термин (он содержится в сохраненной посылке) и восстановить пропущенную посылку.
Возьмем, например, классическое рассуждение: "Сократ смертен, ведь он - человек". По выводу энтимемы ( "Сократ смертен") ясно, что меньшим термином исходного ПКС является понятие "Сократ", большим - "смертен". Отсутствие в посылке большего термина говорит о том, что пропущена большая посылка. Структура сохраненной посылки указывает на то, что средний термин ПКС - понятие "человек". Восстанавливаем большую посылку и получаем полный ПКС: "Люди смертны. Сократ - человек. Сократ смертен". Поскольку модус ПКС Barbara относится к числу правильных, логическая ошибка в энтимеме отсутствует.
Но возьмем иную энтимему: "Сократ - человек. Ведь он смертен". Здесь большим термином является понятие "человек", меньшим - "Сократ", средним - "смертен". Пропущена большая посылка. Ее восстановление даст ПКС: "Все люди смертны. Сократ смертен. Сократ - человек". Модус этого ПКС неправильный (нарушено второе правило терминов), а значит, в энтимеме содержится логическая ошибка.
Рассуждая о чем-либо, мы довольно часто соединяем несколько силлогизмов друг с другом, образуя цепь умозаключений. Например: «Людям свойственно переоценивать свои достоинства. Мы – люди. Значит, нам тоже свойственно переоценивать свои достоинства. Те, кто переоценивает свои достоинства, а нам свойственно их переоценивать, обречены совершать жизненные ошибки. Следовательно, мы обречены совершать жизненные ошибки». Логические конструкции, в которых соединены несколько силлогизмов, связанных между собой так, что вывод одного силлогизма становится посылкой другого силлогизма, называются полисиллогизмами.
Принято различать два вида полисиллогизмов. В первом (он называет-
ся прогрессивным полисиллогизмом) имеет место переход от характеристики более общего класса к характеристике менее общего. Вывод предыдущего силлогизма (просиллогизма) становится здесь большей посылкой последующего силлогизма (эписиллогизма). Пример прогрессивного полисиллогизма:
-
Тот, кто ест мясо - хищник.
Собака ест мясо
Собака - хищник.
Собака - хищник.
Болонка - собака
Болонка - хищник
Второй вид полисиллогизма называется регрессивным. В нем умозаключение движется от менее общего к более общему; вывод просиллогизма становится здесь меньшей посылкой эписиллогизма. Пример регрессивного силлогизма:
-
Кто весел, тот смеется.
Студенты веселы.
-
Студенты смеются.
Кто смеется, тот счастлив.
Студенты смеются.
Студенты счастливы.
В рассуждениях, построенных по схемам полисиллогизма, промежуточные выводы и соответствующие им посылки могут опускаться. В результате этого умозаключение приобретает форму сорита - сложносокращенного силлогизма.
Счастливые часов не наблюдают.
Студенты счастливы.
… ………………………………………………………….
Кто не смотрит на часы, тот опаздывает на занятия.
… …………………………………………………………………
Кто опаздывает на занятия, тот имеет проблемы на экзамене.
………………………………………. …..
Студенты имеют проблемы на экзамене.
Данный сорит является сокращенной формой регрессивного силлогизма. По отточиям легко определить, что в нем опущены промежуточные выводы, которые в случае восстановления сорита в полный полисиллогизм играли бы роль меньших посылок. Такое восстановление, как и в случае с энтимемой, позволяет определять логическую правильность вывода в любом сорите.
Более же легким способом обнаружения логической некорректности в сорите является учет ряда закономерностей, которые обязательно должны проявлять себя в тех случаях, когда вывод сорита следует из «кучи» посылок с необходимостью. Приведем эти закономерности:
- общеутвердительный вывод сорита возможен только при условии, если все его посылки являются общеутвердительными суждениями;
- если одна из посылок сорита является частным суждением, то его вывод должен быть частным, причем он может считаться необходимым только при условии, что остальные посылки сорита являются общими суждениями;
- если одна из посылок сорита является отрицательным суждением, то его вывод должен быть отрицательным, причем он может считаться необходимым только при условии, что остальные посылки сорита являются утвердительными суждениями;
- если первая посылка сорита является частным суждением, то только последняя его посылка может быть отрицательной;
- если первая посылка сорита является отрицательным суждением, то только последняя его посылка может быть частной.