Book 7
1.71
Of propositions that are not simple the hypothetical, according to Chrysippus in his Dialectics and Diogenes in his Art of Dialectic, is one that is formed by means of the conditional conjunction If. Now this conjunction promises that the second of two things follows consequentially upon the first, as, for instance, If it is day, it is light. An inferential proposition according to Crinis in his Art of Dialectic is one which is introduced by the conjunction Since and consists of an initial proposition and a conclusion; for example, Since it is day-time, it is light. This conjunction guarantees both that the second thing follows from the first and that the first is really a fact.
1.72
A coupled proposition is one which is put together by certain coupling conjunctions, e.g. It is day-time and it is light. A disjunctive proposition is one which is constituted such by the disjunctive conjunction Either, as e.g. Either it is day or it is night. This conjunction guarantees that one or other of the alternatives is false. A causal proposition is constructed by means of the conjunction Because, e.g. Because it is day, it is light. For the first clause is, as it were, the cause of the second. A proposition which indicates more or less is one that is formed by the word signifying rather and the word than in between the clauses, as, for example, It is rather day-time than night.
