Logical form

From Wiki @ Karl Jones dot com
Jump to: navigation, search

The logical form of a sentence (or proposition or statement or truth-bearer) or set of sentences is the form obtained by abstracting from the subject matter of its content terms or by regarding the content terms as mere placeholders or blanks on a form.

Description

In an ideal logical language, the logical form can be determined from syntax alone; formal languages used in formal sciences are examples of such languages.

Logical form, however, should not be confused with the mere syntax used to represent it; 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 or test form of the argument.

See also

External links