Return to Article Details Boosting human Insight by Cooperative AI: Foundations of Shannon-Neumann Logic