Cook

contemporaryAnalytic Philosophy

b. 1972

Roy T. Cook is a contemporary analytic philosopher specializing in philosophical logic, philosophy of mathematics, and the foundations of neo-logicism. He has written extensively on Frege's theorem, abstraction principles, and paradoxes, and is known for his work on the relationship between logic, computation, and a priori knowledge.

Notable Achievements

Edited The Arché Papers on the Mathematics of Abstraction (2007)

Authored A Dictionary of Philosophical Logic (2009)

Contributed foundational work on neo-logicism and abstraction principles

Published research on the yablo paradox and non-well-founded logical structures

Co-edited work on the philosophy of Nelson Goodman and fictional entities

Positions & Arguments(1)

Skepticism

claim

There is a fundamental tension between treating logical knowledge as a priori and the computational intractability of deciding logical validity.

Truth & Knowledge

claim

There is a fundamental tension between treating logical knowledge as a priori and the computational intractability of deciding logical validity.