论形式逻辑与物的世界的关系

任何一种逻辑都要面向一个世界,形式逻辑也不例外,它主要面向物的世界,物的世界是形式逻辑的存在基础。物的世界是一种理论世界,它的产生具有“合法性”,符合人类的自然倾向,那就是对确定性的渴求。形式逻辑是物的世界的逻辑支撑,形式逻辑的发展程度和样式制约着物的世界的具体形态,物的世界的理论发展和形式逻辑的发展具有内在一致性。物的世界是一种必然的世界、自然的世界、知识的世界。作为一种面向物的世界的逻辑,形式逻辑在本性上与物的世界相契合,它具有必然性、可控制性、可计算性等。

On the Relationship between Formal Logic and the World of Things

Any kind of logic should face a world, formal logic is no exception. It mainly faces the world of things, which is the existence basis of formal logic. The world of things is a kind of theoretical world; it has "legitimacy", and accords with the natural disposition of human being, namely the eager for certainty. Formal logic is the logic support of the world of things, the development level and style of formal logic restricts the specific form of the world of things. The theoretical development possesses inherent consistency with formal logic. The world of things is an inevitable world, a natural world, and a world of knowledge. As a logic facing the world of things, formal logic fit with the world of things in the nature, and it has inevitability, controllability, and computability, etc.