- •Александр Ивин Логика. Учебное пособие Издание 2-е Глава 1 Кто мыслит логично
- •1. Интуитивная логика
- •Принудительная сила речи
- •Мнимая убедительность
- •Слабость интуитивной логики
- •2. Задачи логики
- •Из истории логики
- •Правильное рассуждение
- •Логика и творчество
- •Литература
- •Формулировка закона противоречия
- •Мнимые противоречия
- •Неявные противоречия
- •Многообразные задачи противоречия
- •2. Закон исключенного третьего
- •Некоторые применения закона
- •Сомнения в универсальности закона
- •Критика закона Брауэром
- •3. Еще законы
- •Закон тождества
- •Закон контрапозиции
- •Законы де Моргана
- •Модус поненс и модус толленс
- •Утверждающе-отрицающий и отрицающе-утверждающий модусы
- •Конструктивная и деструктивная дилеммы
- •Закон Клавия
- •4. О так называемых законах логики
- •Трактовка логических законов в традиционной логике
- •Законы логики как элементы логической системы
- •5. Логические тавтологии
- •Ошибочные истолкования логических тавтологий
- •Литература
- •Из истории неклассической логики
- •2. Интуиционистская и многозначная логика
- •Основные идеи интуиционизма
- •Многозначная логика
- •3. Модальная логика
- •Модальные понятия
- •Абсолютные и сравнительные модальности
- •Единство модальной логики
- •4. Логика оценок и логика норм
- •Возможность научной этики
- •Законы логики оценок
- •Законы логики норм
- •5. Другие разделы неклассической логики
- •Логика квантовой механики
- •Паранепротиворечивая логика
- •Логика причинности
- •Логика изменения
- •Единство логики
- •Литература
- •Контрольные вопросы
- •Темы рефератов и докладов
- •Глава 4 Искусство определения
- •1. Определение и его глубина
- •Задачи определения
- •2. Неявные определения
- •Контекстуальные определения
- •Остенсивные определения
- •Аксиоматические определения
- •3. Явные определения
- •Требования к явному определению
- •4. Реальные и номинальные определения
- •Определения-описания и определения-требования
- •5. Споры об определениях
- •Границы эффективных определений
- •Ясность системы понятий
- •Литература
- •Пример сумбурной классификации
- •Деление понятий
- •Требования к делению
- •2. Основание деления
- •Характерная ошибка
- •Дихотомическое деление
- •3. Естественная классификация
- •Естественная и искусственная классификация
- •Человек как объект классификации
- •Еще примеры классификации
- •Ловушки классификации
- •Литература
- •Определения дедукции и индукции
- •Обычные дедукции
- •Дедуктивная аргументация
- •Понятие доказательства
- •2. Разновидности индукции
- •Неполная индукция
- •«Перевернутые законы логики»
- •Косвенное подтверждение
- •Целевое обоснование
- •Факты как примеры
- •Факты как иллюстрации
- •Образцы и оценки
- •3. Аналогия
- •Свернутые аналогии
- •Аналогия свойств и аналогия отношений
- •Аналогия как сходство несходного
- •Вероятность выводов по аналогии
- •Аналогия в искусстве
- •Аналогия в науке и технике
- •Аналогия в историческом исследовании
- •Характерные ошибки
- •Гадания и прорицания как аналогии
- •Литература
- •Контрольные вопросы
- •Темы рефератов и докладов
- •Глава 7 Софизмы
- •1. Софизм – интеллектуальное мошенничество?
- •Софизм как умышленный обман
- •Недостатки стандартного истолкования софизмов
- •2. Апории Зенона
- •«Ахиллес и черепаха», «Дихотомия»
- •Апория «Медимн зерна»
- •«Неопредмеченное знание»
- •Софизмы и развитие знания
- •3. Софизмы и зарождение логики
- •Софизмы и логический анализ языка
- •Софизмы и противоречивое мышление
- •Софизмы как особая форма постановки проблем
- •Литература
- •Парадоксы и логика
- •Варианты парадокса «Лжеца»
- •Язык и метаязык
- •Другие решения парадокса
- •2. Парадокс Рассела
- •Множество обычных множеств
- •Другие варианты парадокса
- •3. Парадоксы Греллинга и Берри
- •Аутологические и гетерологические слова
- •4. Неразрешимый спор
- •Решения парадокса «Протагор и Еватл»
- •Правила, заводящие в тупик
- •Парадокс «Крокодил и мать»
- •Парадокс Санчо Пансы
- •5. Другие парадоксы
- •Парадоксы неточных понятий
- •Парадоксы индуктивной логики
- •6. Что такое логический парадокс
- •Своеобразие логических парадоксов
- •Парадоксы и современная логика
- •Устранение и объяснение парадоксов
- •Логическая грамматика
- •Будущее парадоксов
- •7. Несколько парадоксов, или то, что похоже на них
- •Литература
- •Контрольные вопросы
- •Темы рефератов и докладов
- •Вместо заключения
- •Оглавление
Модус поненс и модус толленс
«Модусом» в логике называется разновидность некоторой общей формы рассуждения. Далее будут перечислены четыре близких друг другу модуса, известных еще средневековым логикам.
Модус поненс, называемый иногда гипотетическим силлогизмом, позволяет от утверждения условного высказывания и утверждения его основания перейти к утверждению следствия этого высказывания:
Если А, то В; А
В
Здесь высказывания «если А, то В» и «А» – посылки, высказывание «В» – заключение. Горизонтальная черта стоит вместо слова «следовательно». Другая запись:
Если А, то В. А. Следовательно, В.
Благодаря этому модусу от посылки «если А, то В», используя посылку «А», мы как бы отделяем заключение «В». На этом основании данный модус иногда называется «правилом отделения». Например:
Если у человека диабет, он болен.
У человека диабет.
Человек болен.
Рассуждение по правилу отделения идет от утверждения основания истинного условного высказывания к утверждению его следствия. Это логически корректное движение мысли иногда путается со сходным, но логически неправильным ее движением от утверждения следствия истинного условного высказывания к утверждению его основания. Например, правильным является умозаключение:
Если таллий – металл, он проводит электрический ток.
Таллий – металл.
Таллий проводит электрический ток.
Но внешне сходное с ним умозаключение:
Если бы электролит был металлом, он проводил бы электрический ток.
Электролит проводит электрический ток.
Электролит – металл.
логически некорректно. Рассуждая по последней схеме, можно прийти от истинных посылок к ложному заключению. Против смешения правила отделения с этой неправильной схемой рассуждения предостерегает совет: от подтверждения основания к подтверждению следствия рассуждать допустимо, от подтверждения следствия к подтверждению основания – нет.
Модусом толленсом называется следующая схема рассуждения:
Если A, то B; неверно B
Неверно A
Здесь высказывания «если А, то В» и «неверно В» являются посылками, а высказывание «неверно А» – заключением. Другая запись:
Если А, то В. Не-В. Следовательно, не-А.
Посредством этой схемы от утверждения условного высказывания и отрицания его следствия осуществляется переход к отрицанию основания. Например: «Если гелий – металл, он электропроводен. Гелий неэлектропроводен. Следовательно, гелий – не металл».
По схеме модус толленс идет процесс фальсификации, установления ложности теории или гипотезы в результате ее эмпирической проверки. Из проверяемой теории Т выводится некоторое эмпирическое утверждение А, то есть устанавливается условное высказывание «если Т, то А». Посредством эмпирических методов познания (наблюдения, измерения или эксперимента) предложение А сопоставляется с реальным положением дел. Выясняется, что А ложно и истинно предложение не-А. Из посылок «если Т, то А» и «не-А» следует «не-Т», то есть ложность теории Т.
С модусом толленсом нередко смешивается внешне сходное с ним умозаключение:
Если А, то В; неверно А
Неверно В
В последнем умозаключении от утверждения условного высказывания и отрицания его основания осуществляется переход к отрицанию его следствия, что является логически некорректным шагом. Рассуждение по такой схеме может привести от истинных посылок к ложному заключению. Например:
Если бы глина была металлом, она была бы пластична. Но глина – не металл.
Неверно, что глина пластична.
Все металлы пластичны, и если бы глина была металлом, она также являлась бы пластичной. Однако глина не является металлом. Но из этого очевидным образом не вытекает, что глина не пластична. Кроме металлов, есть и другие пластичные вещества, и глина в их числе.
Против смешения модуса толленса с данной некорректной схемой рассуждения предостерегает совет: от отрицания следствия условного высказывания заключать к отрицанию основания этого высказывания можно, а от отрицания основания к отрицанию следствия – нет.