{{Hatnote|This article is about the term as used in logic. For the linguistics term, see [[Logical form (linguistics)]].}}
{{Redirect|Argument structure|the possible complements of a verb in linguistics|verb argument}}
In [[mathematicsphilosophy]] and [[philosophymathematics]], a '''logical form''' of a [[Syntax (logic)|syntactic]] expression is a precisely-specified [[Semantics|semantic]] version of that expression in a [[formal system]]. Informally, the logical form attempts to formalize a possibly [[Ambiguity (syntax)|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 (computer science)|string]] that represents the same logical form in a given language.<ref>The Cambridge Dictionary of Philosophy, CUP 1999, pp. 511–512</ref>
The logical form of an [[argument]] is called the '''argument form''' or ''test form'' of the argument.
