Clarendon Library of Logic and Philosophy