从数理逻辑概括规则看内涵科学分析法

To Study the Scientific Analyzing Method of Intension Through General Rules of Mathematical Logic

无限域的内涵可以有限地把握和表述。可在有限步内实施的提取无限步的内涵从而确定无限域上事件间的第一独立性的方法即为"内涵科学分析法",人类用此法确立第一独立性后即能以有限把握无限,从已知进入新知。数理逻辑中作为逻辑工具使用的"若,则"不是真值函数"蕴涵",而是通过内涵科学分析法确立第一独立性的"制约"。

The intension （or connotation） of indefinite universe can be mastered and stated restrictively. It can draw indefinite intension within definite steps thus to make sure the method of first independence among events of indefinite universe , which is the so-called ＂scientific analyzing method of intension. ＂ By this method, people can master the infinity through the finite, and acquire the new knowledge from the known. As a logical tool in mathematical logic, ＂if…then…＂ is not the implication of truth function, but a ＂sufficient conditional relation＂ in the first independence established by scientific analyzing method of intension.