p. 71a11 Двояким образом необходимо предварительно познавать [каждое].
Убедившись, что всякое обучение и всякое учение происходит из предшествующего знания, и подтвердив это как на примере других искусств, так и через силлогизмы, индукцию и риторические убеждения, он теперь хочет объяснить, что именно должно быть предварительно познано. Но поскольку наша задача сейчас – не рассматривать частные науки, а говорить вообще о доказательном методе, нам не следует исследовать, что должно быть предварительно познано в каждой отдельной науке, а только то, что относится к доказательству вообще. Однако мы не сможем этого понять, не узнав, какими способами предварительно познается то, что познается заранее. А это, в свою очередь, невозможно без понимания, в чем состоит доказательная наука и через что она осуществляется. Поэтому необходимо сначала разобрать этот вопрос.
Итак, я утверждаю, что во всяком доказательстве рассматриваются две вещи:
1. Проблема, которая предлагается для доказательства,
2. Посылки, через которые эта проблема обосновывается.
В каждой проблеме также рассматриваются две вещи:
– Данное (то, что уже известно),
– Искомое (то, что требуется выяснить).
Например, в проблеме «бессмертна ли душа» данным является подлежащий термин (т. е. «душа»), а искомым – предикат («бессмертна»).
Но не только в проблемах, исследующих собственные свойства вещей, мы находим данное и искомое, но и в тех, где спрашивается, есть ли что-то. Например, в проблеме «есть ли животное трагелаф» данным является «животное», а искомым – «трагелаф». Ведь проблема спрашивает не есть ли животное (это очевидно), а есть ли такое животное. Добавление «трагелаф» предполагает признание существования животного, но исследует его качество.
Точно так же, если мы спрашиваем, «есть ли пустое место», данным является «место», а искомым – «пустое».
Таким образом, все посылки, через которые обосновывается проблема, по крайней мере две. В каждом частном доказательстве они должны быть предварительно известны, ибо невозможно сделать вывод, не зная всех посылок. Однако в доказательстве вообще невозможно заранее знать обе посылки, но необходимо знать только большую, которая всегда является одним из общих аксиом, без которых ничего нельзя доказать. Меньшие же посылки бесконечны (поскольку для каждой теоремы берутся особые), и потому невозможно заранее знать вообще все меньшие посылки доказательства. Однако они содержатся в больших посылках (т. е. аксиомах) потенциально.