<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:py="http://codespeak.net/lxml/objectify/pytype" py:pytype="TREE"><text><body><div type="edition" xml:lang="grc" n="urn:cts:greekLit:tlg0086.tlg001.1st1K-grc1"><div type="textpart" subtype="book" n="priora"><div type="textpart" subtype="part" n="1"><div type="textpart" subtype="chapter" n="22"><p>Εἰ δ᾿ ἐστὶν ἡ μὲν ἀναγκαία τῶν προτάσεων ἡ δ᾿ ἐνδεχομένη, <pb n="102"/> κατηγορικῶν
								μὲν ὄντων τῶν ὅρων ἀεὶ τοῦ ἐνδέχεσθαι <lb/>ἔσται συλλογισμός, ὅταν δ᾿ ᾖ τὸ μὲν
								κατηγορικὸν τὸ δὲ <lb/>στερητικόν, ἐὰν μὲν ᾖ τὸ καταφατικὸν ἀναγκαῖον, τοῦ
								ἐνδέχεσθαι <lb/>μὴ ὑπάρχειν, ἐὰν δὲ τὸ στερητικόν, καὶ τοῦ ἐνδέχεσθαι <lb/>μὴ
								ὑπάρχειν καὶ τοῦ μὴ ὑπάρχειν· τοῦ δ᾿ ἐξ ἀνάγκης <lb/>μὴ ὑπάρχειν οὐκ ἔσται
								συλλογισμός, ὥσπερ οὐδ᾿ ἐν τοῖς ἑτέροις <lb/>σχήμασιν. Ἔστωσαν δὴ κατηγορικοὶ πρῶτον
								οἱ ὅροι, <lb/>καὶ τὸ μὲν Α παντὶ τῷ Γ ὑπαρχέτω ἐξ ἀνάγκης, τὸ δὲ Β <lb/>τῷ Γ παντὶ
								ἐνδεχέσθω ὑπάρχειν. Ἐπεὶ οὖν τὸ μὲν Α παντὶ <lb/>τῷ Γ ἀνάγκη, τὸ δὲ Γ τινὶ τῷ Β
								ἐνδέχεται, καὶ τὸ Α τινὶ <lb/>τῷ Β ἐνδεχόμενον ἔσται καὶ οὐχ ὑπάρχον· οὕτω γὰρ
								συνέπιπτεν <lb/>ἐπὶ τοῦ πρώτου σχήματος. Ὁμοίως δὲ δειχθήσεται <lb/>καὶ εἰ τὸ μὲν Β
								Γ τεθείη ἀναγκαῖον, τὸ δὲ Α Γ ἐνδεχόμενον. <lb/>Πάλιν ἔστω τὸ μὲν κατηγορικὸν τὸ δὲ
								στερητικόν, ἀναγκαῖον <lb/>δὲ τὸ κατηγορικόν· καὶ τὸ μὲν Α ἐνδεχέσθω μηδενὶ <lb/>τῷ
								Γ ὑπάρχειν, τὸ δὲ Β παντὶ ὑπαρχέτω ἐξ ἀνάγκης. <lb/>Ἔσται δὴ πάλιν τὸ πρῶτον σχῆμα·
								καὶ γὰρ ἡ στερητικὴ <lb/>πρότασις ἐνδέχεσθαι σημαίνει. Φανερὸν οὖν ὅτι τὸ συμπέρασμα
								<lb/>ἔσται ἐνδεχόμενον· ὅτε γὰρ οὕτως ἔχοιεν αἱ προτάσεις <lb/>ἐν τῷ πρώτῳ σχήματι,
								καὶ τὸ συμπέρασμα ἦν ἐνδεχόμενον. <lb/>Εἰ δ᾿ ἡ στερητικὴ πρότασις ἀναγκαία, τὸ
								συμπέρασμα <lb/>ἔσται καὶ ὅτι ἐνδέχεται τινὶ μὴ ὑπάρχειν καὶ ὅτι οὐχ <lb/>ὑπάρχει.
								Κείσθω γὰρ τὸ Α τῷ Γ μὴ ὑπάρχειν ἐξ ἀνάγκης, <lb/>τὸ δὲ Β παντὶ ἐνδέχεσθαι.
								Ἀντιστραφέντος οὖν τοῦ <lb/>Β Γ καταφατικοῦ τὸ πρῶτον ἔσται σχῆμα, καὶ ἀναγκαία
								<lb/>ἡ στερητικὴ πρότασις. Ὅτε δ᾿ οὕτως εἶχον αἱ προτάσεις, <lb/>συνέβαινε τὸ Α τῷ Γ
								καὶ ἐνδέχεσθαι τινὶ μὴ ὑπάρχειν καὶ <lb/>μὴ ὑπάρχειν, ὥστε καὶ τὸ Α τῷ Β ἀνάγκη τινὶ
								μὴ ὑπάρχειν. <lb/>Ὅταν δὲ τὸ στερητικὸν τεθῇ πρὸς τὸ ἔλαττον ἄκρον, <lb/>ἐὰν μὲν
								ἐνδεχόμενον, ἔσται συλλογισμὸς μεταληφθείσης τῆς <lb/>προτάσεως, καθάπερ ἐν τοῖς
								πρότερον, ἐὰν δ᾿ ἀναγκαῖον, οὐκ <pb n="103"/> ἔσται· καὶ γὰρ παντὶ ἀνάγκη καὶ οὐδενὶ
								ἐνδέχεται ὑπάρχειν· <lb/>Ὅροι τοῦ παντὶ ὑπάρχειν ὕπνος—ἵππος καθεύδων—ἄνθρωπος,
								<lb/>τοῦ μηδενὶ ὕπνος—ἵππος ἐγρηγορώς—ἄνθρωπος.</p><p>Ὁμοίως δ᾿ ἕξει καὶ εἰ ὁ μὲν καθόλου τῶν ὅρων ὁ δ᾿ ἐν μέρει <lb/>πρὸς τὸ μέσον·
								κατηγορικῶν μὲν γὰρ ὄντων ἀμφοτέρων τοῦ <lb/>ἐνδέχεσθαι καὶ οὐ τοῦ ὑπάρχειν ἔσται
								συλλογισμός, καὶ ὅταν <lb/>τὸ μὲν στερητικὸν ληφθῇ τὸ δὲ καταφατικόν, ἀναγκαῖον δὲ
								<lb/>τὸ καταφατικόν. Ὅταν δὲ τὸ στερητικὸν ἀναγκαῖον, καὶ τὸ <lb/>συμπέρασμα ἔσται
								τοῦ μὴ ὑπάρχειν· ὁ γὰρ αὐτὸς τρόπος <lb/>ἔσται τῆς δείξεως καὶ καθόλου καὶ μὴ
								καθόλου τῶν ὅρων <lb/>ὄντων. Ἀνάγκη γὰρ διὰ τοῦ πρώτου σχήματος τελειοῦσθαι
								<lb/>τοὺς συλλογισμούς, ὥστε καθάπερ ἐν ἐκείνοις, καὶ ἐπὶ τούτων <lb/>ἀναγκαῖον
								συμπίπτειν. Ὅταν δὲ τὸ στερητικὸν καθόλου <lb/>ληφθὲν τεθῇ πρὸς τὸ ἔλαττον ἄκρον,
								ἐὰν μὲν ἐνδεχόμενον, <lb/>ἔσται συλλογισμὸς διὰ τῆς ἀντιστροφῆς, ἐὰν δ᾿ ἀναγκαῖον,
								<lb/>οὐκ ἔσται. Δειχθήσεται δὲ τὸν αὐτὸν τρόπον ὃν καὶ ἐν τοῖς <lb/>καθόλου, καὶ διὰ
								τῶν αὐτῶν ὅρων. Φανερὸν οὖν καὶ ἐν τούτῳ <lb/>τῷ σχήματι πότε καὶ πῶς ἔσται
								συλλογισμός, καὶ πότε <lb/>τοῦ ἐνδέχεσθαι καὶ πότε τοῦ ὑπάρχειν. Δῆλον δὲ καὶ ὅτι
								<lb/>πάντες ἀτελεῖς, καὶ ὅτι τελειοῦνται διὰ τοῦ πρώτου σχήματος. </p></div></div></div></div></body></text></TEI>