Calculating of “Earth belongs to the solar system” |
||
|
Calculating of “Earth belongs to the solar system” --Calculating for Comparable Concept Relation
Calculating for comparable concept relation is a method Based on the theory of Concept Algebra. This is a new logic reasoning method after the syllogism invented by Aristotle. The new logical results could be got from this method using solving the concept equation of the known concept relations. As we know the concept is the least element of logic thinking, so that the calculation among the concepts is the base of logic thinking automaton. At recent the calculation among the concepts is complex procedure, the concept calculator that is designed based on the theory of concept algebra could replace the procedure of concept calculating.
As well known the numerical calculator was appeared the calculating ability of figure was advanced greatly for mankind. It will be the same for mankind that the ability of logic thinking will be advanced greatly after the concept calculator used. The concept calculator that was designed based on concept algebra could help the people to solve the logical problems explained at this article.
The proposition “Earth belongs to the solar system” that is composed of two concepts “Earth” and “the solar system” is the proposition in the form of “belongs to”. The concept expression of this proposition could be expressed as A < B A is pressed concept “Earth”; B is expressed concept “the solar system”; sign “<” is compound operation on concept algebra, called “belongs to”. For getting the logical conclusions or logical explanations of this proposition, the following concept equation must be solved: X / (A < B) = Dao X is unknown variable; sign “/” is concept division, the meaning of this operation is “… get from…”; Dao is only one constant on concept algebra, the meaning of this constant is “logical”. According to Part One Chapter Five Paragraph Third of Concept Algebra, the general solution of this equation is as follows: X = (A < B) + Any-term The solution set of this equation must be limited for getting logical results. The procedure of the solution and the limitation is processed on concept calculator. Fig one is the framework of Logic Thinking Automaton (Concept Calculator); Fig two is Calculating framework of “Earth belongs to the solar system”.
When the proposition “Earth belongs to the solar system” is putted to concept calculator, the following logical results could be at the output of concept calculator.
Complement of Earth includes complement of the solar system. If the solar system belong to any category, then Earth also belong to this category. If any category includes the solar system, then this category also includes Earth. If complement of Earth does not relate to any category, then complement of the solar system does not relate to this category, either. If any category belongs to Earth, then this category also belong to the solar system. If Earth includes any category, then the solar system also includes this category. If any category does not relate to the solar system, then this category does not relate to Earth, either.
|
||
|
|
|
