# Parts of a logical argument

(Difference between revisions)

(page begun) |
(+ SA) |
||

Line 9: | Line 9: | ||

; conclusion | ; conclusion | ||

: A proposition that is the endpoint, or final goal, of a logical argument. | : A proposition that is the endpoint, or final goal, of a logical argument. | ||

+ | |||

+ | ==See also== | ||

+ | * [[axiom]] | ||

+ | * [[proof]] | ||

+ | * [[theorem]] | ||

[[Category:Logic]] | [[Category:Logic]] |

## Revision as of 13:19, 17 September 2009

In classical logic, a **logical argument** consists of parts called **propositions** which are classified as **premises**, **inferences**, and **conclusions**. These terms are defined below.

- proposition
- Any statement that could be true or false.
- premise
- A proposition stated without justification (by evidence or logical reasoning) that begins an argument. (Actually, the premise need not be stated explicitly, and need not come first in an argument, but it is always assumed to be true without further justification. Premises may be questioned, in which case they would need to be justified — but then they would no longer be the premises of the original argument.)
- inference
- A proposition that is derived from one or more premises through well defined logical rules. (The overall
*process*of reasoning from premises to conclusions may also be known as*inference*.) - conclusion
- A proposition that is the endpoint, or final goal, of a logical argument.