[Top] [All Lists]

Re: [ontolog-forum] what is a proposition?

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Waclaw Kusnierczyk <Waclaw.Marcin.Kusnierczyk@xxxxxxxxxxx>
Date: Sun, 27 May 2007 05:46:35 +0200
Message-id: <4658FF1B.3080401@xxxxxxxxxxx>
Pat Hayes wrote:
> For details see
> http://www.ihmc.us:16080/users/phayes/IKL/SPEC/SPEC.html
> and the 'guide' linked from there.     (01)

In the guide, app. A, the axiom for extensional equivalence is not correct:    (02)

(forall (x y)(iff
   (equivalentRelation x y)
   (forall (...)(and (iff (x ...)(y ...)))
))    (03)

The 'and' seems spurious to me.  (And the parentheses do not match.)    (04)

vQ    (05)

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

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