An introduction to symbolic logic
Langer Susanne Katherina, ; An introduction to symbolic logic / Langer, Susanne K. 2d rev. ed
New York: Dover Publications, 1953. —
ББК 160
Зміст:
CHAPTER 1
THE STUDY OF FORMS -- 21
CHAPTER 2
THE ESSENTIALS OF LOGICAL STRUCTURE -- 45
CHAPTER 3
THE ESSENTIALS OF LOGICAL STRUCTURE (continued) -- 64
CHAPTER 4
GENERALIZATION -- 82
CHAPTER 5
CLASSES -- 112
CHAPTER 6
PRINCIPAL RELATIONS AMONG CLASSES -- 134
CHAPTER 7
THE UNIVERSE OF CLASSES -- 157
CHAPTER 8
THE DEDUCTIVE SYSTEM OF CLASSES -- 182
CHAPTER 9
THE ALGEBRA OF LOGIC -- 206
CHAPTER 10
ABSTRACTION AND INTERPRETION -- 240
CHAPTER 11
THE CALCULOS OF PROPOSITIONS -- 266
CHAPTER 12
THE ASSUMPTIONS OF PRINCIPIA MATHEMATICA -- 287
CHAPTER 13
LOGISTICS -- 312
APPENDIX A
SYMBOLIC LOGIC AND THE LOGIC OF THE SYLLOGISM -- 340
APPENDIX B
PROOFS OF THEOREMS IIA AND IIB
APPENDIX A
THE CONSTRUCTION AND USE OF TRUTH-TABLES -- 352
SUGGESTIONS FOR FURTHER STUDY -- 356