This impressive study guide introduces the techniques of formal logic in a way suitable for all students of philosophy.
Contents
Chapter 1: Logical Reasoning introduces the ideas behind formal logic.
Chapter 2: Propositional logic and Chapter 3: Entailment and Equivalence develop the language of propositional logic and its meaning.
Chapter 4: Proof Trees shows how to use the simple tree method to test whether an argument is valid.
Chapter 5: First Order Logic introduces first-order logic, including the theory of quantification, and Chapter 6: Identity adds identity to the first-order language.
Finally, Chapter 7: Proof Trees for First Order Logic shows how to use the tree method for testing arguments in first order logic.
The book is designed in an appropriately diagrammatic fashion for serious students of logic
About the author
Mark Jago is a lecturer in the Department of Philosophy at the University of Nottingham, UK and a Junior Research Associate in the Research Group on the Philosophy of Information at the University of Oxford. He wrote the Wittgenstein guide in the Philosophy Insights series and has published articles on truth, belief, logic, fiction and information.
Other Formats
ALSO available to library subscribers from MyiLibrary.com
The complex layout and typography in this work makes it inappropriate for ePub format but our Pdf is ideal for such devices as the Kindle DX and the iPad.
Customers who bought this book also bought: