Система философии математики Аристотеля

Исходным этапом познавательной деятельности, согласно Аристотелю, является обучение, которое «основано на (некотором) уже ранее имеющемся знании… Как математические науки, так и каждое из прочих искусств приобретается (именно) таким способом». Для отделения знания от незнания Аристотель предлагает проанализировать «все те мнения, которые по-своему высказывали в этой области некоторые мыслители» и обдумать возникшие при этом затруднения. Анализ следует проводить с целью выяснения четырех вопросов: «что (вещь) есть, почему (она) есть, есть ли (она) и что (она) есть».

Основным принципом, определяющим всю структуру «научного знания дела», является принцип сведения всего к началам и воспроизведения всего из начал. Универсальным процессом производства знаний из начал, согласно Аристотелю, выступает доказательство. «Доказательством же я называю силлогизм, — пишет он, — который дает знания». Изложению теории доказательного знания полностью посвящен «Органон» Аристотеля. Основные положения этой теории можно сгруппировать в разделы, каждый из которых раскрывает одну из трех основных сторон математики как доказывающей науки: «то, относительно чего доказывается, то, что доказывается и то, на основании чего доказывается». Таким образом, Аристотель дифференцированно подходил к объекту, предмету и средствам доказательства.