
- •Глава 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.3.3. Научная теория как обобщенное идеальное отображение мира
Проблема структуры научных теорий отнюдь не ограничивается выяснением логической взаимосвязи утверждений, из которых она состоит. Она связана с более общими мировоззренческими и методологическими проблемами о природе, целях и функциях теории в процессе научного познания.
Представляет ли теория отображение действительности или же она служит лишь инструментом для упорядочения и систематизации данных наблюдения и эксперимента? Может ли теория давать законченную научную картину этой действительно-
сти или же она создает только относительные, неполные, приблизительные ее изображения?
Начиная с возникновения самой науки эти два кардинальных вопроса служат предметом непрекращающихся дискуссий, решение которых в конечном итоге определяется философской позицией ученых. С диалектико-материалистической точки зрения теория, как и все наше сознание, есть отражение реальной действительности, т. е. нечто вторичное, производное, зависящее от внешнего мира. Идеалисты же считают теорию чистым созданием нашей мысли, своего рода интеллектуальным инструментом, который ученый создает по своему произволу. Такой субъективно-идеалистический взгляд, преобладающий среди различных форм и оттенков идеализма, опровергается всем ходом развития науки и общественной практики. Однако правильного понимания теории нельзя достичь и с позиций метафизического материализма и эмпиризма.
Теория непосредственно характеризует ту идеализированную концептуальную систему, которая служит моделью изучаемой действительности. Но эта система не является собственно лингвистическим объектом. Предложения, с помощью которых формулируется теория в некотором языке, выступают по отношению к ней как нечто вторичное, а относительно самой действительности даже как третичное. Вот почему семантический подход к анализу структуры теорий имеет рад преимуществ перед чисто синтаксическим аксиоматическим подходом.
Идеализированный характер ясно выступает уже в самых первых теориях классического естествознания, а именно, в механике Ньютона. Изучая закономерности движения земных и небесных тел, механика отвлекается от целого ряда их свойств и особенностей. Во многих задачах — там, где расстояния между телами значительно превосходят их собственные размеры, — она уподобляет их материальным точкам. Такая точка представляет крайне идеализированный образ тела, так как в реальном теле масса не может быть сосредоточена в одной точке. Но на этом идеализация не заканчивается. Исследуя движение определенных тел, механика также отвлекается от их взаимодей-
ствия с другими телами, вводя для этого понятие изолированной системы.
Таким образом, то, что служит непосредственным предметом изучения исследователя в этой науке, — это изолированная система, состоящая из материальных точек. В той мере, в какой эта идеализация оказывается допустимой, теории механики могут применяться для познания реальных процессов, например, движения небесных тел, где расстояния между телами действительно оказываются значительно превосходящими их собственные размеры и где часто можно отвлекаться от возмущающего влияния более удаленных тел. Картина, которая создается с помощью научных теорий, оказывается заведомо неполной, односторонней, схематической, так как теория анализирует лишь некоторые, специально выделенные свойства и отношения, между тем как реальные предметы и процессы обладают бесчисленным множеством свойств, связей, отношений.
Создавая понятия, законы и теории, мы абстрагируемся от целого ряда свойств и особенностей явлений и поэтому огрубляем и схематизируем действительность. Но только на этом пути становится в конечном итоге возможным более всестороннее и полное знание действительности, которое достигается путем восхождения от абстрактного знания к конкретному.
Если сторонники эмпиризма не замечают диалектического характера образования научных понятий и теорий, то представители субъективно-идеалистического направления отказываются видеть в теориях отображение действительности. В зарубежной литературе такой подход часто квалифицируют как инст-рументалистский, поскольку при этом роль теоретических, абстрактных понятий и теории вообще сводится к роли некоторых вспомогательных инструментов, удобных вьиислительных средств, произвольных конвенций и т. п. Сюда относятся не только позитивисты, но и прагматисты, бихевиористы, кон-венционалисты, феноменологисты — словом, все те, кто отрицает право теории на самостоятельное существование, не видит в ней более или менее правильного отображения действительности.
6.4
ЛОГИЧЕСКИЙ АНАЛИЗ НАУЧНОГО ЗНАНИЯ
Научное знание всегда является систематизированным и организованным с помощью научных теорий. Поэтому анализ научного знания связан с анализом научных теорий.