В работе рассматриваются системы классической и релеватной логики и связанные с ними вопросы философско-методологического характера - понятия формализации рассуждений, значение логических исчислений, вопрос об информативности законов и логики, развитие понятия логического следования от классической логики к релеватной др.