
- •Глава 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.6.4. Концепция о ясных и отчетливых понятиях
Лейбниц обладал полным пониманием существа проблем дедуктивной логики, а также сущности формального доказательства. И в основе этого лежала его концепция о ясных, отчетливых и адекватных понятиях. Лейбниц углубил унаследованную от картезианства концепцию «ясного понятия» и «отчетливого понятия». Его идеи прочно закрепились, и ныне в принципе мы их придерживаемся. Вот они (в переводе с латинского): «Темным является понятие, которое недостаточно для распознания представляемого предмета; ясным — если дает мне возможность распознать представляемый предмет. Понятие является смутным, если я не могу (и отчетливым — если могу) в отдельности перечислить признаки, необходимые для отличения предмета от других, хотя на самом деле этот предмет
обладает такими признаками. на которые может быть разложено его понятие (а такое перечисление — это номинальное определение). Отчетливым может быть познание неопределяемого понятия, если оно первично». На фоне такого понимания ясности и отчетливости и выявляющегося здесь взгляда на сложность и производность одних и простоту и первичность других понятий становится понятным стремление Лейбница к тому, чтобы обладать адекватными понятиями, а «познание — в его понимании — является адекватным, если все то, что входит в состав отчетливого знания, в свою очередь познано отчетливо или если анализ доведен до конца». Наконец, он добавляет четвертый постулат, постулат интуитивности: «Если же. — говорит он, — мы в состоянии мыслить одновременно все составные признак»,. в таком случае мы имеем интуитивное познание». Через эти не вполне определенные словесные выражения (говорится то notio, то cognitio) просвечивают достаточно ясные различения, если их относить к понятиям, понимаемым как конотация терминов, или как их смысл, значения, как комплексы признаков, которые в своей совокупности высказываются о десигнатах субъектов в случае употребления данного термина в качестве предиката.
1.6.5. Определение понятия тождества и достаточного основания
Другим существенным вкладом Лейбница было определение тождества. Именно эта идея оказалась весьма жизненной, именно его определение отношения тождества, используемое ныне при изложении того раздела логики, который носит название «теории тождества». Согласно этой концепции, х и у являются тождественными, если и только если)' обладает каждым свойством, которым обладает*, их обладает каждым свойством, которым обладает^.
Наконец, с именем Лейбница связано включение принципа достаточного основания в число законов правильного мышления, считающихся главными. Сам Лейбниц различал в качестве таковых принцип противоречия и принцип достаточного основания который он формулировал следующим образом:
«.Ни одно явление не может оказаться истинным или действительным, ни одно утверждение справедливым без достаточного основания, почему именно дело обстоит так, а не иначе, хотя эти основания в большинстве случаев вовсе не могут быть нам известны».
1.7
ТРАНСЦЕНДЕНТАЛЬНАЯ ЛОГИКА И. КАНТА
Иммануила Канта (1724—1804), основоположника немецкой классической философии, по праву можно оценить как одного из величайших умов всех времен и народов. Он родился в Прусском королевстве, в городе Кенигсберг и провел в нем всю свою жизнь. Основными его трудами являются «Критика чистого разума», «Критика практического разума», «Критика способности суждения», «Пролегомены ко всякой будущей метафизике». Все его творчество делится на «докритический период» и «критический период». В «докритическом» философствовании Канта сочетались естественнонаучный материализм и лейбницевская метафизика. Он интересовался космологией и натурфилософией, разработал концепцию исторического изменения небесных тел, провозгласив тезис, что « .Вселенная будет создавать новые миры, дабы восполнить ущерб, нанесенный ей в каком-либо месте». Это нашло свое отражение в опубликованной им работе «Всеобщая естественная история и теория неба». В ней он развил также идеи Ньютона о природе как единой системе.
И хотя вся «докритическая» философия Канта полна естественнонаучного оптимизма, его не оставляют противоречия, которые он не может разрешить в рамках этой концепции. Он все больше и больше склоняется к тому, чтобы «ограничить разум, чтобы освободить место вере». Это приводит к потребности критически пересмотреть всю предшествующую ему философию и разработать свой критический метод, создать свою
критическую метафизику. В основе этого лежит убеждение, что явления отделены от сущности, формы от содержания, разум от веры, рационализм от эмпиризма, теория от практики. Это и становится главным тезисом философствования «критического» периода.
Кант в своей работе «Критика чистого разума» нападает и на философский идеализм, и на философский материализм, называя оба направления догматическими. В своей критике традиционного рационализма, равно как и в критике сенсуализма, он развивает оригинальную философскую концепцию, названную трансцендентальным идеализмом. Корни этой концепции лежат в его гносеологии — теории познания. Он расчленяет способности человеческой души на способность познания, чувства удовольствия и желания. Первая способность является определяющей деятельность рассудка. На ее основе формируется наука о природе.
Вторая — способность суждения, формирующая философию природы и искусство. Третья — направляет разум через поиски окончательных целей к достижению нравственности и свободы, т. е. становится основанием веры.