2 / 2019-05-09 13:43:53

Bit-List Logic and Linkage Function for Generalized Language

formal logic,mathematical logic,P-ary,symbol system,generalized language

This article aims to explore the relationship between logic, mathematics and language. The method is as follows: First, to clarify a problem, the formal logic represented by Aristotle lays the formal basis for human deductive thinking, and the mathematical logic represented by Frege further lays the formalization of the machine. Based on the basis of reasoning, is there a formal basic paradigm of brain-mind thinking helped by computer-software that is followed by humans or machines? Furthermore, to clarify the second problem, if a linkage function relationship can be established between P1, P2, P3, ..., Pn in P-ary, then whether the linkage function is also applicable between the equivalent symbol systems? Finally, the third question is clarified. If the answers to the first two questions are clear, then not only the mutual conversion between the various symbol systems can be mechanized, but also the interpretation can be passed under common agreed conditions. Is the predicted process visible as a process of generalized language? The result is that not only the two types of rigid constraint mechanisms of logic and mathematics can be mechanized, but also the flexible constraints of language can be mechanized and verified under the dual constraints of bit-list logic and linkage function. The significance lies in the discovery of the internal mechanism of computation, learning and understanding of human-computer dual brain-mind or software formalization, and its application value is obvious.