mathematical logic

Popular Terms
Set of mathematical disciplines (such as Boolean algebra, predicate calculus, and prepositional calculus) employed in reducing the rules of formal logic to the rules of algebra. Its major objective is to eliminate ambiguities caused by the use of natural languages. Symbolic logic has its origins in the works of two German mathematicians, Gottfried Wilhelm Leibniz (1646-1716) and Friedrich Ludwig Gottolob Frege (1848-1925). The UK mathematician-philosopher team of Alfred North Whitehead (1861-1947) and Bertrand Arthur William Russell (1872-1970) developed it further in their 1910 book 'Principia Mathematica.' Also called symbolic logic.

Email Print Embed