εἰς δύο τρίγωνα διελεῖν. ἢ διὰ τοῦτο καὶ ἐκ τριγώνων αὐτὸ συγκεῖσθαι ἀνάγκὴ, καὶ πρῶτα εἶναιαὐτοῦ τῆ φύσει τὰ τρίγωνα. καλῶς ἄρα ὁ πορφύριος γένος εἴπεν εἶναι τοῦ τετραγώνου τὸσχῆμα. Ει δὲ καὶ τὸ γένος ἀποδιδόντες τοῦ εἴδους ἐμεμνήμεθα, καὶ τὸ εἶδος ὁριζόμενοι μεμνήἡμεθα, εἰπόντες τὸ κατὰ πλειόνων καὶ διαφερόντων τῶ εἴδει ἐν τῶ τί ἐστι κατηγορουμένον, καὶτὸ εἴδος ὁριζόμενοι, πάλιν γένους μέμνἡμεθα, φάσκοντες, εἶδος ἐστὶ καὶ τὸ ὑπὸ τὸ ἀποδο-θὲν γένος, μὴδεῖς μέμψοιτο. Κατὰ ἀλήθειαν γὰρ ταῦτα λέγων ὁ πορφύριος, νομίζεταιτῆ διαλλήλω δείξει κεχρῆσθαι. ἡ δὲ διάλληλος δεῖξις, διαβέβληται παρὰ τοῖς φιλοσο-φοις, ὡς τὰ αὐτὰ καὶ πρῶτα καὶ δεύτερα ποιοῦσα, καὶ ἀμείβουσα τὴν τάξιν τῶν προτάσεων καὶ τῶν συμπερασμάτων. ποιεῖ γὰρ τὸ μὲν δεύτερον, πρῶτον. καὶ τὸ πρῶτον, δεύ-τερον. καὶ τὰ αὐτὰ τῶν αὐτῶν σαφέστεράτε ποιεῖ, καὶ ἀσαφέστερα. οἷον, ἐὰν εἴπη μοι τίςὅτι ἡ ψυχὴ ἀθάνατος, λέγω αὐτῶναι. πῶς, ὅτι ἡ ψυχῆ αὐτοκίνητος. τὸ αὐτοκίνητον,ἀεικίνητον. τὸ ἀεικίνητον, ἀθάνατον. ἡ ψυχὴ ἄρα ἀθάνατος. ἐὰν δὲ εἴπημοι πόθεν δῆ-λον ὅτι αὐτοκιίνητος ἡ ψυχή, εἴτα τοῦτο δεῖξαι βουλόμενος, εἴπω ὅτι ἡ ψυχὴ ἀθάνατος.τὸ ἀθάνατον, ἀεικίνητον. τὸ ἀεικίνητον, αὐτοκίνητον. ἡ ψυχῆ ἄρα αὐτοκίνητος. ἡ τοιαύτηδεῖξις, διάλληλος λέγεται. βουλόμενος γὰρ δεῖξαι ὅτι ἡ ψυχὴ ἀθάνατος, έλαβον τὸ αὐτοκίνητὸν πρῶτον, συνεπέρανα δὲ τὸ ἀθάνατον. βουλόμενος δὲ πάλιν δεῖξαι ὅτι ἡ ψυχῆ αὐτοκι-νητος, ἐλαβον πρῶτον τὸ ὕστερὸν λεχθὲν τὸ ἀθάνατον, καὶ συνεπέρανα ὅτι αὐτοκίνητος,τὸ πρῶτον ὕστερον ποιήσας. ὥστε διάλληλος δεῖξις ἐστὶν, ἡ τὰς προτάσεις συμπερά-σματὰ ποιοῦσα. καὶ πάλιν, τὰ συμπεράσματα ποιοῦσα προτάσεις. ὅθεν καὶ διαβέ-βληται. πᾶσα γὰρ ἀπόδειξις, τὰς μὲν προτάσεις σαφεῖς καὶ ὁμολογουμένας λαμβά-νει. τὸ δὲ συμπέρασμα ἀσαφες ὃν, σαφηνίζει καὶ φανερὸν ποιεῖ διὰ τῶν προτάσεων. εἰκό-ὖν διαβολῆς ἀξία, ἡ τὴν τάξιν τούτων ἀντιστρέφουσα. καὶ τὸ μὲν συμπέραςμαὅπερ πρότερον ὡς ἀσαφὲς ἐλαμβάνετο, σαφὲς ποιοῦσα τὸ ἐν τάξει προτάσεως παρὰλαμβάνειν. τὴν δὲ πρότασιν ἣν ὡς ὁμολογουμένην πρὶν ἐλαμβάνομεν, νῦν ἄδηλονσυμπέραςμα ποιοῦσα. πάλιν ἂν βουληθέντες δεῖξαι ὅτι ἡδὲ ἡ γυνὴ γάλα ἔχει, εἴπω-μεν ὅτι ἥδε ἡ γυνὴ τέτοκεν. ἡ δὲ τε τοκυία, γάλα ἔχει. ἡ δὲ ἄρα ἡ γυνὴ γάλα ἔχει. βουλη-θέντες δὲ αὐτὸ τοῦτο δεῖξαι πάλιν ὅτι τέτοκεν, εἴπωμεν. ἡδὲ ἡ γυνὴ, γάλα ἔχει. ἡ δὲ γάλαἔχουσα, τέτοκεν. ἡδὲ ἄρα ἡ γυνὴ τέτοκεν. ἐνταῦθα δὲ πάλιν τὰ αὐτὰ τῶν αὐτῶν καὶπρότερα ἐλάβομεν, καὶ ὕστερα. καὶ σαφέστερα, καὶ ἀσαφέστερα. πρότερον γὰρ ἐλαμβάνο-μεν, σαφὲς μὲν καὶ πρότερον, τὸ τε τοκέναι. ἀσαφὲς δὲ καὶ ὕστερον, τὸ γάλα ἔχειν. ὕστερον δὲἐλάβομεν, σαφὲς μὲν καὶ πρότερον, τὸ γάλα ἔχειν. ἀσαφὲς δὲ καὶ ὕστερον, τὸ τε τοκέναι. ὥστεἐν τῆ τοιαύτη δείξει, τὰ αὐτὰ τῶν αὐτῶν καὶ πρότερα λαμβάνεται καὶ ὕστερα. καὶ σαφέστέρακαὶ ἀσαφέστερα. πᾶσα γὰρ δεῖξις, ἢ ἐκ τοῦ ἀσαφοῦς τὸ σαφὲς ἀποδείκνυσιν, ἢ ἔμπάλινἐκ τοῦ σαφοῦς τὸ ἀσαφές. καὶ δῆλον ὅτι μόνη κυρίως ἐστὶ δεῖξις, ἡ ἐκ τοῦ σαφοῦς δει-κνύουσα τὸ ἀσαφές. αἱ οὖν ἄλλαι τρεῖς, ψεκταὶ, καὶ οὐδόλως δείξεις ἂν εἶεν. οὐ γὰρ οἷόντετὸ σαφὲς ἐκ τοῦ ἀσαφοῦς δηλωθῆναι. οὐ δὲ τὸ ἀσαφὲς ἐκ τοῦ ἀσαφοῦς. ἀλλ' οὐ δὲ τὸσαφὲς δείξεως δεῖται, ἵνα ἐξ ἄλλου σαφοῦς δηλωθῆ. πολλῶ οὖν ἀτοπώτερον τὸ ἐκ