- •СОдержание
- •Глава I. Предмет логики
- •§1. Становление логики и ее значение
- •§2. Предмет логики
- •§3. Понятие логической формы
- •§4. Логическое следование и логическая истинность
- •Тест для проверки знаний по теме « Предмет логики»
- •Глава II. Логика и язык
- •§1. Язык как знаковая система
- •§2. Смысл и значение знака. Виды знаков
- •§3. Естественные и искусственные языки
- •§4. Семантические принципы
- •§5. Язык логики высказываний
- •§6. Основные законы логики
- •Закон Клавия
- •§7. Логико-семантические парадоксы
- •Тесты для проверки знаний по теме « Логика и язык»
- •Глава III . Понятие
- •§1. Общая характеристика понятий. Виды понятий
- •1) Виды понятий по объему
- •2) Виды понятий по типу элементов объема
- •3) Виды понятий по содержанию
- •§2. Булевы операции над понятиями
- •§3. Отношения между понятиями по объему
- •§4. Обобщение и ограничение понятий
- •§5. Деление и классификация
- •Тесты для проверки знаний по теме «Понятие»
- •Глава IV. Определение
- •§1. Определение и приемы, сходные с ним
- •§2. Явные и неявные определения
- •§3. Реальные и номинальные определения
- •§4. Правила определения
- •Тест для проверки знаний по теме «Определение»
- •Глава V. Суждение
- •§1. Простые суждения и их виды
- •§2. Сложные суждения и их виды
- •§3. Отрицание суждения
- •§4. Отношения между суждениями
- •I субконтрарностьО
- •Тесты для проверки знаний по теме «Суждение»
- •Глава VI. Дедуктивные умозаключения
- •§1 Умозаключение. Основные способы умозаключений
- •§2. Классическое исчисление высказываний
- •§3. Непосредственные умозаключения
- •§4. Простой категорический силлогизм
- •§5. Энтимемы и полисиллогизмы
- •Тесты для проверки знаний по теме « Дедуктивные умозаключения»
- •Глава VII. Индуктивные умозаключения
- •§1. Обобщающая индукция и ее виды
- •§2. Статистическая индукция
- •§3. Методы установления причинных зависимостей
- •§4. Умозаключение по аналогии
- •Тест для проверки знаний по теме «Индуктивные умозаключения»
- •Глава VIII. Логические основы аргументации
- •§1. Аргументация и доказательство
- •§2. Опровержение и критика
- •§ 3. Основные правила аргументации
- •Тест для проверки знаний по теме «Логические основы аргументации»
- •Словарь логических терминов
- •Литература
§4. Отношения между суждениями
В процессе построения отношений между суждениями можно выделить сравнимые и несравнимые. Сравнимые суждения имеют общий субъект и предикат. Несравнимые суждения не имеют общего субъекта и предиката. Они делятся на: совместимые и несовместимые.
Несовместимыми называются суждения, у которых из истинности одного из них необходимо следует ложность другого, то есть эти суждения не могут оказаться одновременно истинными. Например, числа 1,2,3,4,… являются несовместимыми.
Совместимые суждения выражают одно и то же высказывание полностью или частично, поэтому могут быть одновременно истинными. К ним относятся отношения: эквивалентности, подчинения и субконтрарности (частичного совпадения).
Эквивалентность означает, что суждения совместимы по истинности, совместимы по ложности и из первого следует второе и наоборот.
Подчинение означает, что суждения совместимы по истинности, совместимы по ложности, из первого следует второе, но не наоборот.
Субконтрарность означает,что суждения совместимы по истинности, но не совместимы по ложности и логического следования нет.
Между логическими суждениями, высказываниями (с одинаковыми терминами) можно установить четыре типа отношений. В период Средневековья логики наглядно изображали их с помощью так называемого «логического квадрата»:
A контрарность Е
п е
п р и п
о о ч о
д т е д
ч и р ч
и в о и
н в о н
е и р е
н т е н
и о ч и
е р и е
п е
I субконтрарностьО
Рассмотрим эти отношения между суждениями с помощью логического квадрата. В отношении подчинения находятся суждения форм A и I, а также суждения E и O. Например, общеутвердительное суждение «Все студенты первого курса изучают историю» является подчиняющим, а частноутвердительное суждение «Некоторые студенты первого курса изучают историю» является подчиненным.
Отношения субконтрарности (частичное совпадение)) имеет место между суждениями форм I и O, если они имеют одинаковые субъекты и одинаковые предикаты. Они являются совместимыми по истинности, но несовместимыми по ложности. Например, частноутвердительное суждение «Некоторые студенты-первокурсники занимаются в научных кружках» и частноотрицательное суждение «Некоторые студенты-первокурсники не занимаются в научных кружках». Оба суждения могут быть одновременно истинными, но ложными одновременно не могут быть.
Отношения несовместимости имеют место между отношениями контрарности (противоположность) и контрадикторности (противоречие). При этом контрарность показывает отношения между суждениями форм A и E, которые совместимы по ложности, но не совместимы по истинности. Например, не могут быть одновременно истинными два суждения: «Все студенты учебной группы изучают китайский язык» и «Ни один студент учебной группы не изучает китайский язык».
Отношения котрадикторности имеют место между суждениями A и O, а также E и I. Они не совместимы по истинности и по ложности. Например, общеутвердительное суждение «Все люди обладают сознанием» и частноотрицательное суждение «Некоторые люди не обладают сознанием». Эти суждения не могут быть одновременно истинными и ложными. Также пример для общеотрицательного суждения «Ни один студент не может быть профессором» и частноутвердительного суждения «Некоторые студенты являются профессорами».
Упражнение. В каком отношении находятся суждения?
1. Каждый студент является спортсменом. Некоторые студенты не являются спортсменами.
2. Некоторые преподаватели вузов не имеют ученой степени. Каждый преподаватель вуза
является кандидатом наук.
3. Все аспиранты станут учеными. Ни один аспирант не станет ученым.
4. Ни одна рыба не живет на суше. Некоторые рыбы обитают на суше.
5. Некоторые авторы учебников являются преподавателями вузов. Некоторые авторы
учебников не преподают в вузах.