eBook - ePub
Sweet Reason
A Field Guide to Modern Logic
James M. Henle, Jay L. Garfield, Thomas Tymoczko, Emily Altreuter
This is a test
Share book
- English
- ePUB (mobile friendly)
- Available on iOS & Android
eBook - ePub
Sweet Reason
A Field Guide to Modern Logic
James M. Henle, Jay L. Garfield, Thomas Tymoczko, Emily Altreuter
Book details
Book preview
Table of contents
Citations
About This Book
Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative, friendly, and effective introduction to logic. It integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics.
- An innovative introduction to the field of logic designed to entertain as it informs
- Integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics
- Addresses contemporary applications of logic in fields such as computer science and linguistics
- A web-site ( www.wiley.com/go/henle ) linked to the text features numerous supplemental exercises and examples, enlightening puzzles and cartoons, and insightful essays
Frequently asked questions
How do I cancel my subscription?
Can/how do I download books?
At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.
What is the difference between the pricing plans?
Both plans give you full access to the library and all of Perlegoâs features. The only differences are the price and subscription period: With the annual plan youâll save around 30% compared to 12 months on the monthly plan.
What is Perlego?
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, weâve got you covered! Learn more here.
Do you support text-to-speech?
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Is Sweet Reason an online PDF/ePUB?
Yes, you can access Sweet Reason by James M. Henle, Jay L. Garfield, Thomas Tymoczko, Emily Altreuter in PDF and/or ePUB format, as well as other popular books in Filosofia & Logica in filosofia. We have over one million books available in our catalogue for you to explore.
Information
Chapter One
First, a word about this chapter. Letâs say youâre going to learn to swim. Youâre 5 years old and a little afraid of the water. Your swimming teacher tells you not to be afraid, and picks you up and throws you into the pool!
You immediately start thrashing about with your arms and legs. Youâre really scared, but after a few seconds, you notice that youâre not drowning, youâre keeping your head above water. In a few more seconds, youâve made your way to the side of the pool and youâre hanging on to the edge trying to figure out what happened.
You didnât drown because everyone is born with swimming reflexes and instincts. When your teacher threw you in, those reflexes took command and saved you. Now that itâs over, youâre not as frightened of the water. Youâve been in the middle of the pool and survived.
This chapter is a little like that first swimming lesson. You may never have studied logic, but you do, in fact, know quite a bit. If you didnât, you could hardly speak, let alone make your way in the world.
Weâre going to throw everything at you. Youâll be surprised at how easy it is to understand the symbols. Itâs easy because the logical ideas represented by the symbols are basic ideas that youâve worked with all your life.
Logic can seem scary at first. If you donât know what they mean, strange symbols
can appear frightening âŚ
But donât panic. The âââ symbol just means âeverything.â Youâll see how it works in a moment. Itâs not as mean as it looks.
1.1 Introducing Formal Logic
There was only one catch and that was Catch 22, which specified that a concern for oneâs own safety in the face of dangers that were real and immediate was the process of a rational mind. Orr was crazy and could be grounded. All he had to do was ask; and as soon as he did, he would no longer be crazy and would have to fly more missions. Orr would be crazy to fly more missions and sane if he didnât, but if he was sane he had to fly them. If he flew them he was crazy and didnât have to but if he didnât want to he was sane and had to. (Joseph Heller, Catch-22)
We begin with connectives, the logical operations that link sentences to each other. We donât have many connectives; theyâre all familiar to you. You know them as âandâ, âorâ, ânotâ, âif ⌠thenâ, and âif and only ifâ. Connectives allow us to create complex statements from simple statements. Suppose A and B are statements. Then weâll use
to say that both A and B are true. Weâll use
to mean that at least one of A, B is true (A is true or B is true or both are true). Weâll use
to mean that A is not true. Weâll use
to mean that if A is true then so is B. And finally weâll use
to mean that A is true if and only if B is true, that is, A and B have the same truth value.
Letâs say we have these statements:
P: George is late to the meeting.
Q: The meeting is in Detroit.
R: George brings a casserole.
Example
How do we say that either George will be late or heâll bring a casserole?
Answer:
Example
What does Q â P mean?
Answer: If the meeting is in Detroit then George will be late.
Example
Represent the following with symbols: The meeting is in Detroit and either George doesnât bring a casserole or George is late.
Answer: Q ⧠(ÂŹR ⨠P) Note the use of parentheses here. Weâll say more about this later.
Exercises Introducing Formal Logic
Odd-numbered solutions begin on page 350
Translate the following sentences using P, Q, and R from above.
1. George is late and the meeting is in Detroit.
2. If the meeting is in Detroit, then George brings a casserole.
3. Either George is late or he does not bring a casserole.
4. George brings a casserole if and only if the meeting is in Detroit.
5. If George does not bring a casserole, he is not late.
6. If the meeting is in Detroit then George brings a casserole, and if George brings a casserole then he is late.
7. The meeting is in Detroit if and only if both George is late and he doesnât bring a casserole.
8. The meeting is in Detroit, and either George is late or he brings a casserole.
Determine the meaning of each of the following sentences.
9. P ⨠R
10. R ⧠Q
11. Q â P
12. R â ÂŹQ
13. P ⨠(Q ⧠R)
14. P ⧠(Q ⨠R)
15. R ⧠(Q â P)
16. Q ⨠(ÂŹP â R)
The Greek philosopher Epimenides is credited with formulating a paradox that has stimulated some of the most important advances in logic from the classical period right up to yesterday afternoon (we guarantee this, no matter when you are reading these words). He, a Cretan, put it this way:
All Cretans are Liars.
Since Epimenides was a Cretan, he was asserting that he is a liar, meaning that what he says is...