Abstract:B.Russell's thought of formal implication went through a process from immaturity to maturity. In The Principles ofMathematics where he first introduced the notion of“formal implication”based on“propo-sitional 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 theo-ry,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 solu-tion to basic “material implication paradoxes”is very enlightening for understanding the approach to“material implication paradoxes from the perspective of formal implication”.

An Examination on Russell’s Thought of Formal Implication:The Third Discussion on “Material Implication Paradox”from the Perspective of Formal Implication