Neil H Williams

Mathematical logic has grown from an exotic branch of mathematics into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable fashion although logic can be a formidably abstruse topic, even for mathematicians. This second edition of What is Mathematical Logic?, originally published 50 years ago, deals with important ideas in modern mathematical logic, without the detialed mathematical work required of those with a professional interest in logic. The ideas are set forth simply and clearly in a pleasant style and, despite the book's relative brevity, all the basic material is covered in these pages. Three new chapters have been added, coevering automatic theorem proving, logic beyond traditional first order logic, and other logics including intuitionistic, free, and modal logics. Students of computer science and mathematical logic will find it a stimulating introduction and valuable supplement for courses, including current further reading suggestions in this lively area at the intersection of mathematics, philosophy, and computer science.

Chasing the Wind covers a variety of ideas from Christianity, science, philosophy, ethics, and psychology. It starts with Socrates's statement, an unexamined life is not worth living and asks how we might go about discovering what is a worthwhile life and what might motivate us to live such a life. It is a vast topic that is narrowed down to two principal areas: (1) a focus on relationships, which are central to providing fulfillment, worth, and purpose to our lives; and (2) an interaction with Christianity, which claims to have answers as to what is a worthwhile life. In summary, this book is a dialog between these two questions: What is a good life, and how does Christianity help or hinder such a life?

Chasing the Wind covers a variety of ideas from Christianity, science, philosophy, ethics, and psychology. It starts with Socrates's statement, ""an unexamined life is not worth living"" and asks how we might go about discovering what is a worthwhile life and what might motivate us to live such a life. It is a vast topic that is narrowed down to two principal areas: (1) a focus on relationships, which are central to providing fulfillment, worth, and purpose to our lives; and (2) an interaction with Christianity, which claims to have answers as to what is a worthwhile life. In summary, this book is a dialog between these two questions: What is a good life, and how does Christianity help or hinder such a life?