Logical consequence

﻿
Logical consequence

:"Therefore" redirects here. For the symbol, see therefore sign."

Logical consequence is a fundamental concept in logic. It is the relation that holds between a set of sentences (or propositions) and a sentence (proposition) when the former "entails" the latter. For example, 'Kermit is green' is said to be a logical consequence of 'All frogs are green' and 'Kermit is a frog', because it would be "self-contradictory" to affirm the latter and deny the former. Logical consequence is the relationship between the premises and the conclusion of a valid argument. These explanations and definitions tend to be circular; the provision of a satisfactory account of logical consequence and entailment is an important topic of philosophy of logic.

The truth of the above consequence depends on both the truth of the antecedents and the relationship of logical consequence between the antecedents and the consequence. The consequence might NOT be true if not all frogs were green. Logical consequences or inferences by deductive reasoning are a major aspect of epistemology that communicates to the general public hypotheses about causality of risk factors.

A formally specified logical consequence relation may be characterized model-theoretically or proof-theoretically (or both).

Logical consequence can also be expressed as a function from sets of sentences to sets of sentences (Tarski's preferred formulation), or as a relation between two sets of sentences (multiple-conclusion logic).

Accounts of logical consequence

This section describes some common accounts of logical consequence.

Γ will represent an arbitrary set of premises and "A" an arbitrary conclusion. Γ/"A" will denote the logical argument having Γ as its (set of) premises and "A" as its conclusion. Γ $vdash$"A" will mean that "A" is a logical consequence of Γ.

Syntactic and semantic consequence

A formula A is a syntactic consequence within some formal system FS of a set Г of formulas iff there is a formal proof in formal system FS of A from the set Г.

:$Gamma vdash_\left\{mathrm FS\right\} A$

Syntactic consequence does not depend on any interpretation of the formal system. [Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Pres, 1971, p. 75.]

A formula A is a semantic consequence of a set of statements Г

$models$"A",

if and only if no interpretation $mathcal\left\{I\right\}$ makes all members of Г true and A false. [The Cambridge Dictionary of Philosophy]

Modal accounts

Modal accounts of logical consequence are variations on the following basic idea:

* Γ $vdash$"A" just in case it is "necessary" that if all of the elements of Γ are true, then "A" is true.

Alternatively (and, most would say, equivalently):

* Γ $vdash$"A" just in case it is "impossible" for all of the elements of Γ to be true and "A" false.

Such accounts are called "modal" because they appeal to the modal notions of necessity and (im)possibility. 'It is necessary that' is often cashed out as a universal quantifier over possible worlds, so that the accounts above translate as:

* Γ $vdash$"A" just in case there is no possible world at which all of the elements of Γ are true and "A" is false (untrue).

Consider the modal account in terms of the argument given as an example above:

:All frogs are green.
:Kermit is a frog.
:Therefore, Kermit is green.

The conclusion is a logical consequence of the premises because we can't imagine a possible world where (a) all frogs are green; (b) Kermit is a frog; and (c) Kermit is not green.

Formal accounts

Formal accounts of logical consequence are variations on the following basic idea:

* Γ $vdash$"A" just in case no argument with the same logical form as Γ/"A" has true premises and a false conclusion.

Two common variations on this basic idea are:

# Γ $vdash$"A" just in case no uniform substitution of the nonlogical terms in Γ/"A" yields an argument with true premises and a false conclusion.
# Γ $vdash$"A" just in case there is no way of interpreting the nonlogical terms in Γ/"A" that yields an argument with true premises and a false conclusion.

Let us again consider the argument:

: All frogs are green.: Kermit is a frog.: Therefore, Kermit is green.

Formal account (1) says that the conclusion is a logical consequence of the premises because no matter how we uniformly replace the nonlogical terms ("frog", "green", "Kermit") in the argument, we do not get true premises and a false conclusion. Consider for example:

: All skyscrapers are tall.: The Empire State Building is a skyscraper.: Therefore, the Empire State Building is tall.

: All squares are rectangles.: All rectangles are quadrilaterals.: Therefore, a square is a quadrilateral.

: All matter has mass.: Coffee tables are matter.: Therefore, coffee tables have mass.

: All birds have feathers.: Penguins are birds.: Therefore, penguins have feathers.

We can make up arguments of this form all day, but we will never come up with one that has true premises and a false conclusion. The argument is deductively valid by virtue of its logical form, which might be characterized with the following template (in which F, G, and a are meaningless placeholders):

: All Fs are Gs.: a is an F.: Therefore, a is a G.

Formal account (2) says that the conclusion of the "Kermit" argument is a logical consequence of the premises because no matter how we "interpret" the nonlogical terms ("frog", "green", "Kermit") in the argument, we do not get true premises and a false conclusion. Suppose, for example, we interpret "frog" to mean "plumber", "green" to mean "shy", and "Kermit" to mean "Madonna" (the singer). Then the argument has two false premises (for not all plumbers are shy, and Madonna is not a plumber) and a false conclusion (for Madonna is not shy). We can come up with as many interpretations of "frog", "green", and "Kermit" as we like, but this will never result in an argument with true premises and a false conclusion.

Modal-formal accounts

Modal-formal accounts of logical consequence combine the modal and formal accounts above, yielding variations on the following basic idea:

* Γ $vdash$"A" just in case it is impossible for an argument with the same logical form as Γ/"A" to have true premises and a false conclusion.

Most logicians would probably agree that logical consequence, as we intuitively understand it, has both a modal and a formal aspect, and that some version of the modal/formal account is therefore closest to being correct.

Warrant-based accounts

The accounts considered above are all "truth-preservational," in that they all assume that the characteristic feature of a good inference is that it never allows one to move from true premises to an untrue conclusion. As an alternative, some have proposed "warrant-preservational" accounts, according to which the characteristic feature of a good inference is that it never allows one to move from justifiably assertible premises to a conclusion that is not justifiably assertible. This is (roughly) the account favored by intuitionists such as Michael Dummett.

Non-monotonic logical consequence

The accounts discussed above all yield monotonic consequence relations, i.e. ones such that if "A" is a consequence of Γ, then "A" is a consequence of any superset of Γ. It is also possible to specify non-monotonic consequence relations to capture the idea that, e.g., 'Tweety can fly' is a logical consequence of

:{Birds can typically fly, Tweety is a bird}

but not of

:{Birds can typically fly, Tweety is a bird, Tweety is a penguin}.

For more on this, see the article on non-monotonic logic.

* Deductive reasoning
* Tautology (logic)
* Validity
* Semantic consequence

References

Resources

* Michael Dummett, 1991. "The Logical Basis of Metaphysics". Harvard University Press.
* John Etchemendy, 1990. "The Concept of Logical Consequence". Harvard University Press.
* Hanson, William H., 1997, "The concept of logical consequence," "The Philosophical Review 106": 365-409.
* Vincent F. Hendricks, 2005. "Thought 2 Talk: A Crash Course in Reflection and Expression". New York: Automatic Press / VIP. ISBN 87-991013-7-8
*Planchette, P. A., 2001, "Logical Consequence," in Goble, Lou, ed., "The Blackwell Guide to Philosophical Logic". Blackwell.
* Stewart Shapiro, 2002, "Necessity, meaning, and rationality: the notion of logical consequence" In D. Jacquette, ed., "A Companion to Philosophical Logic". Blackwell.
* Alfred Tarski, 1936, "On the concept of logical consequence." Reprinted in Tarski, A., 1983. "Logic, Semantics, Metamathematics", 2nd ed. Oxford University Press. Originally published in Polish and German.

* [http://plato.stanford.edu/entries/logical-consequence/ Stanford Encyclopedia of Philosophy]
* [http://www.iep.utm.edu/l/logcon.htm Internet Encyclopedia of Philosophy]

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… …   Wikipedia

• Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… …   Wikipedia

• Consequence — may refer to: In logic, consequence relation, also known as logical consequence, or entailment In operant conditioning, a result of some behavior Consequentialism, a theory in philosophy in which the morality of an act is determined by its… …   Wikipedia

• consequence — (logical) A proposition is a logical consequence of others when it is impossible that they should be true and it false. See model theory, proof theory …   Philosophy dictionary

• Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… …   Wikipedia

• Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T …   Wikipedia

• logical — /ˈlɒdʒɪkəl/ (say lojikuhl) adjective 1. according to the principles of logic: a logical inference. 2. reasoning in accordance with the principles of logic, as a person, the mind, etc. 3. reasonable; reasonably to be expected: war was the logical… …   Australian English dictionary

• logical — logicality /loj i kal i tee/, logicalness, n. logically, adv. /loj i keuhl/, adj. 1. according to or agreeing with the principles of logic: a logical inference. 2. reasoning in accordance with the principles of logic, as a person or the mind:… …   Universalium

• logical — log•i•cal [[t]ˈlɒdʒ ɪ kəl[/t]] adj. 1) according to or agreeing with the principles of logic: a logical inference[/ex] 2) reasoning in accordance with the principles of logic 3) reasonable; to be expected: the logical consequence of such… …   From formal English to slang

• consequence — I (conclusion) noun aftereffect, aftergrowth, aftermath, climax, completion, conclusion, consecutio, consummation, culmination, decision, deduction, denouement, derivation, derivative, determination, development, effect, emanation, ensual,… …   Law dictionary