Skip to content
You are not logged in |Login  
Limit search to available items
Book Cover
Author Ambrose, Alice, 1906-

Title Logic : The Theory of Formal Inference / Alice Ambrose.

Publication Info. [Place of publication not identified] : Dover Publications, [2015]


Location Call No. Status
 Newington - Downloadable Materials  Freading E-Book    Downloadable
Newington cardholders click here to access this title from Freading
 Rocky Hill - Downloadable Materials  Freading Ebook    Downloadable
Rocky Hill cardholders click here to access this title from Freading
 Wethersfield - Downloadable Materials  FreadingEbook    Downloadable
Wethersfield cardholders click here to access this title from Freading
Description 1 online resource (96 pages)
Access Access limited to subscribing institutions.
Summary Geared toward college undergraduates new to the subject, this concise introduction to formal logic was written by Alice Ambrose and Morris Lazerowitz, a pair of noted scholars and prolific authors in this field. A preliminary section opens the subject under the heading of truth-functions. Two subsequent parts on quantification and classes, each subdivided into numerous brief specifics, complete the overview. Suitable for students of philosophy as well as mathematics, the three-part treatment begins with the intuitive development of the standard theory of sentential connectives (called "operators"). The theory is further developed with the assistance of truth-tables and ultimately as a logistic system. Part II explores first-order quantification theory. In addition to examining most of the familiar laws that can be expressed by monadic formulas, the text addresses polyadic principles and the theories of identity and descriptions. Part III focuses on elementary concepts of classes, from class membership and class inclusion to the algebra of classes. Each part concludes with a series of exercises.
System Details System requirements: Adobe Digital editions.
Subject PHILOSOPHY / Logic.
Genre/Form Electronic books.
Added Author Lazerowitz, Morris, 1909-1987.
Other Form: Print version: Ambrose, Alice, 1906- Logic : the theory of formal inference. Mineola, New York : Dover Publications, Inc., 2015. 9780486796772 (DLC)2015020217
ISBN 9780486808598 (e-pub)
Standard No. 9780486808598
Add a Review