<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" n="urn:cts:greekLit:tlg4016.tlg004.1st1K-grc1" xml:lang="grc"><div type="textpart" subtype="chapter" n="11"><lb n="25"/><p>ΜΙΞΙΣ EN B ΣΧΗΜΑΤΙ ΥΠΑΡΧΟΝΤΟΣ ΚΑΙ ΑΝΑΓΚΑΙΟΥ.</p><p>p. 30b7 ἐπὶ δευτέρου δευτέρου σχήματος. Ὅτι ἐν δευτέρῳ σχήματι μίξεως
γινομένης, εἰ μὲν ᾖ καθόλου ἀποφατικὴ πρότασις, ὡς ἐπὶ τῶν πρώτων τριῶν τρόπων,
τῇ καθόλου ἀποφάσει ἕπεται τὸ συμπέρασμα· αὕτη γὰρ | μείζων γίνεται τοῦ πρώτου <note type="marginal">f. 231r</note>
σχήματος ἐν τῇ εἰς ἄτοπον ἀπαγωγῇ· τῇ δέ μείζονι τοῦ πρώτου σχήματος δέδεικται
<lb n="30"/> τὸ συμπέρασμα ἑπόμενον· εἰ δὲ μὴ ᾖ καθόλου ἀποφατικὴ πρότασις, ὡς ἐν τῷ τετάρτῳ
τρόπῳ, τῇ χείρονι ἕπεται τὸ συμπέρασμα. καὶ τὰς μὲν συναγούσας ἀναγκαῖον διὰ
μόνου τοῦ κατὰ παντὸς καὶ κατὰ μηδενὸς δείκνυσιν, τὰς δ’ ὑπάρχον καὶ ἐπ’ εὐθείας
καὶ δι’ ἀδυνάτου καὶ δι’ ὅρων.</p><p>p. 30b18 Εἰ δ' ἡ κατηγορικὴ πρότασίς ἐστιν ἀναγκαία, οὐκ ἔστι
<lb n="35"/> συμπέρασμα ὅτι ἐπὶ τῶν ἐξ ἀμφοτέρων καθόλου, ἐὰν ἡ καθόλου
ἀπόφασις ὑπάρχουσα ᾖ, καὶ τὸ συμπέρασμα ὑπάρχον ἐστί, τριχῶς ἀποδείκνυσι. καὶ
<note type="footnote">4 τὸ αὐτὸν P 5 μὲν superscr. Ρ1 7 ἐνδεχομένως scripsi: ἐνδεχομένως P
12 ἐν τῷ πρώτῳ τῆς Πολιτείας] c. G p. 332 A sq. 15 ποιεῖ utrobique P 18 ἀνα-
γωγῆς P ἐπὶ scripsi: ἐπεὶ P 19 ἀναγκαίου scripsi: ἀναγκαίως P 20 δ’ delevi
22 δεύτερον scripsi: Α P 29 ἀναγωγῆ P 34 οὐκ ἔσται Arist.</note>

<pb n="43"/>
ἄρχεται ἀπὸ τοῦ δευτέρου τρόπου τοῦ δευτέρου σχήματος· τὸ γὰρ πρῶτον παραλιμπάνει
ὡς ἁπλούστερον διὰ τὸ μιᾶς ἀντιστροφῆς δεῖσθαι. πρώτη δεῖξις· τὸ Α παντὶ τῷ Β ἐξ
ἀνάγκης· τὸ Α οὐδενὶ τῷ Γ ὑπαρχόντως· λέγω ὅτι | τὸ Β οὐδενὶ τῷ Γ ὑποαρχόντως. <note type="marginal">f. 231v</note>
ἐπεὶ γὰρ τὸ Γ οὐδενὶ τῷ Α ὑπάρχει διὰ τὴν ἀντιστροφήν, τὸ δὲ Α παντὶ τῷ Β ἐξ
<lb n="5"/> ἀνάγκης, γέγονε τὸ πρῶτον στῆμα τὴν. μείζονα ὑπάρχουσαν ἔχον, καὶ διὰ τοῦτο ὑπάρ-
χον συνάγεται· τὸ Γ ἄρα οὐδενὶ τῷ Β ὑπάρχει· ὥστε καὶ τὸ B οὐδενὶ τῷ Γ ὑπάρχει·
δευτέρα δεῖξις· εἰ τὸ Β τῷ Γ οὐδενὶ ἐξ ἀνάγκης, καὶ τὸ Γ τῷ Β οὐδενὶ ἐξ ἀνάγκης·
τὸ δὲ Β τῷ Α ἐξ ἀνάγκης τινὶ διὰ τὴν ἀντιστροφήν· τό Γ ἄρα τῷ Α οὐ παντὶ ἐξ
ἀνάγκης· ἀλλὰ καὶ οὐδενὶ ὑπάρχει διὰ τὴν ἀντιστροφήν· ὅπερ ἀδύνατον. ἡ ὡς ἡ λέξις,
<lb n="10"/> τὸ Γ τῷ Α οὐ παντὶ ἐξ ἀνάγκης· ἀλλὰ καὶ παντὶ ὑπάρχει· εἰ γὰρ τὸ Α τῷ Γ οὐδενὶ
ὑπάρχει, καὶ τὸ Γ τῷ Α οὐδενὶ ὑπάρχει· καὶ διὰ τοῦτο δύναται καὶ παντὶ ὑπάρχειν
τὸ Γ τῷ Α. τρίτη δεῖξις τοῦ αὐτοῦ διὰ τῶν ὅρων· ζῷον παντὶ ἀνθρώπῳ ἐξ ἀνάγκης·
ζῷον οὐδενὶ λευκῷ ὑπαρχόντως· καὶ ἄνθρωπος οὐδενὶ λευκῷ ὑπάρχει, εἰ μὴ ὄρα λέγοι
τις, φησίν, ἄνθρωπος οὐδενὶ λευκῷ ἐξ ἀνάγκης, ἔστ’ ἄν, ὡς ἡ πρότασίς φησιν, ζῷον
<lb n="15"/> οὐδενὶ λευκῷ ὑπάρχῃ ἀλλ’ οὕτω πᾶς συλλογισμὸς ἀναγκαῖον συνάγει διὰ τὸν ὅρον
τοῦ συλλογισμοῦ. οὐκ ἄρα ληπτέον ἐν τοῖς συμπεράσμασι τὸ κατὰ τὸν ὁρισμὸν
ἀναγκαῖον.</p><p>p. 31a3 Ὅταν δ᾿ ἡ κατηγορικὴ καθόλου τε καὶ ἀναγκαία ᾖ. κατὰ
μέρος διχῶς, φησίν, τὸ ὑπάρχον συνάγεται· καὶ γὰρ ἐν τῷ τετάρτῳ τρόπῳ, ὅτε καὶ
<lb n="20"/> ἔστιν καθόλου κατηγορική, καὶ ἐν τῷ τρίτῳ τρόπῳ, ὅταν ἡ μερικὴ κατηγορικὴ ἀναγ-
καία ᾖ· τηνικαῦτα γὰρ ἡ λοιπὴ καθόλου ἀποφατικὴ ὑπάρχουσα γίνεται, καὶ διὰ τοῦτο
τὸ συμπέρασμα ὑπάρχον. ὥστε διὰ τὸ δεύτερον πρόσκειται τὸ καὶ ἀναγκαία, οὐ
διὰ τὸ πρῶτον· ὡς ἂν γὰρ ἔχη ἡ καθόλου κατηγορικὴ κατὰ τὸ ὑπάρχον καὶ ἀναγ-
καῖον, ὑπάρχον συνάγεται.</p></div></div></body></text></TEI>