Полагают, что это сделал Аристотель (384-322 гг. до н.э.) — греческий философ и ученик другого известного греческого философа Платона. В возрасте 17 лет Аристотель отправился в Афины, где стал учеником Платона. В течение 20 лет Аристотель работал в Академии Платона, а позже стал учителем великого полководца и воина Александра Великого (Македонского).
Аристотель разработал основы логики как науки о мышлении, позволяющие строить аргументированные рассуждения. Он же сформулировал основные законы, по которым строится логическое доказательство.
