Любить и умереть только в Андорре. Правила логики

Практически это означало, что свойства рода (например, «смертность») можно приписывать виду (Сократу), но не наоборот (хотя Сократ лыс и мудр, нельзя утверждать, что люди лысы и мудры). В «Категориях» Аристотель так и определяет, что такое вид и род: «вид есть подлежащее для рода, ведь роды сказываются о видах, виды же не сказываются о родах». Короче говоря, чтобы рассуждать без противоречий и получать знания, соответствующие социальному опыту или расширяющие его, нужно было не только применять правила логики, но и с помощью специально построенных схем (категорий) строить «идеальные объекты», к которым и относились знания, полученные с применением правил логики. В работах «О душе», «Физика» и ряде других Аристотель демонстрирует, каким образом можно строить идеальные объекты по поводу разных предметных областей, и как на их основе можно заново получить непротиворечивые знания об этих предметах. При этом в качестве логических инструментов он использует созданные предварительно правила и категории. Кроме того, рефлексируя опыт построения первых вариантов «Начал» Евклида, Аристотель в своих работах формулирует идеи новой (теоретической) организации знаний: а) выделение определений, аксиом и постулатов, задающих исходные знания и характеристики идеальных объектов (Аристотель называет их «началами»); б) сведение в доказательствах к ним всех остальных знаний и объектов (доказательства строились в соответствии с правилами логики и особенностями изучаемого в науке предмета) ...»