
- •Глава 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.3. Логика скептиков
Скептики были современниками стоиков и эпикурейцев. Виднейшими скептиками были Пиррон (ок. 365 — ок. 275 гг. до н. э.), Тимон (ок. 320 — ок. 230 гг. до н. э.), Карнеад (214— 129 гг. до н. э.), Клитомах (ок. 175 — ок. ПО гг. до н. э.) и Энесидем (конец I в. до н. э. или начало I в. н. э.).
Существо скептических аргументов о якобы имеющемся в каждом логическом доказательстве бесконечном регрессе неплохо иллюстрирует следующая забавная история. Рассказывается, что Ахиллес, в конце концов, догнал черепаху и комфортабельно уселся у нее на щите. Черепаха высунула из-под щита голову и говорит: «Ну, знаете, Вы блестяще закончили беговую дорожку, хотя многие мудрецы уверяли, что она бесконечна». Ахиллес самодовольно улыбнулся, стер пот с лица и сказал: «Очень просто, это произошло потому, что расстояния каждый раз сокращались. Поэтому я Вас и догнал». А черепаха говорит: «Не угодно ли Вам попробовать Ваши силы на другой беговой дорожке, где расстояния будут каждый раз нарастать?» — «Пожалуйста». — «Есть ли у Вас папирус для записи боевых подвигов, можете ли Вы записать в него то, что я буду Вам диктовать?» — «Конечно, могу», — отвечает Ахиллес. «Достаточно ли в нем свободного места? Я боюсь, — говорит черепаха, — что Вам не хватит папируса. Давайте запишем следующее положение: «две величины, порознь равные третьей, равны между собой». Назовем это положение А. Записали?». —
«Записал», — сказал Ахиллес. «Теперь примем другое положение: «две стороны этого треугольника равны третьей. Обозначим это положение через В». Ахиллес записал. «Что, — спрашивает черепаха, — на основании этого можно сказать?» — «Очень просто: значит, две стороны этого треугольника равны между собой». — «Хорошо, — говорит черепаха, — но как мы обозначим это новое предложение?». — «Обозначим его буквой С». Тогда черепаха задумалась: «А если будут просматривать Ваш папирус, и какой-нибудь читатель скажет гак: я не согласен с этим предложением С». — «Тогда мы его спросим, — говорит Ахиллес, — почему он не согласен с предложением С?». — «Читатель может ответить, — пояснила черепаха, — что он потому не согласен с предложением С, что он не согласен ни с А, ни с В, то есть ни с первым, ни со вторым предложением». — «Это возможно, — сказал Ахиллес, — что он не согласится ни с первым, ни со вторым предложением, а я ему скажу, что ему лучше участвовать в ристалищах, чем заниматься логикой». — «Ну, хорошо, а если другой читатель согласится и с первым, и со вторым положением — «две величины, порознь равные третьей, равны между собой» и «две стороны этого треугольника порознь равны третьей», и все-таки будет отрицать С, что Вы тогда будете делать?» — «Логика заставит его принять, она ему скажет: «Если Вы приняли Л и В, то Вы должны принять и С» (то есть вводится то суждение, которое показывает, что нужно принять тезис, если приняты аргументы). Черепаха говорит: «Если такое суждение выскажет логика, то оно достойно того, чтобы его внести в Ваш блокнот; мы его внесем и обозначим через Г». Итак, вносится суждение Г. Черепаха суммирует: «(А) две величины, порознь равные третьей, равны третьей, и (Г) если мы признали первые два, то должны признать и третье, следовательно, мы должны признать и С?». — «Конечно, это так». — «Но, — говорит черепаха, — если читатель, признав эти три положения, все-таки будет сомневаться в С?» Тогда возмущенный Ахиллес говорит: «Логика схватит его за горло и скажет: «У тебя нет выхода, если ты признал А и В и признал Г, то изволь признать и С!» — «Так скажет логика? Тогда запишем и это новое суждение, обозначив его буквой Е». Далее Ахиллесу пришлось записывать новые суждения М,Р, П, У., причем каждое последующее ста-
новилось больше предыдущего. Таким образом, получается, что процесс доказательства уходит в бесконечность.
Метод аргументации у скептиков неизменно таков: они всякое толкование берут с двух сторон, выставляют тезис и антитезис и, с одной стороны, настаивают, что тезис не может быть оправдан, но, с другой стороны, и антитезис оказывается несостоятельным. Значит, ложны и тезис, и антитезис — остается только усомниться в возможности существования истинных аподиктических предложений.
Вот, например, какова схема скептических аргументов по поводу понятия причинности. Если причина существует, то она либо существует с действием одновременно, либо предшествует ему, либо следует за ним. Однако каждое из этих предположений несовместимо с самим понятием о причине. С другой стороны, и утверждение о несуществовании причины также ведет к противоречию. Итак, аргументы «за» и «против» причинности равновероятны (и равиоопровержимы). Вот каковы эти аргументы при более конкретном описании.
Предположим, что причинности нет; если бы не было причины, то все бы происходило из всего и как придется. Так, например, лошади бы могли рождаться от мышей, слоны — от муравьев, а в египетских Фивах пошел бы, пожалуй, обильный дождь или снег. Кроме того, говорящий, что нет никакой причины, опровергал бы сам себя, ибо если он говорит, что его слова сказаны просто так и без какой-либо причины (повода), то оратор не будет достоин доверия. В самом деле, если подвергать вообще сомнению причинность, то мы, спрашивается, аргументируем причинность, не опираясь на достоверность? Тем самым наше рассуждение заранее бесперспективно.
Скептик в принципе готов распространить свою обычную аргументацию и на сами «скептические положения». Возьмем теперь антитезис, то есть положение о том, что причинность неизменно существует и охватывает собой всю действительность. Но причина либо вызывает себе равное: в таком случае она не имеет действия, не созидает ничего нового. Или же она созидает нечто от себя отличное, но тогда покоящееся будет вызывать движущееся, и наоборот. А в таком случае не определишь, что же из них является причиной. Как мыслить себе причину? Что она возникает ранее действия или одновре-
мешга с ним? И то и другое приводит абсурду. Причина не может быть ранее действия, ибо тогда она оставалась бы без действия, и действие не может быть позднее причины, ибо тогда оно таковой не имело бы. Но оба, причина и действие, не могут быть и одновременными событиями, потому что тогда опять-таки неизвестно, что из них причина и что действие.
Например, существует два ряда событий: один ряд не может существовать вне второго и второй вне первого, — они между собой связаны. Какое мы имеем основание решать, что события первого ряда являются причиной, а другие события являются действием, а не наоборот? Причина не может быть действующим началом, а действие — страдающим, ибо если бы причина была действующей по собственной силе без страдательной материи, то она должна была бы действовать равномерно, и тогда остается необъяснимым, почему она то действует, то не действует и созидает различное. Если при этом необходима страдательная материя, то страдательная материя будет определять причину к действию, сама же причина окажется страдательной, а материя — не только страдательной, но временно и действующей причиной. Действующее оказывается страдательным, и наоборот.
1.4
СРЕДНЕВЕКОВАЯ ЛОГИКА
Основные достижения логики в эту эпоху были связаны с развитием логических идей Аристотеля. Силлогистика Стаги-рита преподавалась в университетах и степень образованности человека во многом определялась тем, насколько он сведущ в том, что писал Аристотель. Средневековые ученые и теологи славились тем, что комментировали трактаты великого античного мыслителя. В их числе видный теолог Фома Аквинский (1225—1274) комментировал трактат Аристотеля «Об истолковании» и первые две главы «Второй Аналитики».