[FOM] Use of Ex Falso Quodlibet (EFQ)

Paul Blain Levy P.B.Levy at cs.bham.ac.uk
Wed Sep 2 17:10:04 EDT 2015


I was referring to natural deduction, where n-ary or-elimination is

                      [A_1]    [A_n]
                        :  ...   :
A1 or ... or A_n       B        B
------------------------------------
                B

The case n=0 is

False
----------------------------------
   B

which is Ex Falso Quodlibet.

Paul


On 2015-09-02 19:45, Tennant, Neil wrote:
> Paul Levy writes:
> 
>  Or-elimination may be seen as the special case n=2 of n-ary
>  or-elimination. The case n=0 is EFQ. I can think of no philosophical
>  or ideological reason for accepting n=2 but rejecting n=0.
> 
> I must respectfully disagree. This is in error. If one were to frame
> n-ary or-elimination in Core Logic, it would be done graphically thus:
> 
>  __(i) ... __(i)
>  A1 An
>  : :
>  A1v...An B/# B/#
>  _________________________(i)
>  B/#
> 
> where this is to be understood as follows:
> 1. if # is the conclusion of every case-proof (all n of them!), then
> the main conclusion is # ;
> 2. otherwise, the main conclusion is B .
> 
> There is no case of n-ary or-elimination corresponding to n=0. What on
> earth would it look like?
> 
> Neil Tennant



More information about the FOM mailing list