В своё время Декарт в «Рассуждении о методе» отмечал, что логика содержит «много очень правильных и хороших предписаний», которые нуждаются в дополнении новым методом познания - дедуктивно-математическом. С.А. Яновская Математическая логика, по мнению С.А. Яновской, способна решать ряд проблем, прежде всего, доказуемости и непротиворечивости в аксиоматических теориях. Более того, она даёт возможность осуществить многие сложнейшие логические исчисления техническими средствами. С.А. Яновская понимала тесную связь математической логики с кибернетикой...