There is generally always a mismatch between our intuitive sense of what an idea means and any abstract formal way to define an intuitive concept.

I would like to clearly explain the reason for this mismatch and find a way forward by working to create a framework where intuitive human-native concepts can be discussed with appropriate degrees of precision.