[Top] [All Lists]

Re: [ontolog-forum] Historical footnote

To: "John F. Sowa" <sowa@xxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Wed, 14 Feb 2007 13:36:39 -0600
Message-id: <p06230907c1f9149b2ac0@[]>
>Pat and Chris,
>1901 is hardly "early".
>CM>> Russell sent his fateful letter to Frege informing him
>  >> of the paradox in the Grundgesetze der Arithmetik in 1902;
>  >> Padoa published his first paper on the theory of definitions
>  >> (which included a notion of non-creativity) in 1901.
>PH> Ah, I stand corrected. Thanks. I am amazed that it was
>  > possible to even think of these ideas that early.
>The ancient Greeks, among others, thought about, analyzed,
>and debated paradoxes very seriously. Epimenides the Cretan...    (01)

Of course. I was referring to the notion of 'creativity' in 
definitions, and the idea of independence of axioms, both of which 
seem now to be almost always described using Tarski's 1940 model 
theory terminology.    (02)

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