idealizationformalizationphilosophylogic相关论文