On the Problem of the Interrelations of Modern Formal Logic and Mathematical Logic

In recent years, as a result of the extensive employment of the ideas and methods of mathematical logic in cybernetics and computer mathematics here and abroad, there has been a noticeable rise in interest in the methodological problems of this science. One of these is the problem of the relations between mathematical logic and traditional and even modern formal logic. However, when this problem is discussed in our philosophical literature it appears to us that three of its significant factors are neglected by many writers.