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