What happens if we substitute “everything” for “something” in Example 16.7 ? We get:
Of course, this example is false, because there are many things which do not see the speaker. It is not easy to find simple truthful examples of so-called universal claims (those which are about everything), so bear with us for a while. (Indeed, some Lojbanists tend to avoid universal claims even in other languages, since they are so rarely true in Lojban.)
The Lojban translation of Example 16.15 is
When the variable cmavo da is preceded by ro , the combination means “For every X” rather than “There is an X” . Superficially, these English formulations look totally unrelated: Section 16.6 will bring them within a common viewpoint. For the moment, accept the use of ro da for “everything” on faith.
Here is a universal claim with two variables:
Again, X and Y can represent the same thing, so Example 16.17 does not mean “Everything loves everything else.” Furthermore, because the claim is universal, it is about every thing, not merely every person, so we cannot use “everyone” or “everybody” in the translation.
Note that ro appears before both da and de . If ro is omitted before either variable, we get a mixed claim, partly existential like those of Section 16.2 , partly universal.
da | ro | de | zo'u | da | viska | de |
There-is-an-X | such-that-for-every | Y | : | X | sees | Y. |
Something sees everything. |
Example 16.18 and Example 16.19 mean completely different things. Example 16.18 says that for everything, there is something which it sees, not necessarily the same thing seen for every seer. Example 16.19 , on the other hand, says that there is a particular thing which can see everything that there is (including itself). Both of these are fairly silly, but they are different kinds of silliness.
There are various possible translations of universal claims in English: sometimes we use “anybody/anything” rather than “everybody/everything” . Often it makes no difference which of these is used: when it does make a difference, it is a rather subtle one which is explained in Section 16.8 .