Chapter 4
Engaging with Formal Affairs
IN THIS CHAPTER
Introducing formal logic
Defining the five logical operators
Recognizing how logic is similar to arithmetic
Translating statements from SL to English, and vice versa
If you look at a few logical arguments, which you can do in Chapter 3, you may get the sneaking suspicion that they all have a lot in common. And you’d be right. Over the centuries, logicians have examined their fair share of argument examples, and they’ve found that certain patterns of arguments come up again and again. They realized that they could capture these patterns by using a small number of symbols, and then analyze the patterns for their common features.
In this chapter, I introduce formal logic, a foolproof set of methods for determining whether an argument is valid or invalid. I show you how to represent statements with placeholders called constants and variables, and I discuss the five logical operators used for connecting simple statements to build more complex ones.
The logical operators work very much like the familiar operators in arithmetic (addition, ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access