Elements of Deductive Logic
by Antony Eagle
Publisher: University of Adelaide 2008
Number of pages: 178
Description:
This is a textbook covering the basics of formal logic and elementary metatheory. Its distinguishing feature is that it has more emphasis on metatheory than comparable introductory textbooks. It was originally written to accompany lectures in an introductory to intermediate logic course at the University of Oxford, but it is designed to be used independently.
Download or read it online for free here:
Download link
(900KB, PDF)
Similar books
Symbolic Logic: A First Courseby Gary Hardegree - Mcgraw-Hill College
Contents: Basic Concepts of Logic; Truth-Functional Connectives; Validity in Sentential Logic; Translations in Sentential Logic; Derivations in Sentential Logic; Translations in Monadic Predicate Logic; Translations in Polyadic Predicate Logic; etc.
(20961 views)
Symbolic Logicby Lewis Carroll - Macmillan and co
Here you see Carroll the mathematician at his playful best. This isn't about modern symbolic logic but about ways of expressing classical logic with symbols. It's loaded with amusing problems to delight any mathematical puzzler.
(20702 views)
Proof Theory and Philosophyby Greg Restall - consequently.org
A textbook in philosophical logic, accessible to someone who's done only an intro course in logic, covering some model theory and proof theory of propositional logic, and predicate logic. User-friendly and philosophically motivated presentation.
(14681 views)
Introduction to Modal Logicby Gary Hardegree - UMass Amherst
Contents: Basic Concepts; Classical SL; Absolute Modal Logic - System L; Relative Modal Logic - System K; Systems Between K and L; Modal Predicate Logic; General First-Order Logic; First-Order Modal Logic; First-Order Modal Logic with Actuality...
(16264 views)