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...") |
|||
| (2 intermediate revisions by the same user not shown) | |||
| 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 == | ||
| 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]] | ||
* [[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]] | ||
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