Modern logic: a text in elementary symbolic logic

New York: Oxford University Press (1994)
  Copy   BIBTEX


Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern Logic gives equal weight to semantics and proof theory and explains their relationship, and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, Modern Logic provides a thorough understanding of basic concepts and a sound basis for more advanced work.



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Modern Logic. A Text in Elementary Symbolic Logic.Michael Clark - 1995 - Philosophical Books 36 (2):142-143.
Logic and philosophy.Howard Kahane - 1969 - Belmont, Calif.,: Wadsworth Pub. Co..
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
Logic for Computer Science.Steve Reeves & Michael Clarke - 1990 - Addison Wesley Publishing Company.
Sweet Reason: A Field Guide to Modern Logic.James M. Henle, Jay L. Garfield, Thomas Tymoczko & Emily Altreuter - 1995 - New York and Oxford: Wiley-Blackwell. Edited by Jay L. Garfield & Thomas Tymoczko.
Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.


Added to PP

10 (#1,222,590)

6 months
71 (#74,424)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Words and Objects.Achille C. Varzi - 2002 - In Andrea Bottani, Massimiliano Carrara & Daniele Giaretta (eds.), Individuals, Essence, and Identity. Themes of Analytic Metaphysics. Kluwer Academic Publishers. pp. 49–75.
Inference Claims.David Hitchcock - 2011 - Informal Logic 31 (3):191-229.
On ground and consequence.Benjamin Schnieder - 2018 - Synthese 198 (Suppl 6):1335-1363.
Events, Truth, and Indeterminacy.Achille C. Varzi - 2002 - The Dialogue 2:241-264.
I am not now, nor have I ever been, a turnip.Josh Parsons - 2005 - Australasian Journal of Philosophy 83 (1):1 – 14.

View all 19 citations / Add more citations

References found in this work

No references found.

Add more references