This book is intended to be a survey of the most important results in mathematical logic for philosophers. It is a survey of results which have philosophical significance and it is intended to be accessible to philosophers. I have assumed the mathematical sophistication acquired. in an introductory logic course or in reading a basic logic text. In addition to proving the most philosophically significant results in mathematical logic, I have attempted to illustrate various methods of proof. For example, the completeness of quantification theory is proved both constructively and...

Philosophy is the search for the large patterns of the world and of the large patterns of experience, perceptual, theoretical, . . ., aesthetic, and practical - the patterns that, regardless of specific contents, characterize the main types of experience. In this book I carry out my search for the large patterns of practical experience: the experience of deliberation, of recognition of duties and their conflicts, of attempts to guide other person's conduct, of deciding to act, of influencing the physical world with one's doings, and the like. This is the experience that makes possible our...