一 “符号形式哲学”的奠基