Всякое обучение и всякое основанное на размышлении учение исходит из ранее имеющегося знания. Это становится очевидным при рассмотрении всякого [обучения и учения], ведь и математические науки, и каждое из прочих искусств приобретаются именно таким способом. Подобным же образом обстоит дело и с [диалектическими] доводами, приводимыми посредством силлогизмов или наведения, ибо и то и другое получают посредством того, что уже знают: в первом случае принимают [посылки] как бы от знающих, а во втором общее доказывают на основании того, что очевидно частное. Таким же образом и убеждают сведущие в красноречии – или посредством примеров, которые суть наведения, или посредством энтимем, которые суть именно силлогизмы. Иметь предварительное знание необходимо двояко, а именно: в одних случаях необходимо заранее принять, что это есть, в других следует уразуметь, что́ именно есть то, о чем идет речь, иногда же необходимо и то и другое; например, относительно того, что о чем бы то ни было истинно или утверждение, или отрицание, нужно заранее знать, что оно есть: относительно треугольника, [например] – что он то-то и то-то означает, а относительно единицы – и то и другое: и то, что́ она означает, и то, что она есть, ибо каждое из них ясно нам не одинаково. Одно можно познавать, уже имея некоторое знание, а другое – одновременно с познаванием, например, то, что бывает подчиненным общему, о котором уже имеется знание; что всякий треугольник имеет углы, равные [в совокупности] двум прямым, было известно уже раньше, но то, что эта вписанная в полуокружность фигура есть треугольник, познается вместе с проведением [линий], ибо некоторые вещи изучаются именно таким образом, притом последний [термин], а именно единичное, т. е. то, что не сказывается ни о каком подлежащем, не познается через средний. Однако, прежде чем умозаключать путем наведения или пользоваться силлогизмом, следует, пожалуй, признать, что в некотором смысле имеют знание, а в некотором нет. Ибо если вообще не знают, что это есть [треугольник], то как можно вообще знать, что оно имеет углы, равные [в совокупности] двум прямым? Ясно, что каким-то образом это знают, потому что знают общее, но безусловно (haplōs) не знают. Иначе возникла бы та же трудность, что в «Меноне», а именно либо ничему не научаются, либо научаются только тому, что уже знают. Ибо нельзя сказать, как это делают некоторые, пытающиеся устранить [эту трудность]: знаешь ли ты о каждой двойке, что она четное число, или не знаешь? Если отвечают, что знают, то показывают какую-то двойку, о которой [спрошенный] не предполагал, что она есть, а потому не знал, что она есть четное число. А устраняют [эту трудность], говоря, что знают не то, что всякая двойка есть четное число, а то, что все, о чем знают, что оно двойка, есть четное число. Однако знают то, доказательство чего имеют и [доказательство] чего приняли. Приняли же [доказательство] не только относительно всего того, о чем знают, что это треугольник или число, но вообще относительно всякого числа и всякого треугольника. Ибо ни одна посылка не берется так, чтобы она относилась только к тому числу, которое ты знаешь, или только к той прямолинейной фигуре, которую знаешь, а относится ко всякому числу или ко всякой прямолинейной фигуре. С другой стороны, ничто (как я полагаю) не мешает, чтобы некоторым образом знали изучаемое, а некоторым нет. В самом деле, нет ничего нелепого в том, что кто-то каким-то образом знает то, что он изучает, но нелепо было бы, если бы он уже знал это так и таким способом, как он его изучает.
Глава вторая
[Научное знание и доказательство. Условия доказательства]