
- •Глава 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. Моральный кодекс спора
6.1.4. Общенаучные методы познания
Математизация
Под математизацией научного познания понимается усиление роли количественного анализа в научных методах. Иными словами, математизация — это расширение и углубление взаимодействия математики с разными научными дисциплинами.
Математизация является одной из характерных черт развития современной науки. Математические исчисления не только включаются в конкретно-научные исследования, математический аппарат не только выступает средством решения прикладных научных задач (просчет параметров, изучение количественных характеристик, математический анализ и т.п.), но и позволяет изучать новые свойства объектов. К этому прежде всего относится математическое моделирование объекта.
Можно выделить несколько аспектов математизации:
1. Применение математических методов как средств количественного анализа.
2. Использование математических исчислений.
3. Использование математических алгоритмов для оперативного просчета данных.
4. Математическая экспликация объекта (описание объекта в математических терминах).
5. Использование математико-статистических методов в социальных науках (экономика, социология, история и т.д.).
6. Применение математических методов в прикладных отраслях теории и практики (расчеты на прочность, износ, энергоемкость и т.п.).
7. Математических анализ биологических, экологических и природоохранных систем.
8. Использование математики в области фундаментального научного знания (математические расчеты размеров галактик, орбит небесных тел, математические расчеты взаимодействия микрочастиц и т.д.).
9. Математическое моделирование природных, биологических и социальных процессов.
10. Математическое прогнозирование.
Аксиоматический метод как общенаучный метод познания
Аксиоматический метод является одним из самых распространенных в современной теоретической науке. Его основоположником вполне можно считать Аристотеля, хотя порою «пальму первенства» приписывают Евклиду. Строго говоря, обоих их можно считать соавторами. Только Аристетель разработал сами принципы аксиоматизации и развил их применительно к созданной им науке логике. Евклид же, идя самостоятельным путем, создал аксиоматический метод применительно к геометрии.
Сущность аксиоматического метода как общенаучного метода познания является следующей:
- 1. В какой-либо отрасли человеческого знания выбираются положения, которые не требуют доказательства. Такими положениями (постулатами или аксиомами) обычно являются проверенные практикой утверждения. 2. Из этих постулатов выводятся теоремы, являющиеся принципами данной теории.
Аристотель, стремясь построить логику как теорию корректного вывода одних умозаключений из других, убедительно доказал, что для того, чтобы отдать себе отчет в правильности (корректности) какого-либо рассуждения, нужно осознать и осмыслить общие правила строения рассуждений. Эти общие правила и являются аксиомами. А что касается правильности какого-то конкретного рассуждения, то его нужно просто подвести под этот общий случай. Если он будет соответствовать этому общему случаю, то конкретное рассуждений является корректным, если будет противоречить ему — то некорректным.
В соответствии с этим Аристотель построил первую логи-
ческую систему — силлогистику, в которой доказал, что корректность рассуждений сводится к небольшому числу общих правил. Эти правила суть аксиомы (модусы первой фигуры простого категорического силлогизма). Если модус любого другого рассуждения можно свести по его логической форме к одному из четырех модусов первой фигуры (к аксиомам силлогистики), то рассуждение, построенное по этому модусу, — корректно. В этом суть открытия аксиоматического метода Аристотелем.
Евклид в своих «Началах», в которых сформулировал основания классической геометрии, также разработал основы аксиоматического метода. До него геометрия буквально оправдывала этимологию этого слова («геос» — земля, «метрос» — измерение) и бьша совокупностью рецептов по измерению земель-^ ных участков. Она была прикладной отраслью знания и по сути ремеслом, а не наукой. Евклид, использовав аксиоматический метод, сделал геометрию наукой. Для этой цели он предпринял следующее:
1. Сформулировал основные понятия геометрии: точка, плоскость, угол, прямая и т.п.
2. В терминах этих основных понятий он сформулировал свои знаменитые постулаты (аксиомы), положения, не требующие проверки.
3. Определил правила вывода из этих постулатов других положений, расширяющих знания.
4. Осуществил вывод из аксиом множества теорем, которые и являются принципами геометрической теории.
После этого принципы геометрии стали приложимы не только к измеряемым участкам земли, а к любым плоскостным фигурам. Геометрия стала наукой, имеющей системное строение и общезначимый характер своих теорем-принципов.
Эти принципы аксиоматизации не потеряли своей актуальности н сегодня. Многие отрасли знания, прежде всего математика, теоретическая физика, логика строятся аксиоматически. Этим путем возникло большое число теоретических систем, имеющих своим основанием аксиоматический метод.
Выделим основные достоинства этого метода:
— Аксиоматический метод позволяет построить научное знание систематически.
— Этот метод делает научную теорию доказуемой: из постулатов выводятся теоремы.
— Научная теория полнее может использовать принципы математики и логики.
— Таким образом построенное научное знание становится органично организованным, стройным; в нем явным образом различаются его предпосылки и следствия.
— Выводы аксиоматически построенного научного знания приобретают общезначимый характер.
— В аксиоматически построенной научной теории происходит уточнение используемых понятий и принципов.
— Научные теории, построенные аксиоматически, можно сопоставлять по исходным принципам, выводимым следствиям.
— Для проверки строгости вывода в аксиоматически построенных научных теориях легко используется математический и логический аппарат.
— Благодаря аксиоматизации теоретического научного знания возрастает его целостность, органическая слитность разных отраслей познания. Наука может быть представлена как единое целое.