|
|
Tony Orlow wrote:
> MoeBlee wrote:
> > Tony Orlow wrote:
> >> Intuitionistic logicians reject that a false premise
> >> implies anything.
> >
> > Name such an intuitionistic logician and the work in which this
> > appears.
> >
> > Intutitionistic logic DOES have the principle
> >
> > For all formulas P,
> >
> > f -> P
> >
> > ('f', the 'falsehood' symbol is often a primitive of intuitionistic
> > (and certain formulations of classical) logic).
> >
> > Youv'e got it wrong, shooting of your big mouth on that which you know
> > nothing, as usual.
> >
> > MoeBlee
> >
>
> Yeah I misspoke. Sorry.
Okay, thanks.
MoeBlee
|
|