Logical form

This article is about the term as used in logic. For the linguistics term, see Logical form (linguistics). For the term used in knowledge representation, see Logic form.
"Argument structure" redirects here. For the possible complements of a verb in linguistics, see verb argument.

In logic, the 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.[1]

The logical form of an argument is called the argument form of the argument.

  1. ^ The Cambridge Dictionary of Philosophy, CUP 1999, pp. 511–512