ГЛАВА 6. ПАРАФАЛЬСИФИЦИРУЮЩАЯ ЛОГИКАСодержание Предисловие 1. Задачи логики 2. Из истории логики 3. Логика в России 4. Логика и проблема употреблений языка 5. Изменение смысла основных понятий логики 6. Логика и философия 7. Мир как бытие и мир как становление 8. О классификации наук ГЛАВА 2. ИМПЛИКАТИВНЫЕ ПОНЯТИЯ 1. Виды импликации 2. Импликация и условная связь 3. Материальная импликация 4. Строгая импликация и релевантная импликация 5. Коннексивная импликация 6. Логика предпочтений 7. Три новых логики сравнительных оценок ГЛАВА 3. МОДАЛЬНЫЕ ПОНЯТИЯ 1. Модальные высказывания 2. Основные группы модальностей 3. Определение модальной логики 4. Логика абсолютных оценок ГЛАВА 4. ТРАДИЦИОННАЯ ЛОГИКА 1. Элементы логики высказываний в традиционной логике 2. Категорические высказывания 3. Логический квадрат 4. Категорический силлогизм 5. Логика категорических высказываний и логика предикатов 6. Категорические высказывания и условные высказывания 7. Логика категорических высказываний и теория коннексивной импликации ГЛАВА 5. ПРИЧИННАЯ СВЯЗЬ И ОНТОЛОГИЧЕСКАЯ НЕОБХОДИМОСТЬ 1. Каузальная импликация 2. Онтологические модальные понятия 3. Истина и время ГЛАВА 6. ПАРАФАЛЬСИФИЦИРУЮЩАЯ ЛОГИКА 1. Модус толленс 2. Принцип фальсификации и фальсификационизм 3. Логическая фальсификация и опровержение – 3 – Предисловие Эта книга посвящена некоторым основным понятиям логики, и, прежде всего, двум центральным ее понятиям – понятию импликации и понятию модальности. Логические понятия делятся на две группы: абсолютные понятия и сравнительные понятия. Абсолютные понятия характеризуют свойства рассматриваемых объектов, сравнительные понятия касаются отношений между объектами. К числу абсолютных понятий относятся понятия «логически необходимо», «логически случайно», «онтологически необходимо», «онтологически невозможно», «истинно», «ложно», «доказуемо», «убежден», «сомнительно», «обосновано», «достоверно», «верифицировано», «фальсифицировано», «обязательно», «разрешено», «хорошо», «плохо» и т.п. Эти понятия далее называются модальными понятиями, или просто модальностями. Им противостоят сравнительные логические понятия, в числе которых «логически следует», «имплицирует», «является причиной», «является следствием», «лучше», «хуже», «раньше», «позже», «вероятнее» и т.д. Эти сравнительные понятия называются в дальнейшем импликациями. Основная идея книги в том, что модальности и импликации представляют собой два разных, не сводимых друг к другу видения мира, или, точнее говоря, два разных логических пространства, в рамках которых может рассматриваться мир. В некоторых случаях модальные понятия можно определить через импликации, и далее будут рассмотрены разные варианты таких определений. Не существует, однако, единственно верного определения модальностей через импликации. Более того, можно сказать, что в общем случае модальности не определимы через импликации и не сводимы к ним. Пока в логике господствует противоположная точка зрения. Считается, что импликация является более фундаментальным понятием, чем модальность, и к импликациям сводимы если не все, то, по крайней мере, логические модальные понятия. Имеются случаи, когда импликации удается определить через модальности (с использованием и других логических понятий). Однако нет никакого универсального определения импликаций через модальные понятия и в общем случае импликации не сводимы к модальностям. Не существует и универсального определения разнообразных импликаций через модальные понятия. – 4 – Г.-Х. фон Вригт как-то заметил, что «если, то» и «логически следует» являются двумя центральными понятиями логики. К этому нужно добавить, что к данным двум сравнительным понятиям необходимо присоединить модальные понятия, иначе набор ключевых логических понятий не будет полным. Два способа логического видения мира – абсолютный и сравнительный, или импликативный и модальный, – являются взаимодополняющими друг друга. Ни один из них не сводим в полной мере к другому. Импликативное и модальное логические видения мира представляют собой логический вариант общей идеи, что человеческое мышление видит мир двояко: в форме сравнительных категорий и в форме абсолютных категорий. Первое видение мира можно назвать «дальним», а второе – «ближним». Второе видение теснее связано с человеческой деятельностью, чем второе. В этом смысле можно сказать, что модальное видение является более конкретным, чем импликативное видение. Отношение между абсолютными и сравнительными категориями можно уподобить отношению между обратной перспективой в изображении предметов, доминировавшей в средневековой живописи (и в более поздней иконописи), и прямой перспективой «классической» живописи нового времени: обе системы внутренне связны, цельны и самодостаточны; каждая из них, являясь необходимой в свое время и на своем месте, не лучше и не хуже другой. – 5 –
|
