Re: reductio ad falsum versus reductio ad absurdum


> > I think what he means is this: In sequent-style proof systems,
> > CP has this form:
> >
> > A |- B
> > ----------
> > |- A -> B
> >
> > He's thinking of this as a kind of "higher-level" sequent
> >
> > (A |- B) ==> (|- A -> B)
> >
> > where ==> acts sort of like |-, except that the hypotheses
> > and conclusion are sequents, instead of statements.
>
> I see. Well, he should stop thinking that. :-)
>
> -chris

lol. but seriously, doesn't changing the middle connective to => fix
the problems from before?

.

Relevant Pages