Ambrose, Alice, Lazerowitz, Morris. Fundamentals of Symbolic Logic
1948, New York: Holt, Rinehart and Winston.
-
Expand entry
-
Added by: Viviane FairbankAbstract:
This book is intended for the newcomer to formal logic and is designed to provide an introduction for the intelligent general reader as well as for the student in the classroom. Its primary purpose is to present in a clear, natural, and orderly fashion the fundamentals of a subject that has now acquired the status of an exact science... Chapters I through VII are devoted to the exposition of material necessary to the construction of the deductive system of truth-functions... Thanks to the special notation that has come to be characteristic of symbolic logic, it is possible to express the logical material with clarity and exactness and to organize it, as in Chapter VIII, into a deductive system. Chapters IX through XI are given over to the study of general propositions and of forms of inference involving them... Care has been taken to show how Aristotelian logic is accommodated within the framework of the extended, present-day subject: by introducing the reader to quantification theory and to the current notation for expressing forms of general propositions, and finally, by presenting, in Chapter XII, the calculus of classes.Comment: This introductory textbook to formal logic was widely used in America in the mid-20th Century. Although some of the methods and notations are now outdated, it still provides a useful introduction to central ideas in formal and informal logic, and could be used as a reference for those preparing an introductory logic course (or for those interested in the history of logic education).
2003, Mcgraw-Hill.
-
Expand entry
-
Added by: Berta GrimauSummary: 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.
Klenk, Virginia. Understanding Symbolic Logic
2008, Pearson Prentice Hall.
-
Expand entry
-
Added by: Berta GrimauPublisher’s Note:
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).
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!