Covers central topics in philosophical logic that have been studied for thousands of years, since Aristotle: Inconsistency, Causality, Conditionals, and Quantifiers; topics that are central in many applications of logic in central disciplines. This book is suitable for students and researchers.