Swipe to navigate through the chapters of this book
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.
Please log in to get access to this content
To get access to this content you need the following product:
- Springer International Publishing
- Sequence number
- Chapter number
- Chapter 4