System of logic as theory of knowledge