User:Kalinkaang/sandbox

As a part of reasoning and making judgment, logical form is used to determine the percentage of validity assigned to an argument. The inference process consists of comparing two statements, or premises, with their relation to another, which is the case in the syllogism. For example Dogs are Animals, Fido is a Dog, so Fido is an Animal. It is possible to have an implied premise, such as the following statement: I see smoke, therefore, there is probably a fire. The first set of reasoning is more definitive because the conclusion (C is B) follows strictly from the premises. The second line of reasoning is inductive, because the conclusion that there is a fire is less definitive since there could be other explanations for the smoke.^[1]

Some logical form is more definite than others, as can be demonstrated by statistically based statements like: Jane is a student. 99% of students are stressed, therefore Jane is probably stressed.

The logical form of a sentence or set of sentences, such as a proposition, statement or truthbearer, 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. Logical form is used to determine the validity or strength of an argument.^[2] 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.^[3]

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." ^[4]^[5]

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.^[6]

Importance of argument form

Attention is given to argument and sentence form, because form is what makes an argument 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.^[7] Two invalid argument forms are affirming the consequent and denying the antecedent.

Affirming the consequent: All dogs are animals.; Coco is an animal.; Therefore, Coco is a dog.

Denying the antecedent: All cats are animals.; Missy is not a cat.; Therefore, Missy is not an animal.

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.^[8] Some authors only define logical form with respect to whole arguments, as the schemata or inferential structure of the argument.^[9] In argumentation theory or informal logic, an argument form is sometimes seen as a broader notion than the logical form.^[10]

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.

Logical form in modern logic

The fundamental difference between modern formal logic and traditional, or Aristotelian logic, lies in their differing analysis of the logical form of the sentences they treat:

On the traditional view, the form of the sentence consists of (1) a subject (e.g., "man") plus a sign of quantity ("all" or "some" or "no"); (2) the copula, which is of the form "is" or "is not"; (3) a predicate (e.g., "mortal"). Thus: 'all men are mortal'. The logical constants such as "all", "no" and so on, plus sentential connectives such as "and" and "or" were called syncategorematic terms (from the Greek kategorei – to predicate, and syn – together with). This is a fixed scheme, where each judgment has a specific quantity and copula, determining the logical form of the sentence.
The modern view is more complex, since a single judgement of Aristotle's system involves two or more logical connectives. For example, the sentence "All men are mortal" involves, in term logic, two non-logical terms "is a man" (here M) and "is mortal" (here D): the sentence is given by the judgement A(M,D). In predicate logic, the sentence involves the same two non-logical concepts, here analyzed as $m(x)$ and $d(x)$ , and the sentence is given by $\forall x.(m(x)\rightarrow d(x))$ , involving the logical connectives for universal quantification and implication.

The more complex modern view comes with more power. On the modern view, the fundamental form of a simple sentence is given by a recursive schema, like natural language and involving logical connectives, which are joined by juxtaposition to other sentences, which in turn may have logical structure. Medieval logicians recognized the problem of multiple generality, where Aristotelian logic is unable to satisfactorily render such sentences as "Some guys have all the luck", because both quantities "all" and "some" may be relevant in an inference, but the fixed scheme that Aristotle used allows only one to govern the inference. Just as linguists recognize recursive structure in natural languages, it appears that logic needs recursive structure.

References

^ Atkinson,William (2013), The Art of Logical Thinking or the Laws of Reasoning (1st ed ed.), Daryl Quitalig, Bryan Lorenz, Stacie Sansone, Nathalie Rock, ISBN 978-1298852069 {{citation}}: |edition= has extra text (help)
^ Bassham, Gregory, 1959- (2012), Critical thinking : a student's introduction (5th ed ed.), McGraw-Hill, ISBN 978-0-07-803831-0 {{citation}}: |edition= has extra text (help)CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link)
^ The Cambridge Dictionary of Philosophy, CUP 1999, pp. 511–512
^ Russell, Bertrand. 1914(1993). Our Knowledge of the External World: as a field for scientific method in philosophy. New York: Routledge. p. 53
^ Ernie Lepore, Kirk Ludwig (2002). "What is logical form?". In Gerhard Preyer, Georg Peter (ed.). Logical form and language. Clarendon Press. p. 54. ISBN 978-0-19-924555-0. preprint
^ Hurley, Patrick J. (1988). A concise introduction to logic. Belmont, Calif.: Wadsworth Pub. Co. ISBN 0-534-08928-3.
^ Bassham, Gregory, 1959- (2012), Critical thinking : a student's introduction (5th ed ed.), McGraw-Hill, ISBN 978-0-07-803831-0 {{citation}}: |edition= has extra text (help)CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link)
^ J. C. Beall (2009). Logic: the Basics. Taylor & Francis. p. 18. ISBN 978-0-415-77498-7.
^ Paul Tomassi (1999). Logic. Routledge. p. 386. ISBN 978-0-415-16696-6.
^ Robert C. Pinto (2001). Argument, inference and dialectic: collected papers on informal logic. Springer. p. 84. ISBN 978-0-7923-7005-5.

External links

Kalinkaang/sandbox at PhilPapers
Pietroski, Paul. "Logical Form". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.
Kalinkaang/sandbox at the Indiana Philosophy Ontology Project
Beaney, Michael, "Analysis", The Stanford Encyclopedia of Philosophy (Summer 2009 Edition), Edward N. Zalta (ed.)
IEP, Validity and Soundness

[1] Atkinson,William (2013), The Art of Logical Thinking or the Laws of Reasoning (1st ed ed.), Daryl Quitalig, Bryan Lorenz, Stacie Sansone, Nathalie Rock, ISBN 978-1298852069 {{citation}}: |edition= has extra text (help)

[2] Bassham, Gregory, 1959- (2012), Critical thinking : a student's introduction (5th ed ed.), McGraw-Hill, ISBN 978-0-07-803831-0 {{citation}}: |edition= has extra text (help)CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link)

[3] The Cambridge Dictionary of Philosophy, CUP 1999, pp. 511–512

[4] Russell, Bertrand. 1914(1993). Our Knowledge of the External World: as a field for scientific method in philosophy. New York: Routledge. p. 53

[PreyerPeter2002-5] Ernie Lepore, Kirk Ludwig (2002). "What is logical form?". In Gerhard Preyer, Georg Peter (ed.). Logical form and language. Clarendon Press. p. 54. ISBN 978-0-19-924555-0. preprint

[6] Hurley, Patrick J. (1988). A concise introduction to logic. Belmont, Calif.: Wadsworth Pub. Co. ISBN 0-534-08928-3.

[7] Bassham, Gregory, 1959- (2012), Critical thinking : a student's introduction (5th ed ed.), McGraw-Hill, ISBN 978-0-07-803831-0 {{citation}}: |edition= has extra text (help)CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link)

[BeallBeall2009-8] J. C. Beall (2009). Logic: the Basics. Taylor & Francis. p. 18. ISBN 978-0-415-77498-7.

[Tomassi1999-9] Paul Tomassi (1999). Logic. Routledge. p. 386. ISBN 978-0-415-16696-6.

[Pinto2001-10] Robert C. Pinto (2001). Argument, inference and dialectic: collected papers on informal logic. Springer. p. 84. ISBN 978-0-7923-7005-5.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

v t e Philosophy of language
Index of language articles
Philosophers	Confucius Gorgias Cratylus Plato Aristotle Eubulides Diodorus Chrysippus Zhuangzi Xunzi Averroes Ibn Khaldun Hobbes Wilkins Arnauld Lancelot Leibniz Berkeley Herder von Humboldt Mauthner Ricœur de Saussure Frege Boas Tillich Sapir Bloomfield Bergson Vygotsky Wittgenstein Russell Carnap Derrida Whorf Austin Chomsky Gadamer Kripke Ayer Anscombe Hintikka Dummett Davidson Grice Ryle Strawson Quine Putnam Lewis Searle Watzlawick
Theories	Causal theory of reference Contrast theory of meaning Contrastivism Conventionalism Cratylism Deconstruction Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory Nominalism Non-cognitivism Phallogocentrism Relevance theory Semantic externalism Semantic holism Situation semantics Structuralism Supposition theory Symbiosism Theological noncognitivism Theory of descriptions (Definite description) Theory of language Unilalianism Verification theory
Concepts	Ambiguity Cant Linguistic relativity Language Truth-bearer Proposition Use–mention distinction Concept Categories Set Class Family resemblance Intension Logical form Metalanguage Mental representation Modality (natural language) Presupposition Principle of compositionality Property Sign Sense and reference Speech act Symbol Sentence Statement more...
Works	Cratylus (n.d.) Port-Royal Grammar (1660) De Arte Combinatoria (1666) An Essay Towards a Real Character, and a Philosophical Language (1668) Alciphron (1732) "On Denoting" (1905) Tractatus Logico-Philosophicus (1921) Language, Truth, and Logic (1936) Two Dogmas of Empiricism (1951) Philosophical Investigations (1953) Of Grammatology (1967) Naming and Necessity (1980) Wittgenstein on Rules and Private Language (1982) Limited Inc (1988)
Related articles	Analytic philosophy Philosophy of information Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics
Category Task Force Discussion