Return to Article Details The Knowability Argument and the Syntactic Type-Theoretic Approach Download Download PDF