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