The document discusses the problem of psychologism in philosophy of logic, where logical truths are treated as psychological facts rather than objective truths. Both traditional psychologistic and antipsychologistic solutions are deemed untenable. The author proposes a solution of metapsychologism based on distinguishing two levels - an object level formalizing inference and a metalevel formalizing principles of deduction search.