Re: [lojban] Meaning of multiple negations

[Jorge Llambías <jjllambias@gmail.com>]

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.