Front | Back |
Entailment (definition)
|
The relationship between a set of premises and a conclusion where the conclusion follows from the premises, or may validly be inferred from the premises
|
Logic (definition)
|
The organized body of knowledge, or science, that evaluates arguments
|
Argument (book definition)
|
A group of statements where reasons (premises) are given to support a conclusion (claim)
|
Statement
|
A sentence that is either true or false
|
Truth values
|
The two possible outcomes of a statement. (True/False)
|
Premises
|
The statements that set forth the reasons or evidence
|
Conclusion
|
Statement that the evidence is claimed to support or imply.
|
Conclusion Indicators
|
All conclusion indicators essentially mean "THEREFORE"
(thus, so, for this reason, as a result, we may conclude, etc.)
|
Premise Indicators
|
All premise indicators essentially mean "BECAUSE"
(since, as indicated by, seeing that, may be inferred from, etc.)
|
Inference
|
The reasoning process expressed by an argument.
|
Proposition (Rabinowitz Definition)
|
1. Information content of a statement
2. Part of a statement to which truth values are assigned.
|
Syllogistic Logic
|
(Founded by Aristotle) A kind of logic in which the fundamental elements are terms. Arguments are evaluated as "good" or "bad" depending on how the terms are arranged in the argument.
|
Modal Logic
|
A kind of logic that involves such concepts as possibility, necessity, belief, and doubt.
|
What two conditions must be fulfilled for a passage to purport to prove something?
|
1) At least one of the statements must claim to present evidence or reasons. (FACTUAL CLAIM)
2) There must be a claim that the alleged evidence or reasons supports or implies something (a claim that something follows from the alleged evidence.) (INFERENTIAL CLAIM)
|
Formal Logic
|
The study of necessity and how it manifests in thought and language.
|