BPFK Section: gadri
Arnt Richard Johansen wrote:
>One of my problems with Jorge's proposal is that it seems to either
>conflate two different meanings into one, or have one meaning that is
>ill-defined or hard to formalize. What I want is a general algorithm fo=
>r
>determining whether or not a sentence that uses XS-lo is true or false.
>
>
If you check out
http://www.lojban.org/tiki/tiki-index.php?page=gadri+report%2C+aug+2003
and search for the section "Problem 4. Intensionals." you'll see that by
their nature intensionals cannot be enumerate, and so evade the precise
analysis you're looking for. That is not a solvable flaw, but a feature
of what intensionals are.
--
Motorists honked in celebration in this Ramadi as news spread of the assassination of the president of the Iraqi Governing Council Ezzidin Salim Monday. "The GC is nothing," one man shouted. "They are not the Governing Council. They are the Prostitution Council."