Abstract

This book provides a first introduction to two key systems that play a role in any variety or application of logic: classical propositional logic and classical predicate logic. It also contains pointers to variations and alternatives, to logics that deal with a wider range of concepts. This book provides examples of the application of logic to philosophical problems, and illustrates some of the philosophical problems that are raised by logic itself. This book aims to give the reader a first glimpse of the wide variety of tastes, smells, and textures that await them once they have trained their palate to appreciate the standard dishes of the logic cuisine.