Russell's paradox and the resultant distinction of logical types have been central topics of philosophical discussion for almost a century. In this essay I claim that a more fundamental distinction, that which distinguishes properties and relations as monadic, dyadic, etc., provides a basis for blocking Russell's paradox as applied to properties, not sets, without distinctions of type (or equiv...

Even after decades of research in branch prediction, branch predictors still remain imperfect, which results in significant performance loss in aggressive processors that support large instruction windows and deep pipelines. This paper proposes a new processor architecture for handling hard-to-predict branches, the diverge-merge processor. The goal of this paradigm is to eliminate branch mispre...

This paper develops new treatment of the problem of cross-sortal predication and copredication in particular. We argue that the solution to these predicate-argument sort mismatches can be solved by a more flexible treatment of polysemy based on the notion of dependent type and dynamic construction of meaning.

How can we, poor, finite beings that we are, speak of an infinite God? Thomas Aquinas formulates a well-known answer: we predicate things of God analogically. But the doctrine of analogical predication, long influential in both Catholic and Protestant thought, has fallen on hard times. Its advocates have been accused of circularity, begging the question, and simply being uninformative. (“God’s ...