(от греч. syllogistikos - выводящий умозаключение), теория логического вывода, исследующая умозаключения, состоящие из т. н. категорических высказываний ( суждений ): общеутвердительных ('всякое S есть Р '), общеотрицательных ('ни одно S не есть Р '), частноутвердительных ('некоторое S есть Р ') и частноотрицательных (&