这里的形式逻辑应用中，存在价值认定，事实认定的区分。