As we know the logic reasoning according to the classical logic laws
does not produce any new concept. Such as syllogism “If A is B and B
is C, then A is C”. The concepts A and C of the conclusion “A is C”
must be appeared at the premises. But according to the new method that
is based on the theory of concept algebra, there is new concept will
be appeared at the conclusion. Does it make the logic thinking produce
new thought?
At web http://groups.google.com/group/sci.logic/browse_thread/thread/2bafbfa434a0f5cc
the proposition ‘What logical conclusions will be drawn from “Set A
belongs to Set B”
and “Set C belongs to Set D” ?’ has been discussed. The one conclusion
as follows:
When this condition inputs to the concept calculator, the following
concept equation was established.
X / (Set A < Set B) * (Set C < Set D) = Dao
This concept equation was solved on the concept calculator and got a
lot of solutions.
Seventeenth solution of this equation is
X = (New / (D < A)) / (New / (C < B))
The explanation of this solution in words is
X = If any category can be gotten from Set C belong to Set B, then
this category can be gotten from Set D also belong to Set A too
New at this solution does not appear at the input condition. The new
category was introduced in the conclusion. Does it extend the logic
thinking? That is to say logic thinking can get new thought according
to the premises. Is it true?