Logical Tracts

In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce’s important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be his greatest contribution to human thought. The manuscripts from 1895—1913, most of which are published here for the first time, testify the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well as the conventional stories told about the evolution of modern logic. This second volume collects Peirce’s writings on existential graphs related to his Lowell Lectures of 1903, the annus mirabilis of his that became decisive in the development of the mature theory of the graphical method of logic.

In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce’s important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be his greatest contribution to human thought. The manuscripts from 1895—1913, most of which are published here for the first time, testify the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well as the conventional stories told about the evolution of modern logic. This second volume collects Peirce’s writings on existential graphs related to his Lowell Lectures of 1903, the annus mirabilis of his that became decisive in the development of the mature theory of the graphical method of logic.

Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science at Imperial College, it has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting properties of open sets in the real line. Second, the methods of locale theory are freely exploited. Third, there is substantial discussion of some computer science applications. Although books on topology aimed at mathematics exist, no book has been written specifically for computer scientists. As computer scientists become more aware of the mathematical foundations of their discipline, it is appropriate that such topics are presented in a form of direct relevance and applicability. This book goes some way towards bridging the gap.

This collection of newly comissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Presents controversies in philosophical implications and applications of formal symbolic logic. Surveys major trends and offers original insights.