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