The paper is a discussion of a result of Hilbert and Bernays in their Grundlagen der Mathemnatik. Their interpretation of the result is similar to the standard intepretation of Tarski's Theorem. This and other interpretations are discussed and shown to be inadequate. Instead, it is argued, the result refutes certain versions of Meinongianism. In addition, it poses new problems for classical logic that are solved by dialetheism.

The epsilon calculus improves upon the predicate calculus by systematically providing complete individual terms. Recent research has shown that epsilon terms are therefore the “logically proper names” Russell was not able to formalize, but their use improves upon Russell’s theory of descriptions not just in that way. This paper details relevant formal aspects of the epsilon calculus before tracing its extensive application not just to the theory of descriptions, but also to more general problems with anaphoric reference. It ends by (...) contrasting a Meinongian account of cross-reference in intensional constructions with the epsilon account. (shrink)

It is known that a semantically closed theory with description may well be trivial if the principles concerning denotation and descriptions are formulated in certain ways, even if the underlying logic is paraconsistent. This paper establishes the nontriviality of a semantically closed theory with a natural, but non-extensional, description operator.

The general theory of variable binding term operators is an interesting recent development in logic. It opens up a rich class of semantic and model-theoretic problems. In this paper we survey the recent literature on the topic, and offer some remarks on its significances and on its connections with other branches of mathematical logic.