[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Wikineurotic] Wiki page gadri: an unofficial commentary from a logical point of view changed by guskant
The page gadri: an unofficial commentary from a logical point of view was changed by guskant at 08:46 UTC
You can view the page by following this link:
http://www.lojban.org/tiki/gadri%3A%20an%20unofficial%20commentary%20from%20a%20logical%20point%20of%20view
You can view a diff back to the previous version by following this link:
http://www.lojban.org/tiki/tiki-pagehistory.php?page=gadri%3A%20an%20unofficial%20commentary%20from%20a%20logical%20point%20of%20view&compare=1&oldver=6&newver=7
***********************************************************
The changes in this version follow below, followed after by the current full page text.
***********************************************************
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
@@ -Lines: 153-157 changed to +Lines: 153-157 @@
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
It means that {ko'a} is not an individual.
- Moreover, when {ko'a} is expanded to {A jo'u B}, from a property of {jo'u}, the following statements hold true:
+ Moreover, when {ko'a} is expanded to {A jo'u B}, from a property of {jo'u}, the following propositions hold true:
^A me ko'a~pp~
~/pp~B me ko'a^
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
@@ -Lines: 340-344 changed to +Lines: 340-344 @@
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
lo piPA broda ~hs~|~hs~ =ca'e ~hs~|~hs~ zo'e noi ke'a piPA si'e be lo pa broda
||
- This definition of {piPA} of inner quantification still excludes what is neither an individual nor individuals unless {lo pa broda} can express what is neither an individual nor individuals.
+ This definition of {piPA} of inner quantification still excludes what is neither an individual nor individuals unless {lo pa broda} is defined in another way so that it can be what is neither an individual nor individuals.
Why don't we use {PA si'e} to express quantification of what is neither an individual nor individuals?
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
@@ -Lines: 350-360 changed to +Lines: 350-360 @@
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
Besides those considerations, if we abandon Axiom 1 of ((|#Inner_quantification|Section 3.1)), Definitions (D1) (D2) (D3) can be applied to what is neither an individual nor individuals.
- In this case, a speaker should select some plural constants, and define them to be {ko'a} such that {ko'a su'o pa mei}; the selection must be done attentively so that plural constants that are {pa mei} do not overlap with each other.<br />Those preparation of {ko'a} and (D2) implies only
+ In this case, a speaker should select some plural constants {ko'a, ko'e, ...}, and decide that {[[ko'a/ko'e/...] su'o pa mei}; the selection must be done attentively so that referents of plural constants that are {pa mei} do not overlap with each other.<br />Those preparations of {ko'a, ko'e, ...} and (D2) imply only
||
- ganai ko'a pa mei <br />gi ro'oi de poi me ko'a zo'u de me ko'a
+ ganai [[ko'a/ko'e/...] pa mei <br />gi ro'oi de poi me [[ko'a/ko'e/...] zo'u de me [[ko'a/ko'e/...]
||
- Under these conditions, there is no need that {ko'a} of {ko'a pa mei} is an individual.
+ Under these conditions, there is no need that what is x1 of {pa mei} is an individual.
When we use Definitions (D1) (D2) (D3) without using Axiom 1 of ((|#Inner_quantification|Section 3.1)), a condition {gi'e su'o pa mei} must be added to {de} of (D1)（When Axiom 1 is used, referents in the domain of variable {de} satisfies this condition automatically).
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
@@ -Lines: 371-375 changed to +Lines: 371-375 @@
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
!!!# Outer quantification
-
+ ((BPFK Section: gadri|BPFK defines outer quantification)) as follows:
||
PA ''sumti'' ~hs~|~hs~ PA da poi ke'a me ''sumti''
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
@@ -Lines: 378-434 changed to +Lines: 378-433 @@
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
||
- {piPA} {PA da} ____ {jmaji} x1 {ci lo prenu} 3
+ Outer quantification except {piPA} forms {PA da}, which is officially a bound singular variable. It implies that these arguments satisfy a predicate __distributively__. For example, it is meaningless to use {ci lo prenu} as x1 of {jmaji} (gather), because it is not the case that each of three people satisfies the predicate "gather".
- PA {ro'oi} {su'oi} <br />^su'oi prenu cu jmaji ~hs~ ^<br /><br />^lo prenu cu jmaji ~hs~ ^<br />((|#A_logical_axiom_on_plural_constant|2.2.6))
+ However, if we use unofficial plural quantifiers {ro'oi} or {su'oi} for PA, outer quantification can form bound plural variable. For example,<br />^su'oi prenu cu jmaji ~hs~ there are people who gather.^<br />This proposition is implied by a proposition including plural constant<br />^lo prenu cu jmaji ~hs~ People gather.^<br />with the logical axiom in ((|#A_logical_axiom_on_plural_constant|Section 2.2.6)).
- {PA lo broda} {PA broda}
+ {PA lo broda} differs from {PA broda} in domain of referents of bound singular variable to be counted. The definitions of outer quantification are applied to them as follows:
||
- PA lo broda ~hs~|~hs~ PA da poi ke'a me lo broda ~hs~|~hs~ lo broda PA<br />PA broda ~hs~|~hs~ PA da poi ke'a broda ~hs~|~hs~ broda PA
+ PA lo broda ~hs~|~hs~ PA da poi ke'a me lo broda ~hs~|~hs~ The domain of bound singular vaiable is a referent of plural constant {lo broda} in the universe of discourse, and counted to be PA<br />PA broda ~hs~|~hs~ PA da poi ke'a broda ~hs~|~hs~ The domain of bound singular variable is all that are {broda} in the universe of discourse, and counted to be PA
||
^
- ;1: ro jmive ba morsi ~hs~ ''''<br />;2: ro lo prenu ti klama ~hs~ ''''^<br />1 {jmive} 2 {lo prenu} {prenu}
+ ;Example 1: ro jmive ba morsi ~hs~ ''All living things will die''<br />;Example 2: ro lo prenu ti klama ~hs~ ''All the people come here''^<br />Example 1 mentions all {jmive} in the universe of discourse. In the universe of discourse of Example 2, it is possible to interpret that there are {prenu} other than the referent of the plural constant {lo prenu}.
- {piPA} {lo piPA si'e} {piPA si'e} x2 {pa me ''sumti''} {pi} 1 {pi} {fi'u}
+ The outer quantification by {piPA} forms plural constant {lo piPA si'e}. However, x2 of {piPA si'e} is bound singular variable {pa me ''sumti''}. {pi} in this definition means "not larger than 1"; practically, {fi'u} or something can be used instead of {pi}
!!!!# Combination of outer and inner quantifications
-
+ The definitions of inner and outer quantification imply the following interpretations:
||
- M lo [[N] broda ~hs~|~hs~ [[N] lo broda M <br />M loi [[N] broda ~hs~|~hs~ [[N] lo broda lo gunma M <br />M lo'i [[N] broda ~hs~|~hs~ [[N] lo broda lo selcmi M <br />pi M lo [[N] broda ~hs~|~hs~ [[N] lo broda 1 pi M si'e<br />pi M loi [[N] broda ~hs~|~hs~ [[N] lo broda lo gunma 1 pi M si'e<br />pi M lo'i [[N] broda ~hs~|~hs~ [[N] lo broda lo selcmi 1 pi M si'e
+ M lo [[N] broda ~hs~|~hs~ M (which satisfies a predicate distributively) of {lo broda} [[that are N]<br />M loi [[N] broda ~hs~|~hs~ M (which satisfies a predicate distributively) of {lo gunma} that consists of {lo broda} [[that are N]<br />M lo'i [[N] broda ~hs~|~hs~ M (which satisfies a predicate distributively) of {lo selcmi} that consists of {lo broda} [[that are N]<br />pi M lo [[N] broda ~hs~|~hs~ Quantity {pi M si'e} of a part of one of {lo broda} [[that are N]<br />pi M loi [[N] broda ~hs~|~hs~ Quantity {pi M si'e} of a part of one of {lo gunma} that consists of {lo broda} [[that are N]<br />pi M lo'i [[N] broda ~hs~|~hs~ Quantity {pi M si'e} of a part (subset) of one of {lo selcmi} that consists of {lo broda} [[that are N]
||
- {M lo [[N] broda} {pi M loi [[N] broda}
+ Among them, {M lo [[N] broda} and {pi M loi [[N] broda} can express some of plural number of things.
^
- ;1: re lo [[ci] mlatu mi viska ~hs~ ''[[3]2''<br />;2: re fi'u ci loi [[vei ci pi'i ny (ve'o)] mlatu mi viska ~hs~ ''[[3n]32''^
+ ;Example 1: re lo [[ci] mlatu mi viska ~hs~ ''Two [[of three] cats see me.''<br />;Example 2: re fi'u ci loi [[vei ci pi'i ny (ve'o)] mlatu mi viska ~hs~ ''Two third of [[3n] cats see me.''^
- 1 {re lo [[ci] mlatu} {lo [[ci] mlatu} 32 <br /> {ci} {lo mlatu} {re lo mlatu} 2
+ {re lo [[ci] mlatu} of Example 1 refers to two cats among [[three] cats that are referent of {lo [[ci] mlatu}.<br />If the inner quantifier {ci} is not said, it is unclear how many cats are referred to by {lo mlatu}; in any case {re lo mlatu} refers to two of them.
- 2 {loi} {lo gunma} 2 {loi} {piPA ''sumti''}
+ In Example 2, the argument is formed by {loi}, and the referent is actually {lo gunma}. Expanding Example 2 according to the definitions of {loi} and {piPA ''sumti''},
^
- ;2-1: lo re fi'u ci si'e be pa me lo gunma be lo [[vei ci pi'i ny (ve'o)] mlatu mi viska^<br /> {re fi'u ci loi...} {pa me lo gunma...} 32 {lo gunma} {vei ci pi'i ny (ve'o)} <br /> {loi mlatu} {lo gunma} {re fi'u ci loi mlatu} {lo gunma} 32
+ ;Example 2-1: lo re fi'u ci si'e be pa me lo gunma be lo [[vei ci pi'i ny (ve'o)] mlatu mi viska^<br />That is to say, {re fi'u ci loi...} refers to two third of an individual {pa me lo gunma...}. This {lo gunma} consists of {vei ci pi'i ny (ve'o)} cats. <br />If the inner quantifier is not said, it is unclear how many cats constitute {lo gunma} that is {loi mlatu}; in any case {re fi'u ci loi mlatu} refers to two third of {lo gunma}. However,
^re fi'u ci loi mlatu mi viska^
- {loi mlatu} 3 {viska} <br />BPFK {loi} {loi} ((|#Relation_between_lu_a_lu_o_lu_i_and_gadri|3.3)) {lu'a}
+ is meaningful only when {loi mlatu} consists of 3n cats, because it is not ordinary to interpret that a fragment of a cat satisfies the predicate {viska}.<br />According to BPFK's definition, {loi} cannot form a plural constant that satisfies a predicate non-collectively. If you want to mean "cats see me non-collectively", avoid {loi}, or use {lu'a}, which will be discussed in ((|#Relation_between_lu_a_lu_o_lu_i_and_gadri|Section 3.3)):
^lu'a re fi'u ci loi mlatu mi viska^
- とする。
!!!# Relation between lu'a, lu'o, lu'i and gadri
- ((BPFK Section: Indirect Referers)) LAhE {lu'a}, {lu'o}, {lu'i}
+ ((BPFK Section: Indirect Referers|BPFK defines)) {lu'a}, {lu'o}, {lu'i} of LAhE as follows:
||
lu'a ''sumti'' ~hs~|~hs~ lo me ''sumti'' ~hs~|~hs~ lo cmima be ''sumti'' [[noi selcmi]
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
@@ -Lines: 436-501 changed to +Lines: 435-499 @@
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
lu'i ''sumti'' ~hs~|~hs~ lo'i me ''sumti''
||
- {lu'a} {lu'o}
+ However, guessing from the English definitions on the same page, the definition of {lu'a} is unsatisfactory, and that of {lu'o} has some problem.
- {lu'a} {lo selcmi} {selcmi} x2 {lo gunma} {gunma} x2 {lu'a} {lo} {lo me ''sumti''}
+ {lu'a} extracts x2 of {selcmi} from sumti that is {lo selcmi}, and x2 of {gunma} from sumti that is {lo gunma}. Moreover, {lu'a} makes explicit that the sumti satisfies a predicate distributively and non-collectively. On the other hand, according to the definition of {lo}, {lo me ''sumti''} does not imply "distributively and non-collectively".
- {lu'o} {loi} {loi me ''sumti''} {loi}
+ {lu'o} makes explicit that the sumti satisfies a predicate non-distributively and collectively. On the other hand, according to the definition of {loi}, {loi me ''sumti''} satisfies a predicate collectively, but still unclear if it does non-distributively. For consistency, it would be better to add "{loi broda} implies that referent of x1 of broda collectively and non-distributively satisfies a predicate" to the definition of {loi}.
- <br />; {lu'a} :||
+ As a conclusion of this section, I suggest to re-define {lu'a} as follows:<br />; Unofficial definition of {lu'a}:||
lu'a ''sumti'' ~hs~|~hs~ lo cmima be ''sumti'' noi selcmi ku onai lo se gunma be ''sumti'' noi gunma ku onai lo me ''sumti'' ku ~pp~
~/pp~ ~hs~ vu'o noi su'o da zo'u da me ke'a gi'e no'a
||
- {vu'o} {noi} {lu'a ''sumti''}
+ In {noi} clause after {vu'o}, it is made explicit that the referent of {lu'a ''sumti''} distributively satisfies the sentence that includes this sumti.
!!# Notes
- guskant gadri
+ This section consists of notes of the author guskant, and it is not at all important for understanding gadri.
!!!# About ontology
- ^((BPFK Section: gadri|Positive impact: Some usages that make little sense with {lo}={su'o} become validated.))^
+ ^((BPFK Section: gadri|"Positive impact: Some usages that make little sense with {lo}={su'o} become validated." according to BPFK.))^
- {lo}={su'o} {lo broda} ((|#A_logical_axiom_on_plural_constant|2.2.6)) {lo broda cu brode} {su'oi da brode}
+ {lo}={su'o} was abandoned, but because of the fact that {lo broda} is a plural constant, and because of a logical axiom of plural constant in ((|#A_logical_axiom_on_plural_constant|Section 2.2.6)), {lo broda cu brode} implicitly implies {su'oi da brode}.
!!!# claxu x2
^((BPFK Section: gadri|le cmana __lo__ cidja ba claxu))~pp~
- ~/pp~ ''''~pp~
+ ~/pp~ ''In the mountains there is no food.''~pp~
~/pp~((lapoi pelxu ku'o trajynobli))^
- {lo cidja}
+ Expanding {lo cidja},
^le cmana zo'e noi ke'a cidja ku'o ba claxu^
- ((BPFK Section: Subordinators|{noi} ))
+ According to ((BPFK Section: Subordinators|the definition of {noi})),
^le cmana zo'e to ri xi rau cidja toi ba claxu^
- {to} {toi} bridi
+ The part between {to} and {toi} is a parenthetical expression. The main proposition is thus
^le cmana zo'e ba claxu^
- {zo'e} ((|#A_logical_axiom_on_plural_constant|2.2.6))
+ where {zo'e} is a plural constant. According to the logical axiom of plural constant in ((|#A_logical_axiom_on_plural_constant|Section 2.2.6)), This proposition implies
^su'oi da zo'u le cmana da ba claxu^
- <br /> {claxu} x2 <br /> {claxu} x2 x1
+ which means that there is a referent of "what is lacked by the mountain" in the universe of discourse.<br />The strangeness comes from the fact that x2 of {claxu} __apparently__ means non-existence. We can interpret it consistently that {claxu} means only that the referent of x2 is not placed at the referent of x1, and it says nothing about existency in the universe of discourse.
!!!# zo'e is a plural constant
- {zo'e} <br />[https://groups.google.com/d/topic/lojban/RAtE7Yk-dqw/discussion|] {zo'e} <br /> {zo'e}
+ Assuming that {zo'e} can be any of free variable, bound plural variable or plural constant, the language would be more reasonable from a logical point of view.<br />However, this idea was clearly denied in [https://groups.google.com/d/topic/lojban/RAtE7Yk-dqw/discussion|the discussion]. That is to say, {zo'e} is always a plural constant according to the official interpretation.<br />I will examine these conflicting ideas, and try to solve some problems caused by the official interpretation that {zo'e} is a plural constant.
!!!!# If zo'e chould be a bound plural variable
- {zo'e} {zo'e}
+ I will list up here merits and demerits of assuming that {zo'e} in no context is a free variable, and that the context determines the universe of discourse, based on which {zo'e} is regarded as substituted for by a plural constant, or bound by a plural quantifier.
!!!!!# Merits
- {lo PA broda} PA=0 ((|#Cannot_say_zero|3.1.2.1)) {lo PA broda} PA>0 {su'oi da} PA=0 {naku su'oi da}
+ Under this assumption, there is no need to exclude the case PA=0 of {lo PA broda}, or give it an unofficial definition as discussed in ((|#Cannot_say_zero|Section 3.1.2.1)). It is because if {lo PA broda} in no context is a free variable, we can interpret it, when a context is given, as substituted for by a plural constant or bound by a plural quantifier like {su'oi da} in the case of PA>0; we can interpret it as bound by {naku su'oi da} in the case of PA=0 as well.
- PA=0 PA>0
+ This assumption makes the interpretation closer to natural languages not only in the case PA=0 but also in the case PA>0. For example,
^lo ci xanto cu zilkancu li ci lo xanto^
- {lo xanto} 1<br /> {naku} <br /> {zo'e}
+ The last {lo xanto} is a unit of counting. It is natural to interpret it as a bound plural variable quantified by "1" rather than a plural constant, which should refer to something. If we interpret it as a bound plural variable, we should consider the relative order with the other bound variables and {naku}. We can handle the order freely by putting the arguments in prenex.<br /><br />Moreover, this assumption embodies the property of natural languages that the truth value of a proposition in no context is generally indefinite. By interpreting that {zo'e} in no context is a free variable, which will be substituted for by a plural constant or bound by a plural quantifier when a context is given, natural interpretation of Lojban sentence is possible without losing logical aspects and structural beauty.
!!!!!# Demerits
- {zo'e} bridi <br /><br /> {zo'e}
+ Because {zo'e} can be a free variable, a bound plural variable or a plural constant depending on the context, a single bridi does not let listeners determine which of them is the current {zo'e}, or the truth value of the proposition.<br />However, such an aspect that the truth value of a proposition generally depends on the context is a common property to all natural languages.<br />On the other hand, even if we take the official interpretation that {zo'e} is always a plural constant, listeners are only informed by {zo'e} that a certain universe of discourse is given. With no context, there is no way to determine what is the universe of discourse. The truth value of a proposition in no context is indefinite even with the official interpretation.
!!!!# Problems caused by the fact that zo'e is a plural constant and the counter-measures
- {zo'e}
+ The official interpretation that {zo'e} is a plural constant causes the following problems.
!!!!!# Cannot express plural quantification of non-exsistence
***********************************************************
The new page content follows below.
***********************************************************
^Translation of this page is incomplete.^
((BPFK Section: gadri|BPFK's gadri page)) contains expressions misleading people who have at least a little knowledge of logic ([https://groups.google.com/d/topic/lojban/RAtE7Yk-dqw/discussion|discussion]).
I will make here a commentary on BPFK's gadri so that it is undersood by them correctly.
{maketoc}
!!# Glossary
We will use the following terms in this commentary.
;__argument (sumti)__: Symbol that refers to a referent, or that another argument can be substituted for.
;__universe of discourse__: Set of all referents of arguments. It is naturally a universe that is discussed. A universe of discourse depends on the context.
;__constant__: Argument that refers to a referent.
;__variable__: Argument as a place holder. It does not refer to anything. It is to be substituted for. Variable other than bound variable that will be defined bellow is called __free variable__. The truth value of a sentence that includes a free variable is indefinite. Such a sentence is called __open sentence__.
^In Lojban, {ke'a} and {ce'u} are always free variables. A sentence in NOI-clause or NU-clause with {ce'u} is open. (A sentence in NU-clase with no {ce'u} has a truth value, but each of the inside and the outside of NU-clause has an independent universe of discourse, and thus each of them has an independent truth value (for example, see [http://dag.github.io/cll/9/7/|CLL9.7]). In definitions of words in Lojban, ko'V/fo'V series {ko'a, ko'e, ...} of selma'o KOhA4 are used as free variables, but it is only a custom for convenience. All cmavo of KOhA2,3,4,5,6 and {zo'e} of KOhA7 are essentially constants.^
;__quantify__: In substituting possible arguments one by one for a variable in a sentence, count the number of referents that make the sentence true, and prefix the number to the variable.
;__quantifier__: Number used for quantification. Besides {pa}, {re}, {vei ny su'i pa (ve'o)} and so on, {ro} "all" and {su'o} "there is one or more" are also quantifiers.
;__bound variable__: Variable prefixed by a quantifier. As a result of quantification, there is no room for substituting an arbitrary argument for the variable.
^In Lojban, {da}, {de} and {di} are bound variables. For example, {ro da zo'u da broda} means "For all {da} in the universe of discourse, {da broda} is true." In the case that {da}, {de} or {di} are not prefixed by a quantifier, they are regarded as implicitly prefixed by {su'o}.^
;__domain__: Range of referents to be substituted for a variable, or range to be considered in counting referents in quantification.
^In Lojban, a domain of a bound variable can be limited with an expression {da poi...}. For example, {ro da poi ke'a broda zo'u da brode} means "For all {da} that are x1 of {broda} in the universe of discourse, {da brode} is true." If {poi...} does not follow {da}, the domain is the whole universe of discourse.^
;__tautology__: Sentence that is always true independently of context. {ko'a du ko'a} etc.
;__logical axioms__: Sentences selected from tautologies so that all tautologies are proved from them with rules of inference that are defined.
!!# Plural quantification
In order to understand arguments of Lojban from a logical point of view, it is essential to have a knowledge of __plural quantification__.
Plural quantification was invented in order to facilitate expression of proposition that is meaningful only when the referent of an argument is plural.
^
;Example: People gathered, cooked and ate.^
Logically, this sentence is a proposition that consists of a constant "people" and three predicates "gathered" "cooked" and "ate". The predicates are different from each other in property of treating the argument. We will discuss precisely how the argument in the sentence is treated.
!!!# Collectivity and distributivity
Consider the expression "people gathered": based on the meaning of the predicate "gathered", the constant "people" should refer to plural people.
When referents of an argument satisfy a predicate as collective plural things like this, we express it as "an argument satisfies an predicate __collectively__", or "the argument has __collectivity__".
As for each of the plural people referred to by the constant, each sentence such that "Alice gathered", "Bob gathered" and so on is nonsense.
When each referent referred to by a constant cannot satisfy a predicate alone, we express it as "an argument satisfies an predicate __non-distributively__".
On the other hand, in the expression "people ate", although the constant "people" refers to plural people, the predicate "ate" is satisfied by each person. That is to say, each sentence such that "Alice ate", "Bob ate" and so on is meaningful.
When each referent referred to by a constant satisfies a predicate alone, we express it as "an argument satisfies an predicate __distributively__", or "the argument has __distributivity__".
Moreover, if the predicate "eat" means an act "put food in a mouth, bite it, let it pass through an esophagus and send it to a stomach", it is hardly considered that "people" satisfies "eat" collectively. Even if a person helps another to eat, the helper is not eater, and the eater is not collective people but an individual.
When each referent referred to by a constant cannot satisfy a predicate as collective plural things, we express it as "an argument satisfies an predicate __non-collectively__".
(However, it is possible to interpret the predicate "eat" as involving collectivity. For example, if it is interpreted as "put food away from outside to inside of body", we may say "collectively eat" to express an event that people eat and consume a mass of food together.)
There are also predicates that allow both properties "collevtivity" and "distributivity".
"People cooked" may mean that plural people knead paste of pizza together, and that each of them is in charge of cakes or pot-au-feu. In this case, the constant "people" refers to plural people, and they cooked pizza collectively, cakes and pot-au-feu distributively. The constant "people" thus satisfies the predicate "cooked" collectively and distributively.
Note that the constant "people" refers to what is common to three predicates "gathered", "cooked" and "ate". No matter if a constant satisfies predicates collectively or distributively, the referent is the same.
If we use an argument "a set of people" in the case of satisfying a predicate collectively, it might be possible to interpret the predicate "gathered" so that the argument satisfies it, but the same argument cannot satisfy the predicate "ate", because we can hardly say that a set of people, which is an abstract entity, performs "ate".
Using plural constants and plural variables that will be discussed in the following sections, we can express plural things in the form of predicate logic without using sets.
!!!# Plural constant and plural variable
An argument that refers to referent without introducing a notion of sets, without distinguishing collectivity and distributivity, without distinguishing plurality and singularity, is called __plural constant__.
A variable for which a plural constant can be substituted is called __plural variable__.
Quantifying a plural variable is called __plural quantification__. A quantifier used for plural quantification is called __plural quantifier__. A plural variable prefixed with a plural quantifier is called a __bound plural variable__.
!!!!# me and jo'u
We introduce relations between plural constants and plural variables: {me} and {jo'u}.
||
X me Y (me'u) ~hs~|~hs~ X is among Y
||
X and Y represent here plural constants or plural variables. A cluster {me Y (me'u)} is a selbri in Lojban grammar. {me'u} is an elidable terminator of structure beginning with {me}.
{me} has the following properties with arbitrary arguments X, Y and Z:
# X me X (reflexivity)
# X me Y ijebo Y me Z inaja X me Z (transitivity)
# X me Y ijebo Y me X ijo X du Y (identity)
The property 3 means that the identity between referents of X and Y is represented with {me}, as a relation that {X me Y ijebo Y me X}.
||
X jo'u Y ~hs~|~hs~ X and Y
||
{jo'u} combines two arguments X and Y into one plural constant or one plural variable.
{jo'u} has the following properties with arbitrary arguments X and Y:
# X me X jo'u Y
# X jo'u Y du Y jo'u X
# X jo'u X du X
The property 2 means that the referent of the whole argument does not vary when two arguments combined by {jo'u} are interchanged with each other. The property 3 means that {jo'u} does not add any referent when it combines an argument with itself.
Using {jo'u}, the following expression is possible:
^
;Example: B and C gathered, cooked and ate.
;: by jo'u cy jmaji gi'e jukpa gi'e citka^
Each of {by} and {cy} is a plural constant.
The predicate {jukpa} (cook) can be interpreted collectively and/or distributively, but the plural constant {by jo'u cy} says nothing about whether it satisfies {jukpa} collectively and/or distributively. If we want to make explicit that they cooked "collectively", we say {by joi cy} using ((BPFK Section: Non-logical Connectives|{joi} that combines two arguments into an argument that satisfies a predicate non-distributively)), or {lu'o by jo'u cy} using {lu'o} that will be discussed in ((|#Relation_between_lu_a_lu_o_lu_i_and_gadri|Section 3.3)). Contrastively, if we want to make explicit that they cooked "distributively", we say {lu'a by jo'u cy} using {lu'a} that will be discussed in ((|#Relation_between_lu_a_lu_o_lu_i_and_gadri|Section 3.3)). However, these arguments that says explicitly collectivity and/or distributivity are not always commonly used for other predicates like {jmaji} or {citka}.
The diagram bellow shows relations constructed with {me} and {jo'u} represented with a directed graph, in which the vertices represent plural constants.
{img fileId="7" thumb="y" rel="box[g]"}
!!!!# Individual
Referent of a plural constant is not necessarily plural: a plural constant can refer to one individual.
__An individual__ is defined as follows:
||
__X is an individual__ ~hs~|~hs~ =ca'e ~hs~|~hs~ ro'oi da poi ke'a me X zo'u X me da
||
where __ro'oi__ is an experimental cmavo proposed by ((xorxes|la xorxes)), which is a plural quantifier meaning "all". {ro'oi da} is a bound plural variable meaning "for all that can be substituted for {da}". This definition means that X is called an individual when the condition "for all {da} that are among X, X is among {da}" is satisfied. In other words, "in the universe of discourse, nothing other than {X} can be substituted for {da} such that {X me da}" is expressed by "X is an individual".
When each of X and Y is an individual, {X jo'u Y} is called __individuals__. When each of X and Y is an individual or individuals, {X jo'u Y} is called individuals as well.
!!!!# Difference between plural and singular
A plural constant that is an individual is called __singular constant__.
No matter whether each of X and Y is plural or singular, {X jo'u Y} is not a singular constant. It is because
^X me X jo'u Y ijenai X jo'u Y me X^
holds true, and then {X jo'u Y} does not satisfy the condition of an individual {ro'oi da poi ke'a me X jo'u Y zo'u X jo'u Y me da}.
!!!!# Bound singular variable
When the domain of a bound plural variable is restricted to what is an individual, the variable is called __bound singular variable__.
{ro da} (for all {da}) and {su'o da} (there is at least one {da}), which are officially defined in Lojban, are bound singular variables. They can be defined with bound plural variables as follows:
||
ro da ~hs~|~hs~ ro'oi da poi ro'oi de poi ke'a xi pa me ke'a xi re zo'u ke'a xi re me de
su'o da ~hs~|~hs~ su'oi da poi ro'oi de poi ke'a xi pa me ke'a xi re zo'u ke'a xi re me de
||
__su'oi__ is an experimental cmavo proposed by ((xorxes|la xorxes)), and is a plural quantifier meaning "there is/are". Note that {su'oi} is __not__ "at least one". {su'oi da} is a bound plural variable meaning "there is/are {da}".
For example, a plural constant {A jo'u B} can be in a domain of a bound plural variable, but it cannot be in a domain of a bound singular variable because it is not an individual.
!!!!# What is neither an individual nor individuals
Referent of a plural constant is not necessarily an individual or individuals.
It is possible to discuss a universe of discourse such that referent of a plural constant is neither an individual nor individuals.
For example, consider such a universe of discourse in which the following proposition holds true.
^ro'oi da poi ke'a me ko'a ku'o su'oi de zo'u de me da ijenai da me de ~--~ Condition_1^
In other words, in this universe of discourse, for all X such that {X me ko'a}, there is always Y such that {Y me X} and not {X me Y}.
;Theorem: In a universe of discourse where Condition_1 is true, {ko'a} is neither an individual nor individuals.
;Proof: Suppose {ko'a} is an individual. From the definition of "an individual":
^ro'oi da poi ke'a me ko'a zo'u ko'a me da ~--~ Supposition_2^
Replace {ro'oi da} with {naku su'oi da naku}:
^naku su'oi da poi ke'a me ko'a ku'o naku zo'u ko'a me da ~--~ Supposition_2-1^
Move the inner-most {naku} into the proposition:
^naku su'oi da poi ke'a me ko'a zo'u naku ko'a me da ~--~ Supposition_2-2^
Replace {su'oi da poi} with {ije} and move into the proposition:
^naku su'oi da zo'u da me ko'a ije naku ko'a me da ~--~ Supposition_2-3^
Replace {ije naku} with {ijenai}:
^naku su'oi da zo'u da me ko'a ijenai ko'a me da ~--~ Supposition_2-4^
By the way, from a property of {me},
^ko'a me ko'a ^
is always true. {ko'a} is therefore in the domain of {da} of Condition_1. Replace {ro'oi da} of Condition_1 with {ko'a}, and it thus holds true:
^su'oi de zo'u de me ko'a ijenai ko'a me de ~--~ Condition_1-1^
Condition_1-1 and Supposition_2-4 contradict each other.
Supposition_2 is thus rejected by reductio ad absurdum.
It means that {ko'a} is not an individual.
Moreover, when {ko'a} is expanded to {A jo'u B}, from a property of {jo'u}, the following propositions hold true:
^A me ko'a~pp~
~/pp~B me ko'a^
Each of A and B is in the domain of {da} of Condition_1. Considering similarly to Condition_1-1, neither A nor B is an individual. {ko'a} is thus not individuals.
Q.E.D.
When {ko'a} is neither an individual nor individuals, what actually does it refer to?
We may interpret that it refers to what is refered to by a material noun, for example.
By a speaker who thinks that a cut-off piece of bread is also bread, bread is regarded as neither an individual nor individuals.
[https://groups.google.com/d/msg/lojban/RAtE7Yk-dqw/pCGeYCE9l1QJ|(Related discussion: for the case of {ko'a}={lo sidbo}, I wrote the same proof only in Lojban.)]
!!!!# A logical axiom on plural constant
The following logical axiom is given to an arbitrary plural constant C:
^ganai C broda gi su'oi da zo'u da broda^
It means "in a universe of discourse, if a proposition in which a plural constant is x1 of {broda} holds true, there is referent that is x1 of {broda}".
That is to say, an argument that has no referent in a universe of discourse cannot be represented by a plural constant. An argument that has no referent is expressed in the form {naku su'oi da}, which is a negation of a bound plural variable {su'oi da} meaning "there is/are".
!!# Definition of gadri
;__lo__ (LE): It is prefixed to selbri, and forms a plural constant that refers to what satisfies x1, the first place of the selbri. If a quantifier follows {lo}, the quantifier represents the sum of all the referents of the plural constant. In the case that a quantifier follows {lo}, a sumti may follow it, and the quantifier represents the sum of all the referents of the sumti.
||
lo [[PA] broda (ku) ~hs~|~hs~ zo'e noi ke'a broda [[gi'e zilkancu li PA lo broda] (ku'o) ~hs~|~hs~ what is/are broda [[that is/are PA in total]
lo PA ''sumti'' (ku) ~hs~|~hs~ lo PA me ''sumti'' (me'u) (ku) ~hs~|~hs~ what is/are among ''sumti'' that is/are PA in total
||
{ku}, {ku'o}, {me'u} are elidable terminators.
Putting a quantifier after gadri like {lo PA} is called __inner quantification__, and the quantifier is called __inner quantifier__. Although the term "quantify" is involved, it is different from quantification of logic. Inner quantification does not involve counting referents of constants that can be substituted for a variable, but counting all the referents of one plural constant. Inner quantification will be discussed more precisely in ((|#Inner_quantification|Section 3.1)).
On the other hand, putting a quantifier before gadri, or before a sumti more generally, is called __outer quantification__, and the quantifier is called __outer quantifier__. Outer quantification will be discussed more precisely in ((|#Outer_quantification|Section 3.2)).
All sumti formed with gadri are defined so that they are expanded into expressions with {zo'e}. That is to say, the most general plural constant is represented by a single {zo'e}. A sumti formed with gadri is {zo'e} acconpanied by an explanation.
^
;Example: People gathered, cooked and ate.
;: lo prenu cu jmaji gi'e jukpa gi'e citka^
While the predicate {jukpa} (cook) can be interpreted collectively as well as distributively, the plural constant {lo prenu} (people) does not say explicitly if it satisfies {jukpa} collectively or distributively. If we want to say explicitly that they "collectively" cooked, we use {loi}, which will be discussed later, and say {loi prenu}. Contrastively, if we want to say explicitly that they "distributively" cooked, we say {ro lo prenu} with an outer quantification, or {lu'a lo prenu}. However, a sumti that says explicitly collectivity or distributivity is not necessarily able to be shared with other predicate like {jmaji} or {citka}.
;__le__ (LE): {le broda} refers __specifically__ to a referent of {lo broda}, and __explicitly express that the speaker has the referent in mind__. Its logical property is the same as that of {lo}.
||
le [[PA] broda (ku) ~hs~|~hs~ zo'e noi mi ke'a do skicu lo ka ce'u broda [[gi'e zilkancu li PA lo broda] (ku'o)
le PA ''sumti'' (ku) ~hs~|~hs~ le PA me ''sumti'' (me'u) (ku)
||
;__la__ (LA): It is prefixed to selbri or cmevla, and forms a plural constant that refers to what is named the selbri or cmevla string. Its logical property is the same as that of {lo}.
||
la [[PA] broda (ku) ~hs~|~hs~ zo'e noi lu [[PA] broda li'u cmene ke'a mi (ku'o)
la PA ''sumti'' (ku) ~hs~|~hs~ zo'e noi lu PA sumti li'u cmene ke'a mi (ku'o)
||
;__loi__ (LE), __lei__ (LE), __lai__ (LA): {loi/lei/lai broda} refers to a referent of {lo/le/la broda}, and __explicitly express that the referent satisfies a predicate collectively__.
||
loi [[PA] broda ~hs~|~hs~ lo gunma be lo [[PA] broda
lei [[PA] broda ~hs~|~hs~ lo gunma be le [[PA] broda
lai [[PA] broda ~hs~|~hs~ lo gunma be la [[PA] broda
loi PA ''sumti'' ~hs~|~hs~ lo gunma be lo PA ''sumti''
lei PA ''sumti'' ~hs~|~hs~ lo gunma be le PA ''sumti''
lai PA ''sumti'' ~hs~|~hs~ lo gunma be la PA ''sumti''
||
Bacause {loi/lei/lai} is thus defined by another plural constant {lo gunma be lo/le/la}, it does not refer directly to referent of {lo broda} or {lo PA ''sumti''}, but referent of {lo gunma}. Therefore, even if {lo broda} or {lo PA ''sumti''} is not an individual, {loi broda} or {loi PA ''sumti''} can be an individual {lo gunma} under the following condition:
^ro'oi da poi ke'a me lo gunma be lo/le/la [[PA] broda zo'u lo gunma be lo/le/la [[PA] broda cu me da~pp~
~/pp~ro'oi da poi ke'a me lo gunma be lo/le/la PA ''sumti'' zo'u lo gunma be lo/le/la PA ''sumti'' cu me da^
;__lo'i__ (LE), __le'i__ (LE), __la'i__ (LA): {lo'i/le'i/la'i broda} refers to a set or sets of individual(s) that constitute(s) a plural constant {lo/le/la broda}. Because {lo'i/le'i/la'i} forms a set or sets, it is defined only when its/their member(s) {lo/le/la broda} is/are an individual or individuals. A set itself is always an individual, and sets are always individuals: there is no set that is not an individual.
||
lo'i [[PA] broda ~hs~|~hs~ lo selcmi be lo [[PA] broda
le'i [[PA] broda ~hs~|~hs~ lo selcmi be le [[PA] broda
la'i [[PA] broda ~hs~|~hs~ lo selcmi be la [[PA] broda
lo'i PA ''sumti'' ~hs~|~hs~ lo selcmi be lo PA ''sumti''
le'i PA ''sumti'' ~hs~|~hs~ lo selcmi be le PA ''sumti''
la'i PA ''sumti'' ~hs~|~hs~ lo selcmi be la PA ''sumti''
||
Because {lo'i/le'i/la'i} is defined by another plural constant {lo selcmi be lo/le/la}, it does not refer directly to referent of {lo broda} or {lo PA ''sumti''}, but referent of {lo selcmi}.
An empty set is {lo selcmi be no da}, and an expression {lo no broda} is officially meaningless (see ((|#Inner_quantification|Section 3.1)). This implies that an empty set cannot be expressed with {lo'i/le'i/la'i}.
!!!# Inner quantification
((BPFK Section: gadri|BPFK defines inner quantification)) as follows:
||
lo [[PA] broda ~hs~|~hs~ zo'e noi ke'a broda [[gi'e zilkancu li PA lo broda]
lo PA ''sumti'' ~hs~|~hs~ lo PA me ''sumti''
||
That is to say, inner quantifier means number of referent counted by unit {lo broda} or {lo me ''sumti''} that is x3 of {zilkancu}.
However, instead of {zilkancu}, the meaning of which is too vague for definition, [https://groups.google.com/d/msg/lojban/RAtE7Yk-dqw/xi2h6A17CusJ|an idea of redefinition using {mei} was suggested] as follows:
;Axiom 1: ro'oi da su'o pa mei
;Definition:||
(D1) ko'a su'o N mei ~hs~|~hs~ =ca'e ~hs~|~hs~ su'oi da poi me ko'a ku'o su'oi de poi me ko'a zo'u ge da su'o N-1 mei ginai de me da
(D2) ko'a N mei ~hs~|~hs~ =ca'e ~hs~|~hs~ ko'a su'o N mei gi'e nai su'o N+1 mei
(D3) lo PA broda ~hs~|~hs~ =ca'e ~hs~|~hs~ zo'e noi ke'a PA mei gi'e broda
||
Using these definitions and Axiom 1, the following theorem will be proved.
^If and only if {ko'a pa mei}, {ko'a} is an individual.^
;Proof: (D2) is
||
ko'a N mei |=| ko'a su'o N mei gi'e nai su'o N+1 mei
|=| ge ko'a su'o N mei -----(S1)
| | gi naku ko'a su'o N+1 mei -----(S2)
||
Applying (D1) to (S2),
||
(S2) |=| naku su'oi da poi me ko'a ku'o su'oi de poi me ko'a zo'u
| | ge da su'o N mei
| | ginai de me da
|=| ro'oi da poi me ko'a ku'o ro'oi de poi me ko'a zo'u
| | naku ge da su'o N mei
| | gi naku de me da
|=| ro'oi da poi me ko'a ku'o ro'oi de poi me ko'a zo'u
| | ganai da su'o N mei
| | gi de me da
||
(D2) is therefore
||
ko'a N mei |=| ge (S1) gi (S2)
|=| ge ko'a su'o N mei
| | gi ro'oi da poi me ko'a ku'o ro'oi de poi me ko'a zo'u
| | ganai da su'o N mei
| | gi de me da
||
When N=1,
||
ko'a pa mei |=| ge ko'a su'o pa mei
| | gi ro'oi da poi me ko'a ku'o ro'oi de poi me ko'a zo'u
| | ganai da su'o pa mei
| | gi de me da
||
Because of Axiom 1, it implies
||
ko'a pa mei |=| ro'oi da poi me ko'a ku'o ro'oi de poi me ko'a zo'u de me da
||
The right side implies {ro'oi da poi ke'a me ko'a zo'u ko'a me da}, which is the condition for "{ko'a} is an individual". Its converse is also true.
Q.E.D.
The diagram below shows a procedure of counting something up to four represented with a directed graph. In this diagram, loops such as {X me X} are omitted for simplicity, though they exist. Counting up corresponds to selecting a subgraph of a directed graph formed with {me}: the subgraph that has a form of tree that includes all leaves (constants each of which is an individual) to be counted, for example the part of magenta color in the diagram.
{img fileId="10" thumb="y" rel="box[g]"}
!!!!# Repeating inner quantification
Because {lo PA ''sumti''} is defined, we can repeat inner quantification to form an argument.
^
;Example: lo mulno kardygri cu gunma lo vo loi paci karda ~hs~ ''A full deck consists of four groups of thirteen cards.''
;: su'o da zo'u loi re lo'i ro mokca noi sepli py noi mokca ku'o da cu relcuktai ~hs~ ''Two sets of points that are equidistant from a point P is a double circle.''^
!!!!# Problems on inner quantification
!!!!!# Cannot say zero
Because an argument formed by gadri is a plural constant, {lo broda} implies {su'oi da zo'u da broda} according to the logical axiom on plural constant shown in ((|#A_logical_axiom_on_plural_constant|Section 2.2.6)). That is to say, the expression {lo no broda} implies "there are what are broda, which are counted 0", which seems meaningless.
This means that official Lojban cannot express negation of existence of plural variable {naku su'oi da}, which is nevertheless necessary, for example in the following situation:
^ lo xo prenu cu jmaji gi'e jukpa gi'e citka ~hs~~--~ no~pp~
~/pp~''"How many people gathered, cooked and ate?" "zero."''^
This response is an abbreviated form of {lo no prenu cu jmaji gi'e jukpa gi'e citka}.
This proposition means that {lo no prenu} satisfies selbri {jmaji} collectively and (je) non-distributively, {jukpa} collectively or (ja) distributively, {citka} non-collectively and (je) distributively. Because it includes selbri {jmaji} to be satisfied non-distributively, the sumti cannot be replaced by negation of existence of bound singular variable {naku su'o da}={no da}. Moreover, because it includes selbri {citka} to be satisfied non-collectively, {lo} of the sumti cannot be replaced by {loi}={lo gunma be lo}.
For making such a proposition meaningful, it is essential to give an expression {lo no broda} a meaning of negation of existence of plural variable.
For this purpose, I suggest the following definition valid in the case that PA=0 for {lo PA broda}.
;Unofficial definition of {lo no broda}:||
lo no broda ~hs~|~hs~ =ca'e ~hs~|~hs~ naku su'oi da poi ke'a broda
||
（If it were defined as {naku lo broda}, the negation would have spanned the whole proposition, and it would not have implied quantification. I abandoned therefore such a definition.)
!!!!!# Cannot quantify material noun or something
Axiom 1 of ((|#Inner_quantification|Section 3.1)) excludes sumti that is neither an individual nor individuals from expressions {(su'o) N mei} and {lo N broda}.
Can we use {piPA} for sumti that is neither an individual nor individuals, then? No.
((BPFK Section: gadri|Actually, piPA is defined only for outer quantification.))
||
piPA ''sumti'' ~hs~|~hs~ lo piPA si'e be pa me ''sumti''
||
As we can see in the definition, the body of outer quantification by {piPA} is plural constant {lo piPA si'e}, which is not a bound singular variable. However, x2 of {piPA si'e} is {pa me ''sumti''}, to which ((BPFK Section: gadri|the defintion of PA broda)) is applied:
||
PA broda ~hs~|~hs~ PA da poi broda
||
As a result, {piPA ''sumti''} is defined only when there is an individual that satisfies x1 of {me ''sumti''}. That is to say, what is neither an individual nor individuals is excluded also from an expression of outer quantification with {piPA}.
What would be if {piPA} were defined also for inner quantification?
In that case, the following definition would be desirable to conform the definition of {piPA} of outer quantification:
; Unofficial definition of {piPA} of inner quantification:||
lo piPA broda ~hs~|~hs~ =ca'e ~hs~|~hs~ zo'e noi ke'a piPA si'e be lo pa broda
||
This definition of {piPA} of inner quantification still excludes what is neither an individual nor individuals unless {lo pa broda} is defined in another way so that it can be what is neither an individual nor individuals.
Why don't we use {PA si'e} to express quantification of what is neither an individual nor individuals?
It is possible, but ((BPFK Section: Numeric selbri|BPFK's current definition of {si'e})) depends on {pagbu}:
||
x1 number si'e x2 ~hs~|~hs~ x1 pagbu x2 gi'e klani li number lo se gradu be x2
||
If we interpret {pagbu} so that x1 is not larger than x2 (and this is ordinary interpretation), [https://groups.google.com/d/msg/lojban/RAtE7Yk-dqw/nUbZiwmB2M0J|{si'e} is very inconvenient because the unit should be changed every time counting up.] If {si'e} were defined so that PA of {PA si'e} could be larger than 1, {si'e} would have been pragmatic for quantification of what is neither an individual nor individuals.
Besides those considerations, if we abandon Axiom 1 of ((|#Inner_quantification|Section 3.1)), Definitions (D1) (D2) (D3) can be applied to what is neither an individual nor individuals.
In this case, a speaker should select some plural constants {ko'a, ko'e, ...}, and decide that {[[ko'a/ko'e/...] su'o pa mei}; the selection must be done attentively so that referents of plural constants that are {pa mei} do not overlap with each other.
Those preparations of {ko'a, ko'e, ...} and (D2) imply only
||
ganai [[ko'a/ko'e/...] pa mei
gi ro'oi de poi me [[ko'a/ko'e/...] zo'u de me [[ko'a/ko'e/...]
||
Under these conditions, there is no need that what is x1 of {pa mei} is an individual.
When we use Definitions (D1) (D2) (D3) without using Axiom 1 of ((|#Inner_quantification|Section 3.1)), a condition {gi'e su'o pa mei} must be added to {de} of (D1)（When Axiom 1 is used, referents in the domain of variable {de} satisfies this condition automatically).
;Unofficial definitions under the condition that Axiom 1 is abandoned:||
(D1') ko'a su'o N mei ~hs~|~hs~ =ca'e ~hs~|~hs~ su'oi da poi me ko'a ku'o su'oi de poi me ko'a gi'e su'o pa mei zo'u ge da su'o N-1 mei ginai de me da
(D2) ko'a N mei ~hs~|~hs~ =ca'e ~hs~|~hs~ ko'a su'o N mei gi'e nai su'o N+1 mei
(D3) lo PA broda ~hs~|~hs~ =ca'e ~hs~|~hs~ zo'e noi ke'a PA mei gi'e broda
||
Using these definitions, inner quantification of what is neither an individual nor individuals becomes possible. Moreover, "Unofficial definition of {piPA} of inner quantification" discussed above becomes able to be applied to what is neither an individual nor individuals.
The diagram below shows a procedure of counting up what is neither an individual nor individuals represented with a directed graph. In this diagram, loops such as {X me X} are omitted for simplicity, though they exist. Among infinite number of vertices (plural constants), the vertices that a speaker selected as {su'o pa mei} are colored pink. Counting up corresponds to selecting a tree that is a subgraph of a directed graph formed with {me}, for example the part of blue color in the diagram.
{img fileId="9" thumb="y" rel="box[g]"}
!!!# Outer quantification
((BPFK Section: gadri|BPFK defines outer quantification)) as follows:
||
PA ''sumti'' ~hs~|~hs~ PA da poi ke'a me ''sumti''
PA broda ~hs~|~hs~ PA da poi broda
piPA ''sumti'' ~hs~|~hs~ lo piPA si'e be pa me ''sumti''
||
Outer quantification except {piPA} forms {PA da}, which is officially a bound singular variable. It implies that these arguments satisfy a predicate __distributively__. For example, it is meaningless to use {ci lo prenu} as x1 of {jmaji} (gather), because it is not the case that each of three people satisfies the predicate "gather".
However, if we use unofficial plural quantifiers {ro'oi} or {su'oi} for PA, outer quantification can form bound plural variable. For example,
^su'oi prenu cu jmaji ~hs~ there are people who gather.^
This proposition is implied by a proposition including plural constant
^lo prenu cu jmaji ~hs~ People gather.^
with the logical axiom in ((|#A_logical_axiom_on_plural_constant|Section 2.2.6)).
{PA lo broda} differs from {PA broda} in domain of referents of bound singular variable to be counted. The definitions of outer quantification are applied to them as follows:
||
PA lo broda ~hs~|~hs~ PA da poi ke'a me lo broda ~hs~|~hs~ The domain of bound singular vaiable is a referent of plural constant {lo broda} in the universe of discourse, and counted to be PA
PA broda ~hs~|~hs~ PA da poi ke'a broda ~hs~|~hs~ The domain of bound singular variable is all that are {broda} in the universe of discourse, and counted to be PA
||
^
;Example 1: ro jmive ba morsi ~hs~ ''All living things will die''
;Example 2: ro lo prenu ti klama ~hs~ ''All the people come here''^
Example 1 mentions all {jmive} in the universe of discourse. In the universe of discourse of Example 2, it is possible to interpret that there are {prenu} other than the referent of the plural constant {lo prenu}.
The outer quantification by {piPA} forms plural constant {lo piPA si'e}. However, x2 of {piPA si'e} is bound singular variable {pa me ''sumti''}. {pi} in this definition means "not larger than 1"; practically, {fi'u} or something can be used instead of {pi}
!!!!# Combination of outer and inner quantifications
The definitions of inner and outer quantification imply the following interpretations:
||
M lo [[N] broda ~hs~|~hs~ M (which satisfies a predicate distributively) of {lo broda} [[that are N]
M loi [[N] broda ~hs~|~hs~ M (which satisfies a predicate distributively) of {lo gunma} that consists of {lo broda} [[that are N]
M lo'i [[N] broda ~hs~|~hs~ M (which satisfies a predicate distributively) of {lo selcmi} that consists of {lo broda} [[that are N]
pi M lo [[N] broda ~hs~|~hs~ Quantity {pi M si'e} of a part of one of {lo broda} [[that are N]
pi M loi [[N] broda ~hs~|~hs~ Quantity {pi M si'e} of a part of one of {lo gunma} that consists of {lo broda} [[that are N]
pi M lo'i [[N] broda ~hs~|~hs~ Quantity {pi M si'e} of a part (subset) of one of {lo selcmi} that consists of {lo broda} [[that are N]
||
Among them, {M lo [[N] broda} and {pi M loi [[N] broda} can express some of plural number of things.
^
;Example 1: re lo [[ci] mlatu mi viska ~hs~ ''Two [[of three] cats see me.''
;Example 2: re fi'u ci loi [[vei ci pi'i ny (ve'o)] mlatu mi viska ~hs~ ''Two third of [[3n] cats see me.''^
{re lo [[ci] mlatu} of Example 1 refers to two cats among [[three] cats that are referent of {lo [[ci] mlatu}.
If the inner quantifier {ci} is not said, it is unclear how many cats are referred to by {lo mlatu}; in any case {re lo mlatu} refers to two of them.
In Example 2, the argument is formed by {loi}, and the referent is actually {lo gunma}. Expanding Example 2 according to the definitions of {loi} and {piPA ''sumti''},
^
;Example 2-1: lo re fi'u ci si'e be pa me lo gunma be lo [[vei ci pi'i ny (ve'o)] mlatu mi viska^
That is to say, {re fi'u ci loi...} refers to two third of an individual {pa me lo gunma...}. This {lo gunma} consists of {vei ci pi'i ny (ve'o)} cats.
If the inner quantifier is not said, it is unclear how many cats constitute {lo gunma} that is {loi mlatu}; in any case {re fi'u ci loi mlatu} refers to two third of {lo gunma}. However,
^re fi'u ci loi mlatu mi viska^
is meaningful only when {loi mlatu} consists of 3n cats, because it is not ordinary to interpret that a fragment of a cat satisfies the predicate {viska}.
According to BPFK's definition, {loi} cannot form a plural constant that satisfies a predicate non-collectively. If you want to mean "cats see me non-collectively", avoid {loi}, or use {lu'a}, which will be discussed in ((|#Relation_between_lu_a_lu_o_lu_i_and_gadri|Section 3.3)):
^lu'a re fi'u ci loi mlatu mi viska^
!!!# Relation between lu'a, lu'o, lu'i and gadri
((BPFK Section: Indirect Referers|BPFK defines)) {lu'a}, {lu'o}, {lu'i} of LAhE as follows:
||
lu'a ''sumti'' ~hs~|~hs~ lo me ''sumti'' ~hs~|~hs~ lo cmima be ''sumti'' [[noi selcmi]
lu'o ''sumti'' ~hs~|~hs~ loi me ''sumti''
lu'i ''sumti'' ~hs~|~hs~ lo'i me ''sumti''
||
However, guessing from the English definitions on the same page, the definition of {lu'a} is unsatisfactory, and that of {lu'o} has some problem.
{lu'a} extracts x2 of {selcmi} from sumti that is {lo selcmi}, and x2 of {gunma} from sumti that is {lo gunma}. Moreover, {lu'a} makes explicit that the sumti satisfies a predicate distributively and non-collectively. On the other hand, according to the definition of {lo}, {lo me ''sumti''} does not imply "distributively and non-collectively".
{lu'o} makes explicit that the sumti satisfies a predicate non-distributively and collectively. On the other hand, according to the definition of {loi}, {loi me ''sumti''} satisfies a predicate collectively, but still unclear if it does non-distributively. For consistency, it would be better to add "{loi broda} implies that referent of x1 of broda collectively and non-distributively satisfies a predicate" to the definition of {loi}.
As a conclusion of this section, I suggest to re-define {lu'a} as follows:
; Unofficial definition of {lu'a}:||
lu'a ''sumti'' ~hs~|~hs~ lo cmima be ''sumti'' noi selcmi ku onai lo se gunma be ''sumti'' noi gunma ku onai lo me ''sumti'' ku ~pp~
~/pp~ ~hs~ vu'o noi su'o da zo'u da me ke'a gi'e no'a
||
In {noi} clause after {vu'o}, it is made explicit that the referent of {lu'a ''sumti''} distributively satisfies the sentence that includes this sumti.
!!# Notes
This section consists of notes of the author guskant, and it is not at all important for understanding gadri.
!!!# About ontology
^((BPFK Section: gadri|"Positive impact: Some usages that make little sense with {lo}={su'o} become validated." according to BPFK.))^
{lo}={su'o} was abandoned, but because of the fact that {lo broda} is a plural constant, and because of a logical axiom of plural constant in ((|#A_logical_axiom_on_plural_constant|Section 2.2.6)), {lo broda cu brode} implicitly implies {su'oi da brode}.
!!!# claxu x2
^((BPFK Section: gadri|le cmana __lo__ cidja ba claxu))~pp~
~/pp~ ''In the mountains there is no food.''~pp~
~/pp~((lapoi pelxu ku'o trajynobli))^
Expanding {lo cidja},
^le cmana zo'e noi ke'a cidja ku'o ba claxu^
According to ((BPFK Section: Subordinators|the definition of {noi})),
^le cmana zo'e to ri xi rau cidja toi ba claxu^
The part between {to} and {toi} is a parenthetical expression. The main proposition is thus
^le cmana zo'e ba claxu^
where {zo'e} is a plural constant. According to the logical axiom of plural constant in ((|#A_logical_axiom_on_plural_constant|Section 2.2.6)), This proposition implies
^su'oi da zo'u le cmana da ba claxu^
which means that there is a referent of "what is lacked by the mountain" in the universe of discourse.
The strangeness comes from the fact that x2 of {claxu} __apparently__ means non-existence. We can interpret it consistently that {claxu} means only that the referent of x2 is not placed at the referent of x1, and it says nothing about existency in the universe of discourse.
!!!# zo'e is a plural constant
Assuming that {zo'e} can be any of free variable, bound plural variable or plural constant, the language would be more reasonable from a logical point of view.
However, this idea was clearly denied in [https://groups.google.com/d/topic/lojban/RAtE7Yk-dqw/discussion|the discussion]. That is to say, {zo'e} is always a plural constant according to the official interpretation.
I will examine these conflicting ideas, and try to solve some problems caused by the official interpretation that {zo'e} is a plural constant.
!!!!# If zo'e chould be a bound plural variable
I will list up here merits and demerits of assuming that {zo'e} in no context is a free variable, and that the context determines the universe of discourse, based on which {zo'e} is regarded as substituted for by a plural constant, or bound by a plural quantifier.
!!!!!# Merits
Under this assumption, there is no need to exclude the case PA=0 of {lo PA broda}, or give it an unofficial definition as discussed in ((|#Cannot_say_zero|Section 3.1.2.1)). It is because if {lo PA broda} in no context is a free variable, we can interpret it, when a context is given, as substituted for by a plural constant or bound by a plural quantifier like {su'oi da} in the case of PA>0; we can interpret it as bound by {naku su'oi da} in the case of PA=0 as well.
This assumption makes the interpretation closer to natural languages not only in the case PA=0 but also in the case PA>0. For example,
^lo ci xanto cu zilkancu li ci lo xanto^
The last {lo xanto} is a unit of counting. It is natural to interpret it as a bound plural variable quantified by "1" rather than a plural constant, which should refer to something. If we interpret it as a bound plural variable, we should consider the relative order with the other bound variables and {naku}. We can handle the order freely by putting the arguments in prenex.
Moreover, this assumption embodies the property of natural languages that the truth value of a proposition in no context is generally indefinite. By interpreting that {zo'e} in no context is a free variable, which will be substituted for by a plural constant or bound by a plural quantifier when a context is given, natural interpretation of Lojban sentence is possible without losing logical aspects and structural beauty.
!!!!!# Demerits
Because {zo'e} can be a free variable, a bound plural variable or a plural constant depending on the context, a single bridi does not let listeners determine which of them is the current {zo'e}, or the truth value of the proposition.
However, such an aspect that the truth value of a proposition generally depends on the context is a common property to all natural languages.
On the other hand, even if we take the official interpretation that {zo'e} is always a plural constant, listeners are only informed by {zo'e} that a certain universe of discourse is given. With no context, there is no way to determine what is the universe of discourse. The truth value of a proposition in no context is indefinite even with the official interpretation.
!!!!# Problems caused by the fact that zo'e is a plural constant and the counter-measures
The official interpretation that {zo'e} is a plural constant causes the following problems.
!!!!!# Cannot express plural quantification of non-exsistence
{lo no broda} の合理的な解釈は、公式にはロジバンから追放される。 つまり、複数量化では当然扱える「{da} に当てはまるものが存在しない {naku su'oi da}」に相当する表現が、ロジバンでは公式には扱えない。 {lo no broda} という表現をしたい場合には、((|#Cannot_say_zero|3.1.2.1節))のように、非公式の解釈をする必要がある。
!!!!!# Cannot express bound plural variable, which does not specify a referent
{lo PA broda} が、文脈によっては束縛複数変項であるという解釈が不可能になったので、 数えの単位のような、特定のものを指さないはずの項も、何らかの定項であると解釈しなければいけなくなった。 例えば、
^lo ci xanto cu zilkancu li ci lo xanto^
のように、数えの単位としての {lo xanto} を命題の中で使うために、 メートル原器のような、なんらかの「ゾウ原器」を議論領域の中に想定するという、いささか不自然かもしれない解釈が強いられる（現代ではもはやメートル原器さえ用いられていないにも関わらず）。
!!!!!# Cannot express elementary particles with lo
{lo broda} が複数定項として解釈される限り、以下のロジバン文は無意味である：
^lo guska'u cu gau jmaji sepi'o lo lenjo gi'e pagre lo fenra~pp~
~/pp~''光子がレンズで集められ、スリットを通り抜ける''^
なぜなら実際のところ、光子は個であり、個数を数えることはできるのだが、この光子とあの光子といった区別をすることはできない、つまり、「特定の」光子を指すことは不可能だからだ。 光子などの素粒子を表す項には、量化表現こそが相応しい。ところがロジバンには公式には複数量化子が無いので、上記のように selbri を集団的にも分配的にも満たすような項として、量化を明示することはできない。 {lo broda} が複数定項であると宣言されたので、 {lo guska'u} を束縛複数変項として解釈する余地も残されていない。 解決策としては、 ((xorxes|la xorxes)) が提案した非公式の複数量化子 {su'oi} を使うしかない。
^su'oi da poi ke'a guska'u cu gau jmaji sepi'o lo lenjo gi'e pagre lo fenra^
!!!!!# How to interpret a prevailing view
((BPFK Section: gadri|BPFK の gadri のページ))の例文にも出ている、
^lo pa pixra cu se vamji lo ki'o valsi~pp~
~/pp~''1枚の写真は1000語に値する'' ^
といった一般論においても、 {lo pa pixra} や {lo ki'o valsi}
は何か特定のものを指していると解釈される。 議論領域の中に、一般論に登場する sumti 用の、何らかの指示対象を用意しておかなければならない。
直感的には {lo} ではなく {lo'e} を使えば良いが、((BPFK Section: Typicals|現状では {lo'e} と {lo} の関係について結論が出ていない))ので、 {lo'e} について論理学的な観点から説明することはまだできない。
あるいは、一般論の表現において指示対象への明言を避ける方法として、命題全体を NU類の中に入れるという方法が考えられる。 NU類内の命題の真理値は、 NU類外の命題の真理値に影響を及ぼさないからである（指示的に不透明 referentially opaque; [http://ponjbogri.github.io/cll-ja/chapter9.html#9.7|CLL9.7]などと関連する）。 言い換えれば、NU類内部の命題の議論領域はNU類外部の命題の議論領域と異なる。
この方法を採用して、上記のことわざを表すなら、例えば {si'o} を使って
^si'o lo pa pixra cu se vamji lo ki'o valsi ~pp~
~/pp~''「1枚の写真は1000語に値する」という概念だ''^
という形にすれば良い。 {si'o} の x1 は暗黙の {zo'e} であり、複数定項として議論領域の中に指示対象を持つ。 一般論の解釈として、 {si'o} の x1 に入る指示対象を想定することは、 {lo pa pixra} や {lo ki'o valsi} の指示対象を想定するよりも自然である。
（((The Complete Lojban Language)) では、このように terbri を明言しない bridi を「観察文」と呼んでいるが、ここで述べた用法では、この発話が特定の外部刺激 (stimulus) によって常に起こるものとは言えないから、観察文とする解釈は妥当ではない。）
!!!!!# How to express free variables
慣習として、単語の定義などではKOhA4類の ko'V/fo'V シリーズが自由変項として使われている。 ただし本来これらは複数定項である。
この慣習に従わずに自由変項を使った文（開文）を表現したい場合は、 {ke'a} か {ce'u} を使うのが妥当だ。
なぜなら、これらを terbri とする bridi の真理値は決まらないからだ。
{ke'a} が2回以上現れる bridi では、 {ke'a} が同一の項を表すと見なされる：
^da poi ke'a gy xlura ke'a cu panci lo ka'e se citka~pp~
~/pp~~--~ ((lo nu binxo))^
一方、 {ce'u} が2回以上現れる bridi では、 {ce'u} が同一の項を表すとは限らない：
^lo mamta jo'u lo mensi cu simxu lo ka ce'u cisma fa'a ce'u~pp~
~/pp~~--~ ((lo nu binxo))^
この性質を考慮すると、全く文脈のない状況で自由変項を使った開文を表現するには、「同一の項」という制限がある {ke'a} よりも、制限のない {ce'u} の方が使いやすい。
^ce'u ce'u citka~pp~
~/pp~''「A は B を食べる」'' （開文、真理値不定）^
_______________________________________________
Wikineurotic mailing list
Wikineurotic@lojban.org
http://mail.lojban.org/mailman/listinfo/wikineurotic