Glossary:Logical Form: Difference between revisions
Jump to navigation
Jump to search
| Line 6: | Line 6: | ||
== Examples == | == Examples == | ||
John loves Mary.<br/> | |||
LOVE (j, m)<br/> | '''LOVE (j, m)'''<br/> | ||
God made everything.<br/> | |||
∀x (MAKE (g, x))<br/> | '''∀x (MAKE (g, x))'''<br/> | ||
== References == | == References == | ||
Latest revision as of 01:37, 24 June 2016
Logical Form
BE /ˈlɒʤɪkəl fɔ:m/, AE /ˈlɑ:ʤɪkl̩ fɔ:rm/
Definition
The logical form of a sentence (or propositions or arguments) is a formal representation of ist underlying logical structure; that is, of the structure which is relevant to specifying its logical role and properties.
Examples
John loves Mary.
LOVE (j, m)
God made everything.
∀x (MAKE (g, x))
References
- Riemer, Nick. 2010. Introducing Semantics. Cambridge [et al.]: Cambridge University Press.
- http://philosophy.ucdavis.edu/people/rcmay/robert-mays-home-page/LogicalForm.html
Related Terms
- Existential Quantifier
- Logical Quantifier
- Predicate Logic (First-order Logic)
- Quantifier
- Restricted Quantifier
- Universal Quantifier
- Variable
Back to the Basic Glossary