[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] xoi and new soi as bridi relative clause



Le jeudi 23 juillet 2015 21:15:26 UTC, xorxes a écrit :


On Thu, Jul 23, 2015 at 5:52 PM, guskant <gusni...@gmail.com> wrote:
2015-07-23 20:28 GMT+00:00 Jorge Llambías <jjlla...@gmail.com>:
>
> A variable bound within a relative clause is not available to be used
> outside the relative clause. The scope of the quantifier is limited to the
> relative clause only.
This understanding would solve all my problems. However, my problems come exactly from doubt on this understanding. Could you explain the reason for that a variable bound within a relative clause is not available to be used outside the relative clause in spite of they stand on the same universe of discourse on the outer bridi?

That's just how first order predicate logic works. A quantifier quantifies a bridi. The variable is just a place-keeping device, internal to the mechanism of quantification, it doesn't refer to anything,


I know up to this.

so it can't be used from outside the bridi as if it referred to something. It has nothing to do with universe of discourse. 

mu'o mi'e xorxes



I didn't say the variable bound by a quantifier refers to something. When a variable is bound by a quantifier, the variable has a domain on or in a universe of discourse, otherwise the binding is meaningless. As long as a bridi including bound variables has a truth value, there should be a universe of discourse.

{poi}-clause attached to a variable restricts the domain of variable to a certain part of universe of discourse of the outer bridi. The universe should be shared by the inner and outer of {poi}.

 

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.