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.
Langer, Susanne. An Introduction to Symbolic Logic
1937, George Allen & Unwin, Ltd.
-
Expand entry
-
Added by: Viviane FairbankAbstract:
Symbolic Logic is a relatively new subject, and the easiest methods of approach have not yet been determined. In point of arrangement, therefore, this Introduction has no predecessor. That is just why it was written: the need of some systematic guide, from the state of perfect innocence to a possible understanding of the classical literature, has become acute and commanding.Comment: This is an accessible introductory textbook to logic (and basic mathematics) from the 1930s, which is likely outdated at this point but may still be used for reference (and interest).
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!