Treats philosophical logic in an integrated way, showing how philosophical considerations motivate the technical projects, and how the constraints revealed by the technical projects illuminate the philosophical issues. Coverage include quantifiers, modal logic, indicative conditionals, intuitionistic logic, and much more.