Truth Rules, Hoverflies, and the Kripke-Wittgenstein Paradox

The challenge is a welcome one. Although I will argue that the Kripke-Wittgenstein paradox is not a problem for naturalists only, I will propose a naturalist solution to it. (Should the Kripke-Wittgenstein paradox prove to be soluble from a naturalist standpoint but intractable from other standpoints, that would, I suppose, constitute an argument for naturalism.) Then I will show that the paradox and its solution have an important consequence for the theories of meaning and truth. The Kripke-Wittgenstein arguments which pose the paradox also put in question Dummett's and Putnam's view of language understanding. From this view it follows that truth must be verificationist rules that assign assertability conditions to sentences, rather than realist rules that assign correspondence truth conditions. The proposed solution to the paradox suggests another view of language understanding, according to which a speaker can express, through his language practice, a grasp of correspondence truth rules. This will block one route of Putnam's famous retreat from realism: