[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Re: Cake, Pie or Ice Cream?
Jorge Llambías, On 09/01/2011 19:22:
On Sun, Jan 9, 2011 at 4:08 PM, And Rosta<and.rosta@gmail.com> wrote:
I mean that because logical connectives reduce to quantifiers,
Alternatively: quantifiers reduce to logical connectives.
Except they don't -- not for quantification over intensionally-defined sets ("every dog"). You can do without connectives but not without quantifiers.
the logically
most basic Lojban form (out of the one with "ce" and the one with "a")
doesn't use 'logical connectives' but rather uses quantifiers and, where
necessary, extensionally defined sets (i.e. sets defined by a list of their
members).
I see what you mean. Maybe I shouldn't have used connectives at all:
do djica ma poi me ko'a jo'u ko'e jo'u ko'i ...
That doesn't introduce any sets, but it is still an extensional list
with the options.
Right.
My general line of thinking is that when faced with the question "How do you
say X in Lojban", you should first of all establish the answer to "How do
you say X in predicate logic".
Yes, predicate logic with plural reference.
(IIRC we disagree about plural reference, but I don't mean to claim that there is no way in which ordinary predicate logic needs to be enriched.)
(There is a lingering problem with the "ce" version, since as far as I
know it was never established whether "ko'a ce ko'e ce ko'i" is a set
with three members, or one with two members, namely ko'i and the set
{ko'a, ko'e}.)
Are these unresolved things now finally getting resolved, now that at last there seems to be a prevailing will to resolve them?
--And.
--
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.