This book traces the development of formal logic from its origins inancient Greece to the present day. The authors first discuss the work oflogicians from Aristotle to Frege, showing how they were influenced by thephilosophical or mathematical ideas of their time. They then examinedevelopments in the present century.

If my argument here is successful, it will follow that this paper should have been included in the first volume of this series, The Human Agent ; for I want to contend that the topic of dreams belongs to philosophy of mind rather than to theory of knowledge.