Glossary:Logical Form: Difference between revisions
Jump to navigation
Jump to search
(Created page with "= 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 representatio...") |
|||
Line 18: | Line 18: | ||
== Related Terms == | == Related Terms == | ||
* [[Glossary:Existential Quantifier | Existential Quantifier]] | * [[Glossary:Existential Quantifier | Existential Quantifier]] | ||
* [[Glossary:Logical | * [[Glossary:Logical Quantifier| Logical Quantifier]] | ||
* [[Glossary:Predicate logic | Predicate Logic (First-order Logic)]] | * [[Glossary:Predicate logic | Predicate Logic (First-order Logic)]] | ||
* [[Glossary:Quantifiers | Quantifier]] | * [[Glossary:Quantifiers | Quantifier]] |
Revision as of 01:15, 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