【摘要】 罗素的形式蕴涵思想,经历了一个从不成熟到成熟的过程。在首次提出基于命题函数的"形式蕴涵"概念的《数学的原则》中,由于罗素尚不具有清晰的逻辑量词观念,其使用"变元蕴涵"和"两个断定间的关系"对形式蕴涵的解释,存在多重混淆与失误之处。在深入研究弗雷格的著作并掌握逻辑量词理论之后,罗素的形式蕴涵思想实现了"完型转换",形成了成熟期的清晰认识。把握罗素的思想历程及其对基本的"实质蕴涵怪论"问题的解决,对于理解"从形式蕴涵看实质蕴涵怪论"的研究进路,具有重要启发价值。更多还原

【Abstract】 B. Russell’s thought of formal implication went through a process from immaturity to maturity.In The Principles of Mathematics where he first introduced the notion of "formal implication"based on "propositional function",as Russell had not got a clear idea of logical quantifiers yet,his interpretations of formal implication employing "variable implication"and "relation between two assertions"had multiple confusions and mistakes. After a thorough study on Frege’s works and a thorough understanding of logical quantifier theory,Russell’s thought of formal implication achieved a "Gestalt conversion",forming a clear understanding in the maturity period. The examination on the process of Russell’s thought on formal implication and his solution to basic "material implication paradoxes"is very enlightening for understanding the approach to "material implication paradoxes from the perspective of formal implication".更多还原