www.TheLogician.net© Avi Sion All rights reserved


© Avi Sion, 1999, 2000; 2003, 2005; 2008, 2010  All rights reserved.

You can BUY online, Amazon.com (in paperback or kindle/.mobi form), at Lulu.com (in hardcover, paperback or e-book / .epub form ), and at many other online stores.


Phase One: Macroanalysis

Chapter 10 – Wrapping Up Phase One

1. Highlights of Findings.

2. Modes of Causation.

3. Gaps and Loose Ends.

1. Highlights of Findings

I will stop the first phase of my research on the logic of causation at this point. Not just because I do not think it is worth going further into minutiae. I in fact do not consider that all the important formal issues have been covered. However, I do regard the logical techniques applied so far to have come close to the limits of their utility. That is why I have been developing more precise techniques, which I will publish eventually as Phase Two. Let us meanwhile review some of our main findings thus far in Phase One, and what information we are still missing.

We have succeeded in defining the various determinations of causation, by means of propositional forms already known to logic. These forms involve conjunctions (‘and’), conditionings (‘if-then’), modalities (‘possibly’, ‘actually’), and of course negations of all those (‘not’).

The mechanics of these various source forms are thoroughly treated in my work Future Logic, and need not be reviewed here. Since we already know the deductive properties of these underlying forms (how they logically interact) and how they can ultimately be induced from experience (abstraction, adduction, generalization and particularization, factorial analysis, factor selection and formula revision), these formal problems are in principle already solved for causative propositions. It is only a question of finding ways and means to extract the implicit information systematically and reliably.

I have tried to perform just this job in the preceding pages. The difficulties encountered are never such as to put the whole enterprise in doubt, note well. They are only due to the complexity of forms involved, since each positive causative is a conjunctive compound of several simpler forms, and all the more so in the case of negative propositions, which are disjunctive compounds of such simpler forms. The main problem is thus one of volume of information to be treated; there is so much data to sort out, order and organize, that we can easily get lost, forget things, make minor errors with numerous hidden repercussions.

I am only human, and may well have made some mistakes in this process. A major annoyance for me is that I am often forced to interrupt my research work due to the need to earn my living by other means. In such circumstances, my attention is diverted for long periods; my mind loses its thorough concentration on the subject matter, and I have to later re-learn it all. Hopefully, I have nevertheless succeeded in spotting and removing all eventual inconsistencies. Certainly, I have tried: always making consistency checks, painstakingly reviewing large bodies of data and long chains of reasoning, doing what I call “quality control”.

The best way to do this is to arrive at the same results using different means. That is one reason why, although the above Phase One work apparently stands up well on its own, I will not be entirely satisfied until Phase Two is complete and I arrive there at consistent results. But to return for now to our findings thus far…

It must be understood that this research has not been idle reshuffling of information and symbols. It had both practical and theoretical purposes in mind.

The practical questions relate to everyday reasoning about causes and effects. One of the principal questions we posed, you will recall, was whether the cause of the cause of something is itself a cause of that thing or not, and if it is, to whether it is so to the same degree or a lesser degree. This issue of causal (or effectual) chains is what the investigation of causal syllogism is all about. What our dispassionate research has shown is that it is absurd to expect ordinary reasoning, unaided by such patient formal reflections, to arrive at accurate results. The answer to the question about chains is resounding and crucial: the cause of a cause is not necessarily itself a cause, and if it is a cause it need not be one to the same degree. Once the scientific impact of this is understood, the importance of such research becomes evident.

But this syllogistic issue has not been the only one dealt with. We have in the process engaged in many other investigations of practical value. The definitions of the determinations causation by means of matrixes can help both laypeople and scientists to classify particular causative relations, simply by observing conjunctions of presences and absences of various items. Generalizations may occur thereafter, but they should always be checked by further empirical observation (at least, a readiness to notice; eventually, active experiment) and adjusted as new data appears (or is uncovered).

Another interesting finding has been the clarification of the relationships between positive and negative, absolute and relative causative propositions: for instance, that we may affirm partial or contingent causation, while denying it of a particular complement. One very important principle – that we have assumed in this volume, but not proved, because the proof is only possible in the later phase of research – is that (absolute) “lone determinations” are logically impossible. This means that we may in practice consider that if there is causation at all, it must be in one or the other of the four “joint” determinations.

Another finding worth highlighting is that non-causation is denial of the four genera (or four species) of causation, and before these can be definitely denied we have to go through a long process of empirical verification, observing presences and absences of items or their negations in all logically possible conjunctions. It is thus in practice as difficult to prove non-causation as to prove causation! Indeed, to be concluded the former requires a lot more careful analysis of data than the latter. Of course, in practice (as with all induction) we assume causation absent, except where it is proved present. But if we want to check the matter out closely, a more sustained effort is required.

With regard to the theoretical significance of our findings, now. By theoretical, here, I mean: relevant to philosophical discussions and debates about causality. Obviously, so far we have only treated causation, and said nothing about volition and allied cause-effect relations, so we cannot talk about causality in its broadest sense.

What our perspective makes clear is that the existence of “causation” is indubitable, once we apprehend it as a set of experiential yes or no answers to simple questions, leaving aside references to some underlying “force” or “connection” (which might be discussed as a later explanatory hypothesis). If we look upon causation in a positivistic manner, and avoid metaphysical discussions that tend to mystify, it is a simple matter. Causation is an abstraction, in response to phenomenologically evident data. It is a summary of data.

It is not purely empirical, in the sense of a concept only summarizing presences of phenomena. It involves a rational element, in that it also summarizes absences of phenomena. Affirmation may only be acknowledgment of the empirically apparent. But negation, as I have stressed in my work Phenomenology[1], is a partly rational act (a question is asked: is the thing I remember or imagine now present to my senses?), as well as a partly empirical act (the answer is no: I see or hear or otherwise sense nothing equivalent to that image!). Absence does not exist independently like presence, but signifies an empirically disappointed mental expectation.

Reading debates between philosophers (for example, David Hume’s discussions), one might get the impression that non-causation is an obvious concept, while causation needs to be defined and justified. But, as we have seen here, non-causation can only be understood and proven with reference to causation. Before we can project a world without causation, we have to first understand what we mean by causation, its different determinations, their interactions, and so forth. But the moment we do that, the existence of causation is already obvious. However, this does not mean that non-causation does not exist. Quite the contrary. Since, as we have seen, some formal processes like syllogism with premises of causation are inconclusive, we may say that the existence of causation implies that of non-causation! This finding has two aspects:

(a) The more immediate aspect is inferred from the fact that the cause of a cause of something is not necessarily itself a cause of it: taking any two things at random, they may or not be causatively related. This implication is valuable to contradict the Buddhist notion that “everything is caused by everything.” But the possibility of independence from some things does not exclude dependence on other things. Each of the two things taken at random may well have other causes and effects than each other.

(b) A more radical aspect is the issue of spontaneity, or no causation by anything at all. We can only touch upon this issue here, since we have only dealt with causation so far. But what our formal study of causation has made clear is that we cannot say offhand whether or not spontaneity in this sense is possible. There is no “law of causation” that spontaneity is impossible, i.e. that “everything has a cause,” as far as I can see. Nothing we have come across so far implies such a universal law; it can only be affirmed by generalization. Spontaneity (chance, the haphazard) remains conceivable.

I think the point is made: that formal research such as the present one has both practical and theoretical value. Let us now explain why the research undertaken so far is insufficient.

2. The Modes of Causation.

The observant reader will have noticed that throughout the present study we have concentrated on logical causation, i.e. on causative propositions based on logical conditioning. But of course, this is but one aspect of human aetiological reasoning. To be thorough, we need to consider not only such “de dicta” forms, but also the “de re” modes of causation, i.e. natural, temporal, extensional and spatial causation. In many ways, the latter are more interesting than the former. We have focused our attention on logical causation because it is the most widely known theoretically, although not necessarily the most widely used in practice.

Each of these modes of causation is derived on one of the modes of conditioning. A thorough study of the underlying forms of conditioning may be found in my work Future Logic (Part IV, Chapters 33-42)[2]. What is evident from that study is that natural, temporal, extensional and spatial conditioning, are in most respects similar to logical conditioning, but in significant respects different. The difference is essentially due to the fact that logical conditional propositions (like “if P then Q”) distinctively cannot be made to universally imply the “bases” (i.e. “P is possible, Q is possible”) – because if they were made to, we would not be able to express paradoxes[3]. From this structural difference, various differences in behavior (during inference) emerge.

However, this distinction dissolves in the context of causation, because here logical causation like all other types implies the bases. We have specified this fact as the last clause of each of the definitions of the determinations. Complete or partial causation implied the cause, or the conjunction of causes, and therefore the effect, to be possible; necessary and contingent causation implied them to be unnecessary. It follows that all the logical properties of the different modes of causation will be comparable. The subdivision of each mode of causation into different determinations will be the same, as will the underlying interplay of presences and absences, possibilities and impossibilities, in every conceivable combination and permutation. All the matrixes of their forms will be identical and all arguments will have the same conclusions.

The only difference between these different logics is simply that the “possibility” and “impossibility” referred to in the definitions and matrices have a different sense in each case. In logical causation, they refer to logical modalities; in natural causation, to natural modality; in extensional causation, to extensional modality; and so forth. The only task left to logicians, therefore, is to more closely examine the interrelationships between these different modes of causation. That is, for instance, how any two natural and extensional causative propositions are opposed to each other, and how they behave in combination (i.e. within arguments). This complex work will not be attempted here.

Nevertheless, I have already in Future Logic clarified the following essential relationships. Logical necessity implies but is not implied by the de re necessities. Logical possibility is implied by but does not imply the de re possibilities. Similarly on the negative side, for impossibility and unnecessity. Thus, the logical mode lies on the outer edges of rectangles of oppositions including the de re modes.

For now, let us only clarify in what context each mode is used. Logical (or de dicta) causation is concerned with causes in the literal sense of “reasons”; that is to say, it helps us to order our discourse and eventual knowledge with reference to logical implications, presuppositions, disconnections, contradictions, or consistencies, between hypotheses and/or apparent evidences. In contrast, the de re modes of causation are more directly object-oriented.

· The paradigm of natural causation is:

When the individual X actually is, has or does C (the cause),

then it (or some other individual Y) must (i.e. in all circumstances) be, have or do E (the effect);

and when C is not actual, neither is E.

In this context, C and E are qualities, properties or activities of any sort, relative to some individual entity X (or pair of individuals X, Y, respectively). Presence, here, is called “actuality” to refer us to the underlying natural modality. Necessity, here, means in all circumstances relative to this X in the antecedent. The implied basis of such propositions is that “this X can both C and E” (or “X+C and Y+E is potential for the individual(s) concerned”, as appropriate) – no need of additional clauses in that respect. The antecedent and consequent may be static or dynamic, and may or may not be temporally separated.

· The paradigm of temporal causation is very similar, save that “must” becomes “always” (all units of time) in the body of time concerned. The form is “When… at some time, then… at all times.”

· The paradigm of extensional causation is a bit different:

In such cases as class X in some instance is, has or does C (the cause),

then it (or another instance of class X or an instance of some other class Y) must (i.e. in all instances) be, have or do E (the effect);

and in such cases as C does not have an instance, neither does E.

In this context, C and E are qualities, properties or activities of any sort, relative to some class of entities X (or pair of classes X, Y, respectively). Presence, here, is called “instancing” to refer us to the underlying extensional modality. Necessity, here, means in all instances of X in the antecedent. The implied basis of such propositions is that “some X are both C and E” (or “X+C and Y+E is extensionally possible for the class(es) concerned”, as appropriate) – no need of additional clauses in that respect. The antecedent and consequent may be static or dynamic, and may or may not be temporally separated. They distinctively need not be actualities, but may be potentialities or necessities, note well, since extensional conditioning refers only to quantity.

The paradigm of spatial causation is very similar, except that “must” becomes “everywhere” (all units of space) in the body of space concerned. The form is “Where… at some place, there… at all places.”

What I want to make sure here is that the reader understands that there are different modes of causation, and that the differences between them are significant to ordinary and scientific thought or discourse.

For example, the theory of Evolution is based partly on observation or experiment on individual biological specimens (spatial, temporal and natural causation) and partly on putting together the jigsaw puzzle of scattered findings relating to a class of individuals in different times and places (extensional causation), as well as partly on theoretical insights about consistency and implications between postulates and experiences (logical causation). All these involve induction and deduction, hypothetical reasoning and generalizations, but their focal center changes.

When, for instance, we take note of the structural or even genetic similarities of all vertebrates, and presume them to have a common ancestor, we are engaged in extensional causative reasoning. We would be engaged in natural causative reasoning, only if we could trace the ascendancy from individual child to individual parent all the way back to the first vertebrate specimen. In the extensional mode, the different individuals (e.g. paleontological findings) are regarded as expressions of a single class (genus, species, variation, whatever). In the natural mode, our focus is on the life of individuals as such (irrespective of their class appurtenance).

People, and even scientists, often confuse these different ways of thinking, and remain unaware that they may lead to different conclusions, or at least nuance our conclusions considerably. For this reason, the study of the modes of causation needs to be carried out in appropriate detail.

3. Gaps and Loose Ends.

The main characteristics and limits of Phase One of our research into the logic of (logical) causation are two:

(a) The methodology of matricial analysis used for validation of inferences is cumbersome, bulky, manual, and therefore susceptible to human error.

(b) We are only able to deal systematically and exhaustively with positive causative propositions; negative causative propositions can only be treated incidentally, not directly.

For all the achievements of our research so far, these two defects leave us with an aftertaste of dissatisfaction. We have not till here succeeded in completely automating validation: human attention and intelligence are required at every step to ensure consistency and exhaustiveness. This does not prevent us from a thorough and reliable treatment of positive propositions, provided we have the requisite patience and carefulness. But the task becomes too daunting when dealing with negatives, in view of their disjunctive nature and of the sheer volume of data involved.

To overcome these handicaps, we have to greatly simplify matricial analysis, make it so digital that a computer program could operate it. This is what we shall endeavor to do in Phase Two. There we shall refer to the method of matricial analysis used in the present Phase One as macroanalysis, in contrast to the more pointed methodology of microanalysis used in Phase Two. In the latter case, we shall be able to develop a versatile logical mechanics, wherein any conjunctive, conditional or causative proposition, positive or negative, individually or in combination with any other(s), can be fully interpreted or evaluated in a matricial analysis and in ordinary language. This is no promise or vain boast: it is already largely done, needing only to be completed.

One important practical consequence of this new approach is our ability to freely handle negative causative propositions, and draw inferences from them (if they imply anything) in any arguments wherein they appear. Another is the crucial finding that absolute “lone” determinations are logically impossible; this refers, the reader will recall, to propositions involving only one positive generic determination, all three others being denied. But most importantly, it allows us to demonstrate everything demonstrable in causative logic without a drop of lingering doubt, since human error is eliminated.

[1] The present final chapter of Phase One was written in 2003, after publication of Phenomenology.

[2] I do not there treat spatial modality, but it is easy enough to do eventually.

[3] In paradox, either P or Q is implied impossible. See Future Logic, chapter 31.

You can purchase a paper copy of this book Books by Avi Sion in The Logician Bookstore at The Logician’s secure online Bookshop.