- •1. Графическое изображение отношений объемов понятий с помощью кругов эйлера
- •3. Формулирование определения понятия через род и видовое отличие
- •4 Проверка правильности определения
- •5 Проверка деления на наличие ошибок
- •1. Выражение высказывания в виде явного суждения с квантором и логической связкой и опредление его вида
- •2 Подбор к данному суждению другого суждения в зависимости от
- •3 Выводы по логическому квадрату
- •4 Выражение сложного суждения в символической форме
- •5 Определение истинности сложного суждения
- •6 Определение распределенности терминов суждения
- •1. Непосредственное умозаключение
- •2. Анализ простого категорического силлогизма (пкс)
- •3. Поиск ошибок в пкс и их исправление
6 Определение распределенности терминов суждения
1 шаг. Представляем суждение в явной форме с квантором и логической связкой.
2 шаг. Определяем субъект и предикат суждения.
3 шаг. Определяем вид суждения.
4 шаг. По таблице определяем, распределены субъект и предикат или нераспределены.
5 шаг. Записываем ответ.
Образец:
Дано: «Бумага все стерпит».
1 шаг. Переводим в форму явного суждения: «Всякая бумага есть все терпящая».
2 шаг. Определяем субъект и предикат. Субъект здесь – «бумага», предикат – «все терпящая».
3 шаг. Определяем вид суждения. В данном случае – это общеутвердительное суждение.
4 шаг. Смотрим таблицу распределенности терминов. Определяем, что в общеутвердительном суждении субъект распределен, предикат нераспределен.
5 шаг. Записываем ответ: Субъект(бумага) – распределен, предикат(все терпящая) – нераспределен.
ВИД суждения |
символ |
Субъект |
Предикат |
о-у |
А |
распределено |
нераспределено |
о-о |
Е |
распределено |
распределено |
ч-у |
I |
нераспределено |
нераспределено |
ч-о |
О |
нераспределено |
распределено |
УМОЗАКЛЮЧЕНИЕ
1. Непосредственное умозаключение
В непосредственных умозаключениях заключение делается из одной посылки. Противоречия между посылкой и заключением не должно быть!
Как сделать непосредственное умозаключение?
1 шаг. Представить высказывание в виде явного суждения, определить его вид, выразить в в символической форме его строение.
2 шаг. Выписать отдельно субъект(S) и отдельно предикат(Р). Разбивать субъект или предикат на части нельзя!
3 шаг. Найти формулу для данного вида суждения.
4 шаг. По формуле вывести из посылки заключение.
Образец:
Посылка: Студенты – люди веселые.
1 шаг. Студенты – люди веселые → Все студенты есть люди веселые, общеутвердительное - Все S есть Р.
2 шаг. Выписываем: S – студенты, Р – веселые.
3 шаг. Ищем формулу:
Список формул:
ОБРАЩЕНИЕ: субъект и предикат меняются местами – S - Р → Р - S.
Общеутвердительное(А): Все S есть Р → некоторые Р есть S.
Общеотрицательное(Е): Ни одно S → ни одно Р не есть S.
Частноутвердительное(I): Некоторые S есть Р → Некоторые Р есть S.
Частноотрицательное(О) : не обращается.
ПРЕВРАЩЕНИЕ: субъект тот же, предикат меняется на противоречащий - S - Р → S – не-Р.
Общеутвердительное(А): Все S есть Р → ни одно S не есть не-Р.
Общеотрицательное(Е): Ни одно S не есть не-Р → Все S есть не-Р.
Частноутвердительное(I): Некоторые S есть Р →некоторые S не есть не-Р.
Частноотрицательное(О): Некоторые S не есть Р → некоторые S есть не-Р.
ПРОТИВОПОСТАВЛЕНИЕ ПРЕДИКАТУ: Субъектом становится понятие, противоречащее предикату исходного суждения, а предикатом – субъект исходного суждения. S - Р → не-Р – S.
Общеутвердительное(А): Все S есть Р → ни одно не-Р не есть S.
Общеотрицательное(Е): Ни одно S не есть не-Р → некоторые не-Р есть S.
Частноутвердительное(I): не преобразуется.
Частноотрицательное(О): Некоторые S не есть Р → некоторые не-Р есть S.
Поскольку в нашем случае суждение общеутвердительное, то находим соответствующие формулы.
4 шаг. Выводим заключение.
Обращение: Все студенты есть люди веселые → Некоторые веселые люди есть студенты.
Превращение: Все студенты есть люди веселые → Ни один студент не есть невеселый.
Противопоставление предикату: Все студенты есть люди веселые → Ни один невеселый человек не есть студент.
