Modern Logic: A Text in Elementary Symbolic Logic
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Oxford University Press (1994)
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.
|Keywords||Logic, Symbolic and mathematical Logic, Modern|
|Categories||categorize this paper)|
|Buy the book||$55.00 used (39% off) $75.00 new (17% off) $83.47 direct from Amazon (8% off) Amazon page|
|Call number||BC135.F57 1994|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Daniel J. Hill & Stephen K. McLeod (2010). On Truth-Functionality. Review of Symbolic Logic 3 (4):628-632.
Similar books and articles
John Venn (1894/1971). Symbolic Logic. New York,B. Franklin.
Merrie Bergmann (2003). The Logic Book. Mcgraw-Hill.
G. Hasenjaeger (1972). Introduction to the Basic Concepts and Problems of Modern Logic. Dordrecht-Holland,D. Reidel Pub. Co..
A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
Theodore Sider (2010). Logic for Philosophy. Oxford University Press.
Shawn Hedman (2004). A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford University Press.
D. S. Clarke (1973). Deductive Logic. Carbondale,Southern Illinois University Press.
J. P. Cleave (1991). A Study of Logics. Oxford University Press.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?