www.TheLogician.net © Avi Sion  all rights reserved 
The Logician © Avi Sion All rights reserved

THE LOGIC OF CAUSATION © Avi Sion, 2003. All rights reserved.
Phase Two: Microanalysis Chapter 12  Systematic Microanalysis
2.
Moduses in a TwoItem Framework 3.
Catalogue of Moduses, for Three
Items 4.
Enumeration of Moduses, for Three
Items
Our study of causative propositions, in a first phase, consisted in conception of positive forms, their dissection into defining clauses, and their matricial analysis, or more precisely their macroanalysis. That provided us with the means to solve various problems, including many syllogistic issues; but it left us without practical means to answer questions concerning negative forms. We consequently, in a second phase, opted for a more detailed and deep method of study, microanalysis. We thus somewhat improved our predictive abilities; but serious difficulties remained, due to our approach being piecemeal. To resolve outstanding issues, we must approach microanalysis in a more systematic manner. Instead of constructing matrices for each propositional form, we shall proceed in the opposite direction and conceive a grand matrix for the items concerned in which each and every propositional form can be located. A grand matrix tabulates all conceivable moduses for a given number of items, and assigns a numerical label (an address, as it were) to each such logical possibility. Once this is developed, we can identify the places of the various determinations within such a broad framework, and easily predict all their interactions. Through grand matrices, we have an overview of all possible relations between the items concerned. We can then focus on particular segments of the matrix as signifying this or that specific relation. Two items (P, R) give rise to a table with 2^{2} = 4 rows (with PR sequences 11, 10, 01, 00, conventionally so ordered), and 2^{4} = 16 modus columns (conventionally ordered with the maximum number of zeros on the left and the maximum number of ones on the right, then numbered 116). Such a table defines the general relation of any pair of items, and is the same whatever they happen to be. A specific relation proposed for two particular items is then expressed by highlighting the modus column(s) corresponding to that specific relation (or by stating their numerical labels). The degree of determination involved is visually represented by the pattern of zeros and ones which stand out against the background of the grand matrix in which they are imbedded. The grand matrix prefigures all ‘potential’ configurations for the number of items involved; while the highlighted alternative(s) depict the apparent or supposed ‘actual’ configuration for the particular items under scrutiny, which constitutes the distinctive determination relating them with each other. In the case of three items (P, Q, R), the table has 2^{3} = 8 rows and 2^{8} = 256 modus columns, conventionally ordered in a similar manner. For four items (P, Q, R, S) we can expect a table with 2^{4} = 16 rows and 2^{16} = 65,536 modus columns. And so forth. Note well that the concrete content of the items is irrelevant to the structure of the grand matrix; it looks the same for any given number of items. From an epistemological and ontological point of view, a grand matrix depicts the universe of imaginable relations between any two (or more) items in the world or in knowledge taken at random. In reality, i.e. in the experienced world or at a given stage of knowledge development, only some of these relations (alternative moduses, i.e. conjunctions of presences and absences) will be found applicable to the items under scrutiny. Thus, we can visualize the ‘distance’ (their separation in spacetime, or their conceptual difference) between any two or more items in the world or in knowledge as inhabited by a belt[1] with strips of zeros and ones (a grand matrix with alternative moduses), of which some are highlighted or potent in the case concerned, and the rest are neutralized or inactive. We thus propose a very binary structure for the world and for knowledge, appealing by its universality and simplicity. Indeed, in this perspective, we can even conceive of a ‘universal matrix’, comprising the umpteen items in the world or in knowledge, and an enormous tapestry of logically possible relations with zillions of zeros and ones in their every combination and permutation. For x items, this matrix would have y = 2^{x} rows and z = 2^{y} columns. With this image in mind, the pursuit of knowledge can be considered as an attempt to pinpoint  on the basis of sensory and other experience, as well as of mental speculation and logical insight  the applicable moduses within such broad ranges, for the items concerned. A specific relation like ‘causation’ or ‘complete causation’ is thus a selection of moduses proposed as applicable to the concrete items concerned. The applicable alternative moduses constitute the ‘bond’ (of some degree) between the items in a given case. Identification of applicable moduses proceeds gradually, inductively (with deduction as but a tool of induction). They are not known immediately, without residual doubts. Intellectual work is required. We start with a mass of phenomena in flux. Appearances are presented to consciousness, perceptually (concretes) or conceptually (abstracts). We stratify some as ‘given’ (pure) and others as ‘speculative’ (mental projections about the pure), and try through logical insight to judge the hypotheses most fitting for the overall context of currently available data. Much of our ‘thinking’ in relation to causation consists simply in trying to encapsulate the data available in the different forms of causation. This is a trial and error process, which may be characterized as successive formulation and (if need arise) elimination of hypotheses. Our approach may be passive, unconscious; or proactive, purposeful. Normally, we first try out the strongest form of causation (mn), then lesser forms (mq or np), and finally the weakest (pq); if none of these work, we conclude with noncausation. Alternatively, we may proceed on a deeper level, with reference to ifthen statements or, more cautiously, to moduses, before we build up comprehensive causative propositions. As the empirical context changes, growing and becoming more focused, our opinion may vary. We may also discover, through deductive reasoning, inconsistencies between different conclusions. What seemed previously a successful summary of information then has to be reviewed. But eventually things seem to settle down and solidify, and we may presume that our opinion at last corresponds to (or more closely than ever approaches) the ‘real’ state of affairs, and may be regarded as knowledge. Logic, after working out matricial configurations, immediately imposes one universal restriction: the alternative modus in any grand matrix consisting only of zeros, with no ones, cannot be true. Whatever the grand matrix, i.e. for any number and content of items, only alternative moduses involving at least one ‘1’ code are at all credible; in every such matrix, the first modus, composed entirely of ‘0’ codes, has no credibility. This is just a restatement with regard to matricial analysis of the Laws of NonContradiction and of the Excluded Middle. Since the rows of our matrix already predict every conceivable combination of the items in their positive and negative forms, at least one of these rows has to possibly exist; if a column means that none of these combinations may occur, it contradicts that setup and lays claim to yet another combination of items. Such a claim would be absurd, and may be rejected at the outset. All other moduses are logically sound per se, though they might well be excluded within a given context. Indeed, the knowledge enterprise may be viewed as a search for good reasons for the elimination of as many moduses as we can, so as to be left with a limited number of moduses which signify an interesting specific relation like causation. We thus move from the vaguely conceivable, to a more focused and pondered evaluation. We cannot say at the outset which relation (expressed by one or more moduses) applies in a given case. There is bound to be some relation, but as we shall soon see logic does not insist on a specifically causative relation, it allows for a noncausative relation. Ab initio, all logic stipulates is that the modus consisting only of zeros can never apply. This is the nearest thing to a ‘law of causation’ we can foresee at this stage; which by itself implies that there is no law of causation in the traditional senses, or that if there is one it must be sought for in other ways. We shall, of course, return to this topic in more detail, in a later chapter. 2.
Moduses in a TwoItem Framework. We shall first consider a twoitem framework, and catalogue all its conceivable moduses, then enumerate those applicable to each category of proposition. In the following table, P is looked upon as a putative cause, while R is looked upon as a putative effect. Their conceivable combinations define rows, and columns refer to all initially conceivable alternative moduses for them. In a twoitem grand matrix, there are 4 rows and 16 columns, as we have seen, and therefore 64 cells. Each cell may equally be coded 0 (impossible) or 1 (possible), so that each code will occur a total of 32 times. The matrix is constructed by coding: in the first row, 0 in the first 8 cells then 1 in the last 8 cells; for the second row, 0 in the first and third set of 4 cells then 1 in the second and fourth set of 4 cells; in the third row, we have a succession of pairs, 00, 11, 00, 11, and so forth; finally, in the fourth row, we coded 0, 1, 0, 1, in succession. We are thus sure to have foreseen every possible interplay of 0 and 1 codes. Take the time to notice that we have ordered the alternative moduses in a progressive manner, starting with a maximum number of 0s in a column (no cell coded 1) and ending with a maximum number of 1s in a column (no cell coded 0). We then conventionally number (or label) the columns so ordered, 116. The rows, note well, are also in a conventional arrangement, with four PR sequences 11, 10, 01, 00, respectively (labeled ad, if need be). Now, the column labeled No. 1 is an impossible modus, since at least one row has to have a ‘1’, by the Laws of NonContradiction and of the Excluded Middle. Significantly, this is the only combination excluded universally by those logical laws, as already explained. Concerning the remaining 15 possible moduses, they are exhaustive (one of them must be true) and mutually exclusive (no more than one may be true at once). Here, then, is the grand matrix for two items, a catalogue of all conceivable alternative moduses for any two items, like P, R: Table 12.1. Catalogue of moduses for the four conjunctions of two items (P, R).
** Column labeled No. 1 is an impossible modus. The following table interprets the preceding, by enumeration of the alternative moduses of the main causative forms. It is based on the known characteristics of positive strong and absolute weak generics, i.e. the moduses given in Tables 1, 2, 5 and 6 of the previous chapter. From this initial information, we can, using the processes of negation, intersection and merger, infer the alternative moduses of derivative forms, i.e. negatives, as well as joints and vaguer forms (s, w, c), and their negations. Note that relative weak determinations are not dealt with here, because, in a twoitem framework, they have the same moduses as absolutes. They can only be distinguished as of a threeitem framework, so we cannot analyze them and their derivatives till we get there. Table 12.2. Enumeration of twoitem moduses for the strong or absolute weak determinations and their derivatives (form PR).
Let us highlight some of the information in the above table. First, take note of the ease with which we are now able to define any negative form, given the moduses of the corresponding positive form, by simply listing the leftover moduses. We can also readily define vaguer positive forms, like s, w, c, by merging the modus lists of their components. These forms were until here very difficult to define, remember. Second, we can see at a glance that compatible forms are those which have a common modus (or more); for instance, m and n, m and q_{abs}, n and p_{abs}, p_{abs} and q_{abs} can be joined, because they share a modus (respectively, 10, 12, 14 and 16). Incompatibilities are also made evident by such a table; thus, m and p_{abs} have no common modus, nor do n and q_{abs}; so these are incompatible pairs and give rise to no form. Third, certain compounds of positives and negatives have not been listed in the above table, because they are equivalent to already listed forms, i.e. all their moduses are the same. Implication signifies that every modus of the implying form is a modus of the implied form; this is not mere overlap, note, but full inclusion of one form in the other. Two oneway implications (and their contraposites) must be noted: · that p_{abs} implies notm (or m implies notp_{abs}), and · that q_{abs} implies notn (or n implies notq_{abs}). This is because the moduses Nos. 14, 16 of p_{abs} are both also moduses of notm, and the moduses Nos. 12, 16 of q_{abs} are both also moduses of notn. Given that m implies notp_{abs}, it follows that (m + notp_{abs}) is identical to m. Similarly, (n + notq_{abs}) = n; (notm + p_{abs}) = p_{abs}; and (notn + q_{abs}) = q_{abs}. There is therefore no need to list these four conjunctions separately. Mutual implication or equivalence occurs when the forms compared have the very same alternative modus list. Thus, · (m + notq_{abs}) = (n + notp_{abs}) = mn (modus 10); · (m + notn) = (notp_{abs} + q_{abs}) = mq_{abs} (modus 12); · (notm + n) = (p_{abs} + notq_{abs}) = np_{abs} (modus 14); and · (notm + q_{abs}) = (notn + p_{abs}) = p_{abs}q_{abs} (modus 16). There is therefore no need to list these various conjunctions separately. In contrast, for instance, m and n do not imply each other, though they have one modus in common (No. 10), because each has a modus the other lacks. Likewise for p_{abs} and q_{abs}, they overlap only in one of their moduses (No. 16) and both have a distinct additional modus. Fourth, some compositions have not been listed in the above table, because they do not constitute an interesting concept. Falling in this category are m or q_{abs} (moduses 10, 12, 16) and its negation (notm + notq_{abs}), or again n or p_{abs} (moduses 10, 14, 16) and its negation (notn + notp_{abs}). Fifth, certain conjunctions of positives and negatives have not been listed in the above table, because they give rise to no forms. Note especially that (absolute) lone determinations are excluded from consideration (or nullified) by this technique. That is, we cannot form the following conjunctions of positive and negatives, because they do not share a single common alternative modus: · malone_{abs} = m + notn + notp_{abs} + notq_{abs} = nullclass; · nalone_{abs} = n + notm + notp_{abs} + notq_{abs} = nullclass; · palone_{abs} = p_{abs} + notm + notn + notq_{abs} = nullclass; · qalone_{abs} = q_{abs} + notm + notn + notp_{abs} = nullclass. Thus, for instance, m shares modus 12 with notn and (needless to say, since it implies it) with notp_{abs}, but this modus is absent in notq_{abs}. And so forth, for the other absolute lones. These symbolically contrived conjunctions are therefore impossible in fact: by reference to the moduses we can definitively establish this fact and understand it. This is an important formal principle, which may be looked upon as a ‘law of causation’ (among others)[2]. Had (absolute) lone determinations been possible, our view of the causative relation would have been much less deterministic. Before microanalysis, we could not ascertain whether or not the generic determinations m, n, p_{abs} or q_{abs} may logically exist without intersection; now we know for sure that they can only exist within joint determinations. The following equations follow from the nullification of lones: · m = (mn or mq_{abs}), and n = (mn or np_{abs}); · p_{abs} = (np_{abs} or p_{abs}q_{abs}), and q_{abs} = (mq_{abs} or p_{abs}q_{abs}). Again, s = (mn or mq_{abs} or np_{abs}), and w_{abs} = (mq_{abs} or np_{abs} or p_{abs}q_{abs}). Consequently, c_{abs} = (mn or mq_{abs} or np_{abs} or p_{abs}q_{abs}); and it is equivalent to (m or p_{abs}) and to (n or q_{abs}). Also, by negation, notc_{abs} is equivalent to (notm + notp_{abs}) and to (notn + notq_{abs}). These various compounds are therefore implicit in the above table, and need not be listed. Lastly, we should notice the genusspecies relations between forms. Thus, mn is a species of m and a species of n, because it shares a modus (No. 10) with each of them, and has none they lack; the latter forms are more generic or less definite, since they involve additional alternatives. Similarly, s is vaguer or broader in possibilities than m or n, and therefore a genus of theirs; likewise, p_{abs} and q_{abs} are species of w_{abs}. Causation (c) is clearly the summum genus for all the positive forms. Negatives can be examined in the same perspective. It is also worth noticing what underlies the relative strengths of determinations. Note that the alternative moduses of the strong determinations (10, 12, 14) involve more zeros than those of the weaks (12, 14, 16). In particular, ignoring the common moduses (12, 14), compare modus 10 (two 0s) with modus 16 (no 0s). Clearly, m and n are stronger than p and q, because they involve more impossibility (two extra zeros); zeros more firmly delimit a relation. Similarly, comparing joints with each other; the more zeros in the modus, the stronger the determination. 3.
Catalogue of Moduses, for Three Items. Let us now consider a threeitem framework. We shall here catalogue all its conceivable moduses; and in the next section, we shall enumerate those applicable to each category of proposition. In the following table, P and Q are looked upon as putative causes, while R is looked upon as a putative effect. Their conceivable combinations define rows, and columns refer to all initially conceivable alternative moduses for them. In a threeitem grand matrix, there are 8 rows and 256 columns, as we have seen, and therefore 2048 cells. Each cell may equally be coded 0 (impossible) or 1 (possible), so that each code will occur a total of 1024 times. This matrix is constructed in the same manner as the preceding one, by coding 0s and 1s progressively throughout it, so symmetrically that we can be sure it is exhaustive. The columns (representing the alternative moduses), so ordered, are then numbered (or labeled) 1256. Since the order of the rows is also fixed conventionally, with eight PQR sequences 111, 110, 101, 100, 011, 010, 001, 000 (which can, if need be, be labeled ah, respectively), the modus number suffices to symbolize the modus concerned.[3] Now, the column labeled No. 1 is an impossible modus, since at least one row has to have a ‘1’, by the Laws of NonContradiction and of the Excluded Middle. Significantly, this is the only combination excluded universally by those logical laws, as already explained. Concerning the remaining 255 possible moduses, they are exhaustive (one of them must be true) and mutually exclusive (no more than one may be true at once). Here, then, is the grand matrix for three items, a
catalogue of all conceivable alternative moduses for any three items, such as P,
Q, R: Table 12.3. Catalogue of moduses for the eight conjunctions of three items (P, Q, R).
** Column labeled No. 1 is an impossible modus. Same table continued.
Same table continued.
Same table continued.
Table 3 continued.
Same table continued.
Same table continued.
Same table continued.
Table 3 continued.
Same table continued.
Same table continued.
Same table continued.
Table 3 continued.
Same table continued.
Same table continued.
Same table continued.
4.
Enumeration of Moduses, for Three Items. The following table interprets the preceding, by enumeration of the alternative moduses of the main causative forms. It is based on the known characteristics of positive strong and weak generics, i.e. the moduses given in Tables 16 of the previous chapter. From this initial information, we can, using the processes of negation, intersection and merger, infer the alternative moduses of derivative forms, i.e. negatives, as well as joints and vaguer forms (s, w, c), and their negations. We shall deal here only with the absolute weak determinations and their derivatives; relative weaks and their derivatives will be considered in the next chapter. Table 12.4. Enumeration of threeitem moduses for the generic determinations and their derivatives (form PR).
The results obtained in Table 12.4 can be made to conveniently stand out by color coding each form’s moduses in Table 12.3. This is left to the reader to do. We need not repeat here what was said before, with reference to the similar table for a twoitem framework (Table 12.2); the same comments apply, because the relationships there established are true irrespective of framework. We will, however, highlight something which was less visible before, namely the consistency between various results. There are never overlaps between contradictory propositions, and their alternatives sum up to 255; also, each generic sums up to two joints (since absolute lones do not exist). For instance, m comprises 36 alternative moduses, the 9 of mn plus the 27 of mq_{abs}; while notm has the 219 remaining alternatives. Similarly, with regard to n. Likewise, p_{abs} comprises 108 alternatives, the 27 of np_{abs} plus the 81 of p_{abs}q_{abs}; while notp_{abs} has the 147 remaining alternatives. Similarly, with regard to q_{abs}. Moreover, the number of moduses corresponding to the vaguer forms are predictable. Thus, s (= m or n) comprises the 36 moduses of m plus the 36 of n, less the 9 of mn[4], a total of 63 alternatives; and its negation has 255  63 = 192 alternatives. We can similarly predict the moduses of w_{abs} (= p_{abs} or q_{abs}) to be 108 + 108  81 = 135; and a residue of 120 alternatives for its negation. For c (= s or w_{abs}) we have 63 + 135  2*27 = 144 (the 54 subtracted being those of mq_{abs} and np_{abs}  i.e. of sw_{abs}); for its negation, 111. Thus, incidentally, causation in all its forms covers more than half the matrix, but still leaves a large space to noncausation. Now let us compare the results in Tables 2 and 4. They are
essentially the same tables, except that each modus of the first is, as it were,
further subdivided into a number of moduses in the second. However, the
subdivision is evidently not
proportional, say in the ratio 16:256; you cannot just say that to each twoitem
modus there corresponds 16 threeitem ones. The following table makes this
disproportionality clear: Table 12.5. Numbers of Moduses for Positive Forms, in Different Frameworks.
The explanation is easy. Expansion of a twoitem alternative modus into a number of threeitem moduses depends on how many zero or one codes it involves. For, as we saw in the previous chapter (with the proviso of appropriate locations), each ‘0’ in a twoitem framework has a single expression (‘0 0’) in the threeitem framework; whereas each ‘1’ in the former has three expressions in the latter (‘0 1’, ‘1 0’ or ‘1 1’  i.e. any but ‘0 0’). Thus, if a twoitem modus involves four ‘zeros’ and no ‘one’, its threeitem equivalent will consist of 1*1*1*1 = 1 (equally impossible) modus; if the former involves three zeros and a one, the latter will consist of 1*1*1*3 = 3 moduses; if the former involves two zeros and two ones, the latter will consist of 1*1*3*3 = 9 moduses; if the former involves one zero and three ones, the latter will consist of 1*3*3*3 = 27 moduses; and if the former involves no zero and four ones, the latter will consist of 3*3*3*3 = 81 moduses. Whence, the strongs m, n, which each involves two twoitem moduses, one with two zeros (No. 10) and one with a single zero (no. 12 or 14), will have 9 + 27 = 36 threeitem moduses; whereas, the weaks p_{abs}, q_{abs}, which each involves two twoitem moduses, one with a single zero (no. 12 or 14) and one with no zero (No. 16) and will have 27 + 81 = 108 threeitem moduses. The numbers of threeitem moduses for the conjunctions and disjunctions of these forms follow. The joint mn (twoitem modus No. 10) will have 9 of them; mq_{abs} (modus No. 12) and np_{abs} (modus No. 14) will each have 27; and p_{abs}q_{abs} (modus 16) will have 81. The vague form s (moduses 10, 12, 14) will have 9 + 2*27 = 63; w_{abs} (moduses 12, 14, 16) will have 2*27 + 81 = 135; and c (moduses 10, 12, 14, 16) will have 9 + 2*27 + 81 = 144. We can proceed in a like manner to predict expansions of negative forms. Furthermore, given the twoitem modus(es) of a form, we can predict not only how many moduses it will have in a threeitem framework, but precisely which moduses it will have. Thus, a table of equivalencies between the two frameworks can be constructed without difficulty. In short, we have here a functioning calculus. The precise threeitem modus(es) corresponding to each twoitem modus are given in the following table: Table 12.6. Correspondences between two and three item frameworks.
Needless to say, each modus will occur only once in the above table, making a total of 16 or 256 moduses, according to the framework. Clearly, if we had developed this table earlier, we could have derived Table 12.4 from Table 12.2.[5] Obviously, we can follow the same procedures to expand threeitem alternative moduses (of which there are 256) into fouritem alternative moduses (of which there are 65,536  as seen earlier). The number and configuration of the latter will emerge from the each of the former, in accordance with the number of zero and one codes it contains and the way they are arrayed within it (i.e. the incidence, prevalence and locations of zero and one codes in it). A table of correspondences can thus be constructed, which details the results obtained in each case. We have above identified the main lines of what might be called the twothree (2/3) table of correspondences, emerging from the operation of expansion of ‘0’ into ‘0 0’ and ‘1’ into ‘0 1’, ‘1 0’, ‘1 1’ (all pairs but ‘0 0’). We could thereafter, step by step, build similar tables of correspondence of size 3/4 or 4/5... and so forth on to infinity, if need arise to resolve eventual issues. For instance, from a threeitem matrix (which has 8 rows) to a fouritem matrix, each combination of zeros and ones will result in a product of eight factors of 1 (for ‘0’ codes) or 3 (for ‘1’ codes)  e.g., a modus with 1 zero and 7 ones will become 1*3*3*3*3*3*3*3 = 2187 moduses, in various possible permutations. These are longwinded techniques, which may or may not be needed. Next Section (continuation of same chapter) [1] To stress this image, we could place the items at opposite ends of the matrix. For two items, the 'belt' would be flat; for three items voluminous in three dimensions; and so forth. Another idea is to imagine the matrix as somehow enveloping the items, with varying force of cohesion. Each alternative modus indeed signifies a centripetal or centrifugal force relating the items concerned. [2] The expression 'law of causation' is traditionally used with reference to general statements such as "everything has a cause", for which we have so far not found formal justification, though they might eventually be adopted as inductive principles. Here, the phrase is used in a more open sense, reflecting the usual usage of the term 'law'. In this sense, as we saw earlier, the fact that alternative modus No. 1 (consisting only of zeros) is impossible is a law; and likewise the fact that absolute lone determinations do not exist. Indeed, in this sense, all formal processes about causation  including all oppositions, eductions, syllogisms  are laws. [3] Needless to say, one should not confuse the modus numbers 116 in a twoitem framework, with the first 16 of 256 modus numbers used for a threeitem framework. These are mere homonyms. The framework concerned should always be specified, if not implicitly clear. (See Table 12.6 below for precise correspondences.)
