o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o (01)
Re: JS @ http://ontolog.cim3.net/forum/ontolog-forum/2007-07/msg00083.html (02)
This is all true, well enough, but it always helps me to realize
that some people I know (logicians, model theorists) use "model"
to mean anything that satisfies a theory, whether it be a formal
construct that we make out of sticks and strings or another sort
of thing in the world, while other people I know (engineers and
applied mathemticians) use "model" to mean an analogue model or
the target of a morphismin, in semiotic terms, an icon of the
object being modeled. These senses of the word are not the
same but they are perfectly compatible. (03)
Taking all that into account, it still makes sense to say that
a theory is "true of" the syntactic constructs that the model
theorist constructs and also "true of" other sorts of things
in the world. The theory picks out only those properties
that the object and its icon share, which sharing is
just what makes the icon an icon of its object. (04)
Jon Awbrey (05)
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
¢iare: http://www.centiare.com/Directory:Jon_Awbrey
getwiki: http://www.getwiki.net/-User_talk:Jon_Awbrey
zhongwen wp: http://zh.wikipedia.org/wiki/User:Jon_Awbrey
http://www.altheim.com/ceryle/wiki/Wiki.jsp?page=JonAwbrey
wp review: http://wikipediareview.com/index.php?showuser=398
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o (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)
|