>...to emphasize the rather odd use of the "model"
>terminology, this can be precisely re-phrased using the language of
>model theory by saying that both the model (in your sense above) and
>the real bridge are models (in the sense of model theory) of the
>equations, i.e. they are both relational 'worlds' that make the
>equations true. (01)
There is a fundamental terminology conflict which has been discussed
before in this forum. (02)
I reside in a school of information technology and engineering.
Among engineers and applied mathematicians, a model is a
representation, usually mathematical, of some system or object or
process, that can be used to answer questions about the system or
object or process. Here is the correspondence: (03)
Engineer's terminology Logician's terminology (04)
Model = set of equations Set of axioms (05)
Realization of a simulation Model
of the equations (06)
When I'm not carefully policing my use of terminology, I tend to talk
like an engineer, because that's the community I inhabit. (07)
Kathy (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)
|