Аристотель

философ, основоположник формальной логики