Согласно основному принципу логики правильность рассуждения зависит не от содержания входящих в него утверждений, а только от их логической формы, или структуры. Этот принцип был хорошо известен Аристотелю, им же была построена первая логическая теория — теория категорического силлогизма, называемая иногда просто силлогистикой. В дальнейшем, в течение веков в аристотелевскую силлогистику были внесены лишь незначительные усовершенствования. В полном объеме силлогистика вошла и в современную логику, хотя оказалась не особо существенным ее фрагментом. Поскольку сам термин «силлогизм» до сих пор пользуется широкой популярностью, полезно остановиться на общих принципах построения силлогистики. Это тем более полезно, что в течение двух с лишним тысячелетий силлогистика служила образцом логической теории вообще. Ни древнеиндийская, ни древнекитайская логические теории и близко не подошли к построению логической системы, подобной аристотелевской силлогистике.
Категорические высказывания — это, как уже говорилось, простые высказывания одной из следующих форм: «Все S есть Р», «Некоторые S есть Р». «Все S не есть Р» и «Некоторые S не есть Р».
Представление простых высказываний в форме категорический высказываний — только один из способов разбиения простых высказываний на составляющие их части. Простое высказывание может делиться на части по-разному, а не только так, как это делал когда-то Аристотель.
Категорический силлогизм — это рассуждение, в котором из двух категорических высказываний выводится новое категорическое высказывание.
Например: «Все люди смертны; все греки люди; следовательно, все греки смертны». Этот пример использовался еще в Древней Греции. В нем из двух общеутвердительных суждений выводится новое общеутвердительное суждение.
Предмет педагогики