[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 16:42 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=1&newver=2
***********************************************************
The changes in this version follow below, followed after by the current full page text.
***********************************************************
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
@@ -Lines: 7-11 changed to +Lines: 7-11 @@
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
!!# Glossary
- We used the following terms in this commentary.
+ 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.
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
@@ -Lines: 90-94 changed to +Lines: 90-94 @@
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
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)). Contrarily, 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 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.
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
@@ -Lines: 97-101 changed to +Lines: 97-101 @@
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
!!!!# Individual
- Referent of a plural constant is not necessarily plural: it can refer to one individual.
+ Referent of a plural constant is not necessarily plural: a plural constant can refer to one individual.
__An individual__ is defined as follows:
||
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
@@ -Lines: 166-194 changed to +Lines: 166-194 @@
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
!!!!# A logical axiom on plural constant
- C
+ The following logical axiom is given to an arbitrary plural constant C:
^ganai C broda gi su'oi da zo'u da broda^
- {broda} x1 {broda} x1
+ 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}".
- {su'oi da} {naku su'oi da}
+ 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): selbri selbri 1 (first place, x1) {lo} {lo} selbri
+ ;__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] ~hs~|~hs~ broda [[PA]<br />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 ~hs~|~hs~ ''sumti'' PA
+ 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]<br />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}
+ {ku}, {ku'o}, {me'u} are elidable terminators.
- {lo PA} gadri __ inner quantification__ __ inner quantifier__ 1 ((|#Inner_quantification|3.1))
+ 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)).
- gadri __ outer quantification__ __ outer quantifier__ ((|#Outer_quantification|3.2))
+ 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)).
- gadri sumti {zo'e} {zo'e} gadri sumti
+ 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^
- {jukpa} {lo prenu} {jukpa} {loi} {loi prenu} {ro lo prenu} {lu'a lo prenu} {jmaji} {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): {lo broda} で表される複数定項に対して、「話し手が思い描く特定の」という意味を明示的に追加したものが {le broda} である。 論理学上の振る舞いは {lo} と同じ。
***********************************************************
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 X jo'u Y
# 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.
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 statements 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): {lo broda} で表される複数定項に対して、「話し手が思い描く特定の」という意味を明示的に追加したものが {le broda} である。 論理学上の振る舞いは {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): selbri または cmevla の前について、それを名前とするものを指す複数定項を形成する。 論理学上の振る舞いは {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): {lo/le/la broda} で表される複数定項に対して、述語を集団的に満たす性質を明示的に追加したものが {loi/lei/lai broda} である。
||
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''
||
このように、 {loi/lei/lai} は {lo gunma be lo/le/la} という別の複数定項によって定義されているので、 {lo broda} や {lo PA ''sumti''} を直接扱うことにはならず、 {lo gunma} という複数定項として扱われる。 このため {lo broda} や {lo PA ''sumti''} が個ではない場合でも、 {loi broda} や {loi PA ''sumti''} が、以下の条件下で {lo gunma} としての個であることは可能である。
^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/le/la broda} で表される複数定項を構成する個の集合。 集合であるから、その元である {lo/le/la broda} が個または個たちである場合にだけ、 {lo'i/le'i/la'i} が定義できる。 また、集合自体も、必ず個または個たちである。 個でも個たちでもないような集合は存在しない。
||
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''
||
{lo'i/le'i/la'i} は {lo selcmi be lo/le/la} という別の複数変項によって定義されているので、 {lo broda} や {lo PA ''sumti''} を直接扱うことにはならず、 {lo selcmi} という複数定項として扱われる。
空集合は {lo selcmi be no da} であり、また、((|#Inner_quantification|3.1節))で述べるように {lo no broda} という表現は公式定義では無意味であるから、 {lo'i/le'i/la'i} によって空集合を表現することはできない。
!!!# Inner quantification
((BPFK Section: gadri|内部量化の BPFKによる定義))は以下のようになっている。
||
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''
||
つまり内部量化は、 {zilkancu} の x3 となる {lo broda} や {lo me ''sumti''} を単位(つまり1)として数えた場合の数を表す。
しかし、 {zilkancu} の意味が漠然としているので、 [https://groups.google.com/d/msg/lojban/RAtE7Yk-dqw/xi2h6A17CusJ|{mei} を使って以下のように定義し直す案が出された]。
;公理1: ro'oi da su'o pa mei
;定義:||
(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
||
公理1とこれらの定義によって、
^ko'a pa mei のとき、またそのときに限り、 ko'a は個である^
ということが以下のようにして証明される。
;証明: (D2) は
||
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)
||
(S2) 部分に (D1) を適用すると
||
(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) は
||
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
||
これは 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
||
であるが、公理1があるので
||
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
||
この右辺は「{ko'a} は個である」の条件 {ro'oi da poi ke'a me ko'a zo'u ko'a me da} を含意する。またその逆も成り立つ。
証明終わり
下の図は4個のものを数え上げるしくみを有向グラフで表したものである。 この図では {X me X} のような自分に帰ってくるループを省略してある。 個数を数えるということは、 {me} によって形成される有向グラフから、数えるべき葉(個である定項)を全て含む木の形となる部分グラフを選ぶことに相当する。 例えば図のマゼンダ色の部分である。
{img fileId="10" thumb="y" rel="box[g]"}
!!!!# Repeating inner quantification
{lo PA ''sumti''} という形が定義されているので、内部量化を重ねて1つの項を作ることもできる。
^
;例: lo mulno kardygri cu gunma lo vo loi paci karda ~hs~ ''トランプカード1組は13枚のカード4組で構成される''
;: su'o da zo'u loi re lo'i ro mokca noi sepli py noi mokca ku'o da cu relcuktai ~hs~ ''点Pから等距離にある点の集合2個は二重丸だ''^
!!!!# Problems on inner quantification
!!!!!# Cannot say zero
gadri で形成される項は複数定項だから、((|#A_logical_axiom_on_plural_constant|2.2.6節))の複数定項に関する論理公理によって、 {lo broda} は {su'oi da zo'u da broda} ということを含意している。つまり {lo no broda} という表現は、「存在していてその数が0」ということを含意し、意味をなさない。
このことは、複数変項の存在否定 {naku su'oi da} を公式のロジバンでは表現できないということを意味する。
複数変項の存在否定表現が必要になるのは以下のような場合だ。
^ lo xo prenu cu jmaji gi'e jukpa gi'e citka ~hs~~--~ no~pp~
~/pp~''「何人集まって料理して食べたの?」「0人」''^
この返答は {lo no prenu cu jmaji gi'e jukpa gi'e citka} の簡略形である。
この命題は、 {lo no prenu} が selbri {jmaji} を集団的かつ (je) 非分配的に、 {jukpa} を集団的または (ja) 分配的に、 {citka} を非集団的かつ (je) 分配的に満たしていることを表す。 非分配的に満たすべき述語 {jmaji} を含むので、 束縛単数変項の存在否定 {naku su'o da}={no da} に置き換えることはできない。 また、非集団的に満たすべき述語 {citka} を含むので、この {lo} を、後ほど定義する {loi}={lo gunma be lo} に置き換えることもできない。
このような命題では、 {lo no broda} という表現に対して、複数変項の存在否定という意味を与えることが必要になる。
そこで {lo PA broda} の定義の PA=0 の場合に対して、以下のような定義を提案する。
;{lo no broda} の非公式な定議案:||
lo no broda ~hs~|~hs~ =ca'e ~hs~|~hs~ naku su'oi da poi ke'a broda
||
({naku lo broda} とする定議案も良さそうだが、そうすると複数定項を含む命題全体の否定となり、量化が含意されなくなるので、上のように提案することにした。)
!!!!!# Cannot quantify material noun or something
((|#Inner_quantification|3.1節))の公理1によって、個でも個たちでもないようなものは {(su'o) N mei} や {lo N broda} という表現から排除される。
それなら {piPA} という量化を使えるかというと、やはり個でも個たちでもないようなものには使えない。
((BPFK Section: gadri|piPA は現状では外部量化についてしか定義されていない))。
||
piPA ''sumti'' ~hs~|~hs~ lo piPA si'e be pa me ''sumti''
||
このように、 {piPA} による外部量化の実体は {lo piPA si'e} という複数定項なので、これ自体は束縛単数変項ではない。 しかし {piPA si'e} の x2 として {pa me ''sumti''} が付いていて、これには ((BPFK Section: gadri|PA broda の定義))
||
PA broda ~hs~|~hs~ PA da poi broda
||
が適用されるため、{me ''sumti''} の x1 に当てはまるものとして個がある場合にしか成立しない。 つまり、個でも個たちでもないようなものは、 {piPA} という外部量化表現からも排除される。
{piPA} を内部量化でも定義するという案もあり得る。
その場合は、外部量化の {piPA} の定義の形に合わせて、以下のような形にするのが理想的だ。
; 内部量化の {piPA} の非公式な定議案:||
lo piPA broda ~hs~|~hs~ =ca'e ~hs~|~hs~ zo'e noi ke'a piPA si'e be lo pa broda
||
そうすると、個でも個たちでもないようなものは依然として、 {lo pa broda} によって表現できない限り、内部量化の {piPA} 表現からも排除される。
ほかの望みの綱として、 {PA si'e} の表現を、個でも個たちでもないようなものの数量表現に利用するという案がある。 しかし、((BPFK Section: Numeric selbri|現在の {si'e} のBPFK定義))は {pagbu} に依存している。
||
x1 number si'e x2 ~hs~|~hs~ x1 pagbu x2 gi'e klani li number lo se gradu be x2
||
{pagbu} の x1 が x2 よりも大きくはならないと解釈すれば、 [https://groups.google.com/d/msg/lojban/RAtE7Yk-dqw/nUbZiwmB2M0J|{si'e} を使ってものを数え上げる際に、単位の変更を余儀なくされるので、非常に使いにくい]。 {PA si'e} の PA が1よりも大きくなれるように {si'e} の定義を変えれば、個でも個たちでもないようなものの数量表現一般に {si'e} を使うことが可能になる。
あるいは、((|#Inner_quantification|3.1節))の公理1を使わないことにすれば、 定義 (D1) (D2) (D3) を個でも個たちでもないようなものに適用可能である。
この場合、話し手は、複数定項をいくつか選んで、 {ko'a su'o pa mei} であると決めておけば良い。 この際に、 {pa mei} となる複数定項が互いに重複することのないように、注意深く選ぶ必要がある。
こうしておくと、その ko'a に関しては、 (D2) から
||
ganai ko'a pa mei
gi ro'oi de poi me ko'a zo'u de me ko'a
||
と言えるだけであって、{ko'a pa mei} の ko'a が個である必要はない。
((|#Inner_quantification|3.1節))の公理1を使わずに定義 (D1) (D2) (D3) を利用する場合は、 (D1) の {de} の条件として {gi'e su'o pa mei} を追加しておく必要がある(公理1を使う場合は、 {de} の変域にある指示対象がこの条件を自動的に満たしている)。
;公理1を使わない場合の非公式な定義案:||
(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
||
これによって個でも個たちでもないようなものを内部量化することが可能になる。 さらに、これに対して上記の「内部量化の {piPA} の非公式な定議案」も適用できるようになる。
下の図は個でも個たちでもないようなものを数え上げるしくみを有向グラフで表したものである。 この図では {X me X} のような自分に帰ってくるループを省略してある。 無限個の頂点(複数定項)のうち、話し手が {su'o pa mei} として選んだ頂点をピンク色で表している。 これらを数え上げるということは、 {me} によって関係付けられる有向グラフから、木の形となる部分グラフを選ぶことに相当する。 例えば図の青色の部分である。
{img fileId="9" thumb="y" rel="box[g]"}
!!!# Outer quantification
外部量化は以下のように定義される。
||
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''
||
{piPA} 以外の外部量化は {PA da} であり、これは公式には束縛単数変項である。 従ってこれらの項が__分配的に__述語を満たすことに注意しなければならない。 例えば {jmaji} (集まる)の x1 として {ci lo prenu} という項を使うのは無意味である。 3人のそれぞれが「集まる」という述語を満たしているわけではないからだ。
ただし PA として非公式の複数量化子 {ro'oi} や {su'oi} などを使えば、束縛複数変項にすることは可能だ。 例えば
^su'oi prenu cu jmaji ~hs~ 集まる人が存在する^
この文は内部量化の
^lo prenu cu jmaji ~hs~ 人が集まる^
から((|#A_logical_axiom_on_plural_constant|2.2.6節))の論理公理によって含意される文に等しい。
{PA lo broda} と {PA broda} は、束縛単数変項に当てはまる指示対象を数えるときの変域が異なる。 外部量化の定義から以下のことが言える。
||
PA lo broda ~hs~|~hs~ PA da poi ke'a me lo broda ~hs~|~hs~ 議論領域の中の lo broda という複数定項の指示対象が束縛単数変項の変域であり、そのうちのPA個
PA broda ~hs~|~hs~ PA da poi ke'a broda ~hs~|~hs~ 議論領域の中の全ての broda なものが束縛単数変項の変域であり、そのうちのPA個
||
^
;例1: ro jmive ba morsi ~hs~ ''生きものは皆死ぬ''
;例2: ro lo prenu ti klama ~hs~ ''全員ここに来る''^
例1では議論領域内の全ての {jmive} なものについて言っている。 例2の議論領域内には、この文の複数定項 {lo prenu} の指示対象以外にも {prenu} なものがあると考えて構わない。
{piPA} による外部量化は、{lo piPA si'e} という複数定項を表す。 ただし {piPA si'e} の x2 として {pa me ''sumti''} という外部量化を含んでいる。 この定義に出てくる {pi} は「1より大きくない」ということを表すものであり、実際の表現では {pi} の代わりに {fi'u} などを用いても構わない。
!!!!# Combination of outer and inner quantifications
内部量化と外部量化の定義から、以下のことが言える。
||
M lo [[N] broda ~hs~|~hs~ [[N個の] lo broda のうちの M個 (それらが分配的に述語を満たす)
M loi [[N] broda ~hs~|~hs~ [[N個の] lo broda からなる lo gunma M個 (それらが分配的に述語を満たす)
M lo'i [[N] broda ~hs~|~hs~ [[N個の] lo broda からなる lo selcmi M個 (それらが分配的に述語を満たす)
pi M lo [[N] broda ~hs~|~hs~ [[N個の] lo broda のうちの 1個の一部分で、その量は pi M si'e
pi M loi [[N] broda ~hs~|~hs~ [[N個の] lo broda からなる lo gunma 1個 の一部分で、その量は pi M si'e
pi M lo'i [[N] broda ~hs~|~hs~ [[N個の] lo broda からなる lo selcmi 1個 の一部分(部分集合)で、その量は pi M si'e
||
これらのうちの {M lo [[N] broda} や {pi M loi [[N] broda} を使って、複数のものの一部を表現することができる。
^
;例1: re lo [[ci] mlatu mi viska ~hs~ ''[[3匹の]猫のうちの2匹がこっちを見ている''
;例2: re fi'u ci loi [[vei ci pi'i ny (ve'o)] mlatu mi viska ~hs~ ''[[3n匹の]猫のうちの3分の2がこっちを見ている''^
例1の {re lo [[ci] mlatu} は {lo [[ci] mlatu} の指示対象である(3匹の)猫のうちの2匹を指す。
内部量化子の {ci} が無い場合は {lo mlatu} の指示対象が何匹の猫であるか不明だが、それでもとにかく {re lo mlatu} はそれらの猫のうちの2匹を指す。
例2では {loi} が使われているので、 その指示対象の実体は {lo gunma} である。 例2を {loi} と {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^
つまり {re fi'u ci loi...} は {pa me lo gunma...} という「個」のうちの3分の2を指す。 その {lo gunma} は {vei ci pi'i ny (ve'o)} 匹の猫からなる。
内部量化子が無い場合は {loi mlatu} が何匹の猫からなる {lo gunma} を指すのか不明だが、それでもとにかく {re fi'u ci loi mlatu} はその {lo gunma} の3分の2を指す。 ただし
^re fi'u ci loi mlatu mi viska^
という文は、この {loi mlatu} の構成要素である猫の個体数が3の倍数でなければ意味をなさない。 猫の切れ端が {viska} という述語を満たすようなことは考えにくいからだ。
またBPFKの解釈では非集団的に述語を満たす複数定項を {loi} で表すことはできないから、「猫が非集団的にこっちを見ている」ということを言いたい場合は {loi} を使わない表現にするか、あるいは((|#Relation_between_lu_a_lu_o_lu_i_and_gadri|3.3節))に説明する {lu'a} を使って
^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} が以下のように定義されている。
||
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''
||
しかし同ページに書かれた英語の説明から察すれば、この {lu'a} の定義は不足であり、 {lu'o} の定義はいくらか問題を含む。
{lu'a} は、{lo selcmi} であるような項からは {selcmi} の x2 を抽出し、 {lo gunma} であるような項からは {gunma} の x2 を抽出する。 さらに {lu'a} は、項が分配的かつ非集団的に述語を満たすことを明示する。 一方 {lo} の定義によれば、 {lo me ''sumti''} という表現は「分配的かつ非集団的に」ということを含意しない。
また {lu'o} は非分配的かつ集団的に述語を満たすことを明示する。 一方 {loi} の定義によれば、 {loi me ''sumti''} は集団的に述語を満たす項を構成するが、それが非分配的に述語を満たすかどうかまでは明言していない。 整合性を追求するなら、 {loi} の定義に「非分配的に述語を満たす」ということを追記するのが良いだろう。
以上の考えに基づいて、以下のような定義を提案する。
; {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''} の指示対象が分配的にこの項を含む文を満たすことを説明している。
!!# Notes
以下の話は解説者 guskant の覚書であり、 gadri の理解のために全く重要ではない。
!!!# About ontology
^((BPFK Section: gadri|Positive impact: Some usages that make little sense with {lo}={su'o} become validated.))^
{lo}={su'o} ではなくなったが、 {lo broda} が複数定項であることと、((|#A_logical_axiom_on_plural_constant|2.2.6節))の複数定項に関する論理公理によって、 {lo broda cu brode} という命題は、 {su'oi da brode} という命題を暗黙的に含意している。
!!!# claxu x2
^((BPFK Section: gadri|le cmana __lo__ cidja ba claxu))~pp~
~/pp~ ''山には食べ物がないだろう''~pp~
~/pp~((lapoi pelxu ku'o trajynobli))^
{lo cidja} を展開すると
^le cmana zo'e noi ke'a cidja ku'o ba claxu^
((BPFK Section: Subordinators|{noi} の定義))により
^le cmana zo'e to ri xi rau cidja toi ba claxu^
{to} {toi} 内は挿入句だから、 bridi 本体は
^le cmana zo'e ba claxu^
{zo'e} は複数定項である。 ((|#A_logical_axiom_on_plural_constant|2.2.6節))の複数定項に関する論理公理により、この命題は
^su'oi da zo'u le cmana da ba claxu^
を含意する。つまり「この山に欠く何か」の指示対象が議論領域内に存在する。
この表現の奇妙さは、 {claxu} の x2 に、非存在を表すような意味合いがあるかのように見えることから生じる。
辻褄が合うように解釈するならば、 {claxu} 自体は x2 の指示対象の所在が x1 に位置していないということを表しているだけで、議論領域内の存在については何も主張しないと考えれば良い。
!!!# zo'e is a plural constant
仮に、 {zo'e} が自由変項・束縛複数変項・複数定項のどれにでもなれるという解釈をすれば、論理学的な観点から合理的である。
しかしこの考えは、[https://groups.google.com/d/topic/lojban/RAtE7Yk-dqw/discussion|この議論]の中で、明確に否定された。 公式解釈による {zo'e} は常に複数定項であることが明らかになった。
以下にこれらの考えを比較検討し、 {zo'e} が複数定項であるという公式解釈から生じる問題点の解消を試みる。
!!!!# If zo'e chould be a bound plural variable
「{zo'e} は本質的には自由変項であり、文脈に応じて議論領域が決まり、議論領域に応じて、 {zo'e} に何らかの定項が代入されているか、複数量化子によって量化されていると見なされる」という解釈をすると仮定した場合の、利点と欠点を挙げる。
!!!!!# 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} によって束縛されると解釈すれば良かったからである。
この解釈は、 PA=0 の時のみならず、 PA>0 についても、より自然言語に近い解釈を可能にする。例えば
^lo ci xanto cu zilkancu li ci lo xanto^
この最後に出てくる方の {lo xanto} は数えの単位であるから、特定のものを指さずに(つまり定項と見なさずに)、むしろ複数量化によって「1」と量化されている束縛複数変項と解釈するほうが自然である。
束縛複数変項と解釈する場合には、他の量化項や {naku} との相対的な出現順序を考慮しなければならないが、項である以上、冠頭に出すこともできるので、冠頭でその順序を明記することも可能である。
さらに、この考え方は、文脈のない文の真理値が一般には不定であるという自然言語の性質を体現してもいる。 「{zo'e} が本質的には自由変項であり、文脈によって束縛されたり定項が代入されたりしている」と解釈しておけば、論理性も解釈上の構造美も損なわずに、ロジバン文の自然な表現が可能だった。
!!!!!# Demerits
{zo'e} が文脈によって自由変項だったり、束縛複数変項だったり、複数定項だったりするので、単一のbridiからは、その中の項がどのような項であるかを判断できず、文の真理値を判断することができない。
ただし、このように、文の真理値が文脈に依存するという側面は、あらゆる自然言語が共有する性質である。
また、 {zo'e} が複数定項だけを表すという現行解釈を取るにしても、「何らかの議論領域が与えられている」ということが判断出来るだけで、文脈がわからなければ、どんな議論領域かを判断できないのだから、文脈無しでは文の真理値を判断できないという問題が解消されるわけではない。
!!!!# Problems caused by the fact that zo'e is a plural constant and the counter-measures
公式解釈による {zo'e} は複数定項であるから、以下のような問題点が生じる。
!!!!!# 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