郭贵春、乔瑞金:科学实在论与形式体系