Modern Logic: A Text in Elementary Symbolic Logic

Oxford University Press (1994)

Abstract
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)
Call number BC135.F57 1994
ISBN(s) 0195080297
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,666
External links

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.

Add more references

Citations of this work BETA

Burn All Your Textbooks.Varol Akman - 2017 - Australasian Journal of Logic 14 (3).
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.
Events, Truth, and Indeterminacy.Achille C. Varzi - 2002 - The Dialogue 2:241-264.
The Epistemic Significance of Valid Inference – A Model-Theoretic Approach.Constantin C. Brîncuș - 2015 - In Sorin Costreie & Mircea Dumitru (eds.), Meaning and Truth. Bucharest: PRO Universitaria Publishing. pp. 11-36.

View all 15 citations / Add more citations

Similar books and articles

Symbolic Logic.John Venn - 1881 - New York: B. Franklin.
Deductive Logic.D. S. Clarke - 1973 - Carbondale: Southern Illinois University Press.
Logic for Philosophy.Theodore Sider - 2010 - Oxford University Press.
Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.
The Logic Book.Merrie Bergmann - 2003 - Mcgraw-Hill.
A Study of Logics.John P. Cleave - 1991 - Oxford University Press.

Analytics

Added to PP index
2009-01-28

Total views
12 ( #729,899 of 2,349,382 )

Recent downloads (6 months)
6 ( #120,417 of 2,349,382 )

How can I increase my downloads?

Downloads

My notes