On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus

Abstract

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.