Logical form

<p>In <a href="/facts/Logic/8JnpJLtt">logic</a>, the logical form of a <a href="/facts/Statement_(logic)/CjpWAyxk">statement</a> is a precisely specified <a href="/facts/Semantics/1L4WwLAP">semantic</a> version of that statement in a <a href="/facts/Formal_system/KaeDAjK7">formal system</a>. Informally, the logical form attempts to <a href="/facts/Logic_translation/TopIkPxe">formalize</a> a possibly <a href="/facts/Syntactic_ambiguity/xPxLnwxt">ambiguous</a> statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal <a href="/facts/Formal_language/crDTyP8q">formal language</a>, the meaning of a logical form can be determined unambiguously from <a href="/facts/Syntax/6PxSV98p">syntax</a> alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one <a href="/facts/String_(computer_science)/4ChJu5WS">string</a> that represents the same logical form in a given language.
</p><p>The logical form of an <a href="/facts/Argument/1K1e3Xg4">argument</a> is called the argument form of the argument.
</p>

Logical form open-in-new

Logical form