[FOM] How much of math is logic?

joeshipman@aol.com joeshipman at aol.com
Sat Mar 3 08:04:23 EST 2007


> -----Original Message-----
> From: cristi at ieee.org
>
> I take it by "logic" you mean FOL?
>
> CC

   Not necessarily; I mean any formalism and axioms which can reasonably 
interpreted as "logical" rather than "mathematical" (meaning that they 
have no particular "subject matter" and are about general notions like 
concepts or classes rather than specifically mathematical structures). 
This is not a precise definition because the whole point is to get 
better insight into the demarcation between "logical" and 
"mathematical".

  One property "logical" statements ought to have is that their meaning 
and validity are determinate, while there can be disagreement about 
"mathematical" statements because the mathematical statements depend on 
more controversial axioms such as "there exists an infinte set' or the 
axiom of choice (it is possible to make a case that these axioms ought 
to be regarded as "logical" also, of course).

 -- JS

________________________________________________________________________
AOL now offers free email to everyone.  Find out more about what's free 
from AOL at AOL.com.


More information about the FOM mailing list