Formal Logic

Formal or Symbolic Logic makes use of rules of inference and symbols to stand for names, predicates or propositions.

A good introduction has been written by Peter Smith.