Статья 211

Рассуждения могут проводиться на различных языках. Предложения и высказывания, описывающие некоторые положения дел, могут быть сформулированы в естественных языках. Однако следует отметить, что, рассуждая на естественном языке в математике и вообще в науке, мы всегда применяем некоторые стандартные способы записи и преобразования информации. Впервые это обстоятельство было использовано и нашло четкое выражение в логике Аристотеля. Он рассматривал в качестве стандартных форм, в которых выражается информация, четыре вида категорических утверждении.
Например, все сороки - птицы - общеутвердительное высказывание, некоторые люди - хитрецы - частноутвердительное высказывание, все лошади - не являются хищниками - общеотрицательное высказывание, некоторые мужчины не знают логики - частно-отрицательное высказывание. Аристотелем была разработана теория рассуждений умозаключений, в которой посылки и заключения формулируются в виде перечисленных категорических утверждений.