Glossary:Logical Form: Difference between revisions
Jump to navigation
Jump to search
| Line 23: | Line 23: | ||
* [[Glossary:Restricted Quantifier| Restricted Quantifier]] | * [[Glossary:Restricted Quantifier| Restricted Quantifier]] | ||
* [[Glossary:Universal Quantifier| Universal Quantifier]] | * [[Glossary:Universal Quantifier| Universal Quantifier]] | ||
* Variable | * [[Glossary:Variable | Variable]] | ||
<hr /> | <hr /> | ||
Back to the [[Basic_Glossary|Basic Glossary]] | Back to the [[Basic_Glossary|Basic Glossary]] | ||
Revision as of 01:31, 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