
- •Глава 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.7.1. Теория познания Канта
В основе теории познания Канта лежит одна главная мысль: прежде чем научно познавать, необходимо исследовать возможности самих познавательных инструментов человеческого познания. Он ставит такой вопрос: что я могу узнать? Потом к этому вопросу добавляются и следующие: что я должен делать? На что я могу надеяться? Что такое человек и чем он может стать?
Первый из этих вопросов разрешается в «Критике чистого разума», второй — в «Критике практического разума», третий — в «Религии в пределах «только разума», четвертый сформулирован в третьем разделе «Логики».
Таким образом, Кант приступил к разработке своей критической метафизики как исследования познавательных способностей человека, которое позволило бы разуму самому себе определить свои познавательные возможности и границы. В этой формулировке слово «разум» означает совокупность всех
познавательных способностей человека, включая его чувственность. Слово «чистый», использованное Кантом применительно к разуму, означает «свободный» от эмпирии и практических мотивов и побуждений, от абстрактных теоретических гипотез и вымыслов.
1.7.2. Аналитическое и синтетическое знание
Кант делит знание на аналитическое (объясняющее) и син-' тетическое (приращивающее). Кроме этого знание бывает априорным (доопытным) и апостериорным (основанным на опыте). Соответственно этому возникает четыре характеристики суждений, в которых выражается знание:
1) аналитические апостериорные (их существование невозможно);
2) синтетические апостериорные (они существуют в составе несовершенного, неистинного знания, например: «этот дом стоит на пригорке»);
3) аналитические априорные (они существуют в составе совершенного знания, например: «квадрат имеет четыре угла»);
4) синтетические априорные (они существуют в составе совершенного знания: например, «прямая есть кратчайшее расстояние между двумя точками»).
Согласно Канту, суждения, имеющие своим основанием опыт (опытные суждения), всегда синтетические, поскольку свои предикаты (свойства, приписываемые субъектам суждений — предметам рассмотрения) они черпают из внешнего опыта. Все же аналитические суждения априорны, доопытны. Но как в связи с этим решить вопрос о синтетических априорных суждениях? Вопрос этот очень важен, потому что наука нуждается в таких суждениях, которые бы одновременно расширяли наше знание по содержанию и были бы при этом достоверными, всеобщими, необходимыми. А суждения, производные из опыта, такими свойствами обладать не могут.
Кант рассматривает разные науки и приходит к выводу, что логика не расширяет знания, а имеет дело только с «чистой»
формой мышления. Значит, ее суждения априорно-аналитические. Эмпирическое естествознание основывается на апостери-орно-синтетических суждениях. Вопрос о возможности синтетических суждений априори, по сути, есть вопрос о возможности философского познания мира.
Полагая, что синтетические суждения априори существуют, Кант обосновывает возможность новой «критической» философии. Для этой цели он расчленяет познавательные способности человека, выделяя чувственность, рассудок и разум. Каждой из способностей соответствует свой вопрос: как возможна «чистая» математика? Как возможно «чистое» естествознание? Как возможна «чистая» метафизика?
Соответственно этим трем вопросам, обращенным на три способности познания, гносеология Канта делится на трансцендентальную эстетику, трансцендентальную аналитику и трансцендентальную диалектику. Два последних образуют трансцендентальную логику.
Термин «трансцендентальный» у Канта означает то, что является всеобщим, предшествует опыту и предназначено для того, чтобы сделать возможным (всеобщим, необходимым и истинным) опытное познание. Поэтому трансцендентальное познание предмета означает не столько познание самого предмета, сколько осознание того, как возможно это познание.
Исходным элементом познания Кант считает «вещь в себе». То, что видит, слышит и осязает человек — это лишь видимость, кажимость. Именно она составляет основу недостоверного, неистинного знания. За пределами видимости скрывается недоступная опыту сущность. Именно на нее направлено философское, «чистое» (свободное от опыта) познание. Чувственное, опытное познание дает базу лишь для переживаний, впечатлений, созерцаний. «Вещь в себе» — в принципе непознаваемый объект. В этом своем подходе Кант тяготеет к агностицизму, философскому направлению, отрицающему возможность достоверного познания окружающего мира. У Канта она непознаваема опытом, но, входя в трансцендентальное поле, находится в области трансцендентальных форм познания.
Чувственному познанию, опыту, явлениям соответствуют феномены, вещам в себе, сущностям — ноумены. Это понятия
о вещах. Именно с помощью понятий возможно представление о сущностях.
Чувственное познание Кант расчленяет на данные органов чувств и априорные формы чувственного созерцания, которыми являются пространство и время. Это, по его мнению, является основой существования априорных форм созерцания, лежащих в основе синтетических априорных суждений. Неоформленные чистыми априорными созерцаниями ощущения остаются явлениями (феноменами), будучи оформленными, они становятся опытом, т. е. эмпирическим знанием. ,
Априорные созерцания — это способ, которым осуществляется созерцание. Они остаются в сознании, даже если человек вообразит, что никаких вещей (явлений) не существует. Их нельзя трактовать как врожденные идеи в декартовском смысле, потому что в них нет никакого содержательного знания. Но они не являются и иллюзиями. Абстрактные представления о времени и пространстве укоренены в человеческом сознании и потому доопытны (по отношению к восприятию какой-то отдельной вещи). Это чистые формы восприятия и потому они являются идеальными, а не эмпирически реальными.
Априорные представления о пространстве и времени не являются понятиями, а являются трансцендентальными представлениями. К слову сказать, Кант рассматривает пространство как «внешнюю», а время — как «внутреннюю» форму представлений. Он утверждает, что пространство и время даны нам независимо от эмпирического опыта, но не помимо его.