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