Path: newssvr20.news.prodigy.com!newsmst01.news.prodigy.com!prodigy.com!news.glorb.com!postnews1.google.com!not-for-mail
From: neo55592@hotmail.com (Neo)
Newsgroups: comp.databases.theory
Subject: Re: object algebra
Date: 29 Feb 2004 07:02:11 -0800
Organization: http://groups.google.com
Lines: 10
Message-ID: <4b45d3ad.0402290702.746c5b13@posting.google.com>
References: <zWoZb.41788$%p3.867535@weber.videotron.net> <4b45d3ad.0402251221.1478fb07@posting.google.com> <2ee%b.57781$Xp.288048@attbi_s54> <4b45d3ad.0402261256.783f8bd2@posting.google.com> <%uz%b.414746$xy6.2350159@attbi_s02> <4b45d3ad.0402271658.1d05b22@posting.google.com> <igW%b.136141$jk2.563938@attbi_s53> <4b45d3ad.0402280854.760d07b@posting.google.com> <7S60c.747$PR3.21943@attbi_s03> <4b45d3ad.0402282053.5107b3e0@posting.google.com> <f7g0c.431099$xy6.2539864@attbi_s02>
NNTP-Posting-Host: 67.98.160.212
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1078066932 26703 127.0.0.1 (29 Feb 2004 15:02:12 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sun, 29 Feb 2004 15:02:12 +0000 (UTC)
Xref: newssvr20.news.prodigy.com comp.databases.theory:24265

> But it *does* match reality. If Bob has no eyes, and Mary has no
> eyes, then *in reality* all of Bob's eyes have the same color
> as Mary's eyes. The model and the reality match perfectly.

Then we have an impasse for now:
My logic says, in reality, if Bob and Mary have no eyes, they
can't/don't have the same eyeColor because it doesn't apply to them.

Your logic says, in reality, if Bob and Mary have no eyes, they have
the same eyeColor.