- •Министерство образования и науки рф
- •Оглавление
- •Тема 1. Логика и мышление 13
- •Тема 2. Понятие 28
- •Тема 3. Суждение 56
- •Тема 4. Умозаключение 78
- •Тема 5. Рассуждение 112
- •Предисловие
- •Тема 1. Логика и мышление
- •Основные формы и способы мыслительной деятельности
- •1.2. Логические законы и принципы мышления
- •Закон противоречия
- •Принцип непротиворечивости
- •Закон исключенного третьего
- •Практикум
- •1.3. Язык, действительность и коммуникация
- •Практикум
- •1.4. Значение и смысл языковых выражений
- •Принцип взаимозаменимости
- •1.5. Логические категории языковых выражений
- •Практикум
- •1.6. Из истории логики как науки
- •Тема 2. Понятие
- •2.1. Строение и функции понятия
- •Практикум
- •2.2. Виды понятий
- •Практикум
- •2.3. Логические отношения между понятиями
- •2.3.1. Виды совместимости понятий
- •2.3.2. Виды несовместимости понятий
- •Практикум
- •2.4. Закон обратного отношения между объемами и содержаниями понятий
- •Практикум
- •2.5. Обобщение и ограничение понятий
- •Практикум
- •2.6. Деление понятий
- •2.6.1. Деление как логическая операция
- •2.6.2. Условия правильности деления
- •Практикум
- •2.7. Дефиниция
- •2.7.1. Чем является дефиниция и каково её предназначение
- •2.7.2. Правила построения дефиниции
- •Практикум
- •Тема 3. Суждение
- •3.1. Суждение как форма мышления
- •3.2. Структура и виды простых суждений
- •Практикум
- •3.3. Логические отношения между простыми суждениями
- •Практикум
- •3.4. Логическая форма и виды сложных суждений
- •Практикум
- •3.5. Модальные суждения и логические отношения между ними
- •Практикум
- •Тема 4. Умозаключение
- •4.1. Назначение, структура и основные виды умозаключений
- •Практикум
- •4.2. Дедуктивные умозаключения (выводы)
- •4.2.1. Выводы из сложных суждений
- •4.2.1.1. Условно-категорические умозаключения
- •Если х, то y; не-y
- •4.2.1.2. Разделительно-категорические умозаключения
- •4.2.1.3. Чисто условные умозаключения
- •4.2.1.4. Умозаключение по правилу исключения двойного отрицания
- •Практикум
- •4.2.2. Выводы из категорических суждений
- •1. Некоторые депутаты областной думы – юристы
- •2 . Некоторые юристы – депутаты областной думы
- •4.2.2.1. Непосредственные выводы из категорических суждений
- •4.2.2.1.1. Выводы по логическому «квадрату»
- •4.2.2.1.2. Обращение
- •Практикум
- •4.2.3. Простой категорический силлогизм
- •4.2.3.1. Структура простого категорического силлогизма
- •Практикум
- •4.2.3.2. Фигуры и модусы простого категорического силлогизма
- •4.2.3.3. Методы логического анализа простого категорического силлогизма
- •Правила посылок
- •Правила терминов
- •Практикум
- •4.2.3.4. Сокращенный категорический силлогизм (энтимема)
- •Практикум
- •4.3. Индуктивные выводы
- •4.3.1. Редуктивные умозаключения
- •Если X, то y; y
- •4.3.2. Обобщающая индукция
- •4.3.3. Статистические умозаключения
- •4.3.4. Умозаключения по аналогии
- •Практикум
- •Тема 5. Рассуждение
- •5.1. Логичность вопросно-ответного мышления
- •5.1.1. Вопрос как форма мышления
- •5.1.2. Виды вопросов
- •5.1.3. Условия правильности вопросов
- •5.1.4. Условия правильности ответов
- •5.2. Рассуждение как метод мыслительной деятельности
- •5.2.1. Аргументирование
- •5.2.1.1. Доказывание
- •Доказывание общеутвердительного суждения
- •Доказывание частноутвердительного суждения
- •Доказывание единичноутвердительного суждения
- •Доказывание методом исключения альтернатив
- •Моновариантное и поливариантное доказывание
- •Доказывание с субаргументацией
- •Доказывание методом рассуждения «от противного»
- •5.2.1.2. Опровержение
- •Опровержение общеутвердительного суждения
- •Опровержение единичноутвердительного суждения
- •Опровержение методом приведения к «абсурду»
- •5.2.1.3. Подтверждение
- •Если X, тоY; y
- •5.2.1.4. Критика
- •5.2.1.5. Аргументирование в споре*
- •5.2.2. Объяснение
- •5.2.2.1. Эмпирические методы установления причинной зависимости явлений
- •5.2.2.1.1. Метод единственного сходства
- •5.2.2.1.2. Метод единственного различия
- •5.2.2.1.3. Метод сопутствующих изменений
- •5.2.2.2. Номологическое объяснение
- •Если X, то y; y
- •5.2.2.3. Телеологическое объяснение
- •Практикум
- •5.2.3. Квалифицирование
- •5.2.4. Идентификация
- •Практикум
- •Глоссарий
- •Модальные суждения: эквивалентности
- •Общие правила простого категорического силлогизма
- •Вопросы к экзамену (зачёту) по логике
- •Учебно-методическое обеспечение курса Основная литература
- •Дополнительная литература
- •Кротков Евгений Алексеевич логика Учебное пособие
- •308015 Г. Белгород, ул. Победы, 85. Тел.: 30-14-48 Для заметок
5.2.1.2. Опровержение
Опровержение – это полное обоснование ложности высказанного в качестве тезиса суждения, форма аргументативного рассуждения, которое направляется вопросом «Если предположить, что суждение Т ложно, то из каких несомненно истинных суждений A1, A2,…, Аn может быть дедуктивно выведено его отрицание, т.е. не-Т?». В силу закона исключенного третьего (Х или не-Х), обоснование ложности некоторого суждения Х состоит в доказательстве суждения не- Х.
Опровержение общеутвердительного суждения
Состоит в приведении хотя бы одного случая, когда предмет из объёма понятия S не обладает свойством Р. Пример: как опровергнуть суждение Все вороны черного цвета? Достаточно предъявить ворона, который белого (или зеленого и т.п.) цвета.
Опровержение единичноутвердительного суждения
Состоит в обосновании единичноотрицательного суждения. Это обоснование может быть осуществлено опытным путем, посредством наблюдения: Это – не Ваш паспорт, в нем фотография другого человека
(опровержение утверждения Вот мой паспорт). Опровержение единичноутвердительного суждения может также осуществляться с помощью дедуктивного вывода:
1. Подстрекателем признается лицо, склонившее другое лицо к совершению преступления.
2. Новиков Г.И.. не признан судом лицом, склонившим другое лицо к совершению преступления.
3.
Новиков Г.И не является подстрекателем.
Это – дедуктивное умозаключение (вторая фигура простого категорического силлогизма, модус а,е,е), и при истинности посылок его заключение будет достоверным.
В силу логических отношений между категорическими суждениями (раздел 3.3., схема «Логический квадрат»)) справедливы также следующие зависимости:
– Опровержение частноутвердительного суждения означает опровержение общеутвердительного.
– Опровержение частноотрицательного суждения означает опровержение общеотрицательного.
– Доказательство частноотрицательного суждения означает опровержение общеутвердительного.
– Доказательство частноутвердительного суждения означает опровержение общеотрицательного.
В рассуждениях, содержащих выводы из сложных высказываний, для целей опровержения гипотезы (версии) применяется знакомое нам правило П.2:
Е
сли
Х, то Y;
не- Y
не-Х
Пусть Н – версия, согласно которой известная американская актриса Мирлин Монро покончила жизнь самоубийством, приняв значительное количество снотворных таблеток. Но тогда должны были остаться какие-то свидетельства Е покушения на эту форму самоубийства, т.е. истинным было бы условное суждение Если Н, то Е. Однако сержант полиции, первым прибывший на место происшествия, не обнаружил сосуда, из которого она могла запить эти таблетки. Кроме того, при вскрытии трупа в желудке не было обнаружено следов снотворного. Словом, необходимые следствия Е гипотезы не нашли подтверждения, т.е. имеет место не-Е, что позволило заключить о несостоятельности этой гипотезы (не-Н):
1. Если Н, то Е
2
.
не-Е
3. не-Н
Опровержение методом приведения к «абсурду»
Краткая запись метода приведения к «абсурду» такова:
Из Г и В выводимо Х
Из Г и В выводимо не-Х
Из Г выводимо не-B
В качестве иллюстрации «работы» этого правила снова обратимся к истории с Джоном, Брауном и Смитом. Теперь опровергнем возможное предположение, что Джон замешан в преступлении. Для этого нам предстоит доказать суждение Неверно, что Джон замешан в преступлении. Известно, что Джон никогда не ходит «на дело» без Брауна, что равнозначно суждению Если «на дело» идёт Джон, то идёт с ним и Браун. Далее, нам известно, что У Брауна есть неоспоримое алиби, т.е. истинно суждение Неверно, что Браун замешен в деле. В таком случае из суждения Если на дело идёт Джон, то идёт с ним и Браун и суждения Неверно, что Браун замешан в деле по правилу П.2 выводим суждение Неверно, что на дело идёт Джон. Итак, предположив, что истинно суждение Джон замешан в преступлении получаем противоречащее этому суждение Неверно, что Джон замешан в преступлении. «Виновник» возникновения этого противоречия очевиден: ошибочность допущения Джон замешан в преступлении. Следовательно, истинно суждение Неверно, что Джон замешан в преступлении
Такой, в сущности, метод используют атеисты в их неприятии идеи существования Бога. Ход их рассуждения таков. Согласно христианству, Бог всеведущ, всемогущ и всеблаг (В). Отсюда следует, что всё в мире происходит не только по его воле и провидению, но и во благо людей (Х). Однако многое из происходящего в мире отнюдь не является благом для людей (не-Х): только в ХХ веке погибло от землетрясений 1 млн. 20 тыс., еще больше невинных людей погибло от наводнений, эпидемий и голода. Получается, что допущение существования Бога приводит к логическому противоречию Х и не-Х. Следовательно, неверно, что существует Бог.
Метод опровержения является непрямым дедуктивным правилом, как и метод доказательства от противного.
