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