Как Аристотель классифицировал умозаключения в своей силлогистике?

В своей силлогистике Аристотель классифицировал умозаключения по типам простых высказываний. ru.wikipedia.org ru.ruwiki.ru Всего их шесть: ru.wikipedia.org

1. Единичноутвердительные. ru.wikipedia.org ru.ruwiki.ru
2. Единичноотрицательные. ru.wikipedia.org ru.ruwiki.ru
3. Общеутвердительные. ru.wikipedia.org ru.ruwiki.ru
4. Общеотрицательные. ru.wikipedia.org ru.ruwiki.ru
5. Частноутвердительные. ru.wikipedia.org ru.ruwiki.ru
6. Частноотрицательные. ru.wikipedia.org ru.ruwiki.ru

Самостоятельную роль играют лишь высказывания последних четырёх типов, поскольку единичноутвердительные и единичноотрицательные высказывания сводятся к общеутвердительным и общеотрицательным при множествах субъекта, состоящих из одного элемента. ru.wikipedia.org ru.ruwiki.ru

Аристотелев силлогизм представляет собой схему логического вывода (умозаключения), состоящую из трёх простых высказываний, в каждом из которых имеется по два термина (основные структурные единицы): ru.wikipedia.org ru.ruwiki.ru

1. Первое высказывание является большей посылкой и содержит термины P и M. ru.wikipedia.org ru.ruwiki.ru
2. Второе является меньшей посылкой и содержит термины S и M. ru.wikipedia.org ru.ruwiki.ru
3. Третье является заключением и содержит термины S и P. ru.wikipedia.org ru.ruwiki.ru