ontolog-forum
[Top] [All Lists]

[ontolog-forum] IKL: self-referential propositions?

To: Pat Hayes <phayes@xxxxxxx>, Ontolog Forum <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Waclaw Kusnierczyk <Waclaw.Marcin.Kusnierczyk@xxxxxxxxxxx>
Date: Sat, 09 Jun 2007 09:59:04 +0200
Message-id: <466A5DC8.5010508@xxxxxxxxxxx>
Pat,    (01)

would IKL allow this:    (02)

(= p (that (p)))    (03)

?    (04)


-- 
Wacek Kusnierczyk    (05)

------------------------------------------------------
Department of Information and Computer Science (IDI)
Norwegian University of Science and Technology (NTNU)
Sem Saelandsv. 7-9
7027 Trondheim
Norway    (06)

tel.   0047 73591875
fax    0047 73594466
------------------------------------------------------    (07)

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

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