Непосред. умозакл-я

УМОЗАКЛЮЧЕНИЯ.

Умозакл-е – есть ф. мысли, в кот-й из одного или неск. сужд-й, назыв-х посылкой или посылками вывод-ся новое сужд-е, назыв-е закл-м или следствием. Все студенты учащ-ся (посылка) ®нек. учащ-ся студ-ты.

Все студ-ты учащиеся. Иванов-студ-т (из 2-х посылок) ® Иванов-учащийся.

Все умозакл-я дел-ся на непосред-е(из 1 пос-ки), опосредов-е (из 2-х и более пос-к).

Демонстрат-е умозакл-я – заключ-е достоверно, т.е. след-т с необх-ю.

Недемонстрат-е умозакл-я – закл-е явл-ся вероятным, т.е. не следует с необх-ю. Все студ. –уч. Иванов – уч. ® Вероятно Иванов студ-т.

По направ-ти логич. след-я все умозакл-я дел-ся на: 1) дедуктивные – от общ. к част., 2) индуктив-е – от частн. к общему, 3) по аналогии -от част. в част. астн. уктив-е - от

1) превращение есть логич. опер-я, в рез-те кот-й сужд-е преобраз-ся в противополож. по кач-ву с предик-м, противореч-м предикату исход. сужд-я. Колич. харак-ка сужд-я не измен-ся, мен-ся только его качеств-я харак-ка.

По формуле: двойн. отриц-е равносильно утвержд-ю.

А-Все S есть P,| Е – ни одно S не есть P, Е-ни одно S не есть P,| А-все S естьP, I-нек. S естьP,| O-нек. S не естьP. О-нек S естьP\ I-нек S естьP.

2) обращение есть логич. опер-я, в рез-те кот-й суб. и предик. исход.сужд-я мен-ся местами, при этом кач. харак-ка суж-я не мен-ся, а колич. м. мен-ся. Сущ-т прост. (чистое) обращ-е и обращ-е с огранич-м.

Обр-е будет прост. (чистым) если суб. и предик. в сужд-ии либо оба распред., либо оба не распред. Обр-е будет с огранич-м, если суб. распред., а предик. не распред., или наоб. предик. распред., а суб. не распред.

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

А- Все S есть P\ I-нек S есть P: Все студ –уч-ся, но не уч-ся –студ.

А-Все S (и только S) есть P\ А-Все P есть S

I-нек S есть P\ I-нек P есть S

I-некS (и только S) есть P\ A-все Pесть S

E-ни одно S не есть P\ У – не одинP не есть S (оба терм. распред.)

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

A-все S естьP\ Е-ни одно ни-P есть S: все студ-ты явл-ся учащимися\ не один студ-т не явл-ся учащимся.

Е-ни одно S не есть P\I-нек не-P есть S: Не один красн. мухомор не явл-ся съедобн. грибом\ Все красн. мухоморы явл-ся несъедобными грибами.

О–нек. Sне есть P\I-нек. не-P есть S: Нек. студенты не явл-ся спортсменами.\Нек. студ-ты явл-ся не спортсменами.

сужд-е I не преобраз-ся.

Умозакл-я по логич. квадрату:

Аи® Ел, Аи®Ол, Аи®Iи

Простой категорический силлогизм.

Прост. категор. силлогизм -опосред-е дедуктив-е умозакл-е, посылками и заключ-м кот-го явл-ся прост. категорич. атриб. сужд-я. А все цветы – растения M – P

А Все розы-цветы S – M

Все розы-растения. S-M-P

Структ-ра силлог-ма: 3 термина- меньший термин S(крайн. терм.), сред. терм. M, больш. термин P(край. терм.). Связь м\ду этими терм-ми возм-на только ч\з средн. термин.

Меньщий терм. – суб. заключ-я, больш. терм. – предикат закл-я; там, где больший термин, там большая посылка, где меньш. термин, там меньш. посылка. Терм., вход-й в обе пос-ки, но не вход-й в закл-е, наз-т средним. ПКС основан на аксиоме силлог-ма: 2 интерпрет-ии: объемная, атрибутивная. Объем-я: все, что утв-ся (отриц-ся) о всем множ-ве предметов, утвер-ся или отриц-ся о любой части дан. множ-ва или о любом предм. дан. множ-ва.

все S есть P

Ни одно споровое раст-е (М) не разм-ся семенами(Р), Папоротник(S) – споровое раст-е\ Ни один папоротник не разм-ся семенами.

Атрибутивная интерпрет-я-признак признака вещи есть призн. самой вещи; то, что отриц-ся относит. призн. вещи отриц-ся относит-но самой вещи.

Принад-ть к раст-м есть призн. цветов, прин-ть к цветам есть призн. роз Þ принад-ть к раст-м-признак признака.

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

Правила терминов:

1) в силлог-ме д. быть только 3 терм., наруш-е этого прав. приводит к ошибке: учетвер-е термина-связ. с наруш-м закона тожд-ва. Все металлы-прост. вещ-ва, бронза – металл\ бронза-простое вещ-во (лож. сужд-е). Все секретари заняты полезным делом, нек. птицы-секретари\ все птицы заняты полез. делом (лож. сужд-е).

2) сред. термин д. быть распред. по крайней мере в одной из пос-к, если сред. терм. не распред. ни в одной из сред. пос-к Þ закл-е не опред-но, не след-т с необх-ю. Нек. млекопит-е – водн. жив-е. Все дельфины – млекопит-е\Все дельфины-водн. жив-е. Сред. терм. не распред. ни в больш. ни в меньш. терм., в общеутвердит. сужд-ии предикат не распред-н.

3) термин, распред-й в пос-ке, д. быть распред. в закл-ии; терм., не распред-й в пос-ке, не м. быть распред. в закл-ии. Все журн-ты-грам. люди, Сидоров-не журн-т\Сидоров не грамотен.