# Logic

Logic is the study of correct arguments. An argument is anything that’s offered to derive a desired conclusion from a collection of premises. The premises are meant to be truths that justify drawing the conclusion.

Logic can either be presented informally or formally.

Informal logic is what you might get in an introductory philosophy class. It’s about being able to dissect an argument and find it’s flaws or become convinced by it. The boundaries of informal logic are not always clear. It’s making sure that premises properly justify a conclusion, but perhaps also investigating whether the premises themselves are true.

Formal logic is a mathematical theory which is meant to provide a model of one particular aspect of correct reasoning. An argument can be translated into formal logic by abstracting away from the content of the sentences in the argument to determine whether the **form** of the argument is correct.

Children:

- Formal Logic
Formal logic studies the form of correct arguments through rigorous and precise mathematical theories.

- Propositions
Propositions are statements with a truth value.

- Arguments
An argument is a formal reasoning, valid or not.

- Law of syllogism
Deriving something from the conclusion of another thing.

- Negation of propositions
The proposition that is false if another one is true and vice-versa.

- Modus tollens
Deriving a negation from another negation

- Conjunctions and disjunctions
The fancy name for the “and” and “or” connectives.

- Logical system