§1.2.3#2Φανερὸν δὲ καὶ ἐπὶ τῶν ἐν μέρει συλλογισμῶν·
이것은 특칭 추론에서도 분명하다.
οὐδὲν γὰρ κωλύει τὸ τῷ μὲν Β παντὶ τῷ δὲ Γ τινὶ ὑπάρχειν, καὶ τὸ Β τῷ Γ τινὶ μὴ ὑπάρχειν, οἷον ζῷον παντὶ ἀνθρώπῳ λευκῷ δὲ τινί, ἄνθρωπος δὲ τινὶ λευκῷ οὐχ ὑπάρξει.
왜냐하면 ［A가］ 모든 B에 속하고 C의 일부에 속하는 한편, B는 C의 일부에 속하지 않는 것을 아무것도 막지 않기 때문이다. 예컨대 동물은 모든 사람에게 속하고 어떤 흰 것의 일부에 속하지만, 사람은 어떤 흰 것의 일부에 속하지 않을 것이다.
ἐὰν οὖν τεθῇ τὸ Α τῷ μὲν Β μηδενὶ ὑπάρχειν τῷ δὲ Γ τινὶ ὑπάρχειν, ἡ μὲν καθόλου πρότασις ὅλη ψευδής, ἡ δʼ ἐν μέρει ἀληθής, καὶ τὸ συμπέρασμα ἀληθές.
그러므로 만약 A가 B에는 전혀 속하지 않고 C의 일부에 속한다고 놓인다면, 전칭 전제는 전적으로 거짓이고 특칭 전제는 참이며, 결론도 참이 된다.
ὡσαύτως δὲ καὶ καταφατικῆς λαμβανομένης τῆς Β·
또한 B 전제가 긍정으로 취해질 때도 마찬가지이다.
ἐγχωρεῖ γὰρ τὸ τῷ μὲν Β μηδενὶ τῷ δὲ Γ τινὶ μὴ ὑπάρχειν, καὶ τὸ Β τῷ Γ τινὶ μὴ ὑπάρχειν, οἷον τὸ ζῷον οὐδενὶ ἀψύχῳ, λευκῷ δὲ τινί, καὶ τὸ ἄψυχον οὐχ ὑπάρξει τινὶ λευκῷ.
왜냐하면 ［A가］ B에는 전혀 속하지 않고 C의 일부에 속하지 않는 한편, B가 C의 일부에 속하지 않는 것이 가능하기 때문이다. 예컨대 동물은 어떤 무생물에도 속하지 않지만 어떤 흰 것의 일부에는 속하고, 무생물은 어떤 흰 것의 일부에 속하지 않듯이.
ἐὰν οὖν τεθῇ τὸ α τῷ μὲν Β παντὶ τῷ δὲ Γ τινὶ μὴ ὑπάρχειν, ἡ μὲν Α Β πρότασις, ἡ καθόλου, ὅλη ψευδής, ἡ δὲ Α Γ ἀληθής, καὶ τὸ συμπέρασμα ἀληθές.
그러므로 만약 A가 모든 B에 속하고 C의 일부에 속하지 않는다고 놓인다면, 전칭 전제인 AB 전제는 전적으로 거짓이고 AC는 참이며, 결론도 참이 된다.
καὶ τῆς μὲν καθόλου ἀληθοῦς τεθείσης, τῆς δʼ ἐν μέρει ψευδοῦς.
또한 전칭 전제가 참으로 놓이고 특칭 전제가 거짓으로 놓일 때도 마찬가지이다.
οὐδὲν γὰρ κωλύει τὸ Α μήτε τῷ Β μήτε τῷ Γ μηδενὶ ἕπεσθαι, τὸ μέντοι Β τινὶ τῷ Γ μὴ ὑπάρχειν, οἷον ζῷον οὐδενὶ ἀριθμῷ οὐδ᾿ ἀψύχῳ, καὶ ὁ ἀριθμὸς τινὶ ἀψύχῳ οὐχ ἕπεται.
왜냐하면 A가 B와 C 중 어느 것에도 따르지 않는 한편, B가 C의 일부에 속하지 않는 것을 아무것도 막지 않기 때문이다. 예컨대 동물은 어떤 수에도 어떤 무생물에도 따르지 않고, 수는 어떤 무생물의 일부에 따르지 않듯이.
ἐὰν οὖν τεθῇ τὸ τῷ μὲν 8 μηδενὶ τῷ δὲ Γ τινί, τὸ μὲν συμπέρασμα ἔσται ἀληθὲς καὶ ἡ καθόλου πρότασις, ἡ δʼ ἐν μέρει ψευδής.
그러므로 만약 ［A가］ B에는 전혀 속하지 않고 C의 일부에 속한다고 놓인다면, 결론은 참이 되고 전칭 전제도 참이 되지만 특칭 전제는 거짓이 될 것이다.
καὶ καταφατικῆς δὲ τῆς καθόλου τιθεμένης ὡσαύτως.
또한 전칭 전제가 긍정으로 놓일 때도 마찬가지이다.
ἐγχωρεῖ γὰρ τὸ Α καὶ τῷ Β καὶ τῷ Γ ὅλῳ ὑπάρχειν, τὸ μέντοι Β τινὶ τῷ Γ μὴ ἕπεσθαι, οἷον τὸ γένος τῷ εἴδει καὶ τῇ διαφορᾷ·
왜냐하면 A가 B와 C 전체에 속하는 한편, B는 C의 일부에 따르지 않는 것이 가능하기 때문이다. 예컨대 유가 종과 종차에 대해 그러하다.
τὸ γὰρ ζῷον παντὶ ἀνθρώπῳ καὶ ὅλῳ πεζῷ ἕπεται, ἄνθρωπος δʼ οὐ παντὶ πεζῷ.
왜냐하면 동물은 모든 사람과 걸어 다니는 것 전체에 따르지만, 사람은 모든 걸어 다니는 것에 따르는 것은 아니기 때문이다.
ὥστ᾿ ἂν ληφθῇ τὸ Α τῷ μὲν Β ὅλῳ ὑπάρχειν, τῷ δὲ Γ τινὶ μὴ ὑπάρχειν, ἡ μὲν καθόλου πρότασις ἀληθής, ἡ δʼ ἐν μέρει ψευδής, τὸ δὲ συμπέρασμα ἀληθές.
따라서 만약 A가 B 전체에 속하고 C의 일부에 속하지 않는다고 취해진다면, 전칭 전제는 참이고 특칭 전제는 거짓이며 결론은 참이 된다.
Φανερὸν δὲ καὶ ὅτι ἐξ ἀμφοτέρων ψευδῶν ἔσται τὸ συμπέρασμα ἀληθές, εἴπερ ἐνδέχεται τὸ Α καὶ τῷ Β καὶ τῷ Γ ὅλῳ ὑπάρχειν, τὸ μέντοι Β τινὶ τῷ Γ μὴ ἕπεσθαι.
또한 두 전제 모두 거짓일 때 결론이 참이 되는 것도 분명하다. 만약 A가 B와 C 전체에 속하는 한편 B는 C의 일부에 따르지 않는 것이 가능하다면 말이다.
ληφθέντος γὰρ τοῦ Α τῷ μὲν Β μηδενὶ τῷ δὲ Γ τινὶ ὑπάρχειν, αἰ μὲν προτάσεις ἀμφότεραι ψευδεῖς, τὸ δὲ συμπέρασμα ἀληθές.
왜냐하면 A가 B에는 전혀 속하지 않고 C의 일부에 속한다고 취해질 때, 두 전제 모두 거짓이지만 결론은 참이기 때문이다.
ὁμοίως δὲ καὶ κατηγορικῆς οὔσης τῆς καθόλου προτάσεως, τῆς δʼ ἐν μέρει στερητικῆς.
전칭 전제가 긍정(서술적)이고 특칭 전제가 부정일 때도 마찬가지이다.
ἐγχωρεῖ γὰρ τὸ τῷ μὲν Β μηδενὶ τῷ δὲ Γ παντὶ ἕπεσθαι, καὶ τὸ Β τινὶ τῷ Γ μὴ ὑπάρχειν, οἷον ζῷον ἐπιστήμῃ μὲν οὐδεμιᾶ ἀνθρώπῳ δὲ παντὶ ἕπεται, ἡ δʼ ἐπιστήμη οὐ παντὶ ἀνθρώπῳ.
왜냐하면 ［A가］ B에는 전혀 따르지 않고 C 전체에 따르는 한편, B가 C의 일부에 속하지 않는 것이 가능하기 때문이다. 예컨대 동물은 어떤 과학에도 따르지 않고 모든 사람에게 따르지만, 과학은 모든 사람에게 속하는 것은 아니듯이.
ἐὰν οὖν ληφθῇ τὸ τῷ μὲν Β ὅλῳ ὑπάρχειν, τῷ δὲ Γ τινὶ μὴ ἕπεσθαι, αἱ μὲν προτάσεις ψευδεῖς, τὸ δὲ συμπέρασμα ἀληθές.
그러므로 만약 ［A가］ B 전체에 속하고 C의 일부에 따르지 않는다고 취해진다면, 전제들은 거짓이지만 결론은 참이다.