Аристотелевская силлогистика с точки зрения формальной логики