To: | "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | Pat Hayes <phayes@xxxxxxx> |
Date: | Tue, 15 Jan 2008 13:57:32 -0600 |
Message-id: | <p06230919c3b2b94311a1@[10.100.0.28]> |
At 10:26 AM -0800 1/15/08, Randall R Schulz wrote:
On Tuesday 15 January 2008 08:00, Pat Hayes wrote: Its impossible to axiomatize finiteness (in the sense of a
sentence having only finite models) in FOL, true. No, that does
not count as a paradox. It is possible to axiomatize finiteness
(in the same technical sense) in logics of higher order. Here's an
axiomatization of finiteness in Common Logic:
(= (length) 0)
(forall (x ...)(= (length x ...)(s (length ...))))
(forall (x)(iff (Num x)(exists (...)(= x (length ...)))))
Num is true of all and only the natural numbers in any CL model
of these axioms. This uses sequence markers, of course, which take CL
beyond first-order expressivity.
Pat
-- ---------------------------------------------------------------------
IHMC 40 South Alcaniz St. Pensacola FL 32502 phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes _________________________________________________________________ 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 (01) |
Previous by Date: | Re: [ontolog-forum] (OT) German, Stavros Macrakis |
---|---|
Next by Date: | Re: [ontolog-forum] (OT) German, John F. Sowa |
Previous by Thread: | Re: [ontolog-forum] Interesting Category - Chindogu, Randall R Schulz |
Next by Thread: | Re: [ontolog-forum] Interesting Category - Chindogu, Randall R Schulz |
Indexes: | [Date] [Thread] [Top] [All Lists] |