26. Выводы из сложных суждений. Процедуры и правила.

Умозаключения бывают следующих видов:

• Условно-категорические умозаключения (УКУ). 2 правила вывода: 1-ый способ утверждающий – вывод от утверждения основания к утверждению следствия: p→q ^p _q, ((p→q)ᴧp)→q; способ отрицающий – вывод от отрицания следствия к отрицанию основания ((p→q)ᴧq)→p.

• Разделительно-категорические умозаключения (РКУ). 2 правила вывода: утверждающе-отрицательный – вывод от утверждения одной альтернативы к отрицанию другой альтернативы: ((pᴠq)ᴧp)→q; отрицательно-утверждающий – вывод от отрицания одной альтернативы к утверждению другой: ((pᴠq)ᴧp)→q.

• Чисто-условные умозаключения (ЧУУ). Правило пронесения импликации: p→q

q→r

p→r

• Условно-разделительные умозаключения (УРУ). От количества альтернатив в разделительной посылке зависит вид самой леммы(прелположение): если альтернатив 2 – дилемма, 3 – трилемма, более – полилемма.

2 вида дилеммы: простые(простое суждение) и сложные (сложное суждение; конструктивные (разделительная посылка содержит утверждение) и деструктивные (разделительная посылка содержит отрицание).

5. ПКД – простая конструктивная дилемма

p→r

q→r

pᴠq

r

6. ПДД – простая деструктивная дилемма

p→r

p→s

rᴠs

p

7. СКД – сложная конструктивная дилемма

p→q

r→s

pᴠr

qᴠs

8. CДД – сложная деструктивна дилемма

p→q

r→s

qᴠs

pᴠr

Любое умозаключение может быть использовано в доказательстве, при этом тезисом доказательства будет вывод из любого умозаключения, а аргументами – посылки. Соответственно, чтобы подтвердить тезис, нужно посылки подставить в форму любого правила умозаключения.

27. Простой категорический силлогизм. Структура. Правила терминов и посылок.

ПКС состоит из 3 простых категорических суждений , 2 из них выполняют роль посылок, 3-е вывод.

Терминами ПКС называются:

S – субъект заключения

Р – предикат заключения

М – медиум; средний термин, посредник между предикатом и субъектом.

Порядок посылок силлогизма: большее, меньшее, заключение.

Люди смертны, греки люди, греки смертны.

Построение круговой схемы один из способов проверки правильности полученного ПКС. Если объёмы Р, S, М можно расположить друг относительно друга одним единственным способом, то ПКС верны. (нарисовать).Правила терминов:

1. В ПКС могут быть только 3 термина: субъект, предикат, средний термин. В результате нарушается закон тождества. Один из терминов может получать многозначность. Возникает ошибка: учетверение термина.

2. Средний термин должен быть взят в полном объёме хотя бы в одной из посылок, следовательно в одной он должен быть распределён.

3. Термин нераспределённых посылок также нераспределён в заключении.

Правила посылок:

1. Из 2 частных посылок нельзя сделать вывод, поэтому 1 из посыло должна быть общей.

2. Из 2 отрицательных посылок нельзя сделать вывод, поэтому 1 из посылок должна быть утвердительной.

3. Если одна из посылок частная, то и заключение будет частным.

4. Если одна из посылок отрицательная, то и заключение будет отрицательным.

28. Простой категорический силлогизм. Правила фигур и модусы.

Фигуры ПКС – способ расположения субъекта и предиката относительно среднего термина.

1. М Р

S М

S – Р

Правило 1-ой фигуры: Большая посылка должна быть общим суждением, меньшая – утверждением. Рассуждения по 1-ой фигуре используется в доказательствах.

2. Р М

S М

S – Р

Правило 2-ой фигуры: Большая посылка – общее суждение, одна из посылок – отрицательная. Рассуждения по 2-ой фигуре используется для опровержения.

3. М Р

М S

S – Р

Правило 3-ей фигуры: меньшая посылка должна быть утвердительной, заключение – частным суждением. Рассуждения по 3-ей фигуре используется для приведения примеров.

4. Р М

М S

S – P

Правило 4-ой фигуры: Если большая посылка утвердительная, то меньшая – должна быть общей; если есть отрицательная посылка, то общая должна быть общей; если меньшая утвердительная, то заключение частное. Нельзя получить общеутвердительный вывод, поэтому в практике мышления она используется редко.

Модус ПКС. Чтобы найти модус ПКС, нужно найти формы всех простых суждений в его составе. Модусы правильные и неправильные. Модусы фигур ПКС. Для каждой из фигур ПКС существует список модусов, вывод о которых является верным. Для 1-ой фигуры: ААА, ААI, ЕАЕ, ЕАО, АII, EIO; для 2-ой фигуры: ЕАЕ, АЕЕ, ЕАО, АЕО, АОО, ЕIО; для 3-ей фигуры: AAI, AII, IAI, EAO, OAO, EIO; для 4-ой фигуры: AAI, AEE, AEO, IAI, EAO, EIO.

29.