Logical form: Difference between revisions

Revision as of 14:14, 19 July 2020

Revision as of 17:01, 1 November 2020

Line 12:

According to the followers of Aristotle like [[Ammonius Hermiae|Ammonius]], only the logical principles stated in schematic terms belong to logic, and not those given in concrete terms. The concrete terms ''man'', ''mortal'', and so forth 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."<ref>[https://books.google.com/books?id=SsY9g_DDA9MC&pg=PA53 Russell, Bertrand. 1914(1993). Our Knowledge of the External World: as a field for scientific method in philosophy. New York: Routledge. p. 53]</ref><ref name="PreyerPeter2002">{{cite book |editor=Gerhard Preyer |editor2=Georg Peter |title=Logical form and language |chapter-url=https://books.google.com/books?id=ioVFUN8yd9QC&pg=PA54 |year=2002 |publisher=Clarendon Press |isbn=978-0-19-924555-0 |page=54 |chapter=What is logical form? |author=Ernie Lepore |author2=Kirk Ludwig}} [http://www.indiana.edu/~socrates/papers/What%20is%20Logical%20Form.pdf preprint]</ref>

In artificial intelligence, logical forms have been used in [[semantic parser]]s for [[natural language understanding]].<ref name="Ovchinnikova2012">{{cite book|author=Ekaterina Ovchinnikova|title=Integration of World Knowledge for Natural Language Understanding|url=https://books.google.com/books?id=jfJUHOncFzkC&printsec=frontcover#v=onepage&q=%22logical%20form+form%22&f=false|date=15 February 2012|publisher=Springer Science & Business Media|isbn=978-94-91216-53-4}}</ref>

== Example of argument form ==

Line 30:

==Importance of argument form==

Attention is given to argument and sentence form, because ''form'' is what makes an argument [[Validity (logic)|valid]] or cogent. All logical form arguments are either inductive or deductive. Inductive logical forms include inductive generalization, statistical arguments, causal argument, and arguments from analogy. Common deductive argument forms are [[hypothetical syllogism]], [[categorical syllogism]], argument by definition, argument based on mathematics, argument from definition. The most reliable forms of logic are [[modus ponens]], [[modus tollens]], and chain arguments because if the premises of the argument are true, then the conclusion necessarily follows.<ref>{{cite book | author1=Bassham, Gregory | title=Critical thinking : a student's introduction | publication-date=2012 | publisher=McGraw-Hill | edition=5th | isbn=978-0-07-803831-0 }}</ref> Two invalid argument forms are [[affirming the consequent]] and [[denying the antecedent]].

;Affirming the consequent