【摘要】 沈有鼎先生的《初基演算》建立起了标准逻辑的两个原则 ,即是否源于初基演算和是否具备完全性。而蒯因在建立标准逻辑时仅仅考虑了完备性问题。相比之下 ,沈文更有价值。更多还原

【Abstract】 The “Primitive Calculation” by Mr. Shen Youding has laid down two principles for standard logic, i.e. whether it originates from primitive calculation and whether it’s complete. By contrast, Quine has taken but completeness into consideration while establishing standard logic. Hence, greater significance of the article by Shen Youding.更多还原