Content deleted Content added
adding Template:Formal semantics |
Omnipaedista (talk | contribs) not linked from the template |
||
Line 1:
{{short description|Form for logical arguments, obtained by abstracting from the subject matter of its content terms}}
[[File:Modus ponens logical form.jpg|thumb|This argument in [[propositional logic]] utilizing [[modus ponens]] makes use of three statements in logical form expressed in simplified English.]]▼
{{about|the term as used in logic|the linguistics term|Logical form (linguistics)|the term used in knowledge representation|Logic form}}
{{Redirect|Argument structure|the possible complements of a verb in linguistics|verb argument}}
▲[[File:Modus ponens logical form.jpg|thumb|This argument in [[propositional logic]] utilizing [[modus ponens]] makes use of three statements in logical form expressed in simplified English.]]
In [[logic]], the '''logical form''' of a [[Statement (logic)|statement]] is a precisely-specified [[Semantics|semantic]] version of that statement in a [[formal system]]. Informally, the logical form attempts to [[Logic translation#Natural language formalization|formalize]] a possibly [[Syntactic ambiguity|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>
Line 82:
* [http://www.iep.utm.edu/val-snd/ IEP, Validity and Soundness]
{{Philosophy of language}}
{{logic}}
| |||