Re: Model vs. World
cmenzel@kbssun1.tamu.edu (Chris Menzel)
From: cmenzel@kbssun1.tamu.edu (Chris Menzel)
Message-id: <9306201939.AA03404@kbssun1.tamu.edu>
Subject: Re: Model vs. World
To: fritz@rodin.wustl.edu (Fritz Lehmann)
Date: Sun, 20 Jun 1993 14:39:03 -0500 (CDT)
Cc: cg@cs.umn.edu, interlingua@ISI.EDU
In-reply-to: <9306171041.AA07340@rodin.wustl.edu> from "Fritz Lehmann" at Jun 17, 93 05:41:34 am
X-Mailer: ELM [version 2.4 PL20]
Content-Type: text
Content-Length: 1259
Fritz Lehmann wrote:
: Also, Chris Menzel replied to me,
: >I don't believe Pat et al. were quite as led astray by formal methods
: >as you suggest. Pat is surely aware of the possibility of convoluted
: >Tarskian models of the sort you discuss. The important point for him
: >is that you can also define "accurate" or "intended" models out of
: >real world objects and thereby provide a rigorous account of how
: >models represent. John argued in response for the much stronger claim
^^^^^^
: >that one cannot properly form mathematical models out of real world
: >objects *at all*.
:
: Tarskian model theory is about how models are represented, not about
: "how models represent".
Oops; I flip-flopped to "model" in the standard sense of "information
model", i.e., a syntactic (usually graphical) representation of, say,
a database schema or business process. A better choice would have
been "knowledge representations".
--Chris
================================================================
Christopher Menzel Internet -> cmenzel@tamu.edu
Philosophy, Texas A&M University Phone ----> (409) 845-8764
College Station, TX 77843-4237 Fax ------> (409) 845-0458
================================================================