THE LOGIC OF CAUSATION
Phase One: Macroanalysis
Chapter 3 – The Specific Determinations.
3. The Significance of Certain Findings.
We shall now look into the consistent combinations of the four genera of causation, symbolized as m, n, p, q, with each other or their negations. Implicit in our gradual development of these concepts of causation from a common paradigm, was the idea that they are abstractions, indefinite concepts that are eventually concretized in the more specific and definite compounds.
We have already found some of their combinations, namely mp and nq to be inconsistent. This was due to incompatibilities between clauses of their definitions, or in other words, certain rows of their matrices. Thus, row 6 of m (C + notE is impossible) is in conflict with row 22 (C1 + notE is possible) of p; similarly, row 7 of n (notC + E is impossible) is in conflict with row 23 (notC1 + E is possible) of q.
It is also possible to prove certain other combinations to be logically impossible. This can be done formally, but not at the present stage of development, because we do not yet have the technical means at this stage to treat negations of generic determinations. To define notm, notn, notp, notq in verbal terms would be extremely arduous and confusing. I will therefore for now merely affirm to you that combinations of any one positive generic determination with the negations of the three other generic determinations, for the very same terms, are inconsistent.
By elimination, we are left with only four consistent compounds, i.e. remaining combinations give rise to no inconsistency, i.e. whose respective clauses do not contradict each other. This means that, from the logical point of view, they are conceivable, and therefore worthy of further formal treatment. We may refer to them as the specific determinations, or species of causation.
The following table (where + and – signify, respectively, affirmation and denial of a determination) lists all combinations of the generics and identifies the logically possible specifics among them:
Table 3.1. Possible specifications of the 4 generic determinations.  
No. of genera  Compound  m  n  p  q  Modus 
Four  Mnpq  +  +  +  +  mp, nq impossible 
Three  mnp  +  +  +  –  mp impossible 
 mnq  +  +  –  +  nq impossible 
 mpq  +  –  +  +  mp impossible 
 npq  –  +  +  +  nq impossible 
Two  mp  +  –  +  –  mp impossible 
 nq  –  +  –  +  nq impossible 
Two  mn  +  +  –  –  possible 
 mq  +  –  –  +  possible 
 np  –  +  +  –  possible 
 pq  –  –  +  +  possible 
Only one  malone  +  –  –  –  will be proved impossible 
 nalone  –  +  –  –  will be proved impossible 
 palone  –  –  +  –  will be proved impossible 
 qalone  –  –  –  +  will be proved impossible 
None  non causation  –  –  –  –  possible 
The formulae given in the above table for each specific determination is as brief as possible. For instance, since m implies the negation of p and n implies the negation of q, ‘mn’ (meaning both complete and necessary causation) tacitly implies ‘notp and notq’ (neither partial nor contingent causation, with whatever complement); the latter negations need not therefore be mentioned. Similarly, an expression like malone signifies the affirmation of one generic determination (here, m) and the denial of all three others (i.e. notn and notq, as well as notp). This notation is far from ideal, but suffices for our current needs, since many combinations are eliminated at the outset.
We see that four specific determinations, namely mn, mq, np, pq, are formed by conjunction of positive causative propositions; these we shall call (following J. S. Mill’s nomenclature) joint determinations. It follows from the above table that each generic determination has only two species. Each generic determination may therefore be interpreted as a disjunction of its two possible embodiments; thus, m means mn or mq; n means mn or np; p means np or pq; and q means mq or pq. Also note, we could refer to mn as ‘onlystrong causation’ and to pq ‘onlyweak causation’, while mq and np are ‘mixtures of strong and weak’.
The four specific determinations formed by composing positive causative propositions with negative ones, namely malone, nalone, palone, qalone, will be called lone determinations. This expression is introduced at this stage to contrast it with generic and joint determinations. Clearly, one should not confuse an isolated generic symbol such as m with the corresponding specific symbol malone; I use this heavy notation to ensure no confusion arises. Moreover, nota bene: In the above table, these forms are eliminated at the outset, because they concern absolute partial or contingent causation, i.e. they are irrespective of complement and mean malone_{abs} etc. But as we shall later see, when they involve relative partial or contingent causation, i.e. when some complement is specified (in p_{rel} or q_{rel} or their negations), so that they mean malone_{rel} etc., they remain possible forms. This need not concern us at the moment, but is said to explain why these forms need to be named.
We would label as, simply, causation (or ‘any causation’), the disjunctive proposition “m or n or p or q”, or the more specific “mn or mq or np or pq”. Such positive propositions merely imply causation, if they involve less disjuncts or an isolated generic or joint determination. The contradictory of causation, noncausation, is the only remaining allowable combination, our table being exhaustive. This last possible combination involves negation of all four generic or joint determinations, note well. That is, it means “neither m nor n nor p nor q” or equally “neither mn nor mq nor np nor pq”.
The above table also allows us to somewhat interpret complex negations. The negation of any compound is equivalent to the disjunction of all remaining four compounds (three of causation and one of noncausation). For instance “not(mn)” means mq, np, pq, or noncausation. Similarly with any other formula.
Note that where one of the weak determinations is denied by reason of the affirmation of the contrary strong determination (m in the case of p, or n in the case of q), any and all proposed complements are denied. Where one of the weaks is affirmed (even if the other is radically denied), at least one complement is implied; and of course, the contrary strong determination is denied. In all other cases, we must remember to be careful and distinguish between restricted and radical negations of p or q, as already explained in the previous chapter.
We shall now examine in detail the four joint determinations, symbolized by mn, mq, np, and pq, each of which is obtained by consistent conjunction of two generic determinations. Each is thus a species shared by the two genera constituting it. Thus, mn is a specific case of m and a specific case of n; and so forth.
We have already encountered one of these joint determinations, viz. complete and necessary causation, the paradigm of causation. We shall now examine it in further detail, and also treat the other three joint determinations.
Complete and Necessary causation by C of E:
(i) If C, then E;
(ii) if notC, notthen E (may be left tacit);
(iii) where: C is possible.
And:
(iv) if notC, then notE;
(v) if C, notthen notE (may be left tacit);
(vi) where: C is unnecessary.
Table 3.2. Complete necessary causation.  
No.  Element/compound  Modus  Source/relationship  
1  C 
 Possible  (iii) 
2  notC 
 Possible  (vi) 
3 
 E  Possible  implied by (v) 
4 
 notE  possible  implied by (ii) 
5  C  E  possible  (v) or implied by (i) + (iii) 
6  C  notE  impossible  (i) 
7  notC  E  impossible  (iv) 
8  notC  notE  possible  (ii) or implied by (iv) + (vi) 
Notice how the merger of clauses (i), (ii) and (iii) with (iv), (v) and (vi) renders clauses (ii) and (v) redundant (though still implicit). Rows 58 of the above table (shaded) constitute the matrix of completenecessary causation.
Complete but Contingent causation by C1 of E:
(i) If C1, then E;
(ii) if notC1, notthen E (may be left tacit);
(iii) where: C1 is possible (may be left tacit).
And:
(iv) if (notC1 + notC2), then notE;
(v) if (C1 + notC2), notthen notE;
(vi) if (notC1 + C2), notthen notE;
(vii) where: (notC1 + notC2) is possible.
Table 3.3. Complete contingent causation.  
No.  Element/compound  Modus  Source/relationship  
1  C1 

 possible  (iii) or implied by (v) 
2  notC1 

 possible  implied by (vi) or (vii) 
3 
 C2 
 possible  implied by (vi) 
4 
 notC2 
 possible  implied by (v) or (vii) 
5 

 E  possible  implied by (v) or (vi) 
6 

 notE  possible  implied by (iv) + (vii) 
7  C1 
 E  possible  implied by (v) 
8  C1 
 notE  impossible  (i) 
9  notC1 
 E  possible  implied by (vi) 
10  notC1 
 notE  possible  (ii) or implied by (iv) + (vii) 
11 
 C2  E  possible  implied by (vi) 
12 
 C2  notE  open  if #12 is impossible, so is #24; and in view of (i): if #12 is possible, so is #24 
13 
 notC2  E  possible  implied by (v) 
14 
 notC2  notE  possible  implied by (iv) + (vii) 
15  C1  C2 
 open  if #15 is impossible, so is #19; and in view of (i): if #15 is possible, so is #19 
16  C1  notC2 
 possible  implied by (v) 
17  notC1  C2 
 possible  implied by (vi) 
18  notC1  notC2 
 possible  (vii) 
19  C1  C2  E  open  if #19 is possible, so is #15; and in view of (i): if #19 is impossible, so is #15 
20  C1  C2  notE  impossible  implied by (i) 
21  C1  notC2  E  possible  (v) 
22  C1  notC2  notE  impossible  implied by (i) 
23  notC1  C2  E  possible  (vi) 
24  notC1  C2  notE  open  if #24 is possible, so is #12; and in view of (i): if #24 is impossible, so is #12 
25  notC1  notC2  E  impossible  (iv) 
26  notC1  notC2  notE  possible  implied by (iv) + (vii) 
Notice how the merger of clauses (i), (ii) and (iii) with (iv), (v), (vi) and (vii) renders clauses (ii) and (iii) redundant (though still implicit). Rows 1926 of the above table constitute the matrix of completecontingent causation.
Concerning the four positions labeled open in the above table, note that the moduses of Nos. 12 and 24 are tied and likewise those of Nos. 15 and 19. Proof for the first two: if #12 (C2 + notE) is impossible, #24 (notC1 + C2 + notE) must also be impossible; if #24 (notC1 + C2 + notE) is impossible, then knowing #20 (C1 + C2 + notE) to be impossible, #12 (C2 + notE) must also be impossible; the rest follows by contraposition. Proof for the other two: if #15 (C1 + C2) is impossible, #19 (C1 + C2 + E) must also be impossible; if #19 (C1 + C2 + E) is impossible, then knowing from (i) that #20 (C1 + C2 + notE) is impossible, #15 (C1 + C2) must also be impossible; the rest follows by contraposition. The interpretation of these open cases is as follows.
(a) Suppose #12 is impossible; this means that “If C2, then E”. We know from #14 that “If notC2, notthen E”; and from #3 that “C2 is possible”. Whence, C2 satisfies the definition for being a complete cause of E, just like C1. Thus, in such case, C1 and C2 are simply parallel complete (and contingent) causes of E. This is quite conceivable, and as we have seen in an earlier section such causes may be compatible or incompatible. If #15 is possible, they are compatible; and if #15 is impossible, they are incompatible.
(b) Suppose #12 is possible; this means that “If C2, notthen E”, in which case C2 is not a complete cause of E. This is quite conceivable, covering situations where one of the contingent causes (namely, C1) is also complete, while the other (C2) is not complete. Additionally, we can say: if #15 is possible, they are compatible; and if #15 is impossible, they are incompatible; there is no problem of consistency either way.
However, a very interesting question arises in such case: is a contingent but not complete cause (like C2, here) bound to be a partial cause? C2 is certainly not a partial cause of E in conjunction with C1, since C1 is a complete cause of E. Therefore, if C2 is a partial cause of E, it will be so in conjunction with some other partial cause of E, say C3. But since C3 is unmentioned in our original givens, its existence is not formally demonstrable. We thus have no certainty that an incomplete contingent cause is implicitly a partial contingent cause! We will return to this issue later.
Partial yet Necessary causation by C1 of E:
(i) If notC1, then notE;
(ii) if C1, notthen notE (may be left tacit);
(iii) where: C1 is unnecessary (may be left tacit).
And:
(iv) if (C1 + C2), then E;
(v) if (notC1 + C2), notthen E;
(vi) if (C1 + notC2), notthen E;
(vii) where: (C1 + C2) is possible.
Table 3.4. Partial necessary causation.  
No.  Element/compound  Modus  Source/relationship  
1  C1 

 possible  implied by (vi) or (vii) 
2  notC1 

 possible  (iii) or implied by (v) 
3 
 C2 
 possible  implied by (v) or (vii) 
4 
 notC2 
 possible  implied by (vi) 
5 

 E  possible  implied by (iv) + (vii) 
6 

 notE  possible  implied by (v) or (vi) 
7  C1 
 E  possible  (ii) or implied by (iv) + (vii) 
8  C1 
 notE  possible  implied by (vi) 
9  notC1 
 E  impossible  (i) 
10  notC1 
 notE  possible  implied by (v) 
11 
 C2  E  possible  implied by (iv) + (vii) 
12 
 C2  notE  possible  implied by (v) 
13 
 notC2  E  open  if #13 is impossible, so is #21; and in view of (i): if #13 is possible, so is #21 
14 
 notC2  notE  possible  implied by (vi) 
15  C1  C2 
 possible  (vii) 
16  C1  notC2 
 possible  implied by (vi) 
17  notC1  C2 
 possible  implied by (v) 
18  notC1  notC2 
 open  if #18 is impossible, so is #26; and in view of (i): if #18 is possible, so is #26 
19  C1  C2  E  possible  implied by (iv) + (vii) 
20  C1  C2  notE  impossible  (iv) 
21  C1  notC2  E  open  if #21 is possible, so is #13; and in view of (i): if #21 is impossible, so is #13 
22  C1  notC2  notE  possible  (vi) 
23  notC1  C2  E  impossible  implied by (i) 
24  notC1  C2  notE  possible  (v) 
25  notC1  notC2  E  impossible  implied by (i) 
26  notC1  notC2  notE  open  if #26 is possible, so is #18; and in view of (i): if #26 is impossible, so is #18 
Notice here again how the merger of clauses (i), (ii) and (iii) with (iv), (v), (vi) and (vii) renders clauses (ii) and (iii) redundant (though still implicit). Rows 1926 of the above table (shaded) constitute the matrix of partialnecessary causation.
Concerning the four positions labeled open in the above table, note that the moduses of Nos. 13 and 21 are tied and likewise those of Nos. 18 and 21. These statements may be proved in the same manner as done for the preceding table; this is left to the reader as an exercise. We can also interpret these situations in similar ways. If #13 is impossible, C2 is a partial and necessary cause of E, parallel to C1; and notC2 is either compatible or incompatible with notC1 according to whether #18 is possible or impossible. If #13 is possible, C2 is a partial but not necessary cause of E, and notC2 is either compatible or not with notC1, according to whether #18 is possible or not.
However, it is not formally demonstrable that an unnecessary partial cause is implicitly a contingent partial cause; and the implications of this finding (or absence of finding) will have to be considered later.
Partial and Contingent causation by C1 of E:
(i) If (C1 + C2), then E;
(ii) if (notC1 + C2), notthen E;
(iii) if (C1 + notC2), notthen E;
(iv) where: (C1 + C2) is possible.
And:
(v) if (notC1 + notC2), then notE;
(vi) if (C1 + notC2), notthen notE;
(vii) if (notC1 + C2), notthen notE;
(viii) where: (notC1 + notC2) is possible.
Table 3.5. Partial contingent causation.  
No.  Element/compound  Modus  Source/relationship  
1  C1 

 possible  implied by (iii) or (iv) or (vi) 
2  notC1 

 possible  implied by (ii) or (vii) or (viii) 
3 
 C2 
 possible  implied by (ii) or (iv) or (vii) 
4 
 notC2 
 possible  implied by (iii) or (vi) or (viii) 
5 

 E  possible  implied by (vi) or (vii) 
6 

 notE  possible  implied by (ii) or (iii) 
7  C1 
 E  possible  implied by (vi) 
8  C1 
 notE  possible  implied by (iii) 
9  notC1 
 E  possible  implied by (vii) 
10  notC1 
 notE  possible  implied by (ii) 
11 
 C2  E  possible  implied by (vii) 
12 
 C2  notE  possible  implied by (ii) 
13 
 notC2  E  possible  implied by (vi) 
14 
 notC2  notE  possible  implied by (iii) 
15  C1  C2 
 possible  (iv) 
16  C1  notC2 
 possible  implied by (iii) or (vi) 
17  notC1  C2 
 possible  implied by (ii) or (vii) 
18  notC1  notC2 
 possible  (viii) 
19  C1  C2  E  possible  implied by (i) + (iv) 
20  C1  C2  notE  impossible  (i) 
21  C1  notC2  E  possible  (vi) 
22  C1  notC2  notE  possible  (iii) 
23  notC1  C2  E  possible  (vii) 
24  notC1  C2  notE  possible  (ii) 
25  notC1  notC2  E  impossible  (v) 
26  notC1  notC2  notE  possible  implied by (v) + (viii) 
Rows 1926 of the above table (shaded) constitute the matrix of partialcontingent causation. We note that here none of the original clauses are made redundant by the combination of partial and contingent causation. Furthermore, no position in the above table is left open, with regard to the possibility or impossibility of the item or combination concerned.
Additionally we can say that if C1 and C2 are, as here, complementary partial contingent causes of E, then they have the same set of relations to each other and to E. But this does not mean that if C1 and C2 are complementary partial causes of E, they are bound to be complementary contingent causes of E, since as we have seen both or just one of them may be necessary cause(s) of E. Similarly, we cannot say that if C1 and C2 are complementary contingent causes of E, they are bound to be complementary partial causes of E, since as we have seen both or just one of them may be complete cause(s) of E.
There may, of course, be more than one complement to C1 (i.e. complements C3, C4…, in addition to C2) in the last three joint determinations, mq, np or pq. Such cases may be similarly treated, as we have explained when considering the weaker generic determinations separately.
It is with reference to the joint determinations mq and np that the utility of reformatting sentences about partial or contingent causation becomes apparent. An mq proposition is best stated as “C1 is a complete and (complemented by C2) a contingent cause of E”, and a np proposition is best stated as “C1 is a necessary and (complemented by C2) a partial cause of E”.
We must now consider the hierarchy between the above four forms, since there are clearly differences in degree in the ‘bond’ between cause(s) and effect. Causation is obviously at its strongest when both complete and necessary (mn). It is difficult to say which of the next two forms (mq or np) is the stronger and which the weaker, they are not really comparable to each other; all we can say is that they are both less determining than the first and more determining than the last; let us call them middling determinations. Causation is weakest for each factor involved in partial and contingent causation (pq).
With regard to parallelism, we can infer that it is conditionally possible with reference to our previous findings in the matter.
Two completenecessary causes, C, C_{1}, of the same effect E, may be parallel, provided they are neither exhaustive nor incompatible with each other, i.e. provided “if C, notthen notC_{1} and if notC, notthen C_{1}” is true.
For completecontingent causation, it is conceivable that C1, C2 have this relation to E and C3, C4 have this same relation to E, provided the complete causes C1 and C3 are not exhaustive and the compounds (notC1 + notC2) and (notC3 + notC4) are not exhaustive. An interesting special case is when C2 = C4, i.e. when the two complete causes have the same complement in the contingent causation of E.
For partialnecessary causation, it is conceivable that C1, C2 have this relation to E and C3, C4 have this same relation to E, provided the necessary causes C1 and C3 are not incompatible and the compounds (C1 + C2) and (C3 + C4) are not exhaustive. An interesting special case is when C2 = C4, i.e. when the two necessary causes have the same complement in the partial causation of E.
For partialcontingent causation, the same condition of nonexhaustiveness between the parallel compounds involved applies. And here, too, note the special case when C2 = C4 as interesting.
Tables involving all the items concerned and their negations in all combinations may be constructed to analyze the implications of such parallelisms in detail.
The negations of the four joint determinations may be reduced to the denial of one or both of their constituent generic determinations. That is, not(mn) means ‘notm and/or notn’; not(mq) means ‘notm and/or notq’; not(np) means ‘notp and/or notn’; and not(pq) means ‘notp and/or notq’. Each of these alternative denials in turn implies denial of one or more of the constituent clauses, obviously.
3. The Significance of Certain Findings.
Let us review how we have proceeded so far. We started with the paradigm of causation, namely, complete necessary causation. We then abstracted its constituent “determinations”, the complete and the necessary aspects of it, and by negation formulated another two generic determinations, namely partial and contingent causation. We then recombined these abstractions, to obtain all initially conceivable formulas. Some of these formulas (mp, nq) could be eliminated as logically impossible by inspecting their definitions and finding contradictory elements in them. Others (the lone determinations, obtained by conjunction of only one generic determination and the negations of all three others) were eliminated on the basis of later findings not yet presented here. This left us with only five logically tenable specific causative relations between any two items, namely the four joint determinations (the consistent conjunctions generic determinations) and noncausation (the negation of all four generic determinations).
When I personally first engaged in the present research, I was not sure whether or not the (absolute) lone determinations were consistent or not. Because each lone determination involves three negative causative propositions in conjunction, and each of these is defined by disjunction of the negations of the defining clauses of the corresponding positive form, it seemed very difficult to reliably develop matrixes for them. I therefore, as a logician[1], had to assume as a working hypothesis that they were logically possible. It is only in a later phase, when I developed “matricial microanalysis” that I discovered that they can be formally eliminated. Take my word on this for now. This discovery was very instructive and important, because it signified that causation is more “deterministic” than would otherwise have been the case.
If lone determinations had been logically possible, causation would have been moderately deterministic. For two items might be causatively related on the positive side, but not on the negative side, or viceversa. Something could be only a complete cause (or only a partial cause) of another without having to also be a necessary or contingent one; or it could be only a necessary cause (or only a contingent cause) of another without having to also be a complete or partial one. But as it turned out there is logically no such degree of freedom in the causative realm.
If two things are causatively related at all, they have to be ultimately related in one (and indeed only one) of the four ways described as the joint determinations[2], i.e. in the way of mn, mq, np, or pq. The concepts m, n, p, q are common aspects of these four relations and no others. There is no “softer” causative relation. Causation is “full” or it is not at all; no “holes” are allowed in it.
We can formulate the following “laws of causation” in consequence:
 If something is a complete or partial cause of something, it must also be either a necessary or (with some complement or other) a contingent cause of it.
 If something is a necessary or contingent cause of something, it must also be either a complete or (with some complement or other) a partial cause of it.
 In short, since a lone determination is impossible, if something is at all a causative of anything, it must be related in the way of a joint determination with it.
These laws have the following corollaries:
 If something is neither a necessary nor contingent cause of something, it must also be neither a complete nor (with whatever complement) a partial cause of it.
 If something is neither a complete nor partial cause of something, it must also be either neither a necessary nor (with whatever complement) a contingent cause of it.
 In short, since a lone determination is impossible, if two things are known not to be related in the way of either pair of contrary generic determinations (i.e. m and p, or n and q), they can be inferred to be not causatively related at all.
Also:
 The complement of a partial cause of something, being also itself a partial cause of that thing, must either be a necessary or (with some complement or other) a contingent cause of that thing.
 The complement of a contingent cause of something, being also itself a contingent cause of that thing, must either be a complete or (with some complement or other) a partial cause of that thing.
With regard to the epistemological question, as to how these causative relations are to be established, we may say that they are ultimately based on induction (including deduction from induced propositions): we have no other credible way to knowledge. Causative propositions may of course be built up gradually, clause by clause (see definitions in the previous chapter).
As I showed in my work Future Logic, the positive hypothetical (i.e. if/then) forms, from which causatives are constructed, result from generalizations from experience of conjunctions between the items concerned (which generalizations are of course revised by particularization, when and if they lead to inconsistency with new information). The negative hypothetical (i.e. if/notthen) forms are assumed true if no positive forms have been thus established, or are derived by the demands of consistency from positive forms thus established. In their case, an epistemological quandary may be translated into an ontological fait accompli (at least until if ever reason is found to prefer a positive conclusion).
We may first, by such induction (or deduction thereafter), propose one of the four generic determinations in isolation. The proposed generic determination is effectively treated as a joint determination “inwaiting”, a convenient abstraction that does not really occur separately, but only within conjunctions. We are of course encouraged by methodology to subsequently vigorously research which of the four joint determinations can be affirmed between the items concerned. In cases where all such research efforts prove fruitless, we are simply left with a problematic statement, such as (to give an instance) “P is a complete cause, and either a necessary or a contingent cause, of Q”.
But, since lone determination does not exist, we can never opt for a negative conclusion, like “P is a complete cause, but neither a necessary nor a contingent cause, of Q”. We may not in this context effectively generalize from “I did not find” to “there is not” (a further causative relation). We may not interpret a structural doubt as a negative structure, an uncertainty as an indeterminacy.
In the history of Western philosophy, until recent times, the dominant hypothesis concerning causation has been that it is applicable universally. Some philosophers mitigated this principle, reserving it for ‘purely physical’ objects, excepting beings with volition (humans, presumably Gd, and even perhaps higher animals). A few, notably David Hume, denied any such “law of causation” as it has been called.
But in the 20th Century, the idea that there might, even in Nature (i.e. among entities without volition), be ‘spontaneous’ events gained credence, due to unexpected developments in Physics. That idea tended to be supported by the Uncertainty Principle of Werner Heisenberg for quantum phenomena, interpreted by Niels Bohr as an ontological (and not merely epistemological) principle of indeterminacy, and the BigBang theory of the beginning of the universe, which Stephen Hawking considered as possibly implying an ex nihilo and noncreationist beginning.
We shall not here try to debate the matter. All I want to do at this stage is stress the following nuances, which are now brought to the fore. The primary thesis of determinism is that there is causation in the world; i.e. that causal relations of the kind identified in the previous chapter (the four generic determinations) do occur in it. Our abovementioned discovery that such causation has to fit in one of the four specific determinations may be viewed as a corollary of this thesis, or a logically consistent definition of it.
This is distinct from various universal causation theses, such as that nothing can occur except through causation (implying that causation is the only existing form of causality), or that at least nothing in Nature can do so (though for conscious beings other forms of causality may apply, notably volition), among others.
We shall analyze such socalled laws of causation in a later chapter; suffices for now to realize that they are extensions, attempted generalizations, of the apparent fact of causation, and not identical with it. Many philosophers seem to be unaware of this nuance, effectively regarding the issue as either ‘causation everywhere’ or ‘no causation anywhere’.
The idea that causation is present somewhere in this world is logically quite compatible with the idea that there may be pockets or borders where it is absent, a thesis we may call ‘particular (i.e. nonuniversal) causation’. We may even, more extremely, consider that causation is poorly scattered, in a world moved principally by spontaneity and/or volition.
The existence of causation thus does not in itself exclude the spontaneity envisaged by physicists (in the subatomic or astronomical domains); and it does not conflict with the psychological theory of volition or the creationist theory of matter[3].
Apparently, then, though determinism may be the major relation between things in this world, it leaves some room, however minor (in the midst or at the edges of the universe), for indeterminism.
We will give further consideration to these issues later, for we cannot deal with them adequately until we have clarified the different modes of causation.
[1] The logician must keep an open mind so long as an issue remains unresolved. Logic cannot at the outset, without good reason, close doors to alternatives. Where formal considerations leave spaces, we cannot impose prejudices or speculations. The reason being that the aim of the science of logic is to prepare the ground for discourse and debate. If it takes arbitrary ‘metaphysical’ positions at the outset, it deprives us of a language with which to even consider opposite views. So long as formal grounds for some thesis is lacking, its antithesis must remain utterable.
[2] It is interesting to note that, although J. S. Mill did not (to my knowledge) consider the issue of lone determinations, he turned out to be right in acknowledging only the four joint determinations.
[3] Note incidentally that to say that Gd created the world does not imply that He did so specifically as and when the Bible seems to describe it; He may equally well have created the first concentration of matter and initiated the BigBang. Note also, that Creationism implies the preexistence of Gd, a ‘spiritual’ entity; it is therefore a theory concerning the beginning of ‘matter’, but not of existence as such. Gd is in it posited as Eternal and Transcendental, or prior to or beyond time and space, but still ‘existent’. With regard to such issues, including the compatibility of spontaneity and volition with Creation, see my Buddhist Illogic, chapter 10.