According to Popper, the growth of knowledge depends largely on imaginative conjectural solution.[2] Therefore, our understanding of the objective world is not mainly simulation of the objective world, but the artificial creation and a variety of thought games. People create many logical constructs, such as point, line, plane, numbers, bit, predictions, plans, axioms and theorems, and so on. These logical constructs make up the objective world 2.

Some products of guess, assumptions, and thought games may have objective things corresponding to them, but usually we can't see them. There are a lot of micro-structures that we couldn't see before that we can see now. Many distant stars were never seen before, are now or will be seen in the future. But we can never see such as forces and chemical composition. We can only guess and assume, and their confirmation can only be indirect by logical confirmation. This logical proof can only prove that they are useful, but not objective.

A complex and orderly system of thought products that has nothing to do with the object being imitated can be a tool for man. These thought products come from people's guess, assumption and logical processing. These thought games can completely disregard the laws of the objective world and only obey the rules of the subjective world. Some of the thought products thus produced were of no value to human practice and life, so they were gradually abandoned. Some of them have value, so they are retained and spread, and then new thought processing make them into more complex and ordered systems. Human culture has been evolving through this constant selection and abandonment.

Ш. Logical Constructs

1. Meaning of Symbol and Logical Construct

Speaking and writing is a kind of practice governed by man's mind. When people use language or words to express their thought, there are logical relationships such as "and, not, or" between multiple sentences. The statements connected by these logical relationships are called logical constr