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