Page 40b23

Ἀνάγκη δὴ πάντα συλλογισμὸν καὶ πᾶσαν ἀπόδειξιν ἢ ὑπάρχον τί τινι ἢ μὴ ὑπάρχον δεικνύναι. Δεικνύς, ὅτι πᾶς συλλογισμὸς τῶν εἰρημένων τις ἔσται καὶ ἔν τινι τῶν τριῶν σχημάτων, διαίρεσιν τῶν δεικνυμένων συλλογιστικῶς πρῶτον ποιεῖται, καὶ οὕτως ἕκαστον τῶν ἐκ τῆς διαιρέσεως δείκνυσι μὴ δυνάμενον ἄλλως δειχθῆναι, εἰ μὴ διά τινος τῶν προειρημένων τριῶν σχημάτων καὶ τῶν ἐν τούτοις συζυγιῶν· τούτου γὰρ δειχθέντος ἀποδειχθὲν ἄν εἴη τὸ προκείμενον. λαμβάνει δὴ τὸ πᾶσαν ἀπόδειξιν καὶ πάντα συλλογισμὸν (κοινότερον νῦν τῆς ἀποδείξεως ὀνόματι χρώμενος) ἢ ὑπάρχον τί τινι δεικνύναι ἢ μὴ ὑπάρχον, καὶ ἑκάτερον τούτων ἢ καθόλου ἢ κατὰ μέρος· ἢ γὰρ παντὶ ὑπάρχειν ἢ μηδενὶ δείκνυσιν ὁ συλλογιζόμενος (ταῦτα γὰρ τὰ καθόλου) ἢ τινὶ ὑπάρχειν ἢ μὴ παντί · ταῦτα γὰρ τὰ ἐπὶ μέρους. εἰπὼν δέ, ὅτι τὰ δεικνύμενα ταῦτά ἐστι συλλογιστικῶς, ἑξῆς παρατίθεται καὶ τοὺς τρόπους τῶν δείξεων λέγων ἔτι ἢ δεικτικῶς ἢ ἐξ ὑποθέσεως, δεικτικῶς μὲν λέγων τοὺς κατηγορικῶς καὶ δι’ οὐδεμιᾶς ὑποθέ|σεως ἀκκὰ ν τὸ προκείμενον ἄντικρυς καὶ αὐτόθεν δεικνύντας (οὐ γὰρ χρῶνται τῷ ὀνόματι ἐπὶ τούτου τοῦ τρόπου τῆς δείξεως ἀλλὰ τῷ δεικτικῷ, κατηγορικὸν δὲ ἐν ἔθει αὐτοῖς τὸ καταφατικὸν λέγειν), ἐξ ὑποθέσεως· δὲ τοὺς ὑπόθεσίν τινα θέντας ἐν τῇ δείξει καὶ ὑποτεθείσῃ προσχρωμένους προτάσει ἢ μιᾷ ἢ καὶ πλείοσι. δείξει δέ, ὅτι καὶ ἐν τοῖς ἐξ ὑποθέσεως τὸ συλλογιστικῶς δεικνύμενον ἢ ὑπάρχειν τινὶ ἢ μὴ ὑπάρχειν δείκνυται, καὶ τούτων ἑκάτερον ἢ καθόλου ἢ κατὰ μέρος διὰ τούτων δείκνυται. φησὶ δὲ τοῦ ἐξ ὑποθέσεως μέρος καὶ εἶδος εἶναι καὶ τὴν δι’ ἀδυνάτου δεῖξιν ἐνδεικνύμενος ἡμῖν, τί ποτέ ἐστι τὸ ἐξ ὑποθέσεως, καὶ διὰ τί ἐξ ὑποθέσεως καλεῖται· καὶ γὰρ ἐν τοῖς δι’ ἀδυνάτου ὑποθέντες τὸ ἀντικείμενον, οὗ βουλόμεθα δεῖξαι, πρὸς τοῦτο τὸν συλλογισμὸν ποιούμεθα δεικνύντες ἀδύνατον αὐτό, προηγουμένως μὲν συλλογιζόμενοι καὶ δεικνύντες τὸ ψεῦδός τε καὶ ἀδύνατον, κατὰ συμβεβηκὸς δὲ καὶ κατασκευάζοντες τἀληθές τε καὶ τὸ προκείμενον. περὶ μὲν οὖν τῶν ἐξ ὑποθέσεως ποιήσεται τὸν λόγον· ἀκολουθήσει γὰρ ὁ περὶ ἐκείνων λόγος τούτοις. πρῶτον δὲ τοὺς κατηγορικῶς καὶ δεικτικῶς, ὥς φησι, δεικνύντας δείκνυσι πάντας διὰ τῶν προειρημένων γινομένους σχημάτων· ἐκ γὰρ τούτων φησὶν ἔσεσθαι γνώριμον καὶ τὸ τῶν ὑποθετικῶν.