We used different functions to evaluate whether a given proposition was worthy of the adjective "true."

Interesting. I've been thinking exactly that lately.

In the same way that Haidt finds different moral modalities, I suspect there are different truth modalities. And I expect hard wired pattern recognizers to be involved for the different moral and truth modalities.