[sc34wg3] Illustrating SIDPs

[Ann Wrightson]

If I understand Patrick rightly then I'm afraid that this leads to an
unmanageably infinite universe (in contrast to the manageable infinity of
Robert's process of fining down M). 

To have a formal model there must be an (at most manageably infinite)
universe. The easiest way to get one is to start by positing it (without
asking for further definition at that point), develop a formal model based
on the posited universe, then see if the model is credible as a model of the
original intuition. 

Ann W.

-----Original Message-----
From: sc34wg3-admin@isotopicmaps.org [mailto:sc34wg3-admin@isotopicmaps.org]
On Behalf Of Patrick Durusau
Sent: 17 May 2004 16:43
To: sc34wg3@isotopicmaps.org
Subject: Re: [sc34wg3] Illustrating SIDPs

(Apologies for the length but Ann, as usual, has hit on a core issue that
requires extended comment.)

&PatricksReply;