Выводы из слож-х сужд-й и другие виды дедуктивных выводов
Особ-ть выводов: непосред. умозакл-я, категорич. силлогизм.
Основ-м для выводов в слож. сужд-х явл-ся не отнош-е м\ду терм-ми, а хар-р логич. связок.
Чисто услов. умозакл-я – умозакл-я, посылками и закл-м кот-го явл-ся услов. сужд-я. Стр-ся по принципу: следствие-следствие, следствие – основание. Цепочка услов-х суж-й м.б. любой длины, но в закл-ии всегда соедин-ся 1-е основ-е и последнее следствие.
(p ®q)^(q ®z)^(z ®s)/p ®s
Услов.категор. умозакл-е – умозакл-е, в кот-м больш. пом-ка-услов. сужд-е, меньш. пос-ка – категор.-атриб. сужд-е, заключ-е – категор. атриб. сужд-е. p® q,p/p
modus ponens – мысль идет от отриц-я истин-ти след-я к отриц-ю истин-ти основ-я.(утвер-й модус)
отриц. модус(modus tollens) – мысль идет от отриц-я истин-ти след-я к отриц-ю истин-ти основ-я.
разновид-ти прав-х модусов:
1) p ®q,p/q; p ® ùq,p/ ùq; ùp®q,ùp\q; ùp® ùp,ùp/ùq
разновид-ти отриц-го модуса:
2) p®q,ùq/ùp; ùp®q,ùq/p; p®ùq,q/ ùp; ùp®ùq,q\p
умозакл-я с выдел-й общей посылкой:
|
|
p«q;p/q, p«qùq/ùp, p«q,q/p; p«q;ùp/ùq (если сегодня среда, то завтра четверг)
чисто раздел-е умозакл-я - умозакл-я, в кот-х пос-ки и закл-я явл-ся раздел. сужд-ми.
pVqVz, p1Vp2\ p1Vp2VqVz (все фил-е напр-я дел-ся на идеализм, материализм, дуализм.)
разделит. категор. умозакл-е – умозакл-е, в кот-м больш. пос-ка раздел. сужд-е, а меньш пос-ка – категор. атриб. сужд-е. pWq,p/ùq
modus ponendo tollens – утвер.-отриц-й модус: больш. пос-ка – суж-е строгой диз-ии, в закл-ии отриц-ся истин-ть другой альтернативы. pWq,p/ùq
modus tollendo ponens - отриц.-утвер-й модус: абс. все равно, какая диз-я, главное – диз-я д. быть закрытой: все альтерн-вы д. б. перечислены.
<pVq>,ùp/q
Услов.-разделит. умозакл-е – умозакл-е, в кот-м больш. пос-ка-кон-я услов-х сужд-й, а меньш. пос-ка-разделит. сужд-е, причем в завис-ти от кол-ва альтерн-в в раздел. сужд-ии-дилемма, трилемма,…, полилемма.
pVqVr,ùp,ùq/вероят.-r
1) прост. конструк-я дилемма:
(p®r)^(q®r), pVq/r
из 2-х различ. основ-й вывод-ся одно и то же следствие; если p, то q, если q, то r. В меньш. пос-ке утв-ся истин-ть того или иного основ-я и в закл-ии утв-ся истин-ть единств. след-я. (если у вас болит голова, то следует принять обезболив-е).
2) слож. конструк-я дилемма
(p®q)^(r®s), pVr / qVs из 2-х различ-х основ-й вывод-ся 2 различ. следств-я: в меньш. пос-ке утв-ся истин-ть основ-й, в закл-ии утв-ся следствие.
1) прост. деструк-я дилемма: (p®q)^(p®r),ùqVùz /ùp
из одного основ-я вывод-ся 2 разн. след-я: в меньш. пос-ке отриц-ся истин-ть того или иного след-я, в закл-ии отриц-ся истин-ть единств-го основ-я.
если мы хотим попасть в Москву, мы д. купить билет на поезд, если мы хотим попасть в Москву, мы д. купить билет на автобус. Если мы не купили билет на поезд и на автобус Þ мы не попадем в Москву.
|
|
2) слож. деструк-я дилемма (p®q)^(r®s),ùqVùs / ùpVùz. в меньш. пос-ке отриц-ся истин-ть того или иного след-я, в закл-ии отриц-ся истин-ть того или иного основ-я.
Энтимема
энтимема (греч.«в уме») – силлог-м, с опущ-й пос-й или заключ-м. Его м. построить на основе прост. категор. силлог-ма, услов.-катег. силлог-ма или разделит.-категор-го силлог-ма.
все гражд. России им. право на образ-е, мы-гражд. России| мы имеем право на образ-е.
сокращ. б. пос.: мы-гражд. РоссииÞ мы имеем пр. на образ-е. сокращ м. пос.: все гражд.Р. им. право на образ-е Þ мы им. право на образ-е. сокращ. заключ-е: все гр. Р. им. право на образ-е, мы-гражд. России. этот физ. процесс (S) не явл-ся испарением (P)(закл.), т.к. не происх. перех. вещ-ва из жидк-ти в пар. (пос-ка).
Особен-ти: 1) p®q,p / q; 2) pWq,p / ùq сокращ. м. либо пос-ку, либо закл-е, нельзя сокращать меньш. пос-ку. 1) если внука долго нет дома, баб. бесп-ся, 2) если внука длого нет дома, баб. бесп-ся, а внука долгл нет дома.
Полисиллогизмы («поли»-много) – предст. собой цепочки силлог-в, м.б. постр-ны на основании прост. категор. силлог-ма или на основе др. форм силлог-в.
прогрессив-й \ регрессив-й полисиллог-м
в прогресс. полисиллог-ме мысль пост. следует от пон-я подчиняющего к пон-ю подчин-му, а регресс. п -ме – от пон-я подчиненного к пон-ю подчиняющему.
Всякий полосил-м сост. по крайн. мере из 2-х силлог-в: 1-й сил.-просиллог-м., 2-й-эписиллог-м. В прогресс-м п-ме заключ-е просиллог-ма стан-ся больш. пос-й эписиллог-ма, ав регресс. п-ме закл-е просиллог-ма стан-ся меньш. пос-й эписиллог-ма. прогр. полисил-м: 1) жив-е есть субтс-я, четвероногое-жив-е | четвероног-е – субст-я. 2) четв-е – субст-я, лошадб-четвероног-е | лошадь-субст-я.3) лошадь – субст-я, буцефал – лошадь | буцефал – субст-я. регрессив-й полисилл-м: 1) лошадь-четвероногое, буцефал-лошаль | буцефал-четвероног-е.2) четвероног-е-живот-е, буцефал-четвероног-е | буцеф. – живот-е 3) жив-е есть субст-я, буцефал есть живот-е | буцефал есть субст-я.
Сорит – сокращ-й полисиллог-м.
Аристотелев-й\ гоклениевский сорит
аристот-й сорит образ-ся на основе регрессив. п-ма посредством искл-я заключ-й просиллог-в и меньш. пос-к эписиллог-в. Перестав-м местами больш. и меньш. пос-ки: буцеф.-лошадь, лошадь-четвероног-е, четвер-е есть живот-е, живот-е есть субст-я | буцефал есть субст-я.
Эпихейремы -силлог-м, посылками кот-го явл-ся энтимемы. Напр.: ложь вызыв. недоверие, т.к. она явл-ся сужд-м, не соответ-м истине. Лесть есть ложь, т.к. она явл-ся умышл. искаж-м истины | Лесть вызыв. недоверие.