[Top] [All Lists]

Re: [ontolog-forum] Search engine for the ontology

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Thu, 28 Feb 2008 12:54:28 -0600
Message-id: <p06230904c3ecb2641214@[]>
At 10:28 AM -0600 2/28/08, Christopher Menzel wrote:
>On Feb 28, 2008, at 9:00 AM, John F. Sowa wrote:
>  > ...
>>  Practicing mathematicians -- people who actually solve problems
>>  that other people pay somebody to solve -- dismiss the study
>>  of foundations as *irrelevant*.
>I don't think they dismiss it so much as ignore it.    (01)

The term 'foundations' is well chosen. When building a house, 
everyone relies on the foundation to be there, and to perform its 
function of bearing weight, keeping still and being level. But as 
long as one has confidence that the foundation actually exists, there 
is no need to give it any further thought. Certainly, all the 
professional skills that go into a building - framing, bricklaying, 
plumbing, electrical, roofing, etc. - are very different than those 
that are involved in actual foundation-laying work (rebar, 
form-building, soil compaction and concrete), and most of them bear 
no relation to it at all. One would not ask a framer to pour a 
foundation, or a concrete contractor to build a roof. Similarly with 
mathematics and formal logic.    (02)

IHMC            (850)434 8903 or (650)494 3973   home
40 South Alcaniz St.    (850)202 4416   office
Pensacola                       (850)202 4440   fax
FL 32502                        (850)291 0667    cell
http://www.ihmc.us/users/phayes      phayesAT-SIGNihmc.us
http://www.flickr.com/pathayes/collections    (03)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (04)

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