- •Александр Ивин Логика. Учебное пособие Издание 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. Несколько парадоксов, или то, что похоже на них
- •Литература
- •Контрольные вопросы
- •Темы рефератов и докладов
- •Вместо заключения
- •Оглавление
Единство логики
Рассмотренные разделы неклассической логики не исчерпывают, конечно, всего многообразия существующих логических систем. Логика как наука едина. Однако она слагается из множества более или менее частных систем, ни одна из которых не может претендовать на выявление логических характеристик мышления в целом. В этом аспекте современная логика отличается от традиционной логики. Последняя не знала никаких многих «логик». Проблема сведения в единство тех фрагментарных описаний мышления, которые даются отдельными логическими системами, перед нею вообще не стояла.
Интенсивное развитие логики сопровождается расширением и обогащением ее аппарата, возникновением новых разделов и систем. Эта дифференциация не должна вместе с тем заслонять те идеи и связи, которые превращают непрерывно расширяющееся множество логических систем в единую науку.
Единство логики проявляется прежде всего в том, что входящие в ее состав отдельные «логики» пользуются при описании содержательных логических процессов одними и теми же методами исследования. Все эти «логики» отвлекаются от конкретного содержания высказываний и умозаключений и оперируют только с их формальным, структурным содержанием. Каждая из них является системой, применяющей язык символов и формул и строящейся в соответствии с некоторыми общими для всех систем принципами. И наконец, сконструированная «логика» вызывает ряд вопросов, встающих в случае каждой системы: нет ли в ней противоречия, охватывает ли она все истины рассматриваемого рода? И т.д.
Между разными логическими системами имеются определенные связи. Одни системы могут быть эквивалентны другим, или включаться в них, или являться их обобщением и т.д.
Единство логики проявляется также в том, что разные «логики» не противоречат друг другу: законами одной из них не могут быть отрицания законов, принятых в другой. Это верно даже для систем, которые можно назвать конкурирующими, поскольку они по-разному описывают одни и те же процессы рассуждения. Есть, как мы видели, «логики», включающие закон исключенного третьего. Есть также системы – и их немало, – рассчитанные на описание почти тех же типов рассуждений, но не включающие данного закона. В бесконечном многообразии логических систем нет, однако, таких «логик», которые провозглашали бы в качестве своего закона отрицание закона исключенного третьего.
Мысль, что единая современная логика слагается из большого числа отдельных «логик», если и необычна, то только по форме своего выражения. Сходное утверждение является верным в случае всякой развитой науки, скажем, физики или математики. Они также слагаются из множества отдельных теорий, только в совокупности и в сложных динамических взаимосвязях составляющих своеобразное единство, называемое физикой или математикой.
Литература
Айер А.Д. Язык, истина и логика // Аналитическая философия. Избранные тексты. – М.: 1993.
Гейтинг А. Интуиционизм. – М.: 1965.
Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. – М., 1991.
Ивин А.А. Строгий мир логики. – М., 1988.
Карри Х.Б. Основания математической логики. – М., 1969.
Фейс Р. Модальная логика. – М., 1.974.
Френкель А., Бар-Хиллел И. Основания теории множеств. – М., 1966.