symbolic logic
Definition
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. Also called mathematical logic, 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.'
email to a friend
print this definition
cite this definition
link to this page
symbolic logic is in the Information & Knowledge Management and Statistics, Mathematics, & Analysis subjects.
symbolic logic appears in the definitions of the following terms: mathematical logic and formal logic
This content can be found on the following page:
http://www.businessdictionary.com/definition/symbolic-logic.html