Ключевое слово: «contradiction»

The correlation of inductive and deductive logics in TRIZ methods and “tools”, application and comparison of different ways of thinking in TRIZ and artificial neural networks are considered. The tendency to reduce inductive forms of thinking to deductive ones in TRIZ. The identification of the heuristic potential, through various stages of human thinking, for the search, design and study of the properties of a new system is considered. The possibility of formalizing an abstract model of the TRIZ methodology in terms of first-order logic is considered.