Re: Re: Grice . . .)

Date: Mon Sep 21 1998 - 16:55:11 EDT

In a message dated 9/21/1998 6:30:01 PM, wrote:

<<I found your statement "assume the protasis false for the sake of
somewhat confusing. Was this an actual quote, or did you really mean
something like, "assume a false statement to be true for the sake of
argument"? The latter is the normal pattern when the "proof by
contradiction" approach is being used. The idea, of course, is to show
the assumption leads to a contradiction of what one knows to be true.
This, then, implies the assumption is false, and its contradiction (what
one is
trying to prove) is necessarily true, since A and not A cannot both be
true (law of noncontradiction).

Furthermore, your statement "no inference can be made by a negative
protasis" seems contradicted by Paul's repeated usage of the proof by
contradiction argumentation in 1 Cor 15:13, 14, 16, 17, and 19, where
we have EI ... OUK, OUDE; EI ... OUK, ARA; EI ... OUK, OUDE; EI ...
OUK; etc., respectively. He surely infers conclusions based upon
negative protases here, does he not?

Paul Dixon>>


John can speak for himself, but I think he was speaking strictly about second
class conditionals where Dan Wallace argues that the protasis is assumed false
for the sake of argument in contrast to the first class statement where the
protasis is assumed true for the sake of argument.

Charles Powell

B-Greek home page:
You are currently subscribed to b-greek as: []
To unsubscribe, forward this message to
To subscribe, send a message to

This archive was generated by hypermail 2.1.4 : Sat Apr 20 2002 - 15:40:01 EDT