- •§1. Обращение к читателю. О значении логики для развития мышления и характере предлагаемого пособия
- •§ 2. Категориальные основания логики
- •Часть I. Логика высказываний
- •Глава I. Таблицы истинности
- •§ I. Операции над простыми высказываниями
- •§ 2. Операции над сложными высказываниями.
- •§ 3. Тавтологии. Законы мышления
- •Глава II. Проблема вывода в логике высказываний
- •§ 1. Схемы Хрисиппа
- •§ 2. Условные умозаключения. Дилеммы
- •§3. Энтимемы
- •§ 4. Аксиоматическое построение логики высказываний
- •§ 5. Парадоксы логики высказываний
- •§1. Конъюнктивные высказывания
- •§ 2. Дизъюнктивные высказывания.
- •§3. Импликации.
- •§ 4. Эквивалентные высказывания.
- •§ 5. Общий случай сложных высказываний.
- •§ 6. Отрицание сложных высказываний
- •§ 7. Тавтологии
- •§ 8. Выводы из конъюнктивных высказываний
- •§ 9. Выводы из дизъюнктивных высказываний.
- •§ 10. Разделительно-категорические силлогизмы
- •§ 11. Условно-категорические силлогизмы
- •§ 12. Выводы из суждений эквивалентности.
- •§ 13. Смешанные выводы. Дилеммы
- •§ 14. Энтимемы
- •Часть II. Атрибутивная логика
- •Глава I. Суждение и понятие
- •§ 1 Структура суждений и их деление но качеству
- •§ 2. Понятие, его объем и содержание
- •§3. Виды понятий
- •§ 4. Отношения между понятиями по объему и содержанию
- •§ 5. Закон обратного отношения
- •§ 6. Индивидуальные и абстрактные понятия
- •§ 7. Определение понятий и приемы его заменяющие
- •§ 8. Правила определения понятий
- •§ 9. Деление понятий и его правила
- •§ 10. Деление и расчленение
- •§ 11. Классификация
- •§ 12. Деление суждений по количеству
- •§ 13. Распределенпость терминов в суждении
- •Глава II. Непосредственные умозаключения
- •§ 1. Выводы из понятий
- •§ 2. Превращение
- •§ 3. Логический квадрат
- •§ 4. Обращение
- •§ 5. Противопоставление предикату (контрапозиция)
- •§ 6. Выводы через ограничение
- •Глава III. Категорический силлогизм
- •§ 1. Категорический силлогизм и его структура
- •§ 2. Общие правила категорического силлогизма
- •§ 3. Фигуры категорического силлогизма и их правила
- •§ 4. Энтимемы
- •§ 5. Сложные предикаты в силлогизме. Полисиллогизмы и сориты
- •§ 1. Структура суждений и их деление по качеству
- •§ 2. Понятие, его объем и содержание
- •§ 3. Виды понятий
- •§ 4. Отношения между понятиями
- •§ 5. Определения понятий и приемы их заменяющие.
- •§ 6. Деление и его правила
- •§ 7. Качество и количество простых суждений
- •Глава II. Непосредственные умозаключения
- •§ 1. Выводы из понятий
- •§ 2. Превращения
- •§ 3. Выводы по схеме логического квадрата
- •§ 4. Обращение
- •§ 5. Противопоставление предикату (контрапозиция)
- •§ 6. Выводы через ограничение
- •Глава III. Категорический силлогизм
- •§ 1. Структура категорического силлогизма
- •§ 2. Общие правила силлогизма
- •§ 4. Суждения со сложными предикатами
- •§ 5. Энтимемы
- •§ 6. Сложные силлогизмы и сориты
- •Глава I. Логика отношений
- •§ 2. Свойства отношений и схемы вывода
- •§ 3. Критика логики отношений
- •Глава II. Логика предикатов
- •§ 1. Основные понятия логики предикатов
- •§ 2. Правильно построенные формулы логики предикатов
- •§ 3. Аксиоматика и тавтологии логики предикатов
- •§ 4. Логика предикатов и классическая силлогистика
- •§ 5. Недостатки логики предикатов как средства анализа повседневного мышления
- •Глава III. Язык тернарного описания
- •§ 1. Категориальные основы языка тернарного описания
- •§ 3. Типы правильно построенных формул ято
- •§ 4. Правила и схемы вывода
- •Глава III. Язык тернарного описания
- •Глава I. СущносТb и виды индукции через перечисление
- •§ 1. Дедукция и индукция
- •§ 2. Неполная индукция через перечисления и ее правила
- •§ 3. Достоверная индукция
- •Глава II. Индуктивные методы исследования причинных связен
- •§ 1. Понятие причины. Дедуктивные и индуктивные методы исследования причинных связей
- •§ 2. Методы исследования причинных связей
- •§ 3. Ошибки в определении причинных связей
- •Глава III. Выводы по аналогии
- •§ 1. Определение и основные формы выводов по аналогии
- •§ 2. Условия правомерности различных форм
- •Глава IV. Выводы от утверждения следствия. Обоснование гипотез
- •§1. Полная и неполная индукция
- •§ 2. Условия повышения вероятности вывода
- •§ 3. Методы индуктивного исследования причинных связей
- •§ 4. Выводы по аналогии
- •§ 5. Правила выводов по аналогии
- •§ 6. Выводы от утверждения следствия
- •§ 1. Сущность и строение доказательства. Опровержение
- •§ 2. Правила доказательств и ошибки в них
- •§ 3. Роковые ошибки
- •§ 4. Аргументация и спор
- •§ 1. Сущность и строение доказательств
- •§ 2. Правила доказательства
- •§ 3. Аргументация и спор
- •§ 2. Категориальные основания логики
- •§ 1. Конъюнктивные высказывания
- •§ 2. Дизъюнктивные высказывания
- •§ 3. Импликации
- •§ 4. Эквивалентные высказывания
- •§ 5. Общий случай сложных высказываний
- •§ 6. Отрицание сложных высказываний
- •§ 7. Тавтологии.
- •§ 8. Выводы из конъюнктивных высказываний
- •§ 9. Выводы из дизъюнктивных высказываний
- •§ 10. Разделительно-категорические силлогизмы
- •§ 11. Условно-категорические силлогизмы
- •§ 12. Выводы из суждений эквивалентности
- •§13. Смешанные выводы. Дилеммы
- •§ 14. Энтимемы
- •Глава 1. § 1
- •Глава II
- •Глава III
- •Глава I
- •Глава II
- •Глава III
§ 3. Достоверная индукция
Посмотрим, что произойдет, если мы получим возможность совершенствовать неполную индукцию путем все более полного соблюдения изложенных выше правил. Например, сузим субъект заключения до “Дни этой недели”, а частных случаев будем брать все больше, например, “в понедельник шел дождь”, далее, во вторник и так вплоть до воскресенья. Окажется, что все дни недели мы перебрали. Нетрудно перебрать всех студентов какой-то группы, всех членов семьи и т. д. В таких случаях индукция становится полной, а вероятность вывода становится равной 1. Полную индукцию можно определить как такое умозаключение, в котором общее заключение о некотором классе предметов делается на основании изучения всех предметов этого класса. Так как в полной индукции мы не выходим за рамки того, что было дано в посылках, ее иногда вообще не считают индуктивным умозаключением. Более правильно было бы сказать, что полная индукция является своеобразной комбинацией индуктивного умозаключения с дедукцией из посылки, в которой утверждается, что исчерпаны все частные случаи. Но и здесь мы не застрахованы от ошибки в том случае, если некоторые представители интересующего нас класса просто неизвестны. Например, раньше астрономы делали ошибочный вывод, что все планеты и спутники движутся в одном направлении, потому что ученым еще не были известны спутники самых отдаленных от солнца планет, которые движутся в другом направлении.
Другой случай достоверной индукции — математическая индукция. Она известна всем, кто изучал математику в средней школе. Это — метод доказательства математических утверждений, основанный на принципе: утверждение А(х), зависящее от натурального числа х, считается доказанным, если доказано А(1) и для любого натурального п из предположения, что верно А(п) выведено, что верно также А(п+1).
Здесь мы также имеем комбинацию индуктивного вывода — от частного случая А(п) с дедукцией, с помощью которой осуществляется переход от А(п) к А(п+1).
Следующий тип достоверной индукции можно пояснить на примере истории, которая, как говорят, случилась с И. Ньютоном. У него было две кошки — большая и маленькая. Для того, чтобы они имели возможность выходить из комнаты, он сделал в двери два отверстия, одно — для маленькой кошки и другое — для большой. Каждый, не столь сосредоточенный на науке, как И. Ньютон, поймет его ошибку: если большая кошка пролезает через какое-то отверстие, то маленькая кошка сделает это тем более. Таким образом, из одного только факта, что данная кошка пролезла через отверстие, можно сделать вывод о том, что и все кошки меньшего размера пролезут. Соответственно из того факта, что данная кошка не может пролезть, следует, что ни одна, большая чем данная кошка так же не сможет пролезть. Аргумент такого рода восходит к известному нам стоику Хризиппу. Он получил название a fortiori (а форциори, что означает на латинском языке “тем более”).
Существует еще один случай, когда вывод от отдельных фактов к общему суждению будет вполне правомерным. Он связан с такими ситуациями, когда частное суждение оказывается невозможным, и выбор делается между двумя общими суждениями. Так, открыв представителя какого-либо нового биологического вида, естественно заинтересоваться тем, не является ли он хищником. Выяснив, что эта особь — хищник, можно быть уверенным в том, что и все другие особи этого же вида — хищники. Соответственно и наоборот, если эта особь — травоядное, то и все остальные будут травоядными. Совершенно исключен случай, когда некоторые особи данного вида — хищники, а другие — травоядные. Если бы такое было обнаружено, они просто перестали бы относиться к одному и тому же виду.