
- •Глава 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.2.1. Анализ норм
Целью анализа норм является обсуждение свойств и характеристик, которые являются общими для различных норм. Нормы формулируются в таких терминах, как «обязательно», «разрешено», «запрещено», «безразлично» и родственных им. Эти термины указывают на характер нормативного требования. В соответствии с этим выделяются обязывающие, разрешающие, запрещающие и безразличные по характеру нормы. В стандартной деонтической логике для обозначения требования, вменения в обязанность, долженствования и тому подобных отношений используется деонтический оператор — «О». Деонтический оператор «Р» используется для обозначения отношений
разрешения, рекомендации, права. Запрещение F определяется как отрицание разрешения. Безразличность действия I трактуется как разрешение взаимоисключающих действий. Обязательность действия определяется как отрицание разрешения действия, исключающего обязательное действие. На этом основании между деонтическими утверждениями определяются следующие связи логического характера:
Если характер нормы выражается способом, каким должно реализоваться действие или событие, то содержание нормы — это указание на само действие или событие, которое требуется реализовать определенным способом. Нормы могут формулироваться относительно действий, деятельности, взаимодействий, событий или ситуаций, методов или стратегий. Как показано выше, между характером нормы и ее содержанием имеется определенная взаимосвязь. Она выражается в том, что для различных контекстов (контекстов действий и событий) используются различные типы деонтических модальных понятий, таких, как модальности типа «ought-to-do» и «ought-to-be». Для уточнения этой взаимосвязи между характером и содержанием норм используются различные понятия. Модальность первого типа предназначена для изучения действий и взаимодействий и является двухместным деонтическим оператором условного характера. Модальность второго типа является одноместным деонтическим оператором и выражает безусловное обязательство.
Важной характеристикой норм является указание на авторитет нормы. Авторитет нормы, согласно Г. фон Вригту, — это агент, от которого исходит соответствующее предписание. Под авторитетом может подразумеваться закон, обычай, традиция, выражение мнения или воли группы лиц или одного лица. В качестве авторитета нормы могут рассматриваться программа, метод, правила игры, военный устав, предписания технологии, нормативный кодекс и т. п. Авторитет нормы является источником, можно сказать, творцом нормы. С концепцией
авторитета норм связано разделение норм на гетерономные и автономные. Гетерономные нормы считаются непроблематичными в том отношении, что они даются кем-то кому-то. Это означает то, что в структуре гетерономных норм имеется указание на конкретный авторитет нормы и на конкретного субъекта, которому эта норма адресована. Идея автономных норм, согласно Г. фон Вригту, более проблематична. Автономными нормами являются нормы, авторитетом которых может быть сам субъект нормативного действия. Это различные виды самозапрещений и саморазрешений и подобных им саморегуляций. С понятием «авторитета норм» связано представление об обязанности как определенном требовании. Принято рассматривать всякое требование в связи с оценкой его действительности. Требование агенту S совершить действие А в условиях В для достижения результата С действительно, если существует агент S, возможны условия В, действие А находится в пределах физических возможностей агента и результат С действительно является продуктом данного действия. Требование, наложенное агентом на себя, например, обязательство быть честным, справедливым и т. п., тоже характеризуется соответствием между типом требования и содержанием действия. Вступая в общественные отношения, человек дает определенные гарантии выполнения сложившихся общественных отношений. Такие гарантии выражаются в принятии инструкций к выполнению, в принятии присяги, в заключении договора и т. п. Гарантии могут подтверждаться различным образом и сопровождаться саморазрешениями и самообязательствами, выражающими готовность субъекта поступать тем или иным образом.
В некоторых случаях представляется затруднительным указывать на источник нормы как на авторитет. С понятием авторитета нормы связывается представление о некотором агенте (индивидуальном или групповом), от которого исходит то или иное предписание. В тех случаях, когда в качестве авторитета нормы рассматривается закон, обычай или метод, т. е. когда указать на персонального агента нельзя, понятие «авторитет нормы» используется, на наш взгляд, в определенном смысле, образно. В таких случаях представляется более уместным использовать такое понятие, как «основание нормы». Норма мо-
жет быть принята на том основании, что она принадлежит к определенному нормативному кодексу. Основание нормы может быть «внутренним» и «внешним». Когда норма принимается на том основании, что она является частью определенной нормативной системы (закона, моральной системы и т. п.), она рассматривается как требование, являющееся внешним по отношению к агенту действия. Если норма принимается на основании некоторых субъективных соображений, таких, как соображения полезности того или иного действия, его эффективности и даже приятности или неприятности определенных действий для агента, то основания нормы могут рассматриваться как внутренние по отношению к агенту. Проведение различия между внутренними и внешними основаниями нормы достаточно относительно. Это различие может использоваться лишь в пределах определенного контекста. Действительно, основанием нормы может быть образец, стандарт, ценность как выражение, с одной стороны, объективных качеств, присущих вещам, а с другой — как отношение к этим качествам агента действий. Исследование природы и структуры норм дает возможность изучения связей логического характера между различными нормативными утверждениями.