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