History of Philosophical and Formal Logic: From Aristotle to Tarski

The History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian origins to the present-day arguments, logic is broken down into four main time periods:

Antiquity and the Middle Ages (Aristotle and The Stoics)
The early modern period (Bolzano, Boole)
High modern period (Frege, Peano & Russell and Hilbert)
Early 20th century (Godel and Tarski)

Each new time frame begins with an introductory overview highlighting themes and points of importance. Chapters discuss the significance and reception of influential works and look at historical arguments in the context of contemporary debates. To support independent study, comprehensive lists of primary and secondary reading are included at the end of chapters, along with exercises and discussion questions.

By clearly presenting and explaining the changes to logic across the history of philosophy, The History of Philosophical and Formal Logic constructs an easy-to-follow narrative. This is an ideal starting point for students looking to understand the historical development of logic.