Кто из античных философов является основоположником формальной логики?

Форма́льная ло́гика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. В истории философии — отдельный раздел или направление логики конца XIX—начала XX в. В современном употреблении — синоним символической, или математической логики.
Термин «формальная логика» введен представителем классического немецкого идеализма И. Кантом. По Канту, формальная логика отвлекается от содержания понятий и имеет дело только с их формой.
Сам Кант противопоставлял формальной логике (к которой относил прежде всего силлогистику, основывающуюся на «Аналитиках» Аристотеля) содержательную, трансцендентальную логику, являющуюся зачатком учения о категориях.