[Top] [All Lists]

Re: [ontolog-forum] models : logical & analogical

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: Jon Awbrey <jawbrey@xxxxxxx>
Date: Sun, 15 Jul 2007 23:58:24 -0400
Message-id: <469AECDF.B397054E@xxxxxxx>
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)

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

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