- •Рецензенты:
- •1. Ерусланова р. И., кандидат исторических наук, профессор, директор Филиала ргсу в г. Чебоксары.
- •Содержание
- •Предисловие
- •Глава 1. История логики
- •1.1. Античный этап логики
- •1.2. Развитие логики в Новое Время
- •Глава 2. Логика как наука
- •2.1. Роль мышления в познании
- •2.2. Предмет и значение логики
- •Глава 3. Логика и язык права
- •3.1. Язык логики
- •3.2. Язык права
- •Глава 4. Логические формы и законы
- •4.1. Логические формы (формы мышления)
- •4.2. Логические законы (законы мышления)
- •Глава 5. Понятие
- •5.1. Понятие как форма мышления
- •5.2. Содержание и объем понятия
- •5.3. Виды понятий
- •5.4. Отношения между понятиями
- •Глава 6. Логические операции с понятиями
- •6.1. Обобщение и ограничение понятий
- •6.2. Определение понятий
- •4. Определение не должно быть отрицательным.
- •6.3. Деление понятий
- •1. Деление должно быть соразмерным
- •2. Деление должно производиться только по одному основанию
- •3. Члены деления должны исключать друг друга
- •4. Деление должно быть непрерывным
- •6.4. Операции с классами понятий
- •Глава 7. Суждение
- •7.1. Простые суждения
- •7.2. Классификация категорических суждений
- •7.3. Выделяющие и исключающие суждения
- •7.4. Распределенность терминов в суждениях
- •Глава 8. Сложные суждения
- •8.1. Соединительные (конъюнктивные) суждения
- •1. Соединительным, или конъюнктивным называют суждение, состоящее из нескольких простых, связанных логической связкой «и».
- •8.2. Разделительные (дизъюнктивные) суждения
- •8.3. Условные (импликативные) суждения
- •8.4. Эквивалентные (с двойной импликацией) суждения
- •8.5. Сложные суждения и толкование норм
- •Глава 9. Отношения между суждениями
- •9.1. Логические отношения между простыми суждениями
- •9.2. Отношения между сложными суждениями
- •3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего, подчиненное всегда будет истинным.
- •Глава 10. Модальные суждения
- •10.1. Эпистемическая модальность
- •10.2. Деонтическая модальность
- •10.3. Алетическая модальность
- •Глава 11. Вопросно-ответные ситуации
- •11.1. Логическая характеристика вопросов
- •11.2. Логическая характеристика ответов
- •1. Истинные и ложные ответы.
- •Типология вопросов и ответов
- •Глава 12. Умозаключение
- •12.1. Виды умозаключений
- •12.2. Простое дедуктивное умозаключение
- •12.3. Непосредственное умозаключение
- •1. Превращение
- •2. Обращение
- •3. Противопоставление предикату
- •4. Умозаключения по логическому квадрату
- •12.4. Простой категорический силлогизм
- •12.5. Умозаключение из суждений с отношениями
- •Глава 13. Дедуктивные умозаключения.
- •13.1. Чисто условное умозаключение
- •13.2. Условно-категорическое умозаключение
- •13.3. Разделительно-категорическое умозаключение
- •13.4. Условно-разделительное умозаключение
- •13.5. Сокращенный силлогизм (энтимема)
- •Глава 14. Индуктивные умозаключения
- •14.1. Полная индукция
- •14.2. Неполная индукция
- •14.3. Методы научной индукции
- •1. Метод сходства
- •2. Метод различия
- •3. Соединенный метод сходства и различия
- •4. Метод сопутствующих изменений
- •5. Метод остатков
- •14.4. Статистические обобщения
- •Глава 15. Умозаключения по аналогии
- •15.1. Понятие аналогии, ее виды
- •15.2. Условия состоятельности выводов по аналогии
- •15.3. Роль аналогии в науке и правовом процессе
- •Глава 16. Формы развития знания
- •16.1. Понятие и виды гипотез.
- •16.2. Построение гипотезы
- •16.3. Проверка гипотезы
- •16.4. Доказательство гипотез
- •16.5. Теория как форма и система знания
- •Глава 17. Логические основы аргументации
- •17.1. Аргументация и доказательство
- •17.2. Состав аргументации: субъекты, структура
- •1. Субъекты аргументации
- •1. Структура аргументации
- •17.3. Способы аргументации: обоснование и критика
- •1. Обоснование тезиса
- •2. Критика тезиса
- •17.4. Правила и ошибки в аргументации
- •1. Правила и ошибки по отношению к тезису
- •2. Правила и ошибки по отношению к аргументам
- •3. Правила и ошибки демонстрации
- •17.5. Поля аргументации
- •1. Понятие и состав полей аргументации
- •Заключение
- •Глоссарий
- •Рекомендуемая литература
- •Э.Г. Скворцов введение в логику
- •428027, Г. Чебоксары, ул. Хузангая, 20
- •428000, Г. Чебоксары, пр. Ленина, 12б, офис 226
9.1. Логические отношения между простыми суждениями
Отношения между простыми суждениями обычно рассматриваются с помощью логического квадрата (мнемонической схемы). Его вершины символизируют простые категорические суждения – А, Е, I, О. Стороны и диагонали логического квадрата выражают отношения между суждениями. Среди сравнимых суждений различают совместимые и несовместимые отношения.
A E
I O
1. Отношение совместимости простых суждений: эквивалентность (полная совместимость), субконтрарность (частичная совместимость), подчинение.
А.. Эквивалентные суждения имеют одинаковые логические характеристики: одинаковые субъект и предикат, однотипные (утвердительная или отрицательная) связки, одинаковые кванторы количественной характеристики. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.
Различия между эквивалентными суждениями проявляются в аналогии слов для выражения квантора («некоторые», «иногда», «как правило») или синонимах для выражения субъекта или предиката. Эквивалентные суждения также могут быть сформулированы на различных национальных языках: «Это стол», «It is a table», «Ку сěтел».
Б. Субконтрарнные отношения или отношения частичной совместимости характерна для суждений I и О, которые могут быть одновременно истинными или одновременно ложными.
При ложности одного из них другое будет истинным: ┐I → О; ┐О → I. Например, при ложности суждения «Некоторые злаки ядовиты», истинным будет суждение «Некоторые злаки не являются ядовитыми».
В то же время при истинности одного из частных суждений другое может быть как истинным, так и ложным: I → (O \/ ┐О); О → (I \/ ┐I).
В. Подчинение имеет место между суждениями A и l, Е и О.
При истинности общего суждения частное всегда будет истинным: А → I; Е → О. Например, при истинности общего суждения «Всякое правоотношение регулируется нормами права» истинным будет и частное суждение «Некоторые правоотношения регулируются нормами права».
При ложности частного суждения общее суждение также будет ложным: ┐I → ┐А; ┐О → ┐Е. Например, если неверно утверждение, что «Некоторые хищения совершаются по неосторожности», то тем более будет неверным утверждение «Всякое хищение совершается по неосторожности».
При подчинении простых суждений остаются неопределенными следующие зависимости: при ложности общего суждения подчиненное частное может быть как истинным, так и ложным: ┐А → ( I \/ ┐I); ┐E → (O \/ ┐О); при истинности подчиненного частного суждения общее может быть как истинным, так и ложным: I → (A \/ ┐А); О → (Е \/ ┐E).
2. Отношение несовместимости простых суждений.
Несовместимыми являются суждения А и Е, А и О, Е и I, которые находятся в отношения противоположности и противоречия.
А. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными. Истинность одного из противоположных суждений определяет ложность другого: А → ┐Е; Е → ┐А. Например, истинность суждения «Все офицеры – военнослужащие» определяет ложность суждения «Ни один офицер не является военнослужащим».
При ложности же одного из противоположных суждений другое остается неопределенным – оно может быть как истинным, так и ложным: ┐А → (Е \/ ┐Е); ┐Е → (А \/ ┐А). Например, при ложности суждения «Все птицы улетают зимой в теплые края» ему противоположное «Ни одна птица не улетает зимой в теплые края» тоже оказывается ложным. В другом случае при ложности суждения «Ни один судья не является юристом» ему противоположное «Все судьи — юристы» будет истинным.
Б. Противоречащими (контрадикторными) являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.
Для противоречия характерна строгая (или альтернативная) несовместимость: при истинности одного из суждений другое всегда будет ложным; при ложности первого второе будет истинным. Отношения между противоречащими суждениями регулируются законом исключенного третьего.
Если А признается истинным, то О будет ложным (А → ┐О); при истинности Е будет ложным I (Е → ┐I). Например, если признается истинным суждение «Все принципиальные люди признают свои ошибки», то ложным будет ему альтернативное: «Некоторые принципиальные люди не признают своих ошибок».
И наоборот: при ложности А будет истинным О (┐А → О); а при ложности Е будет истинным I (┐Е → I). Например, если признается ложным суждение «Все люди не признают свои ошибки», то истинным будет ему альтернативное: «Некоторые люди признают своих ошибок».