Definitions of loglanghood

From the Logical Languages Wiki
Revision as of 00:00, 18 April 2020 by And (talk | contribs) (Created page with "When the term ''loglang'' first came into being, in the 1990s, it meant '''language 'based' on formal logic''', the then prototypical examples being Loglan and Lojban....")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

When the term loglang first came into being, in the 1990s, it meant language 'based' on formal logic, the then prototypical examples being Loglan and Lojban. This wiki does not presuppose any particular definition of loglanghood, but nevertheless some loglangers have proposed more precise definitions (at least in their own loglangologizing).

  • And Rosta has for many years defined loglang as a language that unambiguously encodes a limitless range of predicate--argument structures
    • In other words, a language that unambiguously encodes the syntax of Propositional Thought.
    • 'unambiguously' = what John Clifford has termed monoparsing. At minimum this requires that, where sentences are pairings of phonological form and logical form, no two sentences share the same phonological form.