
Expand entry

Added by: Berta Grimau
Summary: This book is an introductory textbook on mathematical logic. It covers Propositional Logic and Predicate Logic. For each of these formalisms it presents its syntax and formal semantics as well as a tableauxstyle method of consistencychecking and a natural deductionstyle deductive calculus. Moreover, it discusses the metatheory of both logics.
Comment: This book would be ideal for an introductory course on symbolic logic. It presupposes no previous training in logic, and because it covers sentential logic through the metatheory of firstorder predicate logic, it is suitable for both introductory and intermediate courses in symbolic logic. The instructor who does not want to emphasize metatheory can simply omit Chapters 6 and 11. The chapters on truthtrees and the chapters on derivations are independent, so it is possible to cover truthtrees but not derivations and vice versa. However, the chapters on truthtrees do depend on the chapters presenting semantics; that is, Chapter 4 depends on Chapter 3 and Chapter 9 depends on Chapter 8. In contrast, the derivation chapters can be covered without first covering semantics. The Logic Book includes large exercise sets for all chapters. Answers to unstarred exercises appear in the Student Solutions Manual, available at www.mhhe.com/bergmann6e, while answers to starred exercises appear in the Instructor's Manual, which can be obtained by following the instructions on the same web page.
Bergmann, Merrie. The Logic Book
2003, McgrawHill.
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!