From Wikibooks, open books for an open world
Logic is the branch of philosophy dealing with arguments.
Branches of Logic
Logic is divided into two main branches: inductive and deductive logic.
- 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.
- 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/>.