Первая аналитика
Книга первая
Глава первая
[Предмет и цель всего сочинения. Определение важнейших терминов]
Прежде всего следует сказать, о чем исследование и дело какой оно [науки]: оно о доказательстве, и это дело доказывающей науки. Далее следует определить, что такое посылка, термин, силлогизм, а также какой силлогизм совершенный и какой – несовершенный; затем, что значит: одно целиком содержится или не содержится в другом – и что значит: что-то сказывается обо всем или не сказывается ни об одном.
Посылка есть речь, утверждающая или отрицающая что-то относительно чего-то. Она бывает или общей, или частной, или неопределенной. Общей я называю [посылку] о присущем всем или не присущем ни одному, частной – о присущем или не присущем некоторым или присущем не всем, неопределенной – о присущем или не присущем без указания того, общая ли она или частная, как, например, противоположности изучаются одной и той же наукой или удовольствие не есть благо. Отличается же доказывающая посылка от диалектической тем, что доказывающая есть принятие одного из членов противоречия (ибо тот, кто доказывает, не спрашивает [о нем], а принимает [его]), диалектическая же есть вопрос относительно [того или другого члена] противоречия. Однако в образовании силлогизма они ничем не отличаются друг от друга, ибо и тот, кто доказывает, и тот, кто спрашивает, [одинаково] умозаключают, принимая, что нечто чему-то присуще или не присуще, так что силлогистическая посылка есть вообще утверждение или отрицание чего-то относительно чего-то по указанному способу; и доказывающей она будет, если она истинна и получена из первых [положений]; диалектическая же посылка – это для выведывающего вопрос относительно [того или другого члена] противоречия, а для умозаключающего – принятие того, что кажется, и того, что правдоподобно, как об этом сказано в «Топике». В дальнейшем будет подробно сказано, что такое посылка и чем отличаются друг от друга посылки силлогистическая, доказывающая и диалектическая; а пока достаточно и того, что определено сейчас.
Термином я называю то, на что распадается посылка, т. е. то, что сказывается, и то, о чем оно сказывается, с присоединением [глагола] «быть» или «не быть»; силлогизм же есть речь, в которой если нечто предположено, то с необходимостью вытекает нечто отличное от положенного в силу того, что положенное есть. Под [выражением] «в силу того, что положенное есть»