知识生产视域中的“形式本体论”探究