- •Глава 1
- •§ 1. Формальное мышление и логика
- •§ 2. Логика и рассуждения
- •§ 3. Логическая онтология
- •§ 4. Логическая культура
- •Глава 2
- •§ 1. Общая характерисрика понятия
- •Знак Смысл Значение
- •§ 2. Содержание и объем понятий
- •Объем понятия
- •§ 3. Обобщение и ограничение понятий
- •Род и вид
- •Часть и целое
- •Глава 3
- •§ 1. Виды понятий
- •II. Виды понятий, выделяемые по числу элементов объема.
- •III. Виды понятий, выделяемые по характеру элементов объема.
- •§ 2. Отношения между понятиями
- •Виды совместимости
- •Глава 4
- •§ 1. Определения и их виды
- •Виды определений
- •Родовидовые определения
- •Правила определения
- •Глава 5
- •§ 1. Операция деления, правила и ошибки
- •Структура деления
- •Некоторые особенности деления
- •Виды деления
- •§ 2. Правила деления и возможные ошибки.
- •2. Правило исключения.
- •3. Правило одного основания.
- •Комментарий к правилам деления
- •§ 3. Понятие о классификации
- •Виды классификаций
- •Глава 6
- •§ 1. Общая характеристика суждения
- •Виды суждений
- •Истинность и ложность суждений
- •Виды простых суждений
- •S (не) есть p.
- •§ 2. Категорические суждения
- •§ 3. Сложные суждения
- •4. «Если..., то...» — условное суждение, или импликация.
- •5. «... Тогда и только тогда, когда...» — эквивалентность — суждение эквивалентности.
- •§ 4 Запись категорических суждений и силлогизмов при помощи языка логики предикатов
- •Глава 7
- •§ 1. Отношения между простыми суждениями
- •§ 2. Отношения между сложными суждениями
- •Глава 8
- •§ 1. Общая характеристика
- •§ 2. Закон непротиворечия
- •§ 3. Закон тождества
- •§4. Закон исключенного третьего
- •§ 5. Закон достаточного основания
- •§ 6. О нарушениях законов логики
- •Глава 9.
- •§ 1. Понятие и структура умозаключения
- •§ 2. Классификация умозаключений
- •Глава 10
- •§ 1. Условно-категорические и чисто условные умозаключения
- •Обозначим
- •Кто такие X, y и z?
- •§ 2. Разделительно-категорические умозаключения
- •§ 3. Условно-разделительные умозаключения
- •§ 5. Непрямые умозаключения
- •Сведение к абсуpду
- •Рассуждение от противного
- •Рассуждение по случаям
- •Глава 13
- •§ 1. Понятие и виды силлогизмов
- •§ 2. Непосредственные силлогизмы
- •А |-I, e |-о
- •§ 3. Простой категорический силлогизм
- •Структура силлогизма
- •Аксиома силлогизма
- •Фигуры силлогизмов
- •Модусы силлогизмов
- •I фигура
- •II фигура
- •III фигура
- •Запись силлогизмов на языке логики предикатов
- •§ 4. Способы проверки правильности силлогизмов
- •§ 5. Энтимемы
- •Глава 12
- •§ 1. Общая характеристика индуктивных умозаключений
- •§ 2. Виды индуктивных умозаключений
- •Установлено, что
- •Математическая индукция
- •§ 3. Научная индукция, или методы обнаружения причинных связей
- •Метод единственного сходства
- •Метод единственного различия
- •Соединенный метод сходства и различия
- •Метод сопутствующих изменений
- •Метод остатков
- •Ошибки, встречающиеся при обнаружении причинных связей
- •§ 4. Умозаключения по аналогии
- •Структура умозаключений по аналогии
- •Виды умозаключений по аналогии
- •Условия состоятельности аналогий
- •Аналогия и моделирование
- •Глава 15.
- •§ 1. Доказательство
- •Понятие доказательства
- •Структура доказательства
- •Способы доказательства
- •§ 2. Опровержение
- •§3. Правила доказательства и возможные ошибки
- •Послесловие
- •Список источников
- •Указатель имен
Виды суждений
Обратимся к нашему острову рыцарей и лжецов, с которым мы познакомились в § 2 главы 1. В одной из наших задач туземец X говорит: «Или я лжец, или Y рыцарь». Рассмотрим другое суждение: «Я лжец». Обратите внимание, что суждение «Я лжец» вообще не может быть произнесено ни одним туземцем на нашем острове. Действительно, если бы это суждение произнес лжец, то оно было бы истинным, а следовательно, он не может произнести такое суждение. Если бы это суждение произнес рыцарь, то оно было бы ложным, а следовательно, рыцарь, по определению, не может произнести такое суждение. Но это суждение, если его включить в состав другого суждения, становится произносимым по всем правилам нашего острова. Почему же получается так? Почему отдельно сказать нельзя, а вместе — можно? Потому что это различные типы суждений. Суждение «Я лжец» — простое, а суждение «Или я лжец, или Y — рыцарь» — сложное. Следовательно, сложные суждения открывают нам дополнительные возможности, и с ними следует обращаться иначе, чем с простыми. Чтобы пмнять эти отличия, сформулируем различие между простыми и сложными суждениями.
Из школьного курса русского языка вы знаете грамматическое различие между простыми и сложными суждениями. По образцу этого различения формулируется различие между простыми и сложными суждениями в логике.
Простым называется суждение, которое содержит не более одного утверждения или отрицания.
Сложным называется суждение, которое содержит более одного утверждения или отрицания.
Пример. «Солнце светит». Это явно простое суждение, в нем содержится ровно одно утверждение связи между предметом «солнце» и признаком «светить». Однако простым будет и такое суждение: «Каждый студент — веселый человек», поскольку в нем также содержится одно утверждение связи предмета «студент» и признака «быть веселым»1. Суждение «некоторые студенты не являются веселыми людьми» мы также будем считать простым суждением, поскольку в нем содержится один акт отрицания связи между предметом «студент» и признаком «быть веселым». Мы будем считать сложными суждениэ «Неверно, что каждый студент веселый человек», поскольку в нем отрицается первоначальный акт утверждения (т. е. встречается более одного утверждения или отрицания) или «Каждый студент — веселый и находчивый человек», поскольку в нем содержится два утверждения «Каждый студент – веселый человек» и «Каждый студент – находчивый человек».
Истинность и ложность суждений
Теперь мы можем определить понятия истинности и ложности сначала для простых суждений.
Суждение истинно, если в нем утверждается связь между объектом и признаком, имеющая место в действительности или отрицается связь, не имеющая места в действительности.
Суждение ложно, если в нем утверждается связь между объектом и признаком, не имеющая места в действительности, или отрицается связь, имеющая место в действительности.
Эти понятия истинности и ложности очень просты. Они ясно выражают нашу обычную идею истины. Но в них заключается одна важная философская идея. Чтобы определить понятие истины, мы должны разделить мир на две области: во-первых, область мысли — в ней существуют понятия и суждения, и, во-вторых, область действительности, в которой существуют предметы, их свойства и отношения. Говоря об истинности или ложности суждения, мы судим о соответствии структуры нашей мысли структуре действительности. Если эти структуры совпадают — суждение истинно, если нет — суждение ложно. Без разделения области мысли и области действительности понятия истинности и ложности являются неосмысленными. В философии эта теория истины называется корреспондентной теорией или теорией истины как соответствия.