In this paper, I want to propose a formal (= logical) approach to cognition and knowledge which consists in employing concepts and results borrowed from modern metalogic and metamathematics. My considerations follow, at least I hope they do, the program of semantic epistemology outlined by Ajdukiewicz (see [1]). In particular, epistemology on Ajdukiewicz's view becomes applied semantics.