Как древние философы представляли логику и доказательства в своих трудах?

Древние философы по-разному представляли логику и доказательства в своих трудах, в зависимости от философских школ и направлений: 5

• Элейская школа проповедовала метафизические теории, то есть способ изучения явлений, при котором они рассматривались отдельно друг от друга и в неизменном состоянии. 5
• Гераклитовская философия придерживалась идей диалектики: явления изучались в развитии и взаимодействии. 5
• Софисты рассматривали логику не как науку, позволяющую установить истину, а как средство достижения победы в споре. 5 Для этого они сознательно нарушали законы логики. 5
• Демокрит разработал и закрепил в своём трактате «О логике» («Каноны») первую систему логики. 5 Он считается одним из основателей индуктивной логики, поскольку его трактат основывается на эмпирических началах. 5 Рассматривая суждения, Демокрит выделял в них субъект и предикат. 5
• Аристотель оформил знания о логике в чёткую систему и обнаружил, что знания, откуда бы они ни были получены, всегда имеют языковое выражение. 5 Отсюда он делал вывод, что научные знания есть последовательность высказываний, объединённых логическими связями и выводимых одно из другого. 5

Некоторые мыслители, например, Парменид и Зенон, считали предпосылкой логического доказательства принцип тождества мышления и сущего. 2 Парменид доказывал актуальность бытия тем, что оно может мыслиться, а нереальность небытия — тем, что его нельзя помыслить. 2