- Source
- Diogenes Laertius. Hicks, R. D., editor. Cambridge, MA.: Harvard University Press; London: William Heinemann Ltd., 1925.
- Translation
- AI-generated (gemini-3.8-flash) — machine translation; may contain errors
- Languages
- 日本語 · English · 简体中文 · 한국어
- CTS URN
- urn:cts:greekLit:tlg0004.tlg001.humanitext-grc2:7.1.77-7.1.81
- Generated
- Humanitext Reader · reader.humanitext.ai · 2026-09-28
The passage defines the argument-mood (logotropos), distinguishes conclusive from non-conclusive and syllogistic arguments, and sets out Chrysippus' five indemonstrable forms alongside the rules of conditional consequence.
Λογότροπος δέ ἐστι τὸ ἐξ ἀμφοτέρων σύνθετον, οἷον εἰ ζῇ Πλάτων, ἀναπνεῖ Πλάτων· ἀλλὰ μὴν τὸ πρῶτον· τὸ ἄρα δεύτερον. παρεισήχθη δὲ ὁ λογότροπος ὑπὲρ τοῦ ἐν ταῖς μακροτέραις συντάξεσι τῶν λόγων μηκέτι τὴν πρόσληψιν μακρὰν οὖσαν καὶ τὴν ἐπιφορὰν λέγειν1, ἀλλὰ συντόμως ἐπενεγκεῖν, τὸ δὲ πρῶτον· τὸ ἄρα δεύτερον. Τῶν δὲ λόγων οἱ μέν εἰσιν ἀπέραντοι, οἱ δὲ περαντικοί. ἀπέραντοι μὲν ὧν τὸ ἀντικείμενον τῆς ἐπιφορᾶς οὐ μάχεται τῇ διὰ τῶν λημμάτων συμπλοκῇ, οἷον οἱ τοιοῦτοι, εἰ ἡμέρα ἐστί, φῶς ἐστι· ἡμέρα δέ ἐστι· περιπατεῖ ἄρα Δίων.
A logotropos (argument-mood) is that which is compounded of both, for example: "If Plato lives, Plato breathes; but indeed the first; therefore the second." The logotropos was introduced in order that in longer compositions of arguments one might no longer state the additional premise (minor premise), being long, and the conclusion, but concisely conclude: "And the first; therefore the second." Of arguments, some are non-conclusive, while others are conclusive. Non-conclusive are those in which the contradictory of the conclusion does not conflict with the conjunction formed by the premises, such as the following: "If it is day, there is light; and it is day; therefore Dion walks."
Τῶν δὲ περαντικῶν λόγων οἱ μὲν ὁμωνύμως τῷ γένει λέγονται περαντικοί2· οἱ δὲ συλλογιστικοί. συλλογιστικοὶ μὲν οὖν εἰσιν οἱ ἤτοι ἀναπόδεικτοι ὄντες ἢ ἀναγόμενοι ἐπὶ τοὺς ἀναποδείκτους κατά τι τῶν θεμάτων ἤ τινα, οἷον οἱ τοιοῦτοι εἰ περιπατεῖ Δίων, 〈κινεῖται Δίων· ἀλλὰ μὴν περιπατεῖ Δίων〉· κινεῖται ἄρα Δίων. περαντικοὶ δέ εἰσιν εἰδικῶς οἱ συνάγοντες μὴ συλλογιστικῶς, οἷον οἱ τοιοῦτοι, ψεῦδός ἐστι τὸ ἡμέρα ἐστὶ καὶ νύξ ἐστι· ἡμέρα δέ ἐστιν· οὐκ ἄρα νύξ ἐστιν. ἀσυλλόγιστοι δʼ εἰσὶν οἱ παρακείμενοι μὲν πιθανῶς τοῖς συλλογιστικοῖς, οὐ συνάγοντες δέ, οἷον εἰ ἵππος ἐστὶ Δίων, ζῷόν ἐστι Δίων· 〈ἀλλὰ μὴν ἵππος οὐκ ἔστι Δίων〉· οὐκ ἄρα ζῷόν ἐστι Δίων.
Of conclusive arguments, some are called conclusive homonymously with the genus, while others are syllogistic. Syllogistic arguments, then, are those which are either indemonstrable or reducible to the indemonstrables according to one or more of the logical themes (rules), such as the following: "If Dion walks, Dion moves; but indeed Dion walks; therefore Dion moves." And specifically conclusive arguments are those which draw a conclusion non-syllogistically, such as the following: "It is false that it is day and it is night; and it is day; therefore it is not night." And asyllogistic arguments are those which plausibly resemble the syllogistic ones, but do not validly conclude, for example: "If Dion is a horse, Dion is an animal; but indeed Dion is not a horse; therefore Dion is not an animal."
Ἔτι τῶν λόγων οἱ μὲν ἀληθεῖς εἰσιν, οἱ δὲ ψευδεῖς. ἀληθεῖς μὲν οὖν εἰσι λόγοι οἱ διʼ ἀληθῶν συνάγοντες, οἷον εἰ ἡ ἀρετὴ ὠφελεῖ, ἡ κακία βλάπτει· 〈ἀλλὰ μὴν ὠφελεῖ ἡ ἀρετή· ἡ κακία ἄρα βλάπτει〉. ψευδεῖς δέ εἰσιν οἱ τῶν λημμάτων ἔχοντές τι ψεῦδος ἢ ἀπέραντοι ὄντες, οἷον εἰ ἡμέρα ἐστί, φῶς ἐστιν· ἡμέρα δέ ἐστι· ζῇ ἄρα Δίων. καὶ δυνατοὶ δʼ εἰσὶ λόγοι καὶ ἀδύνατοι καὶ ἀναγκαῖοι καὶ οὐκ ἀναγκαῖοι· εἰσὶ δὲ καὶ ἀναπόδεικτοί τινες, τῷ μὴ χρῄζειν ἀποδείξεως, ἄλλοι μὲν παρʼ ἄλλοις, παρὰ δὲ τῷ Χρυσίππῳ πέντε, διʼ ὧν πᾶς λόγος πλέκεται· οἵτινες λαμβάνονται ἐπὶ τῶν περαντικῶν καὶ ἐπὶ τῶν συλλογισμῶν καὶ ἐπὶ τῶν τροπικῶν.
Furthermore, of arguments some are true, others false. True arguments, then, are those that conclude through true premises, for example: "If virtue is beneficial, vice is harmful; but indeed virtue is beneficial; therefore vice is harmful." False arguments are those that have some falsehood among the premises or are non-conclusive, for example: "If it is day, there is light; and it is day; therefore Dion lives." Arguments are also possible, impossible, necessary, and not necessary. Some are also called indemonstrable, through not needing demonstration; different writers reckon different numbers of them, but Chrysippus recognizes five, through which every argument is woven; and these are employed in the case of conclusive arguments, syllogisms, and categorical/mood forms.
πρῶτος δέ ἐστιν ἀναπόδεικτος ἐν ᾧ πᾶς λόγος συντάσσεται ἐκ συνημμένου καὶ τοῦ ἡγουμένου, ἀφʼ οὗ ἄρχεται τὸ συνημμένον καὶ τὸ λῆγον ἐπιφέρει3, οἷον εἰ τὸ πρῶτον, τὸ δεύτερον· ἀλλὰ μὴν τὸ πρῶτον· τὸ ἄρα δεύτερον. δεύτερος δʼ ἐστὶν ἀναπόδεικτος ὁ διὰ συνημμένου καὶ τοῦ ἀντικειμένου τοῦ λήγοντος τὸ ἀντικείμενον τοῦ ἡγουμένου ἔχων συμπέρασμα, οἷον εἰ ἡμέρα ἐστί, φῶς ἐστιν· ἀλλὰ μὴν νύξ ἐστιν· οὐκ ἄρα ἡμέρα ἐστίν. ἡ γὰρ πρόσληψις γίνεται ἐκ τοῦ ἀντικειμένου τῷ λήγοντι καὶ ἡ ἐπιφορὰ ἐκ τοῦ ἀντικειμένου τῷ ἡγουμένῳ. τρίτος δέ ἐστιν ἀναπόδεικτος ὁ διʼ ἀποφατικῆς συμπλοκῆς καὶ ἑνὸς τῶν ἐν τῇ συμπλοκῇ ἐπιφέρων τὸ ἀντικείμενον τοῦ λοιποῦ, οἷον οὐχὶ τέθνηκε Πλάτων καὶ ζῇ Πλάτων· ἀλλὰ μὴν τέθνηκε Πλάτων· οὐκ ἄρα ζῇ Πλάτων.
The first indemonstrable is that in which the entire argument is composed of a conditional and the antecedent with which the conditional begins, and infers the consequent as conclusion, for example: "If the first, the second; but indeed the first; therefore the second." The second indemonstrable is that which, by means of a conditional and the contradictory of the consequent, has the contradictory of the antecedent as its conclusion, for example: "If it is day, there is light; but indeed it is night; therefore it is not day;" for the additional premise comes from the contradictory of the consequent, and the conclusion from the contradictory of the antecedent. The third indemonstrable is that which, by means of a negative conjunction and one of the conjuncts in the conjunction, infers the contradictory of the remainder, for example: "Not: Plato has died and Plato lives; but indeed Plato has died; therefore Plato does not live."
τέταρτος δέ ἐστιν ἀναπόδεικτος ὁ διὰ διεζευγμένου καὶ ἑνὸς τῶν ἐν τῷ διεζευγμένῳ τὸ ἀντικείμενον τοῦ λοιποῦ ἔχων συμπέρασμα, οἷον ἤτοι τὸ πρῶτον ἢ τὸ δεύτερον· ἀλλὰ μὴν τὸ πρῶτον· οὐκ ἄρα τὸ δεύτερον. πέμπτος δέ ἐστιν ἀναπόδεικτος ἐν ᾧ πᾶς λόγος συντάσσεται ἐκ διεζευγμένου καὶ ἑνὸς τῶν ἐν τῷ διεζευγμένῳ ἀντικειμένων καὶ ἐπιφέρει τὸ λοιπόν, οἷον ἤτοι ἡμέρα ἐστὶν ἢ νύξ ἐστιν· οὐχὶ δὲ νύξ ἐστιν· ἡμέρα ἄρα ἐστίν. Ἐπʼ ἀληθεῖ δʼ ἀληθὲς ἕπεται κατὰ τοὺς Στωικούς, ὡς τῷ ἡμέρα ἐστὶ τὸ φῶς ἐστι· καὶ ψεύδει ψεῦδος, ὡς τῷ νύξ ἐστι ψεύδει τὸ σκότος ἐστί· καὶ ψεύδει ἀληθές, ὡς τῷ ἵπτασθαι τὴν γῆν τὸ εἶναι τὴν γῆν. ἀληθεῖ μέντοι ψεῦδος οὐκ ἀκολουθεῖ· τῷ γὰρ εἶναι τὴν γῆν τὸ πέτεσθαι τὴν γῆν οὐκ ἀκολουθεῖ.
The fourth indemonstrable is that which, by means of a disjunctive proposition and one of the disjuncts in the disjunction, has the contradictory of the remainder as its conclusion, for example: "Either the first or the second; but indeed the first; therefore not the second." The fifth indemonstrable is that in which the entire argument is composed of a disjunctive proposition and one of the opposing terms in the disjunction, and infers the remainder, for example: "Either it is day or it is night; but it is not night; therefore it is day." According to the Stoics, truth follows upon truth, as upon "It is day" follows "There is light;" and upon falsehood follows falsehood, as upon the false proposition "It is night" follows "There is darkness;" and upon falsehood follows truth, as upon "The earth flies" follows "The earth exists." Upon truth, however, falsehood does not follow; for upon "The earth exists," "The earth flies" does not follow.
- 7.1.77ὑπὲρ τοῦ ἐν ταῖς μακροτέραις συντάξεσι τῶν λόγων μηκέτι τὴν πρόσληψιν μακρὰν οὖσαν καὶ τὴν ἐπιφορὰν λέγειν
The preposition ὑπέρ governs the articular genitive infinitive τοῦ ... λέγειν to express purpose. The negative adverb μηκέτι modifies the infinitive, while the participle μακρὰν οὖσαν stands in predicate position with respect to τὴν πρόσληψιν, indicating circumstance/reason ("the minor premise, being long").
- 7.1.78ὁμωνύμως τῷ γένει λέγονται περαντικοί
The dative τῷ γένει completes the adverb ὁμωνύμως ("homonymously with the genus"). It signifies that the wider genus term "conclusive" (περαντικοί) is applied homonymously to a specific species of conclusive arguments that conclude non-syllogistically.
- 7.1.80ἐν ᾧ πᾶς λόγος συντάσσεται ἐκ συνημμένου καὶ τοῦ ἡγουμένου, ἀφʼ οὗ ἄρχεται τὸ συνημμένον καὶ τὸ λῆγον ἐπιφέρει
With πᾶς λόγος as the subject of the relative clause, the two verbs συντάσσεται and ἐπιφέρει are coordinated. The prepositional phrase ἐκ συνημμένου καὶ τοῦ ἡγουμένου depends on συντάσσεται, while the relative phrase ἀφʼ οὗ takes τοῦ ἡγουμένου as its antecedent ("from which the conditional begins"). Finally, καὶ τὸ λῆγον ἐπιφέρει ("and infers the consequent") specifies the drawing of the conclusion.
