Логика Аристотеля. Том 3. «Аналитика Первая» Аристотеля. Александр Афродисийский
Читать онлайн книгу.
обращается. Приведение к невозможному происходит, когда, желая доказать что-то, мы предполагаем противоположное и, добавляя к нему нечто общепризнанное, опровергаем одно из очевидных следствий. Ибо через то, что предположенное опровергает очевидное и общепризнанное, само оно обличается как ложное посредством такого приведения. А когда это ложное опровергнуто, противоположное ему, будучи истинным, обнаруживается, поскольку в любом случае одна часть противоречия истинна, а другая ложна – что и требовалось доказать.
Этим методом чаще всего пользуются геометры, но также и диалектики. Кажется, что и Аристотель сейчас его применяет. Он говорит: если A не принадлежит ни одному B, то и B не будет принадлежать ни одному A – что он и хочет доказать. Ибо если кто-то не согласится с этим, ясно, что он скажет, что противоположное этому истинно, а именно: «B принадлежит некоторому A» (ведь «некоторому» противоречит «ни одному» как противоположное, как показано в «Об истолковании»).
Предположив, что B принадлежит некоторому A, он берет часть A, которой принадлежит B, – пусть это будет Г. И таким образом доказывает, что и A будет принадлежать некоторому B.
Он доказал требуемое очень кратко, поэтому некоторые думают, что он воспользовался частноутвердительным предложением как обращающимся, и упрекают его за использование взаимного доказательства. Ибо, желая доказать, что общеотрицательное предложение обращается, он для этого доказательства, как они говорят, использует частноутвердительное и его обращение. А чуть позже, доказывая, что частноутвердительное обращается, он использует общеотрицательное как обращающееся. Но такой способ доказательства считается порочным.
Однако Аристотель не сделал этого, как они думают. Ибо частноутвердительное он, безусловно, доказывает обращающимся через общеотрицательное, но общеотрицательное сейчас он доказывает не через принятие частноутвердительного как обращающегося. Он доказывает требуемое, но не использует его как общепризнанное и установленное. Он доказывает через ранее доказанное и установленное – а именно через «принадлежит всем» и «не принадлежит ни одному», «в целом» и «ни в чем». Ибо, используя их, он показывает обращение общеотрицательного предложения.
Приняв, что A не принадлежит ни одному B, он говорит, что отсюда следует, что и B не принадлежит ни одному A. Ибо если B принадлежит некоторому A (это противоположно принятому, и одно из них должно быть истинным), пусть оно принадлежит Г. Пусть это будет некоторая часть A, которой принадлежит B. Тогда Г будет в целом в B и некоторой его частью, и B будет принадлежать всем Г (ибо «в целом» и «принадлежит всем» – одно и то же). Но Г было некоторой частью A; следовательно, Г в целом в A. А если в целом, то A будет сказано обо всех Г. Но Г было некоторой частью B; значит, A будет сказываться о некотором B. Однако было принято, что A не принадлежит ни одному B.
А что он не воспользовался для доказательства частноутвердительным как обращающимся,