Логические методы анализа научного знания