Логика как объект научного изучения