Introduction to Logic

by Pospesel, Howard; Lycan, William G.

• ISBN13: 9780131649972
• ISBN10: 0131649973
• Edition: 3rd
• Format: Paperback
• Copyright: 1997-11-01
• Publisher: Pearson College Div

Summary

A clear, concise, accessible presentation of the principles of deductive logic. This text could be used in formal logic, deductive logic, or intro to logic as a the sole text or in conjugation with one of Pospsel's other texts.

Table of Contents

STUDENT'S PREFACE	ix	(1)
TEACHER'S PREFACE	x
Acknowledgments	xi
1 LOGIC	1	(8)
1.1 Introduction	1	(2)
1.2 Key Terms	3	(4)
Exercises	7	(2)
2 IF	9	(15)
2.1 Compound Statements	9	(1)
2.2 Symbolizing Conditionals	10	(4)
2.3 Arrow Out	14	(6)
Exercises	20	(4)
3 AND	24	(15)
3.1 Symbolizing Conjunctions	24	(3)
3.2 Ampersand In	27	(1)
3.3 Ampersand Out	28	(4)
Exercises	32	(7)
4 IF (AGAIN)	39	(20)
4.1 Symbolizing Puzzling Conditionals	39	(3)
4.2 Arrow In	42	(9)
Exercises	51	(8)
5 NOT	59	(22)
5.1 Symbolizing Negations	59	(3)
5.2 Dash In	62	(5)
5.3 Dash Out	67	(4)
Exercises	71	(10)
6 IFF	81	(11)
6.1 Symbolizing Biconditionals	81	(1)
6.2 Double Arrow In and Out	82	(4)
Exercises	86	(6)
7 OR	92	(19)
7.1 Symbolizing Disjunctions	92	(2)
7.2 Wedge In	94	(3)
7.3 Wedge Out	97	(4)
Exercises	101	(10)
8 RESUME	111	(18)
8.1 Summary	111	(3)
8.2 Proof Strategy	114	(4)
8.3 Definitions	118	(4)
Exercises	122	(7)
9 DERIVED RULES	129	(21)
9.1 Derived Rules 1	129	(7)
Exercises	133	(3)
9.2 Derived Rules 2	136	(14)
Exercises	143	(7)
10 TRUTH TABLES	150	(22)
10.1 Full Truth Tables	150	(12)
Exercises	158	(4)
10.2 Brief Truth Tables	162	(10)
Exercises	167	(5)
11 TRUTH TREES	172	(13)
11.1 Constructing Trees	172	(4)
11.2 Testing Arguments	176	(5)
Exercises	181	(4)
12 STATEMENTS	185	(9)
12.1 Logical Truths	185	(3)
12.2 Contradictions	188	(2)
12.3 Contingent Statements	190	(2)
Exercises	192	(2)
13 LOGICAL RELATIONS	194	(9)
13.1 Entailment	194	(2)
13.2 Logical Equivalence	196	(2)
Exercises	198	(5)
14 NATURAL ARGUMENTS	203	(13)
14.1 Argument Identification	203	(3)
14.2 Formalization	206	(2)
14.3 Evaluation	208	(1)
Exercises	209	(7)
APPENDIX 1 METATHEORY: SOUNDNESS AND COMPLETENESS OF THE SYSTEM PL	216	(13)
APPENDIX 2 IS PROPOSITIONAL LOGIC RELIABLE?	229	(3)
APPENDIX 3 ALTERNATIVE SYMBOLS	232	(1)
APPENDIX 4 ONE-SIDED TRUTH TREES	233	(2)
APPENDIX 5 SOLUTIONS TO STARRED EXERCISES	235	(18)
INDEX	253	(5)
PROOF RULES	258	(1)
TRUTH-TREE RULES	259