(Начала, общие всем наукам)
Таким образом, не необходимо, чтобы существовали идеи или что-нибудь единое [1] помимо множества (вещей) [2], если должно быть дано доказательство. Но необходимо признать истинным, что есть единое в отношении многого, ибо если бы этого не было, то не было бы и общего, а если бы общего не было, то не было бы и среднего (термина), а следовательно, и никакого доказательства. Должно поэтому быть нечто единое и тождественное во многом не как омонимы. Что (касается положения), что невозможно одновременно утверждать и отрицать (одно и то же), то этого ни одно доказательство не рассматривает, кроме разве (того случая), когда и заключение приходится доказывать таким же образом [3]. Доказывается же (так), когда принимают, что если первый (термин) приписывается среднему, то это правильно, если же не приписывается, - неправильно. Что же касается среднего (термина), то безразлично, будет ли принято, что он есть, или нет [4]. И то же самое - в отношении третьего (термина). Ибо если принять, что то является (живым существом), о ком правильно сказать, что оно человек, хотя правильно и то, что и не человек есть (живое существо), то нам (достаточно) и того, что человек есть живое существо, а не неживое существо. Действительно, правильно будет сказать, что хотя и не-Каллий (есть живое существо), тем не менее Каллий есть живое существо, а не неживое существо [5]. Причина же этого в том, что первый (термин) высказывается не только о среднем, но и о другом (термине), ибо он (простирается) на большее [6].
Вот почему для заключения не важно, есть ли средний (термин) именно то, что он есть, или нет. (Положение), что обо всем (истинно) или утверждение, или отрицание, доказывается посредством приведения к невозможному [7]. И это применяется не всегда ко всему, но лишь насколько это достаточно; достаточно же - в отношении (данного) рода. Когда я говорю в отношении (данного) рода, я имею в виду род, в пределах которого ведутся доказательства, как об этом было уже сказано выше [8].
Связаны же все науки между собой (чем-то) общим (всем им). Общим же (всем) я называю то, чем пользуются для того, чтобы из него вести доказательства, а не то, относительно чего ведется доказательство, и не то, что доказывается. А диалектика [9] имеет дело со всеми (науками). Также общей (всем) была бы та наука, посредством которой кто-либо попытался бы доказать общие (начала) для всех, как, например, что обо всем (истинно) или утверждение, или отрицание, или что, если равные (величины) отнять от равных, остаются равные же (части), и тому подобное. Диалектика не имеет, однако, дела с чем-нибудь столь (строго) определенным, как равно и с каким-либо одним (определенным) родом. Иначе она не прибегала бы к вопросам. Доказывающий же не должен спрашивать, ибо из противоположного не доказывается одно и то же [10], (как) это было доказано (в разделах) о силлогизме [11].