SUO: Re: *Date 07 Feb 2002
Jon,
> Nota Bene. I worry about the use of the word "model" here,
> adorned by "information" or otherwise, but perhaps the IFF
> group can justify the risk of additional confusion that is
> bound to arise by confounding models and theories.
Models are not confounded with theories in the IFF. Within the IFF Model
Theory (Meta-)Ontology (coming soon to a workgroup near you) a model (=
model-theoretic structure) is regarded to be a mathematical notion, much
like a group or vector space, whereas a theory is a set of sentences of a
first order type language. Here a sentence and a language are also viewed as
abstract notions -- the first point-like and the second with structure. For
a particular first order type language L, the instance class for the truth
classification of L is the collection of all L-models, the type set is the
collection of all L-sentences, and incidence is satisfaction.
Robert E. Kent
rekent@ontologos.org