At 12:11 PM -0800 1/15/08, Randall R Schulz wrote:
>On Tuesday 15 January 2008 11:57, Pat Hayes wrote:
>> At 10:26 AM -0800 1/15/08, Randall R Schulz wrote:
>> >...
>> >
>> >Is it not impossible in FOL to finitely axiomatize finiteness? (Does
>> >that count as a paradox??)
>>
>> 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.
>
>That was meant as humor... (01)
I know, but we are doing this in public, so I thought Id better set
the record straight. (02)
Pat (03)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (04)
_________________________________________________________________
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 (05)
|