Glossary:Logical Form

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