World Library  
Flag as Inappropriate
Email this Article

Argument form

Article Id: WHEBN0000000668
Reproduction Date:

Title: Argument form  
Author: World Heritage Encyclopedia
Language: English
Subject: Index of philosophy articles (A–C), Form, Index of logic articles, Logic, Outline of logic, Proof by example
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Argument form

This article is about the term as used in logic. For the linguistics term, see Logical Form

The logical form of a sentence (or proposition or statement or truthbearer) 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. 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.[1]

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

History

The importance of the concept of form to logic was already recognized in ancient times. Aristotle, in the Prior Analytics, was probably the first to employ variable letters to represent valid inferences. Therefore, Łukasiewicz claims that the introduction of variables was 'one of Aristotle's greatest inventions'.

According to the followers of Aristotle like Ammonius, only the logical principles stated in schematic terms belong to logic, and not those given in concrete terms. The concrete terms man, mortal, etc., are analogous to the substitution values of the schematic placeholders 'A', 'B', 'C', which were called the 'matter' (Greek hyle, Latin materia) of the argument.

The term "logical form" itself was introduced by Bertrand Russell in 1914, in the context of his program to formalize natural language and reasoning, which he called philosophical logic. Russell wrote: "Some kind of knowledge of logical forms, though with most people it is not explicit, is involved in all understanding of discourse. It is the business of philosophical logic to extract this knowledge from its concrete integuments, and to render it explicit and pure." [2][3]

Example of argument form

To demonstrate the important notion of the form of an argument, substitute letters for similar items throughout the sentences in the original argument.

Original argument
All humans are mortal.
Socrates is human.
Therefore, Socrates is mortal.
Argument Form
All H are M.
S is H.
Therefore, S is M.

All we have done in the Argument form is to put 'H' for 'human' and 'humans', 'M' for 'mortal', and 'S' for 'Socrates'; what results is the form of the original argument. Moreover, each individual sentence of the Argument form is the sentence form of its respective sentence in the original argument.[4]

Importance of argument form

Attention is given to argument and sentence form, because form is what makes an argument valid or cogent. Some examples of valid argument forms are modus ponens, modus tollens, disjunctive syllogism, hypothetical syllogism and dilemma. Two invalid argument forms are affirming the consequent and denying the antecedent.

A logical argument, seen as an ordered set of sentences, has a logical form that derives from the form of its constituent sentences; the logical form of an argument is sometimes called argument form.[5] Some authors only define logical form with respect to whole arguments, as the schemata or inferential structure of the argument.[6] In argumentation theory or informal logic, an argument form is sometimes seen as a broader notion than the logical form.[7]

It consists of stripping out all spurious grammatical features from the sentence (such as gender, and passive forms), and replacing all the expressions specific to the subject matter of the argument by schematic variables. Thus, for example, the expression 'all A's are B's' shows the logical form which is common to the sentences 'all men are mortals', 'all cats are carnivores', 'all Greeks are philosophers' and so on.

See also

References

Further reading

External links

  • Template:PhilPapers
  • Stanford Encyclopedia of Philosophy
  • Template:InPho
  • Beaney, Michael, "Analysis", The Stanford Encyclopedia of Philosophy (Summer 2009 Edition), Edward N. Zalta (ed.)
  • IEP, Validity and Soundness
pt:Forma lógica
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from National Public Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.