Wikijunior:Philosophy/Logic

Logic is the branch of philosophy dealing with arguments.

Branches of Logic

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

Review

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.

References

1. Bergmann, Merrie, James Moor, and Jack Nelson. The Logic Book.
2. 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/>.