Symbolic Logic
Encyclopedia article; The Columbia Encyclopedia, Sixth Edition, 2007
SYMBOLIC LOGIC or mathematical logic, formalized system of deductive logic, employing abstract...aspects of natural language. Symbolic logic draws on the concepts and...foundations of mathematics. Symbolic logic dates from the work of...