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