[Top] [All Lists]

Re: [ontolog-forum] web-syllogism-and-worldview

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Adrian Walker <adriandwalker@xxxxxxxxx>
Date: Thu, 16 Apr 2009 07:52:23 -0400
Message-id: <1e89d6a40904160452g5f68cc86l17501aa2320d7550@xxxxxxxxxxxxxx>
Hi John --

Exactly the point I was making. (Except the red herring part).

This was in reply to the folks who wrongly claim that syllogisms are useless.

Besides the Turing argument, please see also the practical applications online at the site below.

                        Cheers,  -- Adrian

Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English over SQL and RDF
Online at www.reengineeringllc.com    Shared use is free

Adrian Walker

On Thu, Apr 16, 2009 at 12:07 AM, John F. Sowa <sowa@xxxxxxxxxxx> wrote:

That argument is the reddest of red herrings:

AW> The problem with the "syllogisms will never work" argument
 > is that, if you allow them to be recursive, they have Turing
 > machine power.  That means that they can compute anything that
 > can be computed.

Every major programming language (e.g., FORTRAN, COBOL, LISP,
ALGOL, PL/I, C, C++, C#, Ada, Java, Python, Ruby, PHP, etc.)
has the following two properties:

 1. They have the power of a Turing machine.

 2. It's undecidable whether an arbitrary program written in
    any of those languages will terminate.

Yet properties #1 and #2 have never stopped anybody from using
those languages for major mission-critical applications.  In
fact, today's economy would grind to a halt (not just a recession)
if people stopped using programming languages with the power of
a Turing machine.


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

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