Difference between revisions of "SCL/For Harry/4"
From Public Domain Knowledge Bank
DavidWhitten (talk | contribs) |
DavidWhitten (talk | contribs) |
||
| Line 1: | Line 1: | ||
== conventional First-Order Logic (GOFOL) == | == 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 | ||
{{red| | {{red| | ||
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
