[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 3 dogs, 2 men, many arguments
- Subject: Re: 3 dogs, 2 men, many arguments
- From: xod <xod@bway.net>
- Date: Mon, 1 Nov 1999 01:51:32 -0500
At 2:47 PM -0800 10/31/99, Jorge Llambias wrote:
>From: "Jorge Llambias" <jjllambias@hotmail.com>
>What you are arguing is that they both should mean
>"de ro da zo'u da broda de". In other words, you
>want that when the variables are not explicitly
>quatified in the prenex, their quantification
>should be existentials first, universals second.
That's not quite what I am suggesting. Let me know if the post I sent a few
minutes prior to this isn't clear enough.
>What you call mapping, at least in some cases, is the
>job of the quantifier. The quantifier is not a part
>of the set definition.
Isn't it? What if I say "let set A include all the dogs that bark at
night", or "let set B be 3 fast cars".
-----
During the initial period after Falon is installed, you may feel
a little unused to it being in your body, you may have abdominal pain,
or feel like something is moving and have the sense of warmth, etc.
http://www.uidaho.edu/student_orgs/falun/eng/flg_5.htm#e1