Logic

Logic is the branch of philosophy dealing with arguments.

## Branches of LogicEdit

Logic is divided into two main branches: inductive and deductive logic.

## ReviewEdit

*Terms:*

**Axiomatic System-**a deductive system of reasoning that starts with a relatively small number of basic principles (**axioms**).**Predicate Logic-**the branch of symbolic logic that takes predicates as the fundamental units of analysis.**Sentential Logic-**the branch of symbolic logic that takes sentences as the fundamental units of analysis.**Truth Preservation-**the inability of a method or pattern of reasoning to take one from truths to falsehood.

## ReferencesEdit

- Bergmann, Merrie, James Moor, and Jack Nelson.
*The Logic Book*. - Shapiro, Stewart, "Classical Logic", The Stanford Encyclopedia of Philosophy (Winter 2009 Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/win2009/entries/logic-classical/>.