Gillian Russell
Australian Catholic University
Deductive Logic is an introductory textbook in formal logic. The book is divided into four parts covering (i) truth-functional logic, (ii) monadic quantifi- cation, (iii) polyadic quantification and (iv) names and identity, and there are exercises for all these topics at the end of the book. In the truth-functional logic part, the reader learns to produce paraphrases of English statements and arguments in logical notation (this subsection is called “analysis”), then about the semantic properties of such paraphrased statements and arguments, such as satisfiability, implication and equivalence (“logical assessment”) and finally (“reflection”) there is an axiomatic proof method and some important extras such as disjunctive normal form and expressive adequacy. Parts two and three mirror this analysis/assessment/reflection structure for monadic and polyadic quantification, though this time the proof system is a natural deduction one, and part three contains a completeness proof for that system. The fourth part of the book introduces names, the identity predicate and descriptions and examines the additional expressive power which these provide.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.26686/ajl.v3i0.1773
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: 64,132
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

No citations found.

Add more citations

Similar books and articles

Propositional Logic.Kevin C. Klement - 2004 - Internet Encyclopedia of Philosophy.
Logical Consequence, Deductive-Theoretic Conceptions.Matthew McKeon - 2004 - Internet Encyclopedia of Philosophy.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
Proof and Disproof in Formal Logic: An Introduction for Programmers.Richard Bornat - 2005 - Oxford, England: New Yorkoxford University Press.
Logic.Stan Baronett - 2008 - Pearson Prentice Hall.
Modern Logic: A Text in Elementary Symbolic Logic.Graeme Forbes - 1994 - Oxford, England and New York, NY, USA: Oxford University Press.
Lewis Carroll's Formal Logic.Francine Abeles - 2005 - History and Philosophy of Logic 26 (1):33-46.
Logic: An Introduction.Greg Restall - 2004 - Oxford, England: Routledge.


Added to PP index

Total views
65 ( #166,232 of 2,454,732 )

Recent downloads (6 months)
1 ( #449,768 of 2,454,732 )

How can I increase my downloads?


My notes