Informal logic or non-formal logic is the study of arguments as presented in ordinary language, as contrasted with the presentations of arguments in an artificial, formal, or technical language (see formal logic). Johnson and Blair^[1] define informal logic as "a branch of logic whose task is to develop non-formal standards, criteria, procedures for the analysis, interpretation, evaluation, criticism and construction of argumentation in everyday discourse."

Opinion pieces of newspapers provide illustrative textbook examples of informal logic,^[2] usually because these pieces are short and often fallacious. However, informal logic is also used to reason about events in the human and social sciences. In fact, most reasoning from known facts to unknown facts that uses natural language, even if combined with mathematical or statistical reasoning, can be regarded as an application of informal logic so long as it does not rely on additional empirical evidence.

Mathematics and the natural sciences

In mathematics the reasoning that occurs in proofs, though informal, is often regarded as a close approximation to a formal proof, that is, one which is carried out in a formal system of logic. Note that in practice, however, the separation between an informal mathematical proof and its formal idealization is so large that hardly anyone attempts to bridge that gap. This gap arises because most steps in informal proofs accumulate an enormous number of simple logical inferences, or other proof steps which are straightforward to most readers with enough mathematical experience. Moreover, many mathematical researchers regard proof as something other than a sequence of inference steps. Nevertheless, one of the goals of the Mizar project is to formalize the entire body of informal proofs of mathematics.

In theoretical physics, arguments are used to derive new formulae or physical principles. These arguments often use mathematics, although in many cases the relations between assertions in a derivation contain mathematically serious gaps. Examples of these mathematical gaps are failure to prove convergence of an infinite series or an integral (or worse, rely on an expression whose value is known to be divergent) or ignoring quantities which are small in a limiting sense. Despite mathematical gaps, arguments used in physical derivations are generally considered to be valid arguments.

Social sciences

In the social sciences many arguments are based on applications of statistics to demonstrate correlation or lack thereof between sets of variables, such as levels of income and education, ethnicity and wealth and so on. Such arguments are based on theories of statistical hypothesis testing together with empirical data accumulated by polling, collection of historical records, long term studies etc. Econometrics is the branch of economics that applies statistics to economics. Besides statistics, economists use a wide variety of analytical tools, for example, calculus, qualitative reasoning about systems of equations, asymptotic analysis (theories of growth), and so on.

Law and politics

An extremely intricate form of reasoning is legal reasoning since it involves such considerations as legal precedent and existing law. The nature of the propositions used in legal reasoning is one of the concerns of legal theory.

See also

References

Further reading

• Blair, J. Anthony, Hansen, Hans V., Johnson, Ralph H., and Tindale, Christopher (eds.), Informal Logic. (Journal of Record).
• Johnson, Ralph H., Manifest Rationality: A Pragmatic Theory of Argument, Lawrence Erlbaum, 2000.
• Johnson, Ralph H., and Blair, J. Anthony, "Logical Self-Defense", IDEA, 2006. First published, McGraw Hill Ryerson, Toronto, ON, 1997, 1983 (2e), 1993 (3e). Reprinted, McGraw Hill, New York, NY, 1994.

External links

• Groarke, Leo (2002), "Informal Logic", Stanford Encyclopedia of Philosophy, Eprint

•  • [ e] Logic
Navigation:	WikiProject Cleanup Noticeboard
Main Articles:	Reason History of Logic Philosophical Logic Philosophy of logic Mathematical Logic Metalogic Logic in computer science
Key Concepts	Reasoning: Deduction Induction Abduction Informal Logic: Proposition Inference Argument Validity Cogency Term logic Critical Thinking Fallacies Syllogism Mathematical logic: Set Syntax Semantics Wff Axiom Theorem Consistency Soundness Completeness Decidability Formal system Set theory Proof theory Model theory Recursion theory Zeroth-Order Logic: Boolean functions Monadic predicate calculus Propositional calculus Logical connectives Truth Tables Predicate Logic: First-Order LogicQuantifiers Second-order logic Modal Logic: Deontic logic Epistemic logic Temporal logic Doxastic logic Other non-classical logics: Computability logic Fuzzy logic Linear logic Relevance logic Non-monotonic logic
Controversies	Paraconsistent Logic Dialetheism Intuitionistic logic Paradoxes Antinomies Is logic empirical?
Key Figures	Aristotle Boole Cantor Carnap Church Frege Gentzen Gdel Hilbert Kripke Peano Peirce Putnam Quine Russell Skolem Tarski Turing Whitehead
Lists	Basic Topics in Logic Topics in Logic Logicians Rules of Inference Mathematical Logic Topics Basic Discrete Mathematics Topics Set theory topics Paradoxes Fallacies Logical Symbols