Difference between revisions of "SCL/For Harry/4"
From Public Domain Knowledge Bank
DavidWhitten (talk | contribs) (Created page with "== conventional First-Order Logic (GOFOL) == {{red}} All of this causes problems for interoperability and information exchange None of it is actually required by the FO sema...") |
DavidWhitten (talk | contribs) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
== conventional First-Order Logic (GOFOL) == | == conventional First-Order Logic (GOFOL) == | ||
| − | {{red | + | * 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 | ||
| + | |||
| + | {{red| | ||
All of this causes problems for interoperability and information exchange | All of this causes problems for interoperability and information exchange | ||
None of it is actually required by the FO semantics | None of it is actually required by the FO semantics | ||
| − | + | }} | |
Latest revision as of 16:56, 26 March 2021
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
