Логика Аристотеля. Том 2 - страница 3

Таким образом, одна утвердительная позиция противоречит одной отрицательной, и кто они, уже было сказано; и что касается других противоположных, кто они; и что не всякая истинная или ложная позиция является противоречивой, и почему, и когда она истинная или ложь

Eπεὶ δέ ἐστι τὰ μὲν καθόλου τῶν πραγμάτων τὰ δὲ καθ» ἕκαστον, – λέγω δὲ καθόλου μὲν ὃ ἐπὶ πλειόνων πέφυκε κατηγορεῖσθαι, καθ» ἕκαστον δὲ ὃ μή, οἷον ἄνθρωπος μὲν [17b] τῶν καθόλου Καλλίας δὲ τῶν καθ» ἕκαστον, – ἀνάγκη δ» ἀποφαίνεσθαι ὡς ὑπάρχει τι ἢ μή, ὁτὲ μὲν τῶν καθόλου τινί, ὁτὲ δὲ τῶν καθ» ἕκαστον. ἐὰν μὲν οὖν καθόλου ἀποφαίνηται ἐπὶ τοῦ καθόλου ὅτι ὑπάρχει ἢ μή, ἔσονται ἐναντίαι ἀποφάνσεις, – λέγω δὲ ἐπὶ τοῦ καθόλου ἀποφαίνεσθαι καθόλου, οἷον πᾶς ἄνθρωπος λευκός, οὐδεὶς ἄνθρωπος λευκός· – ὅταν δὲ ἐπὶ τῶν καθόλου μέν, μὴ καθόλου δέ, οὐκ εἰσὶν ἐναντίαι, τὰ μέντοι δηλούμενα ἔστιν εἶναι ἐναντία, – λέγω δὲ τὸ μὴ καθόλου ἀποφαίνεσθαι ἐπὶ τῶν καθόλου, οἷον ἔστι λευκὸς ἄνθρωπος, οὐκ ἔστι λευκὸς ἄνθρωπος· καθόλου γὰρ ὄντος τοῦ ἄνθρωπος οὐχ ὡς καθόλου χρῆται τῇ ἀποφάνσει· τὸ γὰρ πᾶς οὐ τὸ καθόλου σημαίνει ἀλλ» ὅτι καθόλου. – ἐπὶ δὲ τοῦ κατηγορουμένου τὸ καθόλου κατηγορεῖν καθόλου οὐκ ἔστιν ἀληθές· οὐδεμία γὰρ κατάφασις ἔσται, ἐν ᾗ τοῦ κατηγορουμένου καθόλου τὸ καθόλου κατηγορηθήσεται, οἷον ἔστι πᾶς ἄνθρωπος πᾶν ζῷον.

Aντικεῖσθαι μὲν οὖν κατάφασιν ἀποφάσει λέγω ἀντιφατικῶς τὴν τὸ καθόλου σημαίνουσαν τῷ αὐτῷ ὅτι οὐ καθόλου, οἷον πᾶς ἄνθρωπος λευκός – οὐ πᾶς ἄνθρωπος λευκός, οὐδεὶς ἄνθρωπος λευκός – ἔστι τις ἄνθρωπος λευκός· ἐναντίως δὲ τὴν τοῦ καθόλου κατάφασιν καὶ τὴν τοῦ καθόλου ἀπόφασιν, οἷον πᾶς ἄνθρωπος δίκαιος – οὐδεὶς ἄνθρωπος δίκαιος· διὸ ταύτας μὲν οὐχ οἷόν τε ἅμα ἀληθεῖς εἶναι, τὰς δὲ ἀντικειμένας αὐταῖς ἐνδέχεται ἐπὶ τοῦ αὐτοῦ, οἷον οὐ πᾶς ἄνθρωπος λευκός, καὶ ἔστι τις ἄνθρωπος λευκός. ὅσαι μὲν οὖν ἀντιφάσεις τῶν καθόλου εἰσὶ καθόλου, ἀνάγκη τὴν ἑτέραν ἀληθῆ εἶναι ἢ ψευδῆ, καὶ ὅσαι ἐπὶ τῶν καθ» ἕκαστα, οἷον ἔστι Σωκράτης λευκός – οὐκ ἔστι Σωκράτης λευκός· ὅσαι δ» ἐπὶ τῶν καθόλου μὴ καθόλου, οὐκ ἀεὶ ἡ μὲν ἀληθὴς ἡ δὲ ψευδής· – ἅμα γὰρ ἀληθές ἐστιν εἰπεῖν ὅτι ἔστιν ἄνθρωπος λευκὸς καὶ ὅτι οὐκ ἔστιν ἄνθρωπος λευκός, καὶ ἔστιν ἄνθρωπος καλὸς καὶ οὐκ ἔστιν ἄνθρωπος καλός· εἰ γὰρ αἰσχρός, καὶ οὐ καλός· καὶ εἰ γίγνεταί τι, καὶ οὐκ ἔστιν. – δόξειε δ» ἂν ἐξαίφνης ἄτοπον εἶναι διὰ τὸ φαίνεσθαι σημαίνειν τὸ οὐκ ἔστιν ἄνθρωπος λευκός ἅμα καὶ ὅτι οὐδεὶς ἄνθρωπος λευκός· τὸ δὲ οὔτε ταὐτὸν σημαίνει οὔθ» ἅμα ἐξ ἀνάγκης. – φανερὸν δ» ὅτι καὶ μία ἀπόφασις μιᾶς καταφάσεως· τὸ γὰρ αὐτὸ δεῖ ἀποφῆσαι τὴν ἀπόφασιν ὅπερ κατέφησεν ἡ κατάφασις, καὶ ἀπὸ τοῦ αὐτοῦ, ἢ τῶν καθ» ἕκαστά [18a] τινος ἢ ἀπὸ τῶν καθόλου τινός, ἢ ὡς καθόλου ἢ ὡς μὴ καθόλου· λέγω δὲ οἷον ἔστι Σωκράτης λευκός – οὐκ ἔστι Σωκράτης λευκός (ἐὰν δὲ ἄλλο τι ἢ ἀπ» ἄλλου τὸ αὐτό, οὐχ ἡ ἀντικειμένη ἀλλ» ἔσται ἐκείνης ἑτέρα), τῇ δὲ πᾶς ἄνθρωπος λευκός ἡ οὐ πᾶς ἄνθρωπος λευκός, τῇ δὲ τὶς ἄνθρωπος λευκός ἡ οὐδεὶς ἄνθρωπος λευκός, τῇ δὲ ἔστιν ἄνθρωπος λευκός ἡ οὐκ ἔστιν ἄνθρωπος λευκός.

Oτι μὲν οὖν μία κατάφασις μιᾷ ἀποφάσει ἀντίκειται ἀντιφατικῶς, καὶ τίνες εἰσὶν αὗται, εἴρηται, καὶ ὅτι αἱ ἐναντίαι ἄλλαι, καὶ τίνες εἰσὶν αὗται, καὶ ὅτι οὐ πᾶσα ἀληθὴς ἢ ψευδὴς ἀντίφασις, καὶ διὰ τί, καὶ πότε ἀληθὴς ἢ ψευδής.

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