- •Логика и язык.
- •Операции с классами
- •Суждение
- •Распред-ть терминов в сужд-ии: дин. Ич. Сужд-х речь идет о всем об. Диничные. Атриб. Т существ-я предм. 000000000000000000000000000000000000000000000000000000
- •Сложное суждение
- •Достаточные и необх. Условия
- •1) Отнош-я по совмест-ти (истинности), 2) несовмест-ти по истинности.
- •Модальность суждений
- •Умозаключения.
- •Непосред. Умозакл-я
- •Умозакл-я по логич. Квадрату:
- •Правила терминов:
- •Правила посылок
- •Фигуры и модусы.
- •Выводы из слож-х сужд-й и другие виды дедуктивных выводов
- •Индуктивные умозакл-я
Выводы из слож-х сужд-й и другие виды дедуктивных выводов
Особ-ть выводов: непосред. умозакл-я, категорич. силлогизм.
Основ-м для выводов в слож. сужд-х явл-ся не отнош-е м\ду терм-ми, а хар-р логич. связок.
Чисто услов. умозакл-я – умозакл-я, посылками и закл-м кот-го явл-ся услов. сужд-я. Стр-ся по принципу: следствие-следствие, следствие – основание. Цепочка услов-х суж-й м.б. любой длины, но в закл-ии всегда соедин-ся 1-е основ-е и последнее следствие.
(pq)^(qz)^(zs)/ps
Услов.категор. умозакл-е – умозакл-е, в кот-м больш. пом-ка-услов. сужд-е, меньш. пос-ка – категор.-атриб. сужд-е, заключ-е – категор. атриб. сужд-е. p q,p/p
modus ponens – мысль идет от отриц-я истин-ти след-я к отриц-ю истин-ти основ-я.(утвер-й модус)
отриц. модус(modus tollens) – мысль идет от отриц-я истин-ти след-я к отриц-ю истин-ти основ-я.
разновид-ти прав-х модусов:
1) pq,p/q; pq,p/q; pq,p\q; pp,p/q
разновид-ти отриц-го модуса:
2) pq,q/p; pq,q/p; pq,q/p; pq,q\p
умозакл-я с выдел-й общей посылкой:
pq;p/q, pqq/p, pq,q/p; pq;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) прост. конструк-я дилемма:
(pr)^(qr), pVq/r
из 2-х различ. основ-й вывод-ся одно и то же следствие; если p, то q, если q, то r. В меньш. пос-ке утв-ся истин-ть того или иного основ-я и в закл-ии утв-ся истин-ть единств. след-я. (если у вас болит голова, то следует принять обезболив-е).
2) слож. конструк-я дилемма
(pq)^(rs), pVr / qVs из 2-х различ-х основ-й вывод-ся 2 различ. следств-я: в меньш. пос-ке утв-ся истин-ть основ-й, в закл-ии утв-ся следствие.
Деструктив-е дилеммы
1) прост. деструк-я дилемма: (pq)^(pr),qVz /p
из одного основ-я вывод-ся 2 разн. след-я: в меньш. пос-ке отриц-ся истин-ть того или иного след-я, в закл-ии отриц-ся истин-ть единств-го основ-я.
если мы хотим попасть в Москву, мы д. купить билет на поезд, если мы хотим попасть в Москву, мы д. купить билет на автобус. Если мы не купили билет на поезд и на автобус мы не попадем в Москву.
2) слож. деструк-я дилемма (pq)^(rs),qVs / pVz. в меньш. пос-ке отриц-ся истин-ть того или иного след-я, в закл-ии отриц-ся истин-ть того или иного основ-я.
Энтимема
энтимема(греч.«в уме») – силлог-м, с опущ-й пос-й или заключ-м. Его м. построить на основе прост. категор. силлог-ма, услов.-катег. силлог-ма или разделит.-категор-го силлог-ма.
все гражд. России им. право на образ-е, мы-гражд. России| мы имеем право на образ-е.
сокращ. б. пос.: мы-гражд. России мы имеем пр. на образ-е. сокращ м. пос.: все гражд.Р. им. право на образ-е мы им. право на образ-е. сокращ. заключ-е: все гр. Р. им. право на образ-е, мы-гражд. России. этот физ. процесс(S) не явл-ся испарением(P)(закл.), т.к. не происх. перех. вещ-ва из жидк-ти в пар.(пос-ка).
Особен-ти: 1) pq,p / q; 2) pWq,p / q сокращ. м. либо пос-ку, либо закл-е, нельзя сокращать меньш. пос-ку. 1) если внука долго нет дома, баб. бесп-ся, 2) если внука длого нет дома, баб. бесп-ся, а внука долгл нет дома.
Полисиллогизмы («поли»-много) – предст. собой цепочки силлог-в, м.б. постр-ны на основании прост. категор. силлог-ма или на основе др. форм силлог-в.
прогрессив-й \ регрессив-й полисиллог-м
в прогресс. полисиллог-ме мысль пост. следует от пон-я подчиняющего к пон-ю подчин-му, а регресс. п-ме – от пон-я подчиненного к пон-ю подчиняющему.
Всякий полосил-м сост. по крайн. мере из
2-х силлог-в: 1-й сил.-просиллог-м.,
2-й-эписиллог-м. В прогресс-м п-ме заключ-е
просиллог-ма стан-ся больш. пос-й
эписиллог-ма, ав регресс. п-ме закл-е
просиллог-ма стан-ся меньш. пос-й
эписиллог-ма. прогр. полисил-м: 1)
жив-е есть субтс-я, четвероногое-жив-е
| четвероног-е – субст-я. 2) четв-е –
субст-я, лошадб-четвероног-е |
лошадь-субст-я.3) лошадь – субст-я, буцефал
– лошадь | буцефал – субст-я. регрессив-й
полисилл-м: 1) лошадь-четвероногое,
буцефал-лошаль | буцефал-четвероног-е.2)
четвероног-е-живот-е, буцефал-четвероног-е
| буцеф. – живот-е 3) жив-е есть
субст-я, буцефал есть живот-е
| буцефал есть субст-я.
Сорит – сокращ-й полисиллог-м.
Аристотелев-й\ гоклениевский сорит
аристот-й сорит образ-ся на основе регрессив. п-ма посредством искл-я заключ-й просиллог-в и меньш. пос-к эписиллог-в. Перестав-м местами больш. и меньш. пос-ки: буцеф.-лошадь, лошадь-четвероног-е, четвер-е есть живот-е, живот-е есть субст-я | буцефал есть субст-я.
Эпихейремы-силлог-м, посылками кот-го явл-ся энтимемы. Напр.: ложь вызыв. недоверие, т.к. она явл-ся сужд-м, не соответ-м истине. Лесть есть ложь, т.к. она явл-ся умышл. искаж-м истины | Лесть вызыв. недоверие.