- •О.И. Кирсанов традиционная логика
- •Введение
- •Тема 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.5.Силлогизмы, имеющие сложные суждения в посылках
Как уже отмечалось, специфической чертой простого категорического силлогизма, который был охарактеризован выше, является то, что в его структуру входят только простые суждения. Однако в наших рассуждениях довольно часто используются дедуктивные умозаключения, среди посылок которых есть суждения сложные. Например: «Если бы Иванов был студентом, он бы имел студенческий билет. Следовательно, если он не имеет студенческого билета, то он не является студентом». Правила ПКС на силлогизмы, посылки которых являются сложными суждениями или сочетаниями сложных и простых суждений, не распространяются. Поэтому они нуждаются в специальном рассмотрении.
К числу наиболее известных среди силлогизмов, имеющих сложные суждения в посылках, относятся чисто условные, условно-категорические, разделительно-категорические и условно-разделительные силлогизмы.
Чисто условные силлогизмы - силлогизмы, все посылки и вывод которых являются условными суждениями.
Схема чисто условного силлогизма, состоящего из двух посылок:
p > q
q > r
p > r
Пример умозаключения по этой схеме: "Если идет дождь, то улицы мокрые. Если улицы мокрые, то надо одеть галоши. Значит, если идет дождь, то надо одеть галоши».
Нетрудно заметить, в основе чисто условного силлогизма лежит хорошо известная нам из математики аксиома: следствие следствия есть следствие основания. Отметим также, что в состав чисто условного силлогизма может входить не две, а значительно большее количество условных посылок. Например: «Если я буду посещать семинары по логике, я научусь решать логические задачи. Если я научусь решать логические задачи, я успешно сдам экзамен по логике. Если я успешно сдам экзамен по логике, меня начнут уважать мои сокурсники. Если меня начнут уважать мои сокурсники, они изберут меня старостой группы. Следовательно, если я буду посещать семинары по логике, то мои сокурсники изберут меня старостой».
Условно-категорические силлогизмы - силлогизмы, первая посылка которых является условным суждением, а вторая - простым суждением или его отрицанием.
Условно-категорический силлогизм имеет четыре модуса, два из которых дают выводы с необходимостью. Это, во-первых, modus ponens (от ponere— вставить) или модус утверждающий. Его схема:
p > q
p
q
Пример: "Если идет дождь, то улицы мокрые. Дождь идет. Следовательно, улицы мокрые".
Второй правильный модус условно-категорического силлогизма - modus tollens (tollere—уничтожать) или модус отрицающий. Его схема:
p > q
q
q
Пример: "Если идет дождь, то улицы мокрые. Улицы не мокрые. Следовательно, дождь не идет".
Неправильные модусы условно-категорического силлогизма имеют схемы:
1) p > q 2) p > q
p p
q q
Например:"Если идет дождь, то улицы мокрые. Улицы мокрые. Значит, вероятно, идет дождь" или "Если идет дождь, то улицы мокрые. Дождь не идет. Значит, вероятно, улицы не мокрые".
Выводы, полученные по этим схемам, носят всего лишь вероятностный, предположительный характер. Они дают знание, которое, в одном случае, может оказаться истинным, в другом, - ложным.
Разделительно-категорические силлогизмы - силлогизмы, первая посылка которых является разделительным или строго разделительным суждением, а другая - простым суждением.
Разделительно-категорический силлогизм имеет утверждающе - отрицающий и отрицающе-утверждающий модусы, которые дают выводы с необходимостью.
В утверждающе-отрицающем модусе (modus роnеndо-tollеns) утверждение истинности одного из членов строгой дизъюнкции позволяет сделать вывод о ложности другого члена строгой дизъюнкции. Его формула:
p v q
p
q
Пример: "Суждение может быть либо простым, либо сложным. Данное суждение является сложным. Следовательно, данное суждение не является простым".
Делая умозаключение по схеме modus роnеndо-tollеns, важно убедиться в том, что первая посылка действительно является строго разделительным суждением, поскольку наличие обычной дизъюнкции в этом модусе может привести к выводу, не соответствующему действительности. Например: «Магазины в нашем городе имеют или световую рекламу, или витрину. У этого магазина есть световая реклама. Значит, у него нет витрины». Последний вывод может оказаться ошибочным, поскольку разделительная посылка не исключает того, что у части магазинов есть и световая реклама, и витрина.
В отрицающе-утверждающем модусе (modus tollendo-ponens) отрицание истинности всех членов обычной или строгой дизъюнкции, кроме одного, позволяет сделать вывод об истинности этого последнего члена. Его формула:
p v q
p
q
Пример: "Или поезд придет вовремя, или мы опоздаем. Поезд вовремя не придет. Значит, мы опоздаем».
Необходимым условием правильности вывода в умозаключении tollendo-ponens является учет всех альтернатив в разделительной посылке. Пропуск хотя бы одной из возможных альтернатив может иметь в качестве следствия не соответствующее действительности заключение. Например: “Треугольники бывают или тупоугольными, или остроугольными. Этот треугольник тупоугольным не является. Следовательно, он является остроугольным”. Возможная ошибочность вывода данного рассуждения обусловлена тем, что в разделительной посылке не зафиксирована возможность треугольника быть прямоугольным.
Условно-разделительные силлогизмы - силлогизмы, имеющие в своих посылках условные и разделительные суждения.
Из модусов условно-разделительного силлогизма чаще всего в доказательных рассуждениях используются конструктивная и деструктивная дилеммы.
В конструктивной дилемме содержатся условные суждения, которые утверждают основания и следствия, вытекающие из этих оснований, а также разделительное суждение, говорящее о наличии хотя бы одного из оснований. Информация посылок позволяет сделать вывод о наличии хотя бы одного из следствий:
p > q
r > s
p v r
qvs
Пример: "Если пойдет дождь, мы останемся дома. Если пойдет снег, мы уедем на дачу. Будет или дождь, или снег. Значит, или мы останемся дома, или уедем на дачу".
В деструктивной дилемме условные суждения также утверждают основания и следствия.
Разделительное же суждение сообщает об отсутствии, по крайней мере, одного следствия. Это позволяет сделать вывод об отсутствии, по крайней мере, одного из оснований:
p > q
r > s
q v s
p v r
Пример: "Если мы замешкаемся, то мы опоздаем. Если мы будем торопиться, то мы придем раньше времени. Или мы не опоздаем, или не придем раньше времени. Значит, или мы не будем мешкать, или не будем торопиться".
Использование конструктивных и деструктивных дилемм в доказательных рассуждениях отражено во многих исторических преданиях и историко-философских анекдотах, в том числе в рассказе о знаменитом философе-софисте Протагоре и его ученике Эватле. Заключая договор о своем обучении у Протагора, Эватл будто бы обязался заплатить за полученную от учителя мудрость сразу же после того, как она позволит ему выиграть первый судебный процесс. Однако, после окончания обучения, Эватл решил в судебных делах участия не принимать, надеясь, что это позволит ему избежать расходов за полученное от Протагора знание. Протагор, устав ждать денежного вознаграждения за свои труды, решил подать на своего ученика в суд, принудив его к участию в судебном процессе. Сообщая о своем решении Эватлу, Протагор сказал: «Если я выиграю, то ты заплатишь мне за свое обучение по судебному приговору; если же я проиграю процесс, то ты заплатишь мне в соответствии с нашим договором. Поскольку, я или выиграю дело, или проиграю его, ты заплатишь мне при любом исходе судебного процесса». Обученный Протагором Эватл не замедлил противопоставить сформулированной Протагором конструктивной дилемме не менее убедительное рассуждение по схеме условно-разделительного силлогизма: «Если мне удастся выиграть дело, то я не заплачу тебе по решению суда; если же я проиграю дело, то я не буду обязан платить тебе за обучение в соответствии с нашим договором. Поскольку я или выиграю дело, или проиграю его, постольку в любом случае платить тебе за мое обучение мне не придется».