[Top] [All Lists]

Re: [ontolog-forum] Current Semantic Web Layer pizza (was ckae)

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Chris Menzel <cmenzel@xxxxxxxx>
Date: Mon, 17 Sep 2007 14:12:30 -0500
Message-id: <20070917191230.GJ23463@xxxxxxxx>
On Mon, Sep 17, 2007 at 01:59:38PM -0400, Mills Davis wrote:
> ...
> Permit me to wax for a moment. I think the really interesting stuff of
> reasoning (e.g., questions where lives are on the line, questions of
> guilt or innocence, questions of ethics, questions about what is the
> best product design, or best course of action for a business,
> questions of public policy, or career choices) always involve more
> than logical consistency. They involve trade-offs and values. Often
> there is no "right" answer. Logic is just a tool.    (01)

To all of which any logician would respond with a hearty "Amen".  That
formal logic of itself cannot decide a single practical problem is
taught on Day One of an intro course.  The logician's point is only that
ethical assumptions, values, concepts of guilt and innocence, judgments
about courses of action, public policy, and career choices have to be
*expressed* in logic if there is any hope of using them to solve
practical problems with the aid of computers.    (02)

Chris Menzel    (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>