Difference between revisions of "Logical form"

From Wiki @ Karl Jones dot com
Jump to: navigation, search
 
Line 5: Line 5:
 
In an ideal logical language, the logical form can be determined from [[syntax]] alone; [[Formal language|formal languages]] used in [[Formal science|formal sciences]] are examples of such languages.
 
In an ideal logical language, the logical form can be determined from [[syntax]] alone; [[Formal language|formal languages]] used in [[Formal science|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.
+
Logical form, however, should not be confused with the mere syntax used to represent it; there may be more than one [[String (computer science)|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.
 
The logical form of an [[argument]] is called the argument form or test form of the argument.

Latest revision as of 10:32, 21 September 2016

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