Truth and Denotation: A Study in Semantical Theory