Re: [lojban] searching

[John E Clifford <kali9putra@yahoo.com>]

Basic logic: KFaGa => SxFx
Existence is a predicate in Lojban (and arguably in English, etc.), this is why S or whatever you use is properly called an particular quantifier, not an existential one. 
There *may* be some conflict between log and lang here, as there often is, but the log side is pretty clear.

---

From: v4hn <me@v4hn.de>
To: lojban@googlegroups.com
Sent: Tuesday, January 8, 2013 4:54 PM
Subject: Re: [lojban] searching

On Tue, Jan 08, 2013 at 11:31:21AM -0800, John E Clifford wrote:
> Always could; existence is a predicate, being there is the UD.
> So, {lo pavyseljirna cu broda} always implies {da pavyseljirna}
> but never (directly) {da poi pavyseljirna cu zasti}.

Could you please elaborate on that a bit?
Neither do I agree that existence is a predicate(not on the level
of semantical analysis), nor do I agree with the implications
you derive from {lo brode cu broda}.
But maybe I just didn't get you...


v4hn

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.

For more options, visit this group at http://groups.google.com/group/lojban?hl=en.