Аналитики. Первая и Вторая

Иногда бывает, что так же, как мы ошибаемся в расстановке терминов, точно так же впадаем в ошибку и в (самих) предположениях[671], например, когда одно и то же бывает с самого начала присуще многим и кто-либо о некоторой части (из них) не знает и думает, что ей оно не присуще, между тем как о другой (части из них) он знает. В самом деле, пусть А само по себе будет присуще Б и В и точно так же (все) они присущи всем Д. Если же кто-нибудь думает, что А присуще всем Б и Б — всем Д, но А (при этом) не присуще ни одному В, а В присуще всем Д, то в отношении одного и того же у него будет об одном и том же и знание и незнание[672]. Далее, если кто-либо ошибается относительно того, что принадлежит к одному и тому же ряду (терминов), например, если А присуще Б, а Б присуще В и В присуще Д[673], и он предполагает, что А присуще всем Б и, наоборот, не присуще ни одному В, то (в этом случае) он одновременно будет знать[674] и не будет предполагать, что присуще[675]. Но из этого он признает только одно, (именно): "что знаешь, того не предполагаешь"[676]. В самом деле, некоторым образом он знает, что А присуще В через Б, подобно тому, что частное (знают) через общее. Поэтому относительно того, что он некоторым образом знает, оп вообще считает, что он этого не предполагает, что, однако, невозможно. Что касается сказанного раньше[677], то если средний (термин) не взят из одного и того же ряда, невозможно обе посылки предположить (истинными) в отношении каждого из двух средних (терминов), например: если А присуще всем Б и не присуще ни одному В, а (Б и В) присущи всем Д. В таком случае оказывается, что первая посылка берется противной (другой) — либо полностью, либо отчасти. В самом деле, если предполагают, что всему, чему присуще Б, присуще и А, и (притом) знают, что Б присуще Д, то знают также и то, что А присуще Д. И если, далее, думают, что А не присуще ни одному из тех (предметов), которым присуще В, то тем самым думают также, что некоторым из тех (предметов), которым Б присуще, А не присуще. Но думать, что всему тому, чему присуще Б, присуще (А), а с другой стороны, что некоторым из тех (предметов), которым присуще Б, (А) не присуще, — думать так (значит брать суждения), противные друг другу либо полностью, либо отчасти. Следовательно, нельзя делать такие предположения. Напротив, ничто не мешает в отношении каждого из двух средних (терминов) предполагать одну посылку или в отношении одного среднего (термина) — обе (посылки)[678], как, например: А присуще всем Б и Б — всем Д, и, с другой стороны, А не присуще ни одному В. В этом случае ошибка подобна той, в которую мы впадаем при частных (суждениях), например: если А присуще всем Б и Б — всем В, то А будет присуще всем В, если же знают, что А присуще всему тому, чему присуще Б, то знают также, что А присуще В. Но (при этом) ничто не мешает не знать (о данной вещи), что (она) есть В; например, если А обозначает два прямых угла, Б — треугольник, а В — чувственно воспринимаемый треугольник, ибо (в таком случае) можно предполагать, что (данная вещь) не есть В, хотя знают, что всякий треугольник имеет (в сумме) два прямых угла. Так что одновременно одно и то же будут знать и не знать. Ибо знание о том, что всякий треугольник имеет (в сумме) два прямых угла, не есть безусловное знание, но, с одной стороны, это значит иметь знание об общем, с другой — знание о частном. Так, через знание общего знают, что В имеет (в сумме) два прямых угла, но через (знание) частного — (этого) не знают. Так что (ошибка) не будет (здесь) противна (знанию). Подобным же образом (обстоит дело с) высказыванием в Меноне[679], что учение есть воспоминание. Ибо никогда не бывает так, чтобы единичное можно было знать заранее, но (дело обстоит так), что вместе с индукцией получаем знание о частном, как бы вновь узнаваемом. Ибо одни (вещи) мы узнаем сразу же, например, что (сумма трех углов данной фигуры равна) двум прямым, как только мы знаем, что это есть треугольник. И подобным же образом в других (случаях).