【摘要】 沈有鼎是蜚声中外的逻辑学家和哲学家，在数理逻辑领域有着重要的贡献。20世纪30年代，他接续谢孚与“有穷模型论”的有关工作；从50年代开始，他在图灵和丘齐工作的基础上，为经典一阶逻辑建立了一系列可判定片段，这是数理逻辑的核心工作。基于判定问题，可以考察沈有鼎早期论文的主题和思想来源，以及这个主题同他后来工作的关联与对后代学人产生的影响。更多还原

【Abstract】 Shen Yuting,a famous logician and philosopher in China and abroad,has made important contributions to mathematical logic.In the 1930s,he extended Henry Sheffer’s work on "finite model theory." Beginning in the 1950s,building upon the achievements of Turing and Church,he established a series of decidable fragments for classical first-order logic—a cornerstone of mathematical logic.Based on the decision problem,we can trace the thematic focus and intellectual origins of Shen’s early papers,their continuity with his later research,and their enduring influence on subsequent generations of scholars.更多还原