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 ...

Mathematical treatment of massive wall systems is a useful tool for investigation of these solar applications. The objectives of this work are to develop (and validate) a numerical solution model for predication the thermal behaviour of passive solar systems with massive wall, to improve knowledge of using indirect passive solar systems and assess its energy efficiency according to climatic con...

Horticultural crops with the similar weight and uniform shape are in high demand in terms of marketing value, which are used as food. For proper design of grading systems, important relationships among the mass and other properties of fruits such as length, width, thickness, volumes, and projected areas must be known. The aim of this research was to measure and present some physical properties ...

Conjunction fallacies (CF) have not only been a major obstacle in justifying the rationality of a Bayesian theory of belief update; they have also inspired a variety of theories on probability judgment and logical predication. Here we provide an overview of Bayesian logic (BL) as rational formulation of a pattern-based class of conjunction fallacies. BL is described here as a generalization of ...