Re: [lojban] Meaning of multiple negations

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

The typical problem connective is '.i.' and RHE problems are simly those of 
telling where the right hand end of a quantifier's scope is.  It is certainly 
not confined to a simple bridi or even a complex one and may run over several 
"sentences".



----- Original Message ----
From: Jorge Llambías <jjllambias@gmail.com>
To: lojban@googlegroups.com
Sent: Sat, July 23, 2011 11:32:26 AM
Subject: Re: [lojban] Meaning of multiple negations

On Sat, Jul 23, 2011 at 12:27 PM, John E Clifford <kali9putra@yahoo.com> wrote:
> I suspect the problem comes at the beginning, knowing what connectives count 
>and
> what don't.

Not sure what you mean. The logical connectives are "ge bridi1 gi
bridi2" and the same with ga, go, gu and the na/nai versions. And then
there are the short hand and afterthought versions, (".e", "gi'e",
".ije") which have purely mechanical transformations to the former.

By those that don't count do you mean tanru connectives? I agree that
those don't count, since they don't correspond to anything in
predicate logic.

> This is particularly the case for quantifiers, which don't have an
> even vaguely specified RHE in Lojban, but must have one in logic.

What's a RHE? "su'o da zo'u" is an exact match for "Ex", and the same
for the rest.

> Negations seem
> less of a problem, unless they are incorporated into a quantifier.  Of course,
> we could add explicit parentheses, but we don't.

I still don't see what problem you see.

mu'o mi'e xorxes

-- 
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.

-- 
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.