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.