Логический квадрат как иллюстрация онтологии и логики Аристотеля. Фундаментальные логические и онтологические принципы изображения логического квадрата. Отношения логического следования. Деление простых высказываний на общие, неопределенные и единичные.
Аннотация к работе
в категорические силлогизмы» [2]. Этот трактат переведен с латыни на русский язык, поэтому каждый может увидеть изображение логического квадрата и подробнейший его разбор. Боэций делит суждения (высказывания) на виды соответственно их качеству и количеству и их отношениям в логическом квадрате. По количеству он выделяет четыре вида высказываний: 1) универсальные - утвердительные ^Агта^ае) с кванторным словом «любой» и отрицательные (negativae) со словом «никакой»; 2) частные со словом «некий»; 3) неопределенные (^ейпкае) без кванторных слов (человек есть мудрый, человек не есть мудрый); 4) единичные ^^и1агш) - относительно чего-то единичного и относительно индивида, например, Сократ есть мудрый, Сократ не есть мудрый. Классификация Боэция не совсем совпадает с аристотелевской - ни в каком месте у Аристотеля мы не встречаем деление простых суждений именно на указанные четыре вида. Во-первых, Боэций выбирает у Аристотеля не выражение «А присуще всем/некоторым Б», а выражение «каждый/некий S есть P». Во-вторых, отбрасывает сначала единичные и неопределенные суждения и только после этого излагает отношения оставшихся видов суждений в логическом квадрате. Вспоминает Апулея в связи с квадратом и Н.А. Васильев. На данный момент можно, солидаризируясь с И. Бохеньским и другими историками логики, считать, что изображение квадрата впервые появилось у Апулея.