|
Incidentally, there is a work-in-progress piece of software that
aim to translate back and forth between Lojban and a custom
logical notation ; the project is called Tersmu: https://gitorious.org/tersmu/tersmu/
There's an interface to it on IRC, it's clearly not finished but is
already pretty good.
Here's a few samples of input-output:
• ro mlatu cu mabru
» ∀x1:(mlatu(_)). mabru(x1)
• .e'a do xagji na gi'a citka su'o da
» (xagji(do) → ∃x1. citka(do,x1))
• na ku ro plise cu xunre
» ¬∀x1:(plise(_)). xunre(x1)
• ro te cange poi ponse su'o xasli cu darxi ri
» ∀x1:((cange( , ,_) ∧ ∃x2:(xasli(_)). ponse(_,x2))). darxi(x1,{ri})
On 12/11/2017 02:58, 'John E Clifford'
via lojban wrote:
1. What was the initial screw-up?
FOPL (or HOIL or whatever system you choose) depends upon a
clear demarcation of different syntactic types (and the
corresponding different semantics). JCB, from the beginning,
scrambled these types: quantifiers (sentence-makers with one
variable and one sentence) are terms, conjunctions
(sentence-makers with two sentences) are term-makers, modals,
tenses and negation (sentence-makers with one sentence) are
predicate makers and so on. How is teh structure that allows a
logical system to work to be found in all that muddle? To be
sure, in the interest of speakablity, some such changes will
have to come about, but they are at the end of a process of
derivation, not at the beginning. Most of the 60 year Logjam
construction process has been rying to patch up this gap -- and
there is no evidence that it has succeeded -- or is even going
in the right direction. Monoparsing, yes (pretty much), but not
evidence of correct monoparsing.
--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.
|