Все рыцари - воины, а все крестоносцы - рыцари

Все рыцари - воины. Следовательно, все крестоносцы - воины.

Воины.

Все крестоносцы - рыцари. Следовательно, все крестоносцы -

Все крестоносцы - воины.

Все крестоносцы - рыцари.

Все рыцари - воины.

-------------------------------------

Образуем энтимемы:

1. энтимема с опущенной большей посылкой -

2. энтимема с опущенной меньшей посылкой -

3. энтимема с опущенным заключением -

2.1. ремонт, EAE(1); 2.2. резолюция, AII(1); 2.3. революция, EIO(1);

2.4. реакция, AAI(1); 2.5. рефлекс, EAO(1); 2.6. рефлектор, AOO(2); 2.7. рефрижератор, EAE(2); 2.8. радий, AEE(2); 2.9. радиация, EIO(2); 2.10. рапорт, AEO(2); 2.11. рама, EAO(2); 2.12. ручка, OAO(3); 2.13. рысь, IAI(3); 2.14. редут, AII(3); 2.15. ресурс, EIO(3); 2.16. реквием, AAI(3); 2.17. росток, EAO(3); 2.18. рок, AEO(4); 2.19. ралли, IAI(4); 2.20. раду- га, AEE(4); 2.21. равенство, EIO(4); 2.22. рюмка, AAI(4); 2.23. рюкзак, EAO(4); 2.24. рыба, EAE(1); 2.25. руль, AOO(2); 2.26. рывок, AII(3);

2.27. рулон, AII(1); 2.28. рядовой, AEE(2); 2.29. ругательство, EIO(3);

2.30. рубль, AAI(3).

Упражнение 3. Построить все возможные виды сложных энтимем, используя следующие структурные формулы.

О б р а з е ц: ((pÉq) (qÉr))Þ (p É(rÚs)). Составляем следующее умозаключение:

“Если Сидоров - кассир(р), то он лицо, материально ответствен- ное(q). Если Сидоров - лицо, материально ответственное(q), то он отвечает за сохранность вверенных ему средств(r). Следовательно, если Сидоров - кассир(р), то он отвечает за сохранность вверенных ему средств(r), или должен нести ответственность в случае их утра- ты(s).” Составляем энтимемы:

-1. чисто условная энтимема с опущенной большей посылкой -

Если Сидоров - лицо, материально ответственное(q), то он отве- чает за сохранность вверенных ему средств(r). Следовательно, если

Сидоров - кассир(р), то он отвечает за сохранность вверенных ему средств(r), или должен нести ответственность в случае их утраты(s).

- 2. чисто условная энтимема с опущенной меньшей посылкой -

Если Сидоров - кассир(р), то он лицо, материально ответствен- ное(q). Следовательно, если Сидоров - кассир(р), то он отвечает за сохранность вверенных ему средств(r), или должен нести ответ- ственность в случае их утраты(s).

- 3. чисто условная энтимема с опущенным выводом -

Если Сидоров - кассир(р), то он лицо, материально ответствен- ное(q). Если же Сидоров - лицо, материально ответственное(q), то он отвечает за сохранность вверенных ему средств(r).

3.1. (((pÉr) (qÉØs)) (r s))ÞØ (p q); 3.2.

(((ØpÉr) (qÉs)) (r s))Þ (pÚØq);

3.3. (((ØpÉr) (qÉs)) ((ØpÉq)Éq))Þ (rÚs); 3.4.

(((pÉr) (ØqÉs)) (qÉp))Þ (rÚs);

3.5. (((ØpÉr) (qÉs)) (pÉq))Þ (rÚs); 3.6. (((pÉØr) (pÉs)) (sÉr))ÞØ p;

3.7. (((pÉr) (pÉØs)) (rÉs))ÞØ p; 3.8. (((pÉr) (pÉØs)) (r s))ÞØ p;

3.9. ((((pÚs)Ér) (qÉ(r s))) (pÚq))Þ r; 3.10.

((((pÚØs)Ér) (qÉr)) (pÚq))Þ r; 3.11. (((ØpÉ(r s)) (qÉ(r s))) (ØpÚq))Þ r; 3.12. ((pÚqÚrÚØs) (Øp q r))ÞØ s; 3.13.

((p Ú q Ú r Ú s) (Øp q))Þ (r Ú s); 3.14. (((pÉq) Ú r Ú Øs) (p q r))ÞØs;

3.15. (((p q) Ú r Ú s) (Øp q r))Þ s; 3.16. ((Øp Ú (qÉr)) p)Þ (q r);

3.17. ((p Ú (q r)) p)Þ (ØqÚØr); 3.18. (((ØpÚr) Ú q)  p)ÞØ q; 3.19.

((Øp Ú q) p)Þ (ØqÚØr); 3.20. ((ØpÉ(qÉr)) (q r))Þ p; 3.21. ((ØpÉ

(qÚr)) (Øq r))Þ p; 3.22. ((ØpÉ(q r)) (rÉØq)Þ p; 3.23.

(((pÚØr)Éq) q)Þ (Øp r); 3.24. (((p r)ÉØq) q)Þ (pÉØr);

3.25. (((p r)Éq) q)Þ (ØpÚØr); 3.26. ((ØpÉ(q r))  p)Þ r; 3.27.

((pÉ(qÉr)) p)Þ (ØqÚr); 3.28. ((pÉ(ØqÚØr)) p)ÞØ (q r); 3.29. ((pÉq)

 (rÉØq))Þ (pÉØr); 3.30. ((pÉq) (qÉØr))Þ (p ÉØr).

3.2.-B.b. С о к р а щ ё н н ы е с л о ж н ы е в ы в о д ы.

Данный тип дедуктивных выводов представляет собой полисилло- гизмы с опущенными посылками. Различают два типа подобных выво- дов, именуемых в логике соритами:

1. прогрессивный или гоклениевский сорит - опускаются

большие посылки полисиллогизма; и

2. регрессивный или аристотелевский сорит - опускаются мень- шие посылки полисиллогизма.

В логике различают также сложносокращённые выводы или эпи- хейремы, представляющие собой опосредованные силлогизмы, в каче- стве посылок которых фигурируют энтимемы.

3.2.-B.b.I. Сокращённые сложные выводы из простых суждений.

-а. Гоклениевский сорит. Схематически данный сорит можно изоб- разить следующим образом:

A В

Например,

Дата добавления: 2014-12-16