- •Д. А. Гусев
- •Избранные научные публикации:
- •Учебные пособия по логике:
- •Аннотация
- •Оглавление
- •Глава 1. Понятие
- •Глава 2. Суждение
- •Глава 3. Умозаключение
- •Глава 4. Основные законы логики
- •Глава 5. Доказательство
- •Введение, или Что такое логика и зачем она нужна?
- •Глава 1. Понятие
- •1.1. Что такое понятие?
- •1.2. Виды понятий
- •1.3. Определенные и неопределенные понятия
- •1.4. Роль неопределенных понятий в мышлении
- •1.5. В каких отношениях могут быть понятия?
- •1.6. Круговые схемы Эйлера
- •1.7. Как ограничивать и обобщать понятия?
- •Родовое видовое
- •Родовое видовое
- •Родовое
- •1.9. Определение понятия
- •1.10. Правила определения
- •1.11. Деление понятия
- •1. 12. Правила деления
- •1.13. Как складываются и умножаются понятия?
- •Вопросы и задания к главе 1
- •Глава 2. Суждение
- •2.1. Что такое суждение?
- •2. 2. Структура суждения
- •2. 3. Виды суждений
- •2. 4. Простые суждения
- •2. 5. Распределенные и нераспределенные термины в простых суждениях
- •2. 6. Как устанавливать распределенность терминов в простых суждениях
- •2. 7. Преобразование простых суждений
- •2. 8. Отношения между суждениями
- •2. 9. Логический квадрат
- •Противоположность
- •Частичное совпадение
- •2. 10. Сложные суждения
- •2. 11. Истинность сложных суждений
- •2. 12. Формализация рассуждений
- •2. 13. Логические формулы и таблицы истинности
- •2. 14. Виды вопросов
- •2. 15. Корректные и некорректные вопросы
- •Вопросы и задания к главе 2
- •Глава 3. Умозаключение
- •3.1. Что такое умозаключение?
- •Все растения – это живые организмы.
- •3.2. Виды умозаключений
- •3.3. Простой, или категорический силлогизм
- •3.4. Правила терминов простого силлогизма
- •3.5. Правила посылок простого силлогизма
- •3.6. Энтимемы и эпихейремы
- •3.7. Полисиллогизмы и сориты
- •3.8. Умозаключения с союзом “или”
- •3.9. Правила умозаключений с союзом “или”
- •3.10. Умозаключения с союзом “если...То”
- •3.11. Правила умозаключений с союзом “если...То”
- •3.12. Дилеммы
- •3.13. Что такое индукция?
- •3.14. Правила индукции
- •3.15. Ошибки индукции
- •3.16. Установление причинных связей
- •3.17. Что такое аналогия?
- •3.18. Правила аналогии
- •Вопросы и задания к главе 3
- •Глава 4. Основные законы логики
- •4.1. Что такое закон тождества?
- •4.2. Нарушения закона тождества
- •4.3. Что запрещает закон противоречия?
- •4.4. Виды противоречий
- •4.5. Закон исключенного третьего
- •4.6. Закон достаточного основания
- •4.7. Чем отличается наука от псевдонауки?
- •4.8. Спор между софистами и Сократом
- •4.9. Софизмы
- •4.10. Парадоксы-антиномии
- •4.11. Парадокс “Протагор и Эватл”
- •4.12. Парадоксы-апории
- •Вопросы и задания к главе 4
- •Всех гостей «среда заела!»
- •Я онемел от удивления, услышав столь простую истину…»
- •Глава 5. Доказательство
- •5.1. Что такое доказательство?
- •5.2. Структура доказательства
- •5.3. Прямые и косвенные доказательства?
- •5.4. Виды и методы подтверждения
- •5.5. Виды и методы опровержения
- •5.6. Всегда ли доказательство необходимо?
- •5.7. Определенность тезиса в доказательстве
- •5.8. Неизменность тезиса в процессе доказательства
- •5.9. Истинность и достаточность аргументов в доказательстве
- •5.10. Ошибки в демонстрации
- •5.11. Условия успешной дискуссии
- •5.12. Корректные и некорректные приемы спора
- •5.13. Разновидности недопустимых приемов спора
- •5.14. Что такое гипотеза?
- •5.15. Как соотносятся теории и факты?
- •5.16. Рабочие и научные гипотезы
- •Вопросы и задания к главе 5
- •Заключение
- •Литература
2. 4. Простые суждения
Если в состав суждения входит один субъект и один предикат, то такое суждение является простым. Простые суждения по объему субъекта и качеству связки делятся на 4 вида. Объем субъекта может быть общим (все) и частным (некоторые), а связка может быть утвердительной (есть, или является) и отрицательной (не есть, или не является). Это наглядно представлено в следующей простой таблице.
Объем субъекта |
Качество связки |
все |
есть |
некоторые |
не есть |
Как видим, на основе объема субъекта и качества связки можно выделить только четыре комбинации, которыми исчерпываются все виды простых суждений (все – есть, некоторые – есть, все – не есть, некоторые – не есть). Каждый из этих видов имеет свое название и условное обозначение.
1. Общеутвердительные суждения. Как явствует из названия, это суждения с общим объемом субъекта и утвердительной связкой: Все S есть Р, например: Все школьники являются учащимися. Эти суждения обозначаются в логике латинской буквой А.
2. Частноутвердительные суждения. Название данного вида свидетельствует о том, что он представляет собой суждения с частным объемом субъекта и утвердительной связкой: Некоторые S есть Р, например: Некоторые животные являются хищниками. Эти суждения обозначаются латинской буквой I.
3. Общеотрицательные суждения – это суждения с общим объемом субъекта и отрицательной связкой: Все S не есть Р (или Ни одно S не есть Р), например: Все планеты не являются звездами (или Ни одна планета не является звездой). Такие суждения обозначаются латинской буквой Е.
4. Частноотрицательные суждения – это суждения с частным объемом субъекта и отрицательной связкой: Некоторые S не есть Р, например: Некоторые грибы не являются съедобными. Эти суждения обозначаются латинской буквой О.
Далее следует ответить на вопрос, к каким суждениям, – общим или частным, – следует относить суждения с единичным объемом субъекта (т.е. те суждения, в которых субъект представляет собой единичное понятие), например: Солнце – это небесное тело; Москва основана в 1147 году; Антарктида – это один из материков Земли. Суждение является общим, если речь в нем идет обо всем объеме субъекта и частным, если речь идет о части объема субъекта. В суждениях с единичным объемом субъекта речь идет обо всем объеме субъекта (т.е., в приведенных выше примерах, – обо всем Солнце, обо всей Москве, обо всей Антарктиде). Таким образом, суждения, в которых субъект является единичным понятием, считаются общими (общеутвердительными или общеотрицательными). Так три приведенных выше суждения – общеутвердительные, а суждение: Известный итальянский ученый эпохи Возрождения Галилео Галилей не является автором теории электромагнитного поля – общеотрицательное.
В дальнейшем будем говорить о видах простых суждений, не употребляя их длинных названий, с помощью условных обозначений – латинских букв А, I, Е, О. Эти буквы, взятые из двух латинских слов: AFFIRMO – утверждать и NEGO – отрицать, были предложены в качестве обозначения видов простых суждений еще в Средние века.
Важно отметить, что в каждом из видов простых суждений субъект и предикат находятся в определенных отношениях. Так общий объем субъекта и утвердительная связка суждений вида А приводят к тому, что в них субъект и предикат могут быть в отношениях равнозначности или подчинения (других отношений между субъектом и предикатом в суждениях вида А быть не может). Например, в суждении: Все квадраты (S) – это равносторонние прямоугольники (Р) субъект и предикат находятся в отношении равнозначности, а в суждении: Все киты (S) – это млекопитающие животные (Р) они находятся в отношении подчинения.
Частный объем субъекта и утвердительная связка суждений вида I обусловливают то, что в них субъект и предикат могут быть в отношениях пересечения и подчинения (но не в других). Например, в суждении: Некоторые спортсмены (S) – это негры (Р) субъект и предикат находятся в отношении пересечения, а в суждении: Некоторые деревья (S) – это сосны (Р) – они находятся в отношении подчинения.
Общий объем субъекта и отрицательная связка суждений вида Е приводят к тому, что в них субъект и предикат находятся только в отношении несовместимости. Например, в суждениях: Все киты (S) – это не рыбы (Р); Все планеты (S) не являются звездами (Р); Все треугольники (S) – это не квадраты (Р) и т.п. субъект и предикат несовместимы.
Частный объем субъекта и отрицательная связка суждений вида О обуславливают то, что в них субъект и предикат, так же, как и в суждениях вида I, могут быть только в отношениях пересечения и подчинения. Например, в суждении: Некоторые студенты (S) не являются спортсменами (P) субъект и предикат находятся в отношении пересечения, а в суждении: Некоторые геометрические фигуры (S) не являются треугольниками (P) субъект и предикат находятся в отношении подчинения.
Приведем еще несколько примеров различных видов простых суждений и отношений между их субъектами и предикатами.
а) Все города являются населенными пунктами (суждение вида А, субъект и предикат находятся в отношении подчинения).
б) Некоторые знаменитые спортсмены – это россияне (суждение вида I, субъект и предикат находятся в отношении пересечения).
в) Некоторые числа не являются натуральными (суждение вида О, субъект и предикат находятся в отношении подчинения).
г) Ни одна комета – не звезда (суждение вида Е, субъект и предикат находятся в отношении несовместимости).
Таким образом, мы видим, что во всех четырех видах простых суждений возможно семь случаев отношений между субъектом и предикатом (два случая для суждений вида А, два случая для суждений вида I, один случай для суждений вида Е и два случая для суждений вида О).