When Kurt Gödel published his celebrated theorem, showing that no axiomatization can determine the whole truth and nothing but the truth concerning arithmetic, it had a profound impact on mathematical ideas and philosophical thought. Adrian Moore places the theorem in its intellectual and historical context, explaining the key concepts and misunderstandings.
Graham Priest shows that formal logic is a powerful, exciting part of modern philosophy — a tool for thinking about everything from the existence of God and the reality of time to paradoxes of probability. Explaining formal logic in simple, non-technical terms, this edition includes new sections on mathematical algorithms, axioms, and proofs.
The Logic Manual is the ideal introduction to logic for beginning philosophy students. It offers a concise but complete introductory course, giving a firm grounding in the logic that is needed to study contemporary philosophy. Exercises, examples, and sample examination papers are provided on an accompanying website.
Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It is very user-friendly for students without much background in mathematics. It gives you the logic you need to do philosophy.