Безпосередні умовиводи

Перетворення. Логічний сенс: виявлення прихованої інформації про відношення між суб’єктом і поняттям, що суперечить предикату. Схема:

S є / не є P

S не є / є не-Р

Обернення (без обмеження і з обмеженням). Логічний сенс: виявлення прихованої інформації про відношення між предикатом і суб’єктом. Схема:

S є / не є P

P є / не є S

Протиставлення предикату. Передбачає послідовне виконання двох операцій: а) перетворення і (стосовно отриманого результату) б) обернення. Схема:

S є / не є P

S не є / є не-Р

Не-P не є / є S

Протиставлення суб’єкту. Передбачає послідовне виконання двох операцій: а) обернення і (стосовно отриманого результату) б) перетворення. Схема:

S є / не є P

Р є / не є S

P не є / є не-S

Простий категоричний силогізм (приклади, фігури і модуси)

І-а фігура

К ожний політик - амбітний. М --- Р A (MP)

Деякі письменники - політики. S --- M I (SM)

Деякі письменники - амбітні. S --- P I (SP)

(AAA) Barbara (EIO) Ferio

(EAE) Celarent (AAI) Barbari*

(AI I) Darii (EAO) Celaront*

ІІ-а фігура

Жодний політик не є відвертим. P ---- M E (PM)

Д еякі люди - відверті. S ---- M I (SM)

Деякі люди не є політиками. S --- P O (SP)

(AOO) Baroco (EIO) Festino

(EAE) Cesare (AEO) Camestrop*

(AEE) Camestres (EAO) Cesaro*

ІІІ-а фігура

Жодний політик не є відвертим. M --- P E (MP)

Деякі політики ввічливі. M --- S I (MS)

Деякі ввічливі люди не є відвертими. S --- P O (SP)

(OAO) Bocardo (IAI) Disamis

(AAI) Darapti⁺ (EIO) Ferison

(AI I) Datisi (EAO) Felapton⁺

IV-а фігура

Деякі політики - помірковані. P --- M I (PM)

К ожна поміркована людина - розважлива. M --- S A (MS)

Деякі розважливі люди - політики. S --- P I (SP)

(AAI) Bramantip^# (EIO) Fresison

(AEE) Camenes (EAO) Fesapo⁺

(IAI) Dimaris (AEO) Camenos*

Підкреслені модуси є ослабленими.

* - необхідність додаткового припущення існування меншого теоміну S;

+ - необхідність додаткового припущення існування середнього терміну M;

# - необхідність додаткового припущення існування більшого терміну P.