
- •Глава 1. История логики.
- •Глава 2. Предмет и значение теоретической логики.
- •Глава 3. Традиционная логика.
- •Глава 4. Символическая логика.
- •Глава 5. Неклассическая логика.
- •Глава 6. Логика и методология научного знания.
- •Глава 7. Практическая логика
- •Глава 1
- •1.1.1. Элементы логики у Парменида, Гераклита и Зенона
- •1.1.2. Логико-риторические проблемы у софистов
- •1.1.4. Логические идеи представителей мегарской школы
- •1.1.5. Логико-методологические идеи Платона
- •1.2.1. Методология Аристотеля
- •1.2.2. Учение о суждениях
- •1.2.3. Теория силлогизма
- •1.3.2. Логика эпикурейцев
- •1.3.3. Логика скептиков
- •1.4.1. Логические идеи Фомы Аквинского
- •1.4.2. Эпистемология Дунса Скота
- •1.4.3. Эпистемология и логика Уильяма Оккама
- •1.4.4. Основные средневековые типы логико-методологического мировоззрения
- •1.5.1. Логические идеи Пьера Рамэ
- •1.6.1. Принципы формально-логического рационализма
- •1.6.2. Новая философия Лейбница
- •1.6.3. Универсальная характеристика
- •1.6.4. Концепция о ясных и отчетливых понятиях
- •1.6.5. Определение понятия тождества и достаточного основания
- •1.7.1. Теория познания Канта
- •1.7.2. Аналитическое и синтетическое знание
- •1.7.3. Трансцендентальная логика
- •1.7.4. Чистые категории рассудка
- •1.8.1. Философская система Гегеля
- •1.8.2. Диалектическая логика Гегеля
- •Глава 2
- •2.1.1. Опыт и рассуждение в науке
- •2.1.2. Мышление как предмет изучения теоретической логики
- •2.1.3. Язык и мышление. Естественный и искусственный языки
- •2.2.1. Роль языка в мыслительных и речевых актах
- •2.2.2. Речевые акты и фреймы знания
- •2.2.3. Суждение, рассуждение, умозаключение
- •2.2.4. Структура рассуждения
- •2.3.1. Понятие закона мышления
- •2.3.2. Закон тождества
- •2.3.3. Закон противоречия
- •2.3.4. Формы противоречий
- •2.3.5. Закон исключенного третьего
- •2.3.6. Закон достаточного основания
- •2.4.1. Исторический метод
- •2.4.2. Аксиоматический метод
- •2.4.3. Метод формализации
- •2.4.4. Логический синтаксис и логическая семантика
- •2.4.5. Логические исчисления
- •Глава 3
- •3.1.1. Знак: смысл и значение
- •3.1.2. Дескриптивные и логические термины
- •3.1.3. Понятие как форма мышления
- •3.1.4. Объем и содержание понятия
- •3.1.5. Образование понятий
- •3.1.6. Виды понятий
- •3.1.7. Отношения понятий по объему
- •3.1.8. Отношения между понятиями по содержанию
- •3.2.1. Логическая структура суждения
- •3.2.2. Суждение и вопрос
- •3.2.3. Качественные и количественные характеристики суждений
- •3.2.4. Совместимые и несовместимые суждения. Логический квадрат
- •3.3.1. Определение как логическая операция
- •3.3.2. Виды определений
- •3.3.3. Правила корректных определений
- •3.3.4. Приемы, сходные с определением
- •3.3.5. Деление понятий
- •3.3.6. Виды и правила деления понятий
- •3.4.1. Природа и виды умозаключений
- •3.4.2. Умозаключение по логическому квадрату
- •3.4.3. Простой категорический силлогизм
- •3.4.4. Аксиома силлогизма
- •3.4.5. Правила силлогизма
- •3.4.6. Общая характеристика фигур силлогизма
- •3.4.7. Модусы фигур силлогизма
- •3.5.1. Непосредственное и опосредованное доказательство
- •3.5.2. Значение доказательств в науке
- •3.5.3. Строение и структура доказательства
- •3.5.4. Виды доказательств
- •3.5.5. Опровержение
- •3.5.6. Условия и правила, обеспечивающие эффективность доказательства. Основные ошибки
- •3.6.1. Природа индуктивного умозаключения
- •3.6.2. Понятие аналогии
- •3.6.4. Основные виды индукции и индуктивных умозаключений
- •3.6.5. Популярная и научная индукция
- •3.7.1. Специфика гипотезы
- •3.7.2. Виды гипотез
- •3.7.3. Основные этапы разработки гипотезы
- •3.7.4. Проверка гипотезы
- •Глава 4
- •4.1.1. Логические союзы
- •4.1.2. Язык логики высказываний
- •4.1.3. Понятие правильно построенного высказывания (ппв) определяется таким образом:
- •4.1.4. Понятие формулы логики высказываний
- •4.2.1. Семантическая таблица отрицания
- •4.2.2. Семантическая таблица конъюнкции
- •4.2.3. Семантическая таблица дизъюнкции
- •4.2.4. Семантическая таблица импликации
- •4.2.5. Семантическая таблица эквивалентности
- •4.3.1. Порядок логических действий
- •4.3.2. Табличный способ исчисления истинностных значений
- •4.4.1. Закон двойственности
- •4.4.2. Понятие самодвойственной формулы
- •4.4.3. Равносильные формулы
- •4.4.4. Свойства равносильности
- •4.5.1. Понятие тождественно-истинной формулы
- •4.5.2. Понятие тождественно-ложной формулы
- •4.5.3. Некоторые свойства тождественно-истинных формул:
- •4.6.1. Понятие нормальной формы
- •4.6.2. Процедура приведения к нормальной форме
- •4.6.3. Проблема разрешимости
- •4.8.1. Понятие логического вывода
- •4.8.2. Правила вывода
- •4.8.3. Правило построения прямого доказательства
- •4.8.4. Косвенное доказательство
- •4.8.5. Сильное (классическое) косвенное доказательство
- •4.8.6. Аксиоматическое представление логики высказываний
- •4.8.7. Полнота классического исчисления высказываний
- •4.9.2. Исчисление предикатов. Общезначимость
- •4.9.3. Тождественно-истинные формулы логики предикатов
- •4.9.4. Логическое следование
- •4.9.5. Естественный вывод в логике предикатов
- •4,9.6, Специфические законы логики предикатов
- •4.9.8. Свойства теорий первого порядка
- •4.9.9. Секвенции
- •Глава 5
- •5.1.1. Элементы модальной логики в античности
- •5.1.2. Понятия необходимости и возможности
- •5.1.3. Алетические модальные исчисления
- •5.1.4. Естественный вывод в алетических исчислениях
- •5.2.1. Анализ норм
- •5»2.2. Деонтические исчисления
- •5.3.1. Деонтическая система «Deontic»
- •5.3.2. Деонтическая система р
- •5.3.3. Деонтическая система sdl
- •5.3.4. Деонтическая система dt
- •5.3.5. Семейство деонтических систем 01 1— 01 4
- •5.4.1. Понятие деонтически возможного мира
- •5.4.3. Условия истинности деонтических формул
- •5.5.1. Оценки и нормы
- •5.5.2. Проблема истинности оценок
- •5.5.3. Логика оценок
- •Глава 6
- •6.1.1. Логико-математические методы
- •6.1.1. Логико-математические методы
- •6.1.2. Виды познания
- •6.1.3. Структура познавательного процесса
- •6.1.4. Общенаучные методы познания
- •6.1.5. Общенаучные подходы к построению научного знания
- •6.1.6. Методология научного познания
- •6.1.7. Проблема истины в познании
- •6.2.1. Эмпирическая интерпретация
- •6.2.2. Конструктивные объекты
- •6.2.3. Логический язык эмпирической интерпретации
- •6.3.1. Структура математических теорий
- •6.3.2. Структура теорий опытных (эмпирических) наук
- •6.3.3. Научная теория как обобщенное идеальное отображение мира
- •6.4.1. Логическое уточнение понятия теории
- •6.4.2. Логические отношения между теориями
- •6.4.3. Сравнение теорий с помощью определений
- •6.5.1. Дедуктивно-номологическое объяснение
- •6.5.2. Рациональное объяснение
- •6.5.3. Интенциональное объяснение. Практический силлогизм
- •Глава 7
- •7.5.1. Тактика аргументации
- •7.5.2. Уловки и приемы аргументации
- •7.5.3. Моральный кодекс спора
5.5.3. Логика оценок
Логика абсолютных оценок, не содержащая парадоксов, может быть получена путем расширения теории релевантной импликации (—>) правилом экстенсиональности и аксиомами:
«Если некоторое состояние позитивно ценно, то его отрицание не является позитивно ценным» и «конъюнкция двух состояний имеет позитивную ценность, если и только если каждое из них позитивно ценно».
Эта логика представляет собой модификацию обычной логики оценок.
Положение, что нормы являются специальным случаем оценок, влечет важные следствия для логики норм. Если «обязательное» означает «санкционируемое хорошее», а «запрещенное» — «наказуемое плохое», то логика норм не является самостоятельным разделом формальной логики, а представляет собой вариацию на темы логики абсолютных оценок.
Формально эту идею можно реализовать по-разному. В частности, может быть принято определение:
Под логикой норм будем понимать логическую систему, являющуюся расширением теории релевантной импликации, в котором доказуемы формулы:
«если обязательно
некоторое действие, то не является
обязательным воздержание от него»,
«если обязательно, что реализация
некоторого действия имплицирует
выполнение другого действия, то, если
обязательно первое действие, обязательно
и второе». Доказуемо правило «логические
следствия обязательного также являются
обязательными» и не являются доказуемыми
формулы:
Можно показать, что логика абсолютных оценок, дополненная определением обязанности в терминах позитивной ценности Д1, содержит деонтическую логику.
Другим вариантом определения, позволяющим достичь этого же результата, является:
Норма, предписывающая некоторое действие, разлагается в этом случае на позитивную оценку самого действия и фактическое утверждение условной связи между воздержанием от данного действия и наказанием.
Все оценки делятся на две группы. В первую из них входят абсолютные оценки, в формулировках которых используются термины «положительно ценный», «хороший», «добро», «отрицательно ценный», «плохой», «зло», «безразличное» и т . п. Во вторую — сравнительные оценки, выражаемые с помощью терминов «лучше», «хуже», «равноценно» и т. п.
Всякий раз, когда объект сопоставляется с мыслью на предмет соответствия ей, возникает ценностное отношение. Далеко не всегда оно осознается, еще реже оно находит явное выражение в особом высказывании.
Если под оценкой понимается каждый случай подведения объекта под мысль и установления тем самым ценностного отношения, все оценки можно разделить на явные, выраженные эксплицитно в языке, и неявные, неосознанные или только подразумеваемые.
Форма явных абсолютных оценок: «Хорошо (плохо, безразлично), что то-то и то-то». Иногда такие оценки выражаются в форме: «Должно быть (не должно быть; безразлично, будет ли) так, что то-то И то-то».
Формы вхождения в рассуждение или теорию неявных оценок гораздо более многообразны.
Многие выражения имплицитно включают оценочные и нормативные элементы. Таковы, в частности, пожелания, советы, предостережения, просьбы, обещания, угрозы и т. п.
Вопросы, имеющие характер требований или рекомендаций предоставить определенную информацию, также содержат неявно оценку.
Оценки входят неявно и в целевые нормы, устанавливающие цели и указывающие средства для их достижения.
Существенным является различие между реальными и номинальными определениями. Первые представляют собой описания. Они претендуют на соответствие действительности и являются истинными или ложными. Вторые — это, в сущности, завуалированные предписания. Они требуют употреблять определяемый термин в задаваемом ими значении, не считаясь с особенностями реальной ситуации. Более того, сама эта ситуация в случае необходимости должна быть преобразована так, чтобы не приходилось отступать от предписанного значе-
ния. Номинальные определения не имеют истинностного значения.
Как предписания номинальные определения являются оценками. Все сказанное об отличии описаний от оценок, истинностного подхода к миру от ценностного, непосредственно относится и к различию между реальными и номинальными определениями.
Номинальные определения — обычная форма неявного введения ценностных отношений и оценок.
Хорошо известные трудности разграничения реальных и номинальных определений — это только частный случай тех затруднений, с которыми почти всегда связано различение истинностного и ценностного типов сопоставления мысли и действительности. Зачастую языковое выражение в одном контексте звучит как реальное определение, а в другом выполняет функцию номинального. Иногда реальное определение, описывающее какие-то объекты, обретает оттенок требования, как употреблять термин, соотносимый с ними. Номинальное определение может нести отзвук описания. Из психологии восприятия известны графические фигуры, которые при пристальном их рассматривании предстают то выпуклыми, то вогнутыми. Сходным образом одно и то же определение при пристальном его анализе может казаться то реальным, то номинальным.
Двойственный, дескриптивно-прескриптивный характер многих определений, употребляемых в науке, существенно затрудняет проведение четкой границы между реальными и номинальными определениями. Но это еще не предлог, чтобы пренебрегать принципиально важным различием между ними.
Еще одна форма неявного вхождения оценок — конвенции всякого рода. Все они являются предписаниями и находятся в ценностном отношении к миру. Конвенциями могут вводиться новые понятия, но гораздо более важную и интересную роль в научном познании играют конвенции, ограничивающие или расширяющие уже употребляемые в науке понятия, а также конвенции, отождествляющие разные совокупности признаков.
Далеко не всегда научная конвенция представляет собой открытое, специально выработанное и одобренное научным сообществом соглашение. Напротив, в большинстве своем конвен-
ции функционируют неявно и не осознаются как таковые теми, кто их использует. Обычно только после научной революции, приводящей к отказу от старой теории или ее ограничению, к новому видению мира, становится ясно, как много не совсем удачных и эффективных условностей и соглашений принималось в старой теории.
Чистые конвенции — такая же редкость в науке, как и чистые номинальные определения. Гораздо более часты своеобразные дескриптивно-прескриптивные единства — соглашения с элементами описания и описания с конвенциональными элементами. К примеру, утверждение, что жидкость есть такое состояние вещества, при котором давление передается во все стороны равномерно, в течение какого-то периода признавалось фактической истиной. Универсальная приложимость его ко всем, в том числе к не изученным еще жидкостям, опиралась на конвенцию. В дальнейшем оно превратилось в одно из следствий более глубоких представлений о жидкости и перестало нуждаться в поддержке со стороны.
Многие понятия как обычного языка, так и языка науки, имеют явную оценочную окраску. Их иногда называют «хвалебными», круг их широк и не имеет четких границ. В числе таких понятий «наука» как противоположность мистике и иррационализму, «знание» как противоположность слепой вере и откровению, «теория», «система», «работа», «труд», «рациональность» и т. д.
Сами понятия «истины» и «ценности» имеют в большинстве своих употреблений явный оценочный оттенок. Введение подобных понятий редко обходится без одновременного привнесения неявных оценок. Ценностное по преимуществу отношение находит выражение также в аналитических высказываниях, являющихся необходимым элементом всякой теории. Эти высказывания несут, однако, и определенное дескриптивное содержание. Было бы неправомерно поэтому считать их, как это иногда делается, чистыми соглашениями об употреблении понятий или об их значении.
Из этого перечня форм вхождения оценок в рассуждение можно вывести одно важное общее наблюдение. Чистые оценки и чистые нормы почти не встречаются в тех теориях, кото-
рые не ставят своей специальной задачей их выработку и обоснование.
В обычные научные теории опенки и нормы входят только в виде «смешанных», описательно-оценочных положений. Обилие последних в науке создает иногда даже обманчивое впечатление, что в ней вообще нет чистых описаний и что в каждом дескриптивном утверждении обязательно присутствует момент оценки.
Внешние ценности теории. Применительно к конкретной теории ценности могут быть разделены на внутренние и внешние. Первые входят в структуру самой теории в качестве неотъемлемых ее компонентов, вторые относятся к тому контексту, в котором существует и развивается теория. Граница между первыми и вторыми является, конечно, довольно относительной.
Внешние ценности крайне разнообразны и разнородны. Они охватывают широкий круг образцов, норм, правил, оценок, принципов и т. п., воздействие которых сказывается как на формировании теории, так и на последующей ее эволюции. Как и обычно, эти ценности редко имеют характер чистых оценок. Они предстают почти всегда в форме комплексных описательно-оценочных образований.