Introduction to Formal Logic

About this book

Rigorous yet intuitive and accessible Introduction to Formal Logic provides a focused "nuts-and-bolts" introduction to formal deductive logic that covers syntax semantics translation and natural deduction for propositional and predicate logics. For instructors who want to go beyond a basic introduction to explore the connection between formal logic techniques and philosophy Oxford also publishes Introduction to Formal Logic with Philosophical Applications an extended version of this text that incorporates two chapters of stand-alone essays on logic and its application in philosophy and beyond.