fresco wrote:Joe,
You are normally much more coherent than that ! I'm surprised (:wink:)you are resorting to semantic cheese paring to maintain your position. Irrespective of your personal opinion of my suggestions for rewording the conclusion, argote is correct about the structure of his original argument. Your comments on the logical (algebraic) form are conspicuous by their absence.
There was little need to comment on your attempts at symbolic logic. Your first equation:
doesn't set out a
petitio principii at all. Just because one term (S) in the premises is repeated in the conclusion doesn't mean that the premises beg the question. In the classic syllogism:
All men are mortal.
Socrates is a man.
Therefore, Socrates is mortal.
finds two terms in the conclusion that are also in the premises:
All As are B
C is an A
:. C is B
Yet that is clearly not begging the question. Indeed, if we take just the second half of your equation:
we see that it describes a simple conditional with an unnecessary term (the final S). To make sense of it, you should reframe it thusly:
But then that wouldn't be begging the question either.
Your second equation:
(P. Q . (R-->S)) --> A v B
is incomprehensible. It translates to: "given P and Q and (if R then S), then A or B is true." Or, in other words, "given that C precedes E, and given that C and E are constantly conjoined, and if given the foregoing then we are led to believe that C and E are causally related, then it is true either that P and Q strengthen belief in the causal relationship implied by R or else C causes E."* Frankly, that makes no sense.
*I can only guess at what values you assign to P, Q, and R, since you never spelled that out in your post. I'll assume that you followed
agrote's initial formulation.