The Knowability Argument and the Syntactic Type-Theoretic Approach - Lucas Rosenblatt - Theoria: An International Journal for Theory, History and Foundations of Science (Philosophy Documentation Center)