[Top] [All Lists]

Re: [ontolog-forum] Interoperability - its natural basis

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Sun, 15 Mar 2009 18:55:56 -0500
Message-id: <B96BD351-6307-48E6-B97B-C512F8A09AD1@xxxxxxxx>
On Mar 15, 2009, at 1:38 PM, Christopher Menzel wrote:
> On Mar 15, 2009, at 10:44 AM, Ronald Stamper wrote:
>> I thought that the age of logicism had closed by mid-20th century.
> Logicism, a creation of the German mathematician Gottlob Frege in  
> the late 1800s, was an attempt to "ground" all of mathematics on  
> logical principles alone.  Bertrand Russell torpedoed Frege's  
> attempt around the turn of the 19th century by showing that it was  
> possible to deduce his famous paradox in Frege's system.  Russell's  
> own attempt to resurrect logicism in Principia Mathematica  
> (1910-1913, with co-author A. N. Whitehead) also largely ended in  
> failure, a fact widely acknowledged by the mid-1920s.  "Logicism" is  
> also sometimes used to refer to the logic-based approach to AI and  
> knowledge engineering, which didn't even exist until the mid-20th  
> century.  And this movement is of course still very robust.    (01)

The point of this remark was that I am not sure what you mean by "the  
age of logicism".  Logicism in the early 20th century was a  
philosophical project that never really got off the ground and was  
never widely embraced.  And logicism in AI/KE is still very much with  
us.    (02)

-chris    (03)

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    (04)

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