
- •Глава 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. Моральный кодекс спора
Глава 2
ПРЕДМЕТ И ЗНАЧЕНИЕ ТЕОРЕТИЧЕСКОЙ ЛОГИКИ
Осмысление предмета любой науки и ее значения для теории и практики — важная познавательная задача. Применительно к логике ответ на этот вопрос складывается из осмысления многих проблем. В их число входят вопросы, связанные с пониманием того, каким образом и посредством чего логика изучает закономерности человеческого мышления, какие средства, методы и принципы для этого используются, в чем выражаются закономерности мыслительной деятельности. Изучению данных вопросов посвящена настоящая глава.
2.1
МЫШЛЕНИЕ. ЛОГИКА. ЯЗЫК
2.1.1. Опыт и рассуждение в науке
Всякая наука всегда стремится выйти за пределы существующей системы знаний, приобрести новое знание. Имеется два основных способа получения нового знания: опыт и рассуждение. В широком обобщающем смысле опыт представляет собою опытное, эмпирическое знание. Оно характеризуется как знание непосредственное, т.е. такое, когда исследователь и
субъект познания входит в непосредственный познавательный контакт с объектом изучения. Эту познавательную ситуацию можно изобразить такой схемой: S <—> О.
Результатом опытного знания является эмпирический факт, событие, явление. Само эмпирическое познание в своей простейшей форме выражается в наблюдении. Но одним наблюдением опытное знание не исчерпывается. Оно реализуется также в описании фактов, их объяснении, систематизации и каталогизации. Очевидно также и то, что наука не ограничивается протоколированием существующих фактов. Для того, чтобы добытые факты как можно точнее отражали существо рас-' сматриваемого объекта, его необходимо поставить в соответствующие условия, т.е. провести эксперимент. Для этого между субъектом и объектом помещается прибор.
Второй способ получения нового знания — рассуждение. Многие познавательные ситуации обусловлены тем, что опытное познание ограничено в своих возможностях. Во-первых, это может быть связано с тем, что затруднена или вообще отсутствует возможность непосредственного контакта субъекта познания с исследуемым объектом. Во-вторых, объект познания по своим качествам несоизмерим с возможностями восприятия человека (он или очень мал, или очень удален). В-третьих, объект познания может не существовать как некоторое материальное тело, которое можно пронаблюдать, взвесить либо измерить. Примером этого могут быть математические абстракции, физические понятия, социальные реалии, такие, как государство, закон, справедливости и т. п.
Единственным способом получения нового знания о подобном объекте оказывается рассуждение. Как познавательная операция, рассуждение представляет собою мысленное моделирование, логический вывод, заключения из имеющихся данных, рассуждение по аналогии, индуктивное обобщение и т.п.
Заключение такого рассуждения содержит в себе новое по отношению к своим предпосылкам знание. Переход в рассуждении от предпосылок к вьшодам осуществляется по определенным правилам, нарушение которых приводит к ложному результату.
Многие науки с успехом пользуются методами рассуждения. К примеру, в теоретической математике и физике, биоло-
гии и химии, экономике и социологии разрабатываются гипотезы, строятся модели интерпретации, формулируются различные выводы, статистические обобщения, устанавливаются принципы полноты и непротиворечивости доказательства, достаточности исходных данных, правил их преобразования.
Можно сказать, что каждая развитая наука имеет свою логику, т.е. свои специальные методы получения нового знания опосредованным путем. Такую логику можно назвать практической.
Своя практическая логика имеется и у каждого человека. Элементы «логичности» (последовательности, упорядоченности, определенности) заложены уже в языке, в его правилах грамматики, пунктуации. В своем житейском опыте каждый человек использует обыденную логику. Она стихийна, интуитивна, различна по глубине у разных людей. Многим кажется, что достаточно в рассуждении употреблять такие слова и выражения, как «следовательно», «таким образом», «поэтому», как это сразу станет синонимом логичности. Вместе с тем существуют четкие правила «логичности». Многие из них люди применяют в повседневном общении, даже не отдавая себе в этом отчета. Так, мольеровский Журден, персонаж комедии «Мещанин во дворянстве», был изрядно поражен тем обстоятельством, что он всю жизнь говорил прозой и не подозревал об этом.
Итак, практическая логика, как использование различных рассуждении, имеет большое значение для приобретения новых знаний. Однако ни одна наука, использующая практическую логику в качестве познавательного средства, не изучает научными методами сами эти познавательные средства.
Вместе с тем требуется отдать отчет в том, каковы условия применения разных рассуждений, какие структуры и общие схемы рассуждений бывают и как они применяются, а также каковы те гарантии, которые позволяют, имея верные предпосылки, получать с помощью рассуждений всегда верный результат. Это и именно это является предметом логики, которую, в противовес практической, можно обозначить как теоретическую логику. Предметом ее теории служат рассуждения, но не какие-то определенные и конкретные, а рассуждения вообще как познавательные средства. В изучении форм, струк-
тур, схем рассуждений, операций с ними, в познании правил рассуждений логика имеет свой предмет. Квалифицируя его, можно сказать, что цель логического анализа рассуждений состоит в выработке общих правил (стандартов) использования разных рассуждений. Следовательно, предметом логики оказывается анализ стандартов, корректности (правильности) различных рассуждений.