eBook - ePub
Sweet Reason
A Field Guide to Modern Logic
James M. Henle, Jay L. Garfield, Thomas Tymoczko, Emily Altreuter
This is a test
Partager le livre
- English
- ePUB (adapté aux mobiles)
- Disponible sur iOS et Android
eBook - ePub
Sweet Reason
A Field Guide to Modern Logic
James M. Henle, Jay L. Garfield, Thomas Tymoczko, Emily Altreuter
DĂ©tails du livre
Aperçu du livre
Table des matiĂšres
Citations
Ă propos de ce livre
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
Foire aux questions
Comment puis-je résilier mon abonnement ?
Il vous suffit de vous rendre dans la section compte dans paramĂštres et de cliquer sur « RĂ©silier lâabonnement ». Câest aussi simple que cela ! Une fois que vous aurez rĂ©siliĂ© votre abonnement, il restera actif pour le reste de la pĂ©riode pour laquelle vous avez payĂ©. DĂ©couvrez-en plus ici.
Puis-je / comment puis-je télécharger des livres ?
Pour le moment, tous nos livres en format ePub adaptĂ©s aux mobiles peuvent ĂȘtre tĂ©lĂ©chargĂ©s via lâapplication. La plupart de nos PDF sont Ă©galement disponibles en tĂ©lĂ©chargement et les autres seront tĂ©lĂ©chargeables trĂšs prochainement. DĂ©couvrez-en plus ici.
Quelle est la différence entre les formules tarifaires ?
Les deux abonnements vous donnent un accĂšs complet Ă la bibliothĂšque et Ă toutes les fonctionnalitĂ©s de Perlego. Les seules diffĂ©rences sont les tarifs ainsi que la pĂ©riode dâabonnement : avec lâabonnement annuel, vous Ă©conomiserez environ 30 % par rapport Ă 12 mois dâabonnement mensuel.
Quâest-ce que Perlego ?
Nous sommes un service dâabonnement Ă des ouvrages universitaires en ligne, oĂč vous pouvez accĂ©der Ă toute une bibliothĂšque pour un prix infĂ©rieur Ă celui dâun seul livre par mois. Avec plus dâun million de livres sur plus de 1 000 sujets, nous avons ce quâil vous faut ! DĂ©couvrez-en plus ici.
Prenez-vous en charge la synthÚse vocale ?
Recherchez le symbole Ăcouter sur votre prochain livre pour voir si vous pouvez lâĂ©couter. Lâoutil Ăcouter lit le texte Ă haute voix pour vous, en surlignant le passage qui est en cours de lecture. Vous pouvez le mettre sur pause, lâaccĂ©lĂ©rer ou le ralentir. DĂ©couvrez-en plus ici.
Est-ce que Sweet Reason est un PDF/ePUB en ligne ?
Oui, vous pouvez accĂ©der Ă Sweet Reason par James M. Henle, Jay L. Garfield, Thomas Tymoczko, Emily Altreuter en format PDF et/ou ePUB ainsi quâĂ dâautres livres populaires dans Filosofia et Logica in filosofia. Nous disposons de plus dâun million dâouvrages Ă dĂ©couvrir dans notre catalogue.
Informations
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...