Логика как основа онтологии