This reclaims logic as a branch of philosophy, offering a self-contained and complete introduction to the three traditional systems of classical logic and the philosophical issues that surround those systems. The treatment is conceptually tight: classical logical theory is developed as an attempt to characterise two central notions - logical possibility and demonstrative proof.