[Top] [All Lists]

Re: [ontolog-forum] Next steps in using ontologies as standards

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Chris Partridge" <mail@xxxxxxxxxxxxxxxxxx>
Date: Mon, 26 Jan 2009 18:21:35 -0000
Message-id: <00dc01c97fe2$ec34f5c0$c49ee140$@net>
Ed,    (01)

EB>While logic is the foundation for all of mathematics    (02)

Is it really?    (03)

I was taught, some time ago, that after Russell and Whitehead's failure,
people were a little less optimistic about these kinds of claims. I have
heard since some (maybe cynical) logicians say that they see mathematical
logic as a branch of mathematics.
I recall one saying that mathematical logic tended to focus on FOL as one
could prove interesting results, but if you wanted to formalise any
interesting mathematics, you needed to go higher order, but this was less
tractable.    (04)

Maybe I missed something.    (05)

Chris    (06)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (07)

<Prev in Thread] Current Thread [Next in Thread>