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