Did you know ? Mathematical logic (or, from the point of view of philosophy, modern logic or symbolic logic) is a mathematical discipline concerned with the study of formal systems in relation to the concepts of proof and computation as part of the foundations of mathematics. Mathematical logic is a modern form of logic, which differs from older, traditional logic primarily by its formalization and calculation, or (for practical reasons) symbolization.