The methods proposed are advocated as offering assurance and productivity, rather than assurance at the cost of productivity. Engineering Logic is all about engineering applications of logic, so logic is the very center of the enterprise. Certain very specific doctrines are involved. Philosophically the scoping of logic which comes along with identification of logic with necessity, analyticity and a priority, is important. To maximise the extent to which intellectual problems can be undertaken on our behalf by computers it is essential first that we can communicate the problem and its solution precisely, and secondly that we can trust the computer to reliably check the correctness of the solution.
Formal logics offer both precision and trust.
In addition to the need for trustworthy problem solving, distribution of the problem solving across a network must be possible without loss of assurance. Distribution cooperative problem solving involving a flexible combination of human intelligence and computer assistance is intended. Distribution is beneficial in large applications, and in educational and recreational use. Economic factors ultimately will determine whether any technology can be developed and deployed. The internet provides the only marketplace in which thoroughgoing exploitation of logic technologies can be realised.