[Top] [All Lists]

Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Tue, 24 Jun 2014 17:37:41 -0400
Message-id: <53A9EFA5.3010905@xxxxxxxxxxx>
Ed,    (01)

I'm glad that we agree on something:    (02)

> I have a problem with: “syllogistic logic is not how the mind reasons”.
> It is rather only one of several reasoning mechanisms used by human
> minds.  We also use induction, analogy, statistical reasoning, and a
> number of exotic mathematical methods.    (03)

Every method of reasoning that humans invented is supported by the
human mind.  We don't know how to design a computer that can reason
by all the methods humans do.  But any human who designs a digital
computer or a program that runs on it knows how to reason by the
same method as the computer.    (04)

> It takes many ingredients to make the soup of human consciousness;
>  we are just growing the leeks.    (05)

I certainly agree with the first line.  But I'm not sure about
the leeks.    (06)

John    (07)

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

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