From: Terry W. Colvin (fortean1@mindspring.com)
Date: Wed Feb 26 2003 - 10:28:54 MST
Terry W. Colvin forwarded, from Amara:
>BTW: news to me that a model is not a theory...
>I wonder what I've been doing the last n years!
Strictly speaking, a model is a set of assignments that is consistent with
a theory under some semantics.
For example, the theory:
a=>~b
b=>~a
(where => is implication and ~ is negation)
has two models
{a, ~b} and
{b, ~a}
There are many ways of specifying models but, roughly speaking, the idea is
that the model is an instance of the theory -- e.g. increased resistance to
antibiotics in bacteria may be a model of evolution theory.
Best,
Ludi
Ludwig Krippahl
-- Terry W. Colvin, Sierra Vista, Arizona (USA) < fortean1@mindspring.com > Alternate: < fortean1@msn.com > Home Page: < http://www.geocities.com/Area51/Stargate/8958/index.html > Sites: * Fortean Times * Mystic's Haven * TLCB * U.S. Message Text Formatting (USMTF) Program ------------ Member: Thailand-Laos-Cambodia Brotherhood (TLCB) Mailing List TLCB Web Site: < http://www.tlc-brotherhood.org >[Vietnam veterans, Allies, CIA/NSA, and "steenkeen" contractors are welcome.]
This archive was generated by hypermail 2.1.5 : Wed Feb 26 2003 - 10:31:00 MST