# Logic-based Argument

A Logic-based Argument is a rational argument that uses logic operations.

**AKA:**Formal Rational Argument.**Context:**- It can (typically) be the produced by a Logic-based Reasoning System (solving a logic-based reasoning task).
- It can range from being a Deductive Argument, to being an Inductive Argument, to being an Abductive Argument.
- It can (often) follow a Logic Argument Pattern.
- It can range from being a Sound Argument to being a Fallacious Argument.
- It can range from being a Weak Argument to being a Strong Argument.
- It can be evaluated by a Logic Argument Evaluation Task (analyzed by a Logic Argument Evaluation Algorithm).

**Example(s):**- A Deductive Argument such as:
- Premise:
*All men are mortal.*; Premise:*Socrates is a man.*Deductive Logic Operation:*Modus Ponens*; Conclusion:*Socrates is mortal.*

- Premise:
- An Inductive Argument such as:
- Premise:
*Only white swans have been seen*Logic Operation:Generalization operation; Conclusion:*all swans are white*.

- Premise:
- An Abductive Argument.
- Premise:
*All beings are mortal.*; Premise:*Socrates is mortal.*Logic Operation:Affirming the Consequent; Conclusion:*Socrates is a being.*

- Premise:

- A Deductive Argument such as:
**Counter-Example(s):****See:**Belief Statement, Logic Sentence.

## References

### 2015

- (Wikipedia, 2015) ⇒ http://en.wikipedia.org/wiki/inference Retrieved:2015-5-15.
**Inference**is the act or process of deriving logical conclusions from premises known or assumed to be true.^{[1]}The conclusion drawn is also called an idiomatic. The laws of valid inference are studied in the field of logic.Alternatively, inference may be defined as the non-logical, but rational means, through observation of patterns of facts, to indirectly see new meanings and contexts for understanding. Of particular use to this application of inference are anomalies and symbols. Inference, in this sense, does not draw conclusions but opens new paths for inquiry. (See second set of Examples.) In this definition of inference, there are two types of inference: inductive inference and deductive inference. Unlike the definition of inference in the first paragraph above, meaning of word meanings are not tested but meaningful relationships are articulated.

Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of cognitive psychology; artificial intelligence researchers develop automated inference systems to emulate human inference.

Statistical inference uses mathematics to draw conclusions in the presence of uncertainty. This generalizes deterministic reasoning, with the absence of uncertainty as a special case. Statistical inference uses quantitative or qualitative (categorical) data which may be subject to random variation.