
- •А.А.Ивин логика
- •Издание 2-е Москва Издательство «Знание» 1998
- •Глава 2. 19
- •Глава 3. 121
- •Глава 4. 373
- •Глава 5. 573
- •Глава 6. 775
- •Глава 7. 1377
- •Глава 8. 1569
- •Содержание
- •§ 1. Законы противоречия ... 13—21.
- •§ 2. Закон исключительного третьего ... 21—26.
- •Глава 5
- •Глава 6
- •Глава 7
- •Глава 8
- •Предисловие
- •Глава 1 Кто мыслит логично § 1. Интуитивная логика
- •Принудительная сила речи
- •Мнимая убедительность
- •Слабость интуитивной логики.
- •§ 2. Задачи логики
- •Из истории логики
- •Правильное рассуждение
- •Логика и творчество
- •Глава 2 Законы логики § 1. Закон противоречия
- •Формулировка закона противоречия
- •Мнимые противоречия
- •Противоречие «смерти подобно...»
- •Неявные противоречия
- •Многообразные задачи протмворечия
- •§ 2. Закон исключенного третьего
- •Некоторые применения закона
- •Сомнения в универсальности закона
- •Критика закона Брауэром
- •§ 3. Еще законы
- •Закон тождества
- •Закон контрапозиции
- •Законы де Моргана
- •Модус поненс и модус толленс
- •Утверждающе-отрицающий и отрицающе-утверждающий модусы
- •Конструктивная и деструктивная дилеммы
- •Закон Клавия
- •§ 4. О так называемых «основных» законах логики
- •Трактовка логических законов в традиционной логике
- •Законы логики как элементы логической системы
- •§ 5. Логические тавтологии
- •Ошибочные истолкования логических тавтологий
- •Глава 3 Неклассическая логика § 1. Классическое и неклассическое в логике
- •Из истории неклассической логики
- •§ 2. Интуиционистская и многозначная логика
- •Основные идеи интуиционизма
- •Многозначная логика
- •§ 3. Модальная логика
- •Модальные понятия
- •Абсолютные и сравнительные модальности
- •Единство модальной логики
- •§ 4. Логика оценок и логика норм
- •Возможность научной этики
- •Законы логики оценок
- •Законы логики норм
- •§ 5. Другие разделы неклассической логики
- •Логика квантовой механики
- •Паранепротиворечивая логика
- •Логика причинности
- •Логика изменения
- •Единство логики
- •Задачи определения
- •§ 2. Неявные определения
- •Контекстуальные определения
- •Остенсивные определения
- •Аксиоматические определения
- •§ 3. Явные определения
- •Требования к явному определению
- •§ 4. Реальные и номинальные определения
- •Определения-описания и определения-требования
- •§ 5. Споры об определениях
- •Границы эффективных определений
- •Ясность системы понятий
- •Глава 5 Искусство классификации § 1. Операция деления
- •Пример сумбурной классификации
- •Деление понятий
- •Требования к делению
- •§ 2. Основание деления
- •Характерная ошибка
- •Дихотомическое деление
- •§ 3. Естественная классификация
- •Естественная и искусственная классификация
- •Человек как объект классификации
- •Еще примеры классификации
- •Ловушки классификации
- •Глава 6 Индуктивные рассуждения § 1.Дедукция и индукция
- •Определения дедукции и индукции
- •Обычные дедукции
- •Дедуктивная аргументация
- •Понятие доказательства
- •§ 2. Разновидности индукции
- •Неполная индукция
- •«Перевернутые законы логики»
- •Косвенное подтверждение
- •Целевое обоснование
- •Факты как примеры
- •Факты как иллюстрации
- •Образцы и оценки
- •§ 3. Аналогия
- •Свернутые аналогий
- •Аналогия свойств и аналогия отношений
- •Аналогия как сходство несходного
- •Вероятность выводов по аналогии
- •Аналогия в искусстве
- •Аналогия в науке и технике
- •Аналогия в историческом исследовании
- •Характерные ошибки
- •Гадания и прорицания как аналогии
- •Глава 7 Софизмы § 1. Софизм — интеллектуальное мошенничество?
- •Софизм как умышленный обман
- •Недостатки стандартного истолкования софизмов
- •§ 2. Апории Зенона
- •«Ахиллес и черепаха», «Дихотомия»
- •Апория «Meдимн зерна»
- •«Неопредмеченное знание»
- •Софизмы и развитие знания
- •§ 3. Софизмы и зарождение логики
- •Софизмы и логический анализ языка
- •Софизмы и противоречивое мышление
- •Софизмы как особая форма постановки проблем
- •Глава 8 Логические парадоксы § 1. "Король логических парадоксов"
- •Парадоксы и логика
- •Варианты парадокса «Лжеца»
- •Язык и метаязык
- •Другие решения парадокса
- •§ 2. Парадокс Рассела
- •Множество обычных множеств
- •Другие варианты парадокса
- •§ 3. Парадоксы Греллинга и Берри
- •Аутологические и гетерологические слова
- •§ 4. Неразрешимый спор
- •Решения парадокса "Протагор и Еватл"
- •Правила, заводящие в тупик
- •Парадокс «Крокодил и мать»
- •Парадокс Санчо Пансы
- •§ 5. Другие парадоксы
- •Парадоксы неточных понятий
- •Парадоксы индуктивной логики
- •§ 6. Что такое логический парадокс
- •Своеобразие логических парадоксов
- •Парадоксы и современная логика
- •Устранение и объяснение парадоксов
- •Логическая грамматика
- •Будущее парадоксов
- •§ 7. Несколько парадоксов, или то, что похоже на них
- •Вместо заключения
- •Содержание
- •§ 1. Законы противоречия ... 13—21.
- •§ 2. Закон исключительного третьего ... 21—26.
- •Глава 5
- •Глава 6
- •Глава 7
- •Глава 8
Глава 8 Логические парадоксы § 1. "Король логических парадоксов"
Известно, что сформулировать проблему часто важнее и труднее, чем решить ее. «В науке, — писал английский химик Ф. Содди, — задача, надлежащим образом поставленная, более чем наполовину решена. Процесс умственной подготовки, необходимый для выяснения того, что существует определенная задача, часто отнимает больше времени, чем само решение задачи».
Формы, в которых проявляется и осознается проблемная ситуация, очень разнообразны. Далеко не всегда она обнаруживает себя в виде прямого вопроса, вставшего в самом начале исследования. Мир проблем так же сложен, как и порождающий их процесс познания. Выявление проблем связано с самой сутью творческого, мышления. Парадоксы представляют собой наиболее интересный случай неявных, безвопросных способов постановки проблем. Парадоксы обычны на ранних стадиях развития научных теорий, когда делаются первые шаги в еще неизученной области и нащупываются самые общие принципы подхода к ней.
189
Парадоксы и логика
В широком смысле парадокс — это положение, резко расходящееся с общепринятыми, устоявшимися, ортодоксальными мнениями. «Общепризнанные мнения и то, что считают делом давно решенным, чаще всего заслуживают исследования» (ГЛихтенберг). Парадокс — начало такого исследования.
Парадокс в более узком и специальном значении — это два противоположных, несовместимых утверждения, для каждого из которых имеются кажущиеся убедительными аргументы.
Наиболее резкая форма парадокса — антиномия, рассуждение, доказывающее эквивалентность двух утверждений, одно из которых является отрицанием другого.
Особой известностью пользуются парадоксы в самых строгих и точных науках — математике и логике. И это не случайно.
Логика — абстрактная наука. В ней нет экспериментов, нет даже фактов в обычном смысле этого слова. Строя свои системы, логика исходит в конечном счете из анализа реального мышления. Но результаты этого анализа носят синтетический, нерасчлененный характер. Они не являются констатациями каких-либо отдельных процессов или событий, которые должна была бы объяснить теория. Такой анализ нельзя, очевидно, назвать наблюдением: наблюдается всегда конкретное явление.
Конструируя новую теорию, ученый обычно отправляется от фактов, от того, что можно наблюдать в опыте. Как бы ни была свободна его творческая фантазия, она должна считаться с одним непременным обстоятельством: теория имеет смысл только в том случае, когда она согласуется с относящимися к ней фактами. Теория, расходящаяся с фактами и наблюдениями, является надуманной и ценности не имеет.
Но если в логике нет экспериментов, нет фактов и нет самого наблюдения, то чем сдерживается логическая фантазия? Какие если не факты, то факторы принимаются во внимание при создании новых логических теорий?
Расхождение логической теории с практикой действительного мышления нередко обнаруживается в форме более или менее острого логического парадокса, а иногда даже в форме логической антиномии, говорящей о внутренней противоречивости теории. Этим как раз объясняется то значение, которое придается парадоксам в логике, и то большое внимание, которым они в ней пользуются.
190