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

FUTURE LOGIC©
Avi Sion, 1990 (Rev. ed. 1996) All rights reserved.
CHAPTER 35.
NATURALS CONDITIONALS: OPPOSITIONS AND EDUCTIONS.
We may call 'translation' the reformulation of a proposition in other
form, such as the change from conditional to categorical, or vice versa.
Natural conditionals are reducible to their categorical definitions,
their implicit bases and connections, of course. Thus, for instance, 'When any S
is P, it must be Q' implies 'All S can be P' and 'No S can be P and not Q', and
therefore 'All S can be P and Q' and 'All S can be Q'. These implications could
be viewed as distinct immediate inferences, which are collectively though not
individually reversible.
Another way to translate such natural conditionals into categoricals
would be by joining the antecedent predicate to the subject, to form a new,
narrower, subject. Thus, for instance, 'When any S is P, it must be Q' would
become 'All SP must be Q'. However, the new class 'SP' would have to be actual,
or such a necessary categorical must be regarded as not implying actuality and
so tacitly still conditional.
Modern logicians tend to regard all categoricals as involving a
conditional subject, and so would regard such translation of conditionals into
categoricals as formally true. However, I beg to differ with current opinion on
this point. My contention is that, logically, there has got to be categoricals
which are genuinely so, before we can build up conditional forms; categoricals
are logically prior to conditionals, since the latter correlate the former.
Cases where the subject is not actual are only artificially categorical;
they are made to seem so, but in fact are still conditional. (This argument also
holds for imaginary subjects, where there is a hidden hypothesis 'Though the
subject is nonexistent, if it existed, so and so would follow'.)
Thus, the hidden conditionality in some categoricals is an exception,
rather than the rule. The position taken by certain logicians to the contrary is
not logically tenable, in my view. This issue is further discussed in the
chapter on modalities of subsumption.
The form 'When this S is P, it must be Q' means 'this S can be P, but it
cannot be P without being Q', which implies that 'this S can be P and Q'. It
follows that the logical contradictory of this form is 'This S cannot be P, or
it can be P without being Q', and not merely 'This S can be P without being Q'.
That is, 'When this S is P, it can notbe Q' is not formally contradictory, but
only contrary; it is contradictory only if we take for granted that 'This S can
be P'.
Similarly, 'When this S is P, it cannot be Q' is on an absolute level
merely contraried by 'When this S is P, it can be Q', and becomes contradicted
only in such case as 'This S can be P' is already given.
On the other hand, the form 'When this S is P, it must be Q' implies that
'When this S is P, it can be Q', since the latter means no more than 'This S can
be P and Q', which is the tacit basis of the former. Likewise, 'When this S is
P, it cannot be Q' implies 'When this S is P, it can notbe Q'.
It follows that 'When this S is P, it must be Q' and 'When this S is P,
it cannot be Q' are invariably contrary to each other, since they imply each
other's contraries.
As for 'When this S is P, it can be Q' and 'When this S is P, it can
notbe Q', they may be both be true, since 'This S can be P, with or without Q'
occurs in some cases; and they may both be false, since it is conceivable that
'this S neither can be P and Q, nor can be P and not Q', as occurs in the case
of 'this S cannot be P' being true. Thus, these two bases are normally neutral
to each other, though if 'This S can be P' is granted, they become subcontrary.
With regard to actuality, 'When this S is P, it must be Q' does not
imply, nor exclude, that 'this S is P (and thereby Q)', although 'This S is P
and Q' does imply that 'when this S is P, it can be Q'. Thus, the necessary form
is ontologically a relationship which exists potentially, even when not actually
operative. It is, of course, conceivable that 'This S is P and Q' in the actual
circumstance but not in all circumstances, or in some circumstance(s) but not
the actual one. The same can be said about the forms negating the consequent.
As for the parallel forms which negate the antecedent, their basis is
different, namely 'This S can notbe P and be (or notbe) Q at once'.
Therefore, 'When this S is not P, it must be Q' is compatible with 'When
this S is P, it must be Q' (these together would imply that 'this S must be Q'),
and likewise with 'When this S is P, it cannot be Q' (in which case, we have a sinequanon
situation every which way). All the more, the potential versions are all
compatible. We need not, for our present purposes, go beyond this degree of
detail.
These oppositions concern singular forms, note well; the corresponding
oppositions for plural forms follow automatically, in accordance with the
general rules of 'quantification of oppositions', which we dealt with in the
chapter on opposition of modal categoricals. Thus, for example, 'When any S is
P, it must be Q' is ordinarily contrary to 'When certain S are P, they can
notbe Q'; but if it is established that 'All S can be P', they become
contradictory.
Eduction from conditionals consists in changing the position and/or
polarity of antecedent and consequent.
a.
With regard to actuals, suffices to say that 'This S is P and Q' and 'This S is
Q and P' are, from our point of view, equivalent. For the rest:
Obversion obviously applies to
all the forms, without loss of modality. Thus 'When this S is P, it can be (or
must be) Q' imply 'When this S is P, it can notbe (or cannot be) nonQ';
likewise, 'When this S is P, it can notbe (or cannot be) P' imply 'When this S
is P, it can be (or must be) nonQ'.
'When this S is P, it can be or must be Q' convert
to 'When this S is Q, it can be P', since 'This S can be P and Q' is implicit
basis of the source.
'When this S is P, it can notbe or cannot be Q' convert
by negation to 'When this S is not Q, it can be P', since the latter target
means 'This S can be P and not Q', which is given in the original proposition;
note well, they are not convertible to 'When this S is Q, it can notbe P',
since the source contains no basis for 'This S can be Q and not P'.
These results are of course in turn obvertible.
We note that these simple eductions, other than obversion, yield a
potential conclusion, even from a necessary premise.
b.
However, a necessary conclusion may be drawn, if we are granted that the
negation of the consequent is potential. This process may be called complex contraposition,
and viewed either as a deduction from two premises, or as an eduction from a
compound premise. The following is the primary valid mood:
When this S is P, it must be Q
and This S can notbe Q
hence, When this S is not Q, it cannot be P
The proof of this argument is by reduction ad absurdum. The denial of the
conclusion implies either that 'This S must be Q' (base denied) or that 'This S
can be nonQ and P' (connection denied); but either way this results in the
denial of the minor or major premises; therefore, the conclusion is valid.
From this mood we may derive the following, by obversion:
When this S is P, it cannot be Q
and This S can be Q
hence, When this S is Q, it cannot be P
Thus, full contraposition is feasible, but only on the proviso that the
basis of the conclusion is in advance given as true; without this additional
information, it is not permissible. The reason for this is that the original
conditional is in principle compatible with the categorical necessity of its
consequent.
Note that the above arguments incidentally yield the conclusion that
'This S can notbe P'. This may be viewed as modal apodosis from the given
premises.
c.
When quantity
is introduced into all these equations, it is important to note that it is
unaffected, unlike the modality. That is, a general natural conditional, is
general for both the antecedent and consequent, implying that 'all S can be Q'
as well as 'all S can be P'.
So 'When any S is P, it can be or must be Q' converts to 'When any S is
Q, it can be P', and 'When any S is P, it can notbe or cannot be Q' converts by
negation to 'When any S is not Q, it can be P'. Similarly, a particular premise
is convertible, though to a particular conclusion.
Likewise, given that 'All S can notbe Q', the necessary 'When any S is
P, it must be Q' contraposes to 'When any S is not Q, it cannot be P'. Also,
note well, when only one of the premises is general, whichever one — that is,
given 'When any S is P, it must be Q' and 'Some S can notbe Q', or given that
'When certain S are P, they must be Q' and 'All S can notbe Q' — we can still
infer that 'When certain S are not Q, they cannot be P' (and so that 'Some S can
notbe P'). However, if both premises are particular, contraposition is not
permitted. Similarly, throughout, for propositions with negative predicates.
Derivative processes behave accordingly. For instance, inversion, being
contraposition followed by conversion or viceversa, requires two premises at
least one of which is general, and always results in a potential conclusion.
Lastly note, these changes all essentially concern the predicates of
natural conditionals. We might additionally have considered changes affecting
the subject, such as conversions within the antecedent or consequent clause. But
the idea seems somewhat artificial in this context, unlike in hypotheticals.
