Formal logic – Mathematical logic, symbolic logic and formal logic are largely, if not completely synonymous. The essential feature of this field is the use of formal languages to express the ideas whose logical validity is being studied. List of mathematical logic topics