The Naturalization of Concepts between Computational Intractability and Cognitive Theories