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

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) – споровое раст-е\ Ни один папоротник не разм-ся семенами.

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

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

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