Start Encyclopedia69 Dictionary | Overview | Topics | Groups | Categories | Bookmark this page.

 Full text search :
 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z #

# Symbolic Logic

Symbolic logic was principally the work of Gottlob Frege (1848 - 1925), building on the ideas of , George Boole (1815 - 1864) (see Boolean logic). Apart from the symbols used by Boole, a second type of symbol is now used, the quantifier. The commonly used quantifiers translate the phrases â€˜for everyâ€™ and â€˜there is aâ€™, and are known as universal and existential quantifiers respectively. With these additions, symbolic logic becomes the language of mathematics. Indeed, those who held to the school of logicism dominated by the work of , Bertrand Russell (1872 - 1970) believed that mathematics was in fact just the study of a branch of symbolic logic.

Symbolic logic has had such a great impact on mathematics because it provides a notation which is extremely flexible yet, to the initiated, simple to use. All the different ideas expressed throughout mathematics can be written in this language with only a few different â€˜wordsâ€™. However, like any language, it takes a long time to become familiar with it, to use it in its full expressiveness and even to think in it. Symbolic logic has had the unfortunate consequence of giving mathematics a completely incomprehensible appearance to the non-mathematician: it is written in a language as foreign to the average English speaker as Russian or Greek. All fields have their own technical vocabulary; mathematics has perhaps the most developed and alien one of all. SMcL

Further reading G. Boole, The Laws of Thought (1854); , J.N. Crossley et al., What Is Mathematical Logic?.

##### Symbolism

Other Terms : Mime | Prague School Linguistics | Intonation, Tuning And Temperament
Home |  Add new article  |  Your List |  Tools |  Become an Editor |  Tell a Friend |  Links |  Awards |  Testimonials |  Press |  News |  About |