- •Глава 1 вводная
- •§ 1. Формальное мышление и логика
- •§ 2. Логика и рассуждения
- •§ 3. Логическая онтология
- •Глава 2
- •§ 1. Общая характеристика понятия
- •§ 2. Содержание и объем понятий
- •А. Положительные и отрицательные.
- •Б. Существенные и несущественные.
- •В. Отличительные и неотличительные
- •§ 3. Обобщение и ограничение понятий
- •Глава 3
- •§ 1. Виды понятий
- •I. Виды понятий, выделяемые по характеру признаков.
- •II. Виды понятий, выделяемые по числу элементов объема.
- •III. Виды понятий, выделяемые по характеру элементов объема.
- •§ 2. Отношения между понятиями
- •Глава 4
- •§ 1. Определения и их виды
- •Глава 4, § 1.
- •§ 2. Правила определения и возможные ошибки
- •Глава 5
- •§ 1. Операция деления, правила и ошибки
- •Некоторые особенности деления
- •Виды деления
- •§ 2. Правила деления и возможные ошибки.
- •1. Правило соразмерности.
- •2. Правило исключения.
- •3. Правило одного основания.
- •4. Правило непрерывности.
- •§ 3. Понятие о классификации
- •Глава 6
- •§ 1. Общая характеристика суждения
- •§ 2. Категорические суждения
- •I: Некоторые s есть p.
- •§ 3. Сложные суждения
- •2. Разделительное суждение - дизъюнкция —p V q.
- •4. «Если..., то...» — условное суждение, или импликация.
- •5. «... Тогда и только тогда, когда...» — эквивалентность — суждение эквивалентности.
- •§ 4. Запись категорических суждений и силлогизмов при помощи языка логики предикатов
- •Глава 7
- •§ 1. Отношения между простыми суждениями Ав: Давайте поспорим! Сс: Это что? Спор ради спора?
- •1 ДополнительностьО
- •§ 2. Отношения между сложными суждениями
- •Глава 8
- •§ 1. Общая характеристика
- •§ 3. Закон тождества
- •§ 4. Закон исключенного третьего
- •§ 5. Закон достаточного основания
- •§ 6. О нарушениях законов логики
- •Глава 9
- •§ 1. Понятие и структура умозаключения
- •§ 2. Классификация умозаключений
- •Глава 10
- •§ 1. Условно-категорические и чисто условные умозаключения
- •§ 3. Условно-разделительные умозаключения
- •§ 4. Непрямые умозаключения
- •Глава 1 1 силлогизмы
- •§ 1. Понятие и виды силлогизмов
- •§ 2. Непосредственные силлогизмы
- •§ 3. Простой категорический силлогизм
- •2) Опровержение неправильных дедукций или неправильных подчинений.
- •3) Обоснование исключений из общих положений.
- •I фигура
- •II фигура
- •III фигура
- •§ 4. Способы проверки правильности силлогизмов
- •1) Построение круговых схем для посылок и совмещение их на одной схеме.
- •2) Предъявление контрпримера.
- •3) Проверка на соответствие общим правилам силлогизма и правилам фигур.
- •§ 5. Энтимемы
- •Глава 12
- •§ 1. Общая характеристика индуктивных умозаключений Ав: Вам понравились дедуктивные умозаключения?
- •§ 2. Виды индуктивных умозаключений
- •§ 3. Научная индукция, или методы обнаружения причинных связей
- •§ 4. Умозаключения по аналогии
- •Глава 13
- •§ 1. Доказательство
- •§ 2. Опровержение
- •§ 3. Правила доказательства и возможные ошибки
мышлении.
Он таков, как был сформулирован в диалоге
наших персонажей,
открывавшем этот
параграф. Лингвистически здесь последним
предложением является
предложение
«Ничто
разумное не ставит меня в тупик», а
логически последним
суждением является
суждение «Логика
не разумна».
Рассмотрев
примеры умозаключений, мы можем ответить
на вопрос: из
чего
состоит умозаключение?
Структура
умозаключения
Мы
можем различить в умозаключении:
Суждения,
из которых выводится последнее суждение.
Суждение,
которое выводится из предыдущих
суждений.
Логическую
связь между 1 и 2.
Если
первые два элемента умозаключения явно
фигурируют в нашей речи, то
третий
элемент в речи явно не выражается, но
соединяет в мышлении все суждения
в
единое целое, яаляется как бы
"цементом" умозаключения.
Суждения,
из которых выводится последнее суждение,
называются
посылками.
Суждение,
которое выводится из предыдущих
суждений, называется
заключением.
Третий
элемент умозаключения в его внешней
структуре представлен обычно
словами
"следовательно",
"поэтому", "значит", "так
как", "ибо" и
др. Эти слова,
указывающие на наличие
логической связи между соединяемыми
ими суждениями, мы
будем называть
логической
связкой умозаключения.
Слова
"следовательно",
"значит" и
т.п, являются для нас знаками,
сигнализирующими
о наличии в тексте или речи умозаключения.
Они нам как бы
говорят: "Смотри,
здесь умозаключение, следовательно,
ты можешь применить все, что
ты знаешь
об умозаключениях, если хочешь согласиться
с текстом или собеседником
или,
наоборот, хочешь его критиковать".
Сейчас
мы займемся последовательным
многоступенчатым делением объема
понятия
"умозаключение", результатом
которого, как мы знаем, и является
классификация.
Умозаключения
делятся на дедуктивные и недедуктивные.
Дедуктивным
называется умозаключение, в котором
истинность посылок
должна гарантировать
истинность заключения.
Не
д
е
д
ук
т и в н ы м называется умозаключение, в
котором истинность
посылок не должна
гарантировать истинности заключения.
§ 2. Классификация умозаключений
Пояснение.
Практически все рассмотренные нами
примеры умозаключений
относились к
области дедуктивных умозаключений.
Определение дедуктивных
умозаключений
при помощи понятия истинности сразу
напоминает нам отношения
между
суждениями, а именно, отношение
логического следования, которое
требует,
чтобы невозможен был случай,
когда при истинности первого суждения
второе
суждение было ложным. Иначе
говоря, наличие между двумя суждениями
отношения
логического следования
означает, что истинность первого
гарантирует истинность
второго. Но
это именно то требование, которое
предъявляется к правильным
дедуктивным
умозаключениям.
Пусть
А1,
А2,
Ап
[■
B
дедуктивное
умозаключение, в котором А1,
А2,
Ап
являются
посылками, а В - заключением. [■
- знак логической выводимости.
Если
объединить посылки этого
умозаключения при помощи конъюнкции,
то мы получим
следующее отношение
логического следования между суждениями:
Ai
л
А2л
... лАп
|=В
Отсюда
вытекает критерий правильности
дедуктивных умозаключений:
Дедуктивное
умозаключение Ai,
А2,
An
Į-B
правильно,
если суждения Ai,
А2,
Ап
и В находятся
в отношении логического следования,
т.е.
Aia
А2л
...
л Ап
|= В.
Дедуктивные
умозаключения можно охарактеризовать
также с точки зрения
теоретико-познавательной.
Это точка зрения характеризует
умозаключения как
средство преобразования
знаний. Дедуктивное умозаключение
гарантирует истинность
заключения
при истинности посылок, т.е. оно является
надежным. Однако за
надежность следует
платить. Надежность дедуктивного
умозаключения основывается
на том,
что оно не расширяет объема знаний
субъекта, совершающего
умозаключение.
Информация, содержащаяся
в заключении, составляет всего лишь
часть информации,
содержащейся в
посылках. В умозаключении —
Все
люди разумны.
Маугли - человек.
Следовательно,
Маугли разумен.
— знание
о том, что Маугли
разумен, уже
содержится в знании о том, что все
люди
разумны, и
в представлении о том, что Маугли
- человек. Эту
черту дедуктивных
умозаключений уже
в семнадцатом веке отмечали Фрэнсис
Бэкон и Рене Декарт. На
этом наблюдении
они основывали свою критику теории
дедуктивных умозаключений и
отсюда
выводили необходимость разработки
новой индуктивной, как Бэкон,
или
конструктивной, как Декарт, логики.
Казалось бы, теоретико-познавательная
характеристика
дедуктивных умозаключений значительно
снижает их ценность, потому
что и в
науке, и в обычном познании мы стремимся
к получению новой информации.
Однако
открытие нового составляет только
часть нашей науки и нашего обычного
общения.
Другая их важная составляющая заключается
в доказательстве открытых
законов,
теорем, обосновании правильности наших
оценок и наблюдений, в сбеждении
других
людей и самих себя. Именно в этой области
дедуктивные умозаключения
находят
свое превосходное применение.
Таким
образом, суммарно мы можем охарактеризовать
дедуктивные
умозаключения
следующим
образом: они
гарантируют истинность заключения
при
истинности посылок, их посылки и
заключение находятся в отношении
логического
следования и
они
не расширяют наших знаний о действительности.
Недедуктивные
умозаключения не обладают надежностью,
присущей
дедуктивным умозаключениям.
Но это означает, что аместо этого они
должны иметь
какое-либо другое
преимущество. Иначе, зачем нам были бы
нужны ненадежные
умозаключения. Мы
помним, что за надежность дедуктивные
умозаключения заплатили
большую
цену: они не увеличивают объема знаний,
имеющегося в распоряжении
субъекта,
совершающего эти умозаключения. Значит,
естественно предположить, что,
отказываясь
от надежности, недедуктивные умозаключения
приобретают
характеристику, недостающую
дедуктивным умозаключениям.
Недедуктивные
умозаключения
могут расширять наши знания. Именно
поэтому они и употребляются в
науке,
ораторской практике и нашей обычной
жизни. Таким образом, в правильном
недедуктивном
умозаключении при истинности посылок
заключение может быть и
ложным.
Обращаясь к теоретико-познавательной
характеристике недедуктивных
умозаключений,
мы можем сказать, что они носят только
вероятный
характер,
т.е. при
истинности исходных посылок
заключение их только вероятно истинно,
и есть риск,
что оно, в конце концов,
окажется ложным. Этот риск и есть плата
за возможность
расширять объем наших
знаний при помощи недедуктивных
умозаключений.
Примеры
недедуктивных умозаключений мы
рассмотрим чуть позже, когда будем
говорить
о видах таких умозаключений.
Теперь
вернемся к дедуктивным умозаключениям.
Мы будем различать два вида
таких
умозаключений:
Дедуктивные
умозаключения, основанные на связях
между суждениями, или
умозаключения
логики суждений.
Дедуктивные
умозаключения, основанные на
структуре простых
категорических
суждений, или
силлогизмы.
Две
следующих главы будут носвящены
рассмотрению этих видов
дедуктивных
умозаключений.
Среди
недедуктивных
умозаключений мы
также будем выделять два вида:
индуктивные
умозаключения и
умозаключения
по аналогии.
Таким
образом, мы получаем следующую
классификацию
умозаключений:
Силлогизмы
Индуктивные Умозаключения
по
аналогии
умозаключения
Рис.
1
Мы
будем подробно изучать все эти виды
умозаключений. Зачем же нам нужны
знания
об умозаключениях?
Изложенное
позволяет сказать, что знания об
умозаключениях помогают нам:
По
уже имеющимся суждениям получать
новые - эвристическая
функция
теории
смозаключений.
Критиковать
обоснованность своих собственных
мнений и мнений других
людей -
критическая
функция
теории умозаключений.
Изобретать
убедительные аргументы - риторическая
функция
теории
умозаключений.