On 7 Oct 2016 13:09, "selpahi" <seladwa@gmx.de> wrote:
> https://solpahi.wordpress.com/2016/09/25/a-simpler-quantifier-logic/
For me, this is Lojban's most valuable contribution to the world: the discovery of the practical necessity of plural logic. (It was xorxes's discovery, but wouldn't have happened without Lojban.)
I think a clearer example of the need for ru'o is "weighs 20 kg" -- ro'oi rock weighs 20kg must be false if there's more than one rock; ro'oi pa rock weighs 20kg gets the distrib reading; so ru'o rock weigh 20kg is needed for the collective or not-necessarily-distributive.
I do have one question, regarding the following:
"One last note about predicates not being defined clearly as distributive/non-distributive in xorlo; xorxes wanted lo to be absolutely non-committal with regards to distributivity, therefore, in his model, all predicates are left vague with regards to distributivity. In my proposed full plural logic, predicates are defined as distributive or non-distributive, so it is usually unnecessary to force distributivity via explicit universal quantification."
I take it that this is not held to be a necessary feature of full plural logic, but rather is held to be desirable so as to not have to force distributivity via quantification. And I take it also that by "predicates" you mean "argument places"? Each argument place is either distributive or collective? Would you not also want an "unspecified as regards distributivity"? And wouldn't this mean that where the xorxesian underspecification of distributivity would have one predicate with, say, three argument places, yours would have 2^3 or 3^3 predicates? This looks so untenable that I conclude I must be misunderstanding you.
--And.
--