[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [lojban] Tidying notes on {goi}
pc:
> jjllambias@hotmail.com writes:
> <What happens if The Book is in contradiction with Logic? Which one
> wins?>
>
> As Lojbab says, during the freeeze, the book does. But I am not yet
> convinced that this is such a case. It does raise an issue, much discussed
> in the 70's, about the difference between identifying and relational uses of
> quantifiers. That proved almost insoluble in formal logic, but can in fact
> be solved easily in langauges meant for use. I am not sure that lojban has
> done this very well and that may be the heart of issue here. Lojban does
> certainly have a number of work-arounds that cover the problem, but does not
> face it square on.
What is this issue? That is, what are 'identifying' and 'relational'
uses of quantifiers?
--And.