Logic and Philosophy: A Modern Introduction

by Paul Tidman, Howard Kahane

This text is designed for those who desire a comprehensive introduction to logic which is both rigorous and student friendly. Numerous, carefully graded exercise sets accompanied by crisp, clear exposition take the student from sentential logic through first order predicate logic with identity. The rules are carefully motivated and compared to other systems of rules for sentential and predicate logic. The text includes a solid range of additional material, including chapters devoted to Aristotelian logic, informal logic, inductive logic, and modal, epistemic, and deontic logics. Through all editions, the goal has been to make symbolic logic understandable for the typical student. Careful explanation and pedagogy make this the easiest text from which to learn symbolic logic.

Genres: Philosophy, Logic, Nonfiction, Mathematics, College, Reference

528 pages, Hardcover

First published January 1, 1969

Reviews

[Happy Reader]

This was the best intro textbook that I encountered during the time that I taught introductory symbolic logic. If I were to teach logic again, I would definitely look at the latest edition of this text.

The advantage over other intro symbolic logic texts is that it requires students to understand what they are doing in order to do proofs. (The previous textbook I used, not one that I chose but one that I was required to teach from, only taught students to crank through proofs and did not emphasize the ideas at all.)

[Keith]

After taking a college intro course in logic I was eager to learn more. This book was a wonderful introduction to symbolic logic, and I was able to get through most of the sentential logic section (first half of the book) over break. It's full of exercises, and it explains how to do things step by step. If you want to study symbolic logic on your own, then I recommend this book.

[Erik Graff]

This was the textbook for the one and only course I was assigned to teach while a T.A. at Loyola University Chicago. Comments about that are included in the review of the Instructor's Manual for Logic and Philosophy. About this particular introductory text I have no particular feelings. Naturally, I preferred the Tapscott text used when, a couple of years prior, I was introducted to symbolic logic.

[sydney erickson]

do not take a logic class "for fun".

[Hugo]

Nu fattar jag bestämda beskrivningar rent formellt… värt det

21 åringen som bor på (adress på Fårö) har lagt ner för mycket tid på den här boken:

(∃x){[(Px∧Gx)∧Bxa]∧(∀y){[(Py∧Gy)∧Bya]→(x=y)}∧Lxb}

Okej men hur översätter man propositionen ovan till mängdlära?? … 😟🔫

[Sarah Schoonmaker]

This book was most helpful to me learning symbolic logic. The explanations and examples are pretty clear compared to most other logic books.

[Gil]

it was a nice book for the course. easy to read. truly made the concepts easy to understand. without it, i dont think i would have gotten the grade i did in Logic.

[Alistair]

I bought this some while ago. An old girlfriend who was more into mathematical logic was more the inspiration behind me getting this.


In progress

Contents

Preface



Chapter One:Introduction
1. The Elements of an Argument - 1
2. Deduction and Induction - 4
3. Argument Forms - 6
4. Truth and Validity - 8
5. Soundness - 11
6. Consistency - 11
7. Consistency and Validity Compared - 12
8. Contexts of Discovery and Justification - 14
Key Terms - 15

Chapter Two: Truth-Functions - Page 16
1. Atomic and Compound Sentences - 16
2. Truth-Functions - 17
3. Conjunctions - 18
4. Variables and Constants - 20
5. Negations - 21
6. Parentheses and Brackets - 23
7. Disjunctions - 24
8. "Not Both" and "Neither...Nor" - 27
9. Material Conditionals - 29
10. Material Biconditionals - 31
11. "Only If" and "Unless" - 33
12. Symbolizing Complex Sentences - 35
Key Terms - 41

Chapter Three: Truth Tables - Page 43
1. Computing Truth-Values - 43
2. Tautologies, Contradictions, and Contingent Sentences - 48
3.
4.
5.
6.
7.
8.
9.
10

Chapter Four: Proofs
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.

Chapter Five: Conditional and Indirect Proofs - 108
1.
2.
3.
4.
5.
6.
7.
8

[Mon Khemar]

ths