[Top] [All Lists]

Re: [ontolog-forum] confused and confounded models

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Mon, 16 Jul 2007 07:23:13 -0400
Message-id: <469B5521.3000506@xxxxxxxxxxx>
Barry,    (01)

I think we mostly agree.    (02)

Just one clarification:    (03)

 > ... but many senses of the term 'model' are such that the models
 > of a theory come after the theory (this is so for the sense of
 > the term 'model' used by model theorists doing set-theoretic
 > semantics).    (04)

I agree that formal model theorists tend to talk that way, but
that is not how scientists work.  The model comes first, and
the axioms are derived from the model.    (05)

John    (06)

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

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