SCL/For Harry/4

From Public Domain Knowledge Bank
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"