? What does that even mean? Some kind of software? To repeat, for the fourth or fifth time: greater complexity means less advantage for formal logic compared with intuition. People's intuition still works at complexity levels they cannot begin to handle via formal logic. Compared with intuition, formal logic is harder, not easier, to employ in complex situations. Meanwhile: Solutions to problems are not logically proved, in science. That's not what the logic is for, any of it. All the "proofs" (checks on the validity of argument) involve formal logic, at all levels of complexity. Very complex matters must be broken into simpler pieces or aspects for that reason - since formal logic becomes confoundingly difficult in even slightly complex situations. Imagine debugging a new statistics package or writing program perfectly. A couple lines before that you were interested in "the proof of potential solutions once you have them". That doesn't make sense. Concepts, new or otherwise, are not logically proved; formal logic is always used to verify validity of argument, and never used to "prove" results or "solutions". You seem to be thinking of math. If you never acknowledge how formal logic is used in scientific inquiry, what the role of formal logic is in science, you will naturally come to the conclusion that it is not necessary.