On Jul 16, 2007, at 6:23 AM, John F. Sowa wrote: (01)
> Barry,
>
> I think we mostly agree.
>
> Just one clarification:
>
>> ... 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).
>
> 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.
> (02)
First, I wonder how you can possibly know this. (03)
Isn't one way that scientists work the simple noting of observational
facts in lab journals? Aren't such notations sentences. and don't
they describe reality? (04)
But more seriously, HOW does one 'derive' axioms from a model? (05)
Pat (06)
> John
>
>
> _________________________________________________________________
> 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)
------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (08)
_________________________________________________________________
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 (09)
|