First-Order Logic

A Concise Introduction

John Heil

• Publisher: Hackett Publishing Company, Inc.
• Year: 2021
• eBook ISBN: 9781647920104
• Edition: 2
• Topic: Philosophy
• Subtopic: Logic in Philosophy

"In his introduction to this most welcome republication (and second edition) of his logic text, Heil clarifies his aim in writing and revising this book: 'I believe that anyone unfamiliar with the subject who set out to learn formal logic could do so relying solely on [this] book. That, in any case, is what I set out to create in writing An Introduction to First-Order Logic.' Heil has certainly accomplished this with perhaps the most explanatorily thorough and pedagogically rich text I've personally come across.
"Heil's text stands out as being remarkably careful in its presentation and illuminating in its explanations—especially given its relatively short length when compared to the average logic textbook. It hits all of the necessary material that must be covered in an introductory deductive logic course, and then some. It also takes occasional excursions into side topics, successfully whetting the reader's appetite for more advanced studies in logic.
" The book is clearly written by an expert who has put in the effort for his readers, bothering at every step to see the point and then explain it clearly to his readers. Heil has found some very clever, original ways to introduce, motivate, and otherwise teach this material. The author's own special expertise and perspective—especially when it comes to tying philosophy of mind, linguistics, and philosophy of language into the lessons of logic—make for a creative and fresh take on basic logic. With its unique presentation and illuminating explanations, this book comes about as close as a text can come to imitating the learning environment of an actual classroom. Indeed, working through its presentations carefully, the reader feels as though he or she has just attended an illuminating lecture on the relevant topics!"
—Jonah Schupbach, University of Utah

Table of contents

• Front Cover
• Front Inside Cover
• Half Title
• Title Page
• Copyright Page
• Contents
• Preface to the First Edition
• Preface to the Second Edition
• Acknowledgments
• 1. Introduction
• 2. The Language Ls
• 3. Derivations in Ls
• 4.The Language Lp
• 5. Derivations in Lp
• Solutions to Even-Numbered Exercises
• Index
• Back Inside Cover
• Back Cover