Elementy teorii poznania, logiki formalnej i metodologii nauk