SCL/For Harry/4

From Public Domain Knowledge Bank
Revision as of 16:56, 26 March 2021 by DavidWhitten (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

conventional First-Order Logic (GOFOL)

  • Lexicon fixed by signature
  • Lexicon is pre-sorted into relation/function/individual names
  • One context-free syntax for expressing logical forms
  • Only ‘pure’ logical forms allowed
  • No relations in the universe of discourse
  • No global naming scheme

All of this causes problems for interoperability and information exchange None of it is actually required by the FO semantics

Retrieved from "https://pdkb.chivanet.org/wiki/index.php?title=SCL/For_Harry/4&oldid=1769"