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