Выводы из слож-х сужд-й и другие виды дедуктивных выводов

Особ-ть выводов: непосред. умозакл-я, категорич. силлогизм.

Основ-м для выводов в слож. сужд-х явл-ся не отнош-е м\ду терм-ми, а хар-р логич. связок.

Чисто услов. умозакл-я – умозакл-я, посылками и закл-м кот-го явл-ся услов. сужд-я. Стр-ся по принципу: следствие-следствие, следствие – основание. Цепочка услов-х суж-й м.б. любой длины, но в закл-ии всегда соедин-ся 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) жив-е есть субст-я, буцефал есть живот-е | буцефал есть субст-я.

Сорит – сокращ-й полисиллог-м.

Аристотелев-й\ гоклениевский сорит

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

Эпихейремы-силлог-м, посылками кот-го явл-ся энтимемы. Напр.: ложь вызыв. недоверие, т.к. она явл-ся сужд-м, не соответ-м истине. Лесть есть ложь, т.к. она явл-ся умышл. искаж-м истины | Лесть вызыв. недоверие.