Перевод аподиктической силлогистики Аристотеля в модальное исчисление предикатов с равенствомтезисы доклада