Coverart for item
The Resource Logic : the theory of formal inference, Alice Ambrose, (electronic resource)

Logic : the theory of formal inference, Alice Ambrose, (electronic resource)

Label
Logic : the theory of formal inference
Title
Logic
Title remainder
the theory of formal inference
Statement of responsibility
Alice Ambrose
Creator
Contributor
Subject
Genre
Language
eng
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
Cataloging source
CtWfDGI
http://library.link/vocab/creatorDate
1906-
http://library.link/vocab/creatorName
Ambrose, Alice
Dewey number
  • 160
  • 160
Index
no index present
LC call number
BC108
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
1909-1987
http://library.link/vocab/relatedWorkOrContributorName
Lazerowitz, Morris
http://library.link/vocab/subjectName
Logic
Target audience
adult
Label
Logic : the theory of formal inference, Alice Ambrose, (electronic resource)
Link
http://lanepl.freading.com/ebooks/details/r:download/MDAwMDE4LTE2MDQzNTMz
Instantiates
Publication
Antecedent source
unknown
Control code
frd00007368
Dimensions
unknown
Extent
1 online resource (96 pages)
File format
one file format
Form of item
online
Governing access note
Access limited to subscribing institutions
Isbn
9780486808598
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Specific material designation
remote
System control number
  • (Sirsi) i9780486808598
  • (Sirsi) b1431056
System details
System requirements: Adobe Digital editions
Label
Logic : the theory of formal inference, Alice Ambrose, (electronic resource)
Link
http://lanepl.freading.com/ebooks/details/r:download/MDAwMDE4LTE2MDQzNTMz
Publication
Antecedent source
unknown
Control code
frd00007368
Dimensions
unknown
Extent
1 online resource (96 pages)
File format
one file format
Form of item
online
Governing access note
Access limited to subscribing institutions
Isbn
9780486808598
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Specific material designation
remote
System control number
  • (Sirsi) i9780486808598
  • (Sirsi) b1431056
System details
System requirements: Adobe Digital editions

Library Locations

    • Lane Public LibraryBorrow it
      1396 University Blvd, Hamilton, OH, 45011, US
      39.3832585 -84.5606269

Library Links

Processing Feedback ...