Как развивалась теория доказательств в классической логике?

Развитие теории доказательств в классической логике можно проследить по следующим этапам:

1. Аристотель. gtmarket.ru nsportal.ru Основоположник формальной логики, он создал теорию категорического силлогизма, раскрыл сущность доказательства как процедуры обоснования нового знания, рассмотрел приёмы определения и деления. gtmarket.ru
2. Школа Стои. gtmarket.ru Её основатель Зенон из Китиона ввёл термин «логика» в III веке до новой эры для обозначения самостоятельной науки о структурах и правилах мышления. gtmarket.ru Стоики утверждали, что логика должна изучать структуры мыслей и языковые формы их выражения. gtmarket.ru
3. Р. Декарт. gtmarket.ru Философ акцентировал значимость логической дедукции как основного метода научного познания. gtmarket.ru Выступая против схоластической интерпретации логики Аристотеля, он сформулировал четыре правила, которых нужно придерживаться при любом научном исследовании. gtmarket.ru
4. Г. В. Лейбниц. gtmarket.ru Учёный выступил с программой математизации логики с помощью универсального логического языка. gtmarket.ru
5. XIX век. gtmarket.ru Появление неевклидовых геометрий, дальнейшее развитие математического анализа, теории множеств привело к возникновению проблемы построения непротиворечивых систем знаний в связи с обнаружением парадоксов. gtmarket.ru Д. Гилберт предложил концепцию формализма, в которой понятия формальной системы и доказательства стали строго формализованными. gtmarket.ru С этого времени появился самостоятельный раздел логики — теория доказательств. gtmarket.ru
6. Джузеппе Пеано. plato.stanford.edu Примерно в 1890 году учёный дал формализацию логического вывода с целью представления формальных доказательств в арифметике. plato.stanford.edu