Logic: The Theory of Formal Inference (Dover Books on Recreational Math) - Softcover

Ambrose, Alice

9780486796772: Logic: The Theory of Formal Inference (Dover Books on Recreational Math)

Softcover

ISBN 10: 0486796779 ISBN 13: 9780486796772

Verlag: Dover Publications Inc, 2015

Alle Exemplare dieser ISBN-Ausgabe

1 Gebraucht

Von EUR 25,31

0 Neu

Rese�a del editor

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. The book concludes with a series of exercises.

Biograf�a del autor

Alice Ambrose (1906–2001) studied philosophy at Cambridge with G. E. Moore and Ludwig Wittgenstein and taught at Smith College from 1937 until her 1972 retirement. She wrote several books on aspects of logic in collaboration with her husband, Morris Lazerowitz (1907–87), who was also a longtime faculty member of Smith's Philosophy Department.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.