Note 125 — Chapter V · LOGIC OF THE STOICS.

Sext. Pyrrh. ii. 140 and 135; Math. viii. 305; 313; and 411: True forms of inference are divided into ἀποδεικτικοὶ and οὐκ ἀποδεικτικοὶ. ἀποδεικτικοὶ = οἱ διὰ προδήλων ἄδηλόν τι συνάγοντες· οὐκ ἀποδεικτικοὶ when this is not the case, as in the inference: If it is day, it is light—It is day, ∴ It is light; for the conclusion, It is light, is known as well as it is known that It is day. The ἀποδεικτικοὶ may proceed either ἐφοδευτικῶς from the premisses to the conclusions, or ἐφοδευτικῶς ἅμα καὶ ἐκκαλυπτικῶς· ἐφοδευτικῶς when the premisses rest upon belief (πίστις and μνήμη); ἐκκαλυπτικῶς when they are based on a scientific necessity. ↑