On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
D. A. Bochvar, Merrie Bergmann · History and Philosophy of Logic · 1981
A three-valued propositional logic is presented, within which the three values are read as ‘true’, ‘false’ and ‘nonsense’. A three-valued extended functional calculus, unrestricted by the theory of types, is then developed. Within the latter system, Bochvar analyzes the Russell paradox and the Grelling-Weyl paradox, formally demonstrating the meaninglessness of both.