21) Законы силлогистики и непосредственное следование
Непосредственное следствие это следствие из одной посылки.
Для утвердительных:
1)=>SaS
2)=>SiS
Для отрицательных:
3)=>
4)=>
5)SaP=>SiP =>(SaP->SiP)
SeP=>SoP =>(SeP->SoP)
6)
-закон контрадикторного противоречия
для а, е из чего получаем
и
.
7)
- закон субконтрарно исключающего
третьего, из чего получаем
и
.
8)
- закон контрадикторного противоречия
для a и о.
9)
10)
11)
22) Простой категорический силлогизм: его структура, формы, модусы
Простой
категорический силлогизм
- это разновидность дедуктивного
умозаключения. Силлогизм - (от греч.
sillogismos - сосчитывание, выведение
следствия). Его называют категорическим
потому, что в его основе лежат
категорические суждения. Пример: Все
металлы - электропроводники. Медь -
металл. Медь - электропроводник. Простым
категорическим силлогизмом называется
системма трёх высказываний, каждое из
которых является высказыванием типа
.
Специфической особенностью простого
категорического силлогизма является
то, что число терминов, которые входят
в структуру высказывания = 3. Пример
ПКС:
Все балдёжники - хорошие люди
Все студенты - балдёжники
Все студенты - хорошие люди
Термин, присутствующих в обоих посылках, но не в заключении, называется срединным термином простого категорического силлогизма, обозначается буквой М (от латинского medium - посередине). Термин, являющийся субъектом заключения называется меньшим термином простого категорического силлогизма и традиционно обозначается буквой S. Термин, являющийся предикатом заключения, называется большим термином и обозначается буквой Р. => Посылка, в которой присутствует больший термин, называется большей посылкой, в которой меньше терминов - меньшей посылкой. Существуют так называемые «фигуры» простого категорического силлогизма. Всего существует четыре фигуры:
1 фигура 2 фигура 3 фигура 4 фигура
AAA1 EAE2 AAI3 / /
Четырьмя комбинациями определяются только четыре комбинаторных варианта, определяемых позицией срединного термина. Но существует и другая разновидность - модус, разновидность простого категорического силлогизма, получаемая путём конкретизации его фигуры, а также логической структуры посылок и заключения. Всего модусов 256, из них только 24 являются логически правильными, то есть между посылками заключением выполняется логическое следование (они дедуктивные).
23) Логически правильные модусы простого категорического силлогизма, правила силлогизма
Логически правильные модусы первой фигуры:
ААА - модус Барбара
ЕАЕ - модус Целарет
АИИ - модус Дарии
ЕИО - модус Фермио
ААИ - модус Барбарис
ЕАО - модус Целарод
Следует заметить, что общеутвердительные и общеотрицательные заключения сильнее, чем частные.
Термин называется распределённым высказыванием, если его объем полностью включен или полностью исключён из объема другого термина, тогда: правила логически правильного модуса
1. для терминов
Средний термин должен быть распределен, по крайней мере, в одной посылке
Термин, распределённый в заключении, должен быть распределён и в посылках
2. для посылок
Одна из посылок должна быть утвердительной
Если обе посылки утвердительны, то заключение должно быть утвердительным
Если одна из посылок является утвердительной, то заключение является отрицательным
Из двух отрицательных или двух частных посылок ничего не следует.