- •Глава I. Предмет науки логики. Формы и законы мышления
- •§ 1. Предмет логики. Основные формы мышления
- •§2. Основные законы логики
- •Закон тождества
- •Закон противоречия
- •Закон исключённого третьего
- •Закон достаточного основания
- •Глава II. Понятие
- •§ 1. Общая характеристика понятия
- •Логическая структура понятия. Закон обратного отношения между объёмом и содержанием понятия
- •§ 2. Обобщение и ограничение понятий
- •§3. Виды понятий. Логическая характеристика понятия
- •§ 4. Отношения между понятиями
- •Совместимые понятия
- •Несовместимые понятия
- •§ 5. Определение понятий
- •Способы определения
- •Правила и ошибки определения
- •§ 6. Деление понятий
- •Виды деления
- •Правила и ошибки деления
- •Контрольные вопросы
- •Глава III. Суждение
- •§ 1. Суждение как форма мышления
- •§ 2. Простые суждения Структура простых суждений
- •Виды простых суждений
- •Категорические суждения и их виды
- •Распределённость терминов в категорических суждениях
- •§ 3. Отношения между простыми категорическими суждениями по истинности. Логический квадрат
- •§ 4. Сложные суждения
- •1. Соединительное суждение а b (конъюнкция)
- •2. Разделительное (не исключающее) суждение а V b (дизъюнкция)
- •5. Эквивалентное суждение а b (эквиваленция)
- •§ 5. Модальные суждения
- •1. Логическая модальность
- •2. Физическая модальность
- •3. Эпистемическая модальность
- •4. Деонтическая модальность
- •5. Оценочная (аксиологическая) модальность
- •Контрольные вопросы
- •Глава IV. Умозаключение
- •§ 1. Общая характеристика умозаключений
- •§ 2. Дедуктивные умозаключения
- •Виды дедуктивных умозаключений
- •§ 3. Непосредственные умозаключения
- •1. Общеутвердительное суждение:
- •§ 4. Простой категорический силлогизм
- •Фигуры и модусы простого категорического силлогизма
- •Общие правила простого категорического силлогизма
- •Анализ простых категорических силлогизмов с помощью круговых схем
- •1. Вывод а
- •2 S м . Вывод е
- •3 М р . Вывод I
- •В ывод о
- •§ 5. Умозаключения, содержащие сложные суждения (Выводы логики высказываний)
- •Условные умозаключения
- •Разделительный силлогизм
- •1. Утверждающе-отрицающий модус (modus ponendo tollens):
- •2. Отрицающе-утверждающий модус (modus tollendo ponens):
- •Условно-разделительные (лемматические) умозаключения
- •§ 6. Сокращённый, сложный и сложносокращённый силлогизмы Сокращённый силлогизм (энтимема)
- •Сложные и сложносокращённые силлогизмы (полисиллогизмы, сориты, эпихейрема)
- •§ 7. Индуктивные умозаключения
- •Полная индукция
- •Неполная индукция
- •Научная индукция
- •Методы установления причинных связей
- •§ 8. Умозаключение по аналогии
- •Виды аналогии
- •Глава V. Логические основы аргументации
- •§ 1. Доказательство
- •Структура доказательства
- •Правила тезиса
- •Правила аргументов
- •В качестве аргументов могут выступать:
- •Виды доказательства
- •§ 2. Опровержение
- •Способы опровержения
- •1. Опровержение тезиса:
- •§ 3. Основные ошибки в споре
- •Контрольные вопросы
- •Глава VI. Логические основания вопросов и ответов
- •§ 1. Виды вопросов
- •§ 2. Виды ответов
- •Контрольные вопросы
Категорические суждения и их виды
Основными характеристиками простых суждений являются количество и качество.
Качество суждения зависит от связки между субъектом и предикатом и может быть либо утвердительным, либо отрицательным.
Примеры: Утвердительные суждения - "Охота пуще неволи". "Есть наслаждение в бою". "Кролики крупнее слонов". "Наша речка неглубока". "Ваша жена - красавица". Отрицательные суждения - "Истина не дороже жизни". "Ты не снишься мне больше". "Нет худа без добра". "Работа - не волк". "Два раза не умирать".
Количество суждения - характеристика, показывающая, в каком объёме входит в суждение его субъект. По количеству суждения делятся на единичные, частные и общие.
Примеры: "Этот человек добрый". "Этот телевизор не работает с комнатной антенной". "Ф.М. Достоевский - один из самых популярных писателей". "Вампир Дракула не существует" - единичные суждения.
"Некоторые люди добрые". "Лучшие маршалы Наполеона погибли в боях". "Иногда незаряженное оружие стреляет". "Некоторые цветы вызывают аллергию" - частные суждения.
"Все люди добрые". "Никто не знает своего будущего". "Каждый получает то, что заслужил". "Любые фрукты полезнее конфет" - общие суждения.
Единичные суждения в логическом анализе приравниваются к общим, т.к. и те и другие связывают предикат со всем объёмом понятия-субъекта. Слова "этот", "некоторые", "все" - кванторы или кванторные слова, определяющие количественную сторону суждений.
Суждения, в которых точно выяснены их количество и качество, называются простыми категорическими суждениями.
В логике используется объединённая классификация из четырёх видов категорических суждений:
1. Общеутвердительные (А): Все S есть Р - Все деревья имеют ствол.
2. Общеотрицательные (Е): Ни одно S не есть Р - Ни одно дерево не летает.
3. Частноутвердительные (I): Некоторые S есть Р - Некоторые деревья хвойные.
4. Частноотрицательные (О): Некоторые S не есть Р - Некоторые деревья не берёзы.
Распределённость терминов в категорических суждениях
Терминами категорического суждения называются субъект и предикат этого суждения. Термин распределён, если он рассматривается в данном суждении во всём объёме. В противном случае термин не распределён. Термин рассматривается в суждении во всём объёме, если он полностью включается в объём другого понятия или полностью исключается из него.
Пример: "Все люди имеют недостатки".
Термины этого суждения - "люди" и "имеющие недостатки". Слово "все" говорит о том, что объём понятия "люди" полностью включается в объём понятия "имеющие недостатки". Следовательно, субъект "люди" этого суждения распределён. О предикате же нельзя сказать исчерпан ли его объём объёмом субъекта, или есть "имеющие недостатки" и помимо людей. Поэтому можно сказать, что в этом суждении предикат "имеющие недостатки" является нераспределённым.
В общеутвердительных суждениях (А) субъект распределён, а предикат не распределён.
Пример: "Все спортсмены стремятся к победе".
В случае когда термины суждения являются тождественными понятиями, они оба распределены.
Пример: "Каждый человек умеет абстрактно мыслить".
В частноутвердительном суждении (I) квантор "некоторые" показывает, что субъект данного вида суждения всегда не распределён, т.к. только часть его объёма относится к предикату.
Пример: "Некоторые бабочки ведут ночной образ жизни".
Но если в приведённом примере предикат также не распределён, т. к. ведущими ночной образ жизни являются далеко не только бабочки, то бывают другие случаи распределённости предиката в суждениях типа (I).
Примеры: "Некоторые музыканты сами пишут музыку". "Некоторые спортсмены - чемпионы Олимпиад". "Многие футбольные команды играют в чемпионате России".
Во всех этих суждениях объём предиката полностью входит в объём субъекта и, таким образом, предикат оказывается распределён. Этот вид суждений, где объём предиката меньше объёма субъекта, называют частными выделяющими суждениями (в отличие от общих выделяющих, где Р > S : "Все слоны - травоядные").
Общеотрицательное суждение (Е) состоит из терминов, которые благодаря квантору "ни одно" и отрицательной связке, не имеют общих элементов объёмов. Другими словами, объём субъекта полностью исключается из объёма предиката, и наоборот - это означает, что оба термина распределены.
Примеры: "Никто из нас не совершал предательства". "Ни один ученик не мечтает остаться на второй год".
Частноотрицательное суждение (О) имеет кванторное слово "некоторые", т.е. объём субъекта мыслится только частично.
Пример: "Некоторые мужчины не носят галстук".
Предикат в этом суждении, напротив, распределён, поскольку все элементы его объёма (мужчины, носящие галстук) исключены из мыслимой части объёма субъекта.
Из всех рассмотренных случаев можно вывести следующее обобщающее правило: субъект всегда распределён в общих суждениях и не распределён в частных; предикат всегда распределён в отрицательных суждениях, а в утвердительных он распределён тогда, когда объём предиката меньше или совпадает с объёмом субъекта (Р S).
Для того, чтобы установить или проверить распределённость субъекта и предиката, можно изобразить их отношение кругами Эйлера и выделить (заштриховать) те части объёмов терминов, которые соединяются утвердительными или исключаются отрицательными высказываниями.
Вид сужд- ения |
Обозначе- ние |
Формула |
Распреде-ленность терминов. S P
|
Отношение терминов.
S и P |
= Р+
S+
S+
Р- тельное
|
А |
Все S суть P. |
+ - + +
|
|
Р+ |
I |
Некоторые S суть P. |
- - + - |
|
Р+
S+ |
Е |
Ни одно S не суть P. |
+ + |
|
Р+
S-
Р+
S- |
О |
Некоторые S не суть P. |
- + |
|