Full text Read free See used
Bergmann, Merrie, , . The Logic Book
2003, Mcgraw-Hill.
Expand entry
Added by: Berta Grimau, Contributed by:

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 tableaux-style method of consistency-checking and a natural deduction-style 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 first-order 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 truth-trees and the chapters on derivations are independent, so it is possible to cover truth-trees but not derivations and vice versa. However, the chapters on truth-trees 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.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Twitter Share on Facebook Share on Google Plus Share on Pinterest Share by Email More options
Full text Read free See used
Klenk, Virginia, , . Understanding Symbolic Logic
2008, Pearson Prentice Hall.
Expand entry
Added by: Berta Grimau, Contributed by:

Description – This comprehensive introduction presents the fundamentals of symbolic logic clearly, systematically, and in a straightforward style accessible to readers. Each chapter, or unit, is divided into easily comprehended small bites that enable learners to master the material step-by-step, rather than being overwhelmed by masses of information covered too quickly. The book provides extremely detailed explanations of procedures and techniques, and was written in the conviction that anyone can thoroughly master its content. A four-part organization covers sentential logic, monadic predicate logic, relational predicate logic, and extra credit units that glimpse into alternative methods of logic and more advanced topics.

Comment: This book is ideal for a first introduction course to formal logic. It doesn't presuppose any logical knowledge. It covers propositional and first-order logic (monadic and relational).

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Twitter Share on Facebook Share on Google Plus Share on Pinterest Share by Email More options
Full text Read free See used
Merrie Bergmann, , James Moor, Jack Nelson. The Logic Book
, Random House, New York.
Expand entry
Added by: Berta Grimau, Contributed by:

Description: This book is a leading text for symbolic or formal logic courses. All techniques and concepts are presented with clear, comprehensive explanations and numerous, carefully constructed examples. Its flexible organization (all chapters are complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose. A free Student Solutions Manual is packaged with every copy of the textbook. Two logic programs, Bertie III and Twootie, are available as a free download from the University of Connecticut Philosophy Department’s Web site. The Web address for downloading the software is //www.ucc.uconn.edu/~wwwphil/software.html. Bertie 3 is a proof checker for the natural deduction method and Twootie is a proof checker for the truth tree method.

CONTENTS: Chapter 1: Basic Notions of Logic, Chapter 2: Sentential Logic: Symbolization and Syntax, Chapter 3: Sentential Logic: Semantics, Chapter 4: Sentential Logic: Truth-Trees, Chapter 5: Sentential Logic: Derivations, Chapter 6: Sentential Logic: Metatheory, Chapter 7: Predicate Logic: Symbolization and Syntax, Chapter 8: Predicate Logic: Semantics, Chapter 9: Predicate Logic: Truth-Trees, Chapter 10: Predicate Logic: Derivations, Chapter 11: Predicate Logic: Metatheory.

Comment: This book may serve as the main reading or reference book for an introductory course to formal logic. It doesn't presuppose any knowledge of logic and is thus recommended for use in undergrad level logic courses. It comes with solutions to most of its exercises, which is great for students to practice and study on their own, but may be a drawback, since the teacher will need to design exercises of her own in order to assign homework to the students.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Twitter Share on Facebook Share on Google Plus Share on Pinterest Share by Email More options
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!