Re: Using the RM for ADTs
Date: Tue, 14 Jul 2009 21:04:28 -0400
Message-ID: <c2a7m.11874$lv5.4561_at_flpi149.ffdc.sbc.com>
"none (Reinier Post)" <rp_at_raampje.> wrote in message
news:4a5ce054$0$8964$703f8584_at_news.kpn.nl...
> Brian Selzer wrote:
>
> [...]
>
>>I think we have our wires crossed here. I don't postulate an absolute
>>object universe in which every object absolutely exists. I postulate a
>>fixed universe that contains everything that CAN be discussed.
>
> OK. My mistake.
>
>>For a fixed
>>domain, individual quantifiers range over everything that can possibly be,
>>not just everything that actually is. Existence--that is, actual
>>existence--is a property that everything that has become actual but hasn't
>>yet become history has.
>
> So you can quantify over all green 20x50 windows that didn't magically
> appear just above my head yesterday between 22:50 and 22:53 GMT, right?
> And over all green 20x50 windows that didn't appear *in any way*
> just above my head yesterday between 22:50 and 22:53 GMT, right?
> Are they the same set?
Now you're just being contrary.
> I'm sorry, I find this pointless, even as a thought exercise.
Perhaps before you dismiss it altogether, you should look into the consequences of *not* assuming a fixed domain. I think then you'll get the point. Received on Wed Jul 15 2009 - 03:04:28 CEST