| Share
 

symbolic logic

Introduction

symbolic logic or mathematical logic, formalized system of deductive logic, employing abstract symbols for the various aspects of natural language. Symbolic logic draws on the concepts and techniques of mathematics, notably set theory, and in turn has contributed to the development of the foundations of mathematics. Symbolic logic dates from the work of Augustus De Morgan and George Boole in the mid-19th cent. and was further developed by W. S. Jevons, C. S. Peirce, Ernst Schröder, Gottlob Frege, Giuseppe Peano, Bertrand Russell, A. N. Whitehead, David Hilbert, and others.

The Columbia Electronic Encyclopedia, 6th ed. Copyright © 2012, Columbia University Press. All rights reserved.

See more Encyclopedia articles on: Mathematics


Premium Partner Content
HighBeam Research
Documents Images and Maps Reference
(from Newspapers, Magazines, Journals, Newswires, Transcripts and Books)

Research our extensive archive of more than 80 million articles from 6,500 publications.

Additional search results provided by HighBeam Research, LLC. © Copyright 2005. All rights reserved.

24 X 7

Private Tutor

Click Here for Details
24 x 7 Tutor Availability
Unlimited Online Tutoring
1-on-1 Tutoring