
- •Глава 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.3.2. Логика эпикурейцев
В логике эпикурейцев мы находим реализацию ряда посылок индуктивной методологии, связанной с прогрессом естествознания в античном мире. Коснемся сначала вопросов логики в трудах основоположника обсуждаемого направления Эпикура (341—270 гг. до н. э.). Мышление определяется Эпикуром как воспоминание об испытанных впечатлениях. Важное место в гносеологии Эпикура занимает термин «пролеп-сис», который передается словосочетанием «естественное представление». «Пролепсис» Эпикура, очевидно, нельзя считать прирожденным представлением, поскольку такое истолкование явно противоречило бы несомненному сенсуализму мыслителя.
«Пролепсис» эпикурейцев есть несколько видоизмененный «пролепсис» стоиков. Что касается понятия, то оно понимается у Эпикура как мысленный образ. Эпикур намечает индуктивный подход к трактовке мыслительных форм, заявляя, что «все мысли рождаются из чувств благодаря совпадению, соответствию, подобию и синтезу». Это очень глубокое определение, если иметь в виду ту эмпирическую точку зрения, которой придерживался Эпикур.
Под «предстоящим», или «предлежащим», следует понимать внешний вид вещей или явлений; под «сокровенным» — причины явлений. Согласно Эпикуру, чтобы считать наше суждение относительно внешнего предмета или явления истинным, оно должно быть подтверждено. Чтобы считать наше мнение о причинах явлений истинным, достаточно, чтобы оно не было опровергнуто.
В процессе отыскания неизвестного встречаются и ошибки. Заблуждениям Эпикур дает ярко выраженную психологическую интерпретацию. Таково то немногое, сохранившееся от Эпикура, что давало гносеологические предпосылки для построения теории индукции, которой впоследствии и занялись его последователи.
Переходим теперь к логике эпикурейцев. Ее философской предпосылкой является следующее положение Эпикура: «Исследовать природу надо не на пустых предпосылках и предвзя-тостях, а так, как того требуют сами явления». Этот тезис является краеугольным камнем в трактовке оснований индукции у Эпикура и эпикурейцев. Привилегированными в познавательном отношении надо считать явления, а не аксиомы. В этом существо эмпиризма, ясно сформулированное Эпикуром и принимаемое его последователями.
В числе его учеников, интересовавшихся логикой, следует прежде всего назвать Филодема, римского эпикурейца эпохи Цицерона. Содержание труда Филодема полностью опрокидывает представление о том, будто античный мир не знал никакой другой индукции, кроме аристотелевской полной и популярной индукций. Споры стоиков и эпикурейцев об индукции и ее принципах показывают, что основы индукции привлекали пристальное внимание античных ученых. Стоики обосновывали знание о закономерных связях рациональным, умозрительным путем, а эпикурейцы неизменно апеллировали к опыту. И те и другие опирались на знаковую теорию, в которой, в частности, рассматривались определенные корреляции между знаками, дававшие повод для умозаключения. В этом отношении обе спорящие стороны стояли на позициях номинализма. Умозаключение производится при помощи знаков; так, например, молоко есть знак (симптом) беременности, рубец является симптомом зажившей раны, по дыму можно судить об огне, по поту — о порах на коже. Согласно концепции Эпикура, вывод делается от известных фактов к фактам неизвестным. Эпикурейцы полностью согласны с таким пониманием индуктивного умозаключения. У них основой для суждений о признаках является опыт: явления, данные нам в опыте, характеризуются такими признаками, которые влекут за собой другие. Таким путем можно делать обобщения, становится возможным
переход от познанного к еще не познанному, от вещей явных к вещам скрытым.
Филодем настаивает на том, что неизвестное может стать эмпирически известным. Во-первых, явления, которые находятся на большом удалении, при надлежащем изменении условий наблюдения могут оказаться видимыми. Во-вторых, о некоторых совокупностях атомов, слишком тонких для чувственного восприятия, можно узнать путем идей, постигаемых непосредственно умом. И, наконец, в-третьих, недоступные человеческому восприятию предметы, которые посредством образов не могут быть постигнуты даже умом, становятся доступными посредством логических рассуждений.
Необходимо особо выделить такое неизвестное, которое, будучи чувственно невоспринимаемым, может, однако, оказаться в поле нашего зрения или других чувственных восприятий (например, «этот, издали приближающийся человек, оказывается Платоном»). Но наряду с таким чувственно невоспринимаемым при данных условиях под неизвестным можно разуметь и то, что по существу не может стать предметом чувственного восприятия (пространство как таковое).
Следовательно, какой бы образ мы ни имели, какое бы фантастическое представление мы ни получили или ни воспроизвели, нельзя полагать, что это чистая фикция. Ведь что-то послужило тому, чтобы эти образы возникли. Они могут нас обманывать, то есть они могут быть неверно истолкованы, но нельзя сказать, будто они уже при своем возникновении были ложными, ибо образы — это область фактов.
Эпикурейцы считали стоическое понимание индукции слишком узким и пытались его расширить. В частности, эпикурейцы предлагали широко пользоваться в индукции методом так называемых антиципации, то есть, говоря современным языком, прибегать к выдвижению вспомогательных гипотез. Наконец, они указывали на индуктивный вывод, опирающийся на знание следствий свойств. Например: ножи режут, поскольку они остры; атомы, поскольку они абсолютно тверды, неразрушимы (примеры эпикурейцев). Третью группу индуктивных выводов составляет обобщение, которое опирается на принадлежность свойств предмету: например, человек смертен . Во всех рассмотренных выше случаях индукции эпикурей-
цы сравнивали факты и явления и соотносили им другие сходные факты и явления. Мы обнаруживаем, таким образом, что эпикурейцы широко пользовались методом аналогии.
Итак, если Аристотелю была известна лишь полная индукция и индукция через простое перечисление, то эпикурейцы выдвинули теорию индукции, основанную на анализе принадлежности признака предмету и на зависимости одного признака от другого. Таким образом, эпикурейцы поставили вопрос о повышении вероятности индукции, хотя они еще ничего не говорили об опыте изолирования одних признаков от других; их «расчет» ограничивался одними наблюдениями и анализом этих наблюдений в результате известных сопоставлений.