# Logical form

[https://en.wikipedia.org/wiki/Logical\_form](https://en.wikipedia.org/wiki/Logical_form)

_Logical form_ of a statement is a precisely-specified semantic version of that statement in a _formal system_. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous _logical interpretation_ with respect to a formal system. In an ideal _formal language_, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language. The logical form of an _argument_ is called the _argument form_ of the argument.
