"Anthony W. Youngman" <wol_at_thewolery.demon.co.uk> wrote in message
news:ZoGxRIEcWizAFwDp_at_thewolery.demon.co.uk...
> In message <An3yc.2600$FE6.1451_at_newssvr15.news.prodigy.com>, Eric Kaun
> <ekaun_at_yahoo.com> writes
> >"Anthony W. Youngman" <wol_at_thewolery.demon.co.uk> wrote in message
> >news:8jbIDPPhC7xAFwHy_at_thewolery.demon.co.uk...
> >> In message <lgGxc.6818$eP2.1437_at_newssvr32.news.prodigy.com>, Eric Kaun
> >> <ekaun_at_yahoo.com> writes
<snip>
> >Mathematics requires axioms - does logic? I thought it was purely
symbolic
> >manipulation, which is defined for relational.
> >
> Logic is used to manipulate axioms to give theorems. The result is a
> model.
>
> So no, if you're being pedantic, maybe logic doesn't require axioms. But
> in the same way as an axe doesn't *require* wood. Just as an axe with
> nothing to chop is useless, so is logic without axioms to manipulate.
Logic as a branch of mathematics most definitely requires axioms. --dawn
Received on Mon Jun 14 2004 - 20:29:39 CDT
