Автор Мария задал вопрос в разделе Философия, Непознанное
Кто из античных философов является основоположником формальной логики? и получил лучший ответ
Ответ от Пётр Соколов[гуру]
Формальная логика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. В истории философии — отдельный раздел или направление логики конца XIX—начала XX в. В современном употреблении — синоним символической, или математической логики.
Термин «формальная логика» введен представителем классического немецкого идеализма И. Кантом. По Канту, формальная логика отвлекается от содержания понятий и имеет дело только с их формой.
Сам Кант противопоставлял формальной логике (к которой относил прежде всего силлогистику, основывающуюся на «Аналитиках» Аристотеля) содержательную, трансцендентальную логику, являющуюся зачатком учения о категориях.
Гераклит!! а лучше Геракл!!
Аристотель явился основоположником формальной логики, открыв модально-временную логику и систему силлогистики.