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