Re: Model != World?

From: Vadim Tropashko <vadimtro_at_gmail.com>
Date: Mon, 4 Jan 2010 17:56:55 -0800 (PST)
Message-ID: <8395b8e5-8f84-41dd-a612-24cc851c9c1d_at_r5g2000yqb.googlegroups.com>


On Jan 4, 1:44 pm, Tegiri Nenashi <tegirinena..._at_gmail.com> wrote:
> Excuse me, but I have a basic question. What is the motivation for
> differentiating the concepts of "World" and "Model"?

Model (aka structure) is an ordered triple <domain (aka universe), signature, and interpretation function>. Now, assuming "universe = world" we have "world != model". QED. Received on Tue Jan 05 2010 - 02:56:55 CET

Original text of this message