Иногда бывает, что, так же как ошибаются в расстановке терминов, точно так же впадают в ошибку и во мнении о них, например, когда одно и то же бывает непосредственно присуще многим и кто-то об одном из них не знает и думает, что ему оно вовсе не присуще, хотя о другом он знает. Пусть А само по себе будет присуще Б и В и точно так же Б и В присущи всем Д. Если же кто-то думает, что А присуще всем Б и Б – всем Д, но что А не присуще ни одному В, а В присуще всем Д, то относительно одного и того же у него будет об одном и том же и знание, и незнание. Далее, если кто-то ошибается относительно того, что принадлежит к одному и тому же ряду, например, если А присуще Б, Б присуще В и В присуще Д, и он предполагает, что А присуще всем Б, а с другой стороны, не присуще ни одному В, то он в одно и то же время будет знать, [что А присуще Д], и будет предполагать, что оно ему не присуще. Не признает ли он из этого только одно, а именно: что он знает то, чего он не предполагает? В самом деле, некоторым образом он знает, что А присуще В через Б, поскольку частное [знают] благодаря общему. Поэтому относительно того, что он некоторым образом знает, он считает, что он этого вообще не предполагает, что, однако, невозможно. Что касается сказанного раньше, то, если средний термин взят не из одного и того же ряда, невозможно обе посылки предположить относительно каждого из двух средних терминов, например [предположить, что] А присуще всем Б и не присуще ни одному В, а Б и В присущи всем Д. В таком случае оказывается, что первая посылка [одного силлогизма] берется противоположной [первой посылке другого силлогизма] – либо полностью, либо отчасти. В самом деле, если предполагают, что всему, чему присуще Б, присуще и А, и притом знают, что Б присуще Д, то знают также и то, что А присуще Д. Так что если, с другой стороны, думают, что А не присуще ничему из того, чему присуще В, то тем самым думают, что чему-то из того, чему присуще Б, А не присуще. Но думать, что всему тому, чему присуще Б, присуще А, а с другой стороны, что чему-то из того, чему присуще Б, А не присуще, – думать так – [значит брать посылки], противоположные друг другу либо полностью, либо отчасти. Стало быть, нельзя делать такие предположения. Напротив, ничто не мешает в отношении каждого из двух средних терминов предполагать одну посылку или в отношении одного среднего термина – обе посылки, как, например, А присуще всем Б и Б – всем Д, а с другой стороны, А не присуще ни одному В. В этом случае ошибка подобна той, в которую мы впадаем в отношении частного, например: если А присуще всему тому, чему присуще Б, и Б – всем В, то А будет присуще всем В. Если же знают, что А присуще всему тому, чему присуще Б, то знают также, что оно присуще В. Но ничто не мешает не знать, что В есть; например, если А обозначает два прямых угла, Б – треугольник, а В – чувственно воспринимаемый треугольник; в таком случае можно предполагать, что В не есть, хотя знают, что всякий треугольник имеет [в совокупности] два прямых угла. Так что в одно и то же время одно и то же будут знать и не знать. Ибо знание того, что всякий треугольник имеет [в совокупности] два прямых угла, не однозначно, а это значит, с одной стороны, иметь знание общего, с другой – знание частного. Так, зная общее, знают, что В имеет [в совокупности] два прямых угла, но, зная частное, этого не знают. Так что [знание здесь] не будет противоположно [незнанию]. Подобным же образом обстоит дело с высказыванием в «Меноне», что учение есть воспоминание. Ибо никогда не бывает так, чтобы единичное можно было знать заранее; знание частного, как бы вновь узнаваемого, получают вместе с наведением, ибо некоторые вещи мы познаем сразу же, например, что [углы данной фигуры равны в совокупности] двум прямым, как только мы узнаем, что она треугольник. И точно так же в других случаях.