Re: [lojban-beginners] Seeking a clarification on Logical Connection within tanru

[Pierre Abbat <phma@bezitopo.org>]

On Tuesday, September 03, 2013 10:59:41 edlewis@me.com wrote:
> Hello Everyone!
> 
> I'm new around here. So far I'm finding lojban to be a thing of beauty, the
> more I read, the more I am impressed by it's beauty and elegance. I just
> had a question about logical connections within tanru, as the there seems
> to be some contradictory statements in the CLL published on lojban.org.
> 
> Specifically, the following would appear to be at odds:
> 
> In chapter 5 section 6, the example "blanu je zdani" is used and it is
> stated that the "blueness is independent of the houseness". However, in
> chapter 14 section 12, the example "la .alis. cu blanu je zdani prenu" is
> used and it is stated that "the blueness is associated with the houseness".
> I can't see how both these statements can be true and maintain
> logical consistency. This inconsistency is used to explain why the rule of
> expansion to separate bride does not apply on tanru connections.

Let's take some different pairs of gismu: "barda cinki" and "cmalu xanto". lo 
cakcinki be la .goliat. cu barda cinki gi'enai barda je cinki .iki'ubo ro 
xanto poi na'e tarbi cu bramau ro cinki (A Goliath beetle is a big insect, but 
it is not a "big and insect", because all elephants (except embryos) are 
bigger than all insects.) So if Alice studies Goliath beetles, "la .alis. 
barda cinki prenu" is true, but "la .alis. barda je cinki prenu" can't be true 
no matter who Alice is, as there is no barda je cinki.

Pierre
-- 
I believe in Yellow when I'm in Sweden and in Black when I'm in Wales.

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