There are two main themes in logic - deduction and induction. The first works from a set of premises to reach a logical conclusion - for example take the following statement as a syllogism ( Read more... )