Abstract
The English mathematician George Boole (1815–1864) is regarded as the “father” of symbolic logic, which is why it bears his name. He did not associate logic with mathematics, but wanted to devise a logical framework for expressing and analysing logical statements. A logical statement contains one or more premises (or propositions), that form the basis of an argument. However, not all premises are true, and starting from an incorrect premise is not a good strategy for winning an argument, therefore one must anticipate the existence of valid and invalid premises. Complex arguments often combine individual premises using the logical connectives negation (NOT), conjunction (AND), inclusive disjunction (OR) and the exclusive disjunction (XOR). Today, logic is considered to play a central role in mathematics, and Russell believed that mathematics could be derived entirely from logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Vince, J. (2015). Logic. In: Foundation Mathematics for Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-21437-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-21437-5_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21436-8
Online ISBN: 978-3-319-21437-5
eBook Packages: Computer ScienceComputer Science (R0)