Revising formal semantic and pragmatic theories from a neurocognitive perspective