Hacker News Reader

I mean... In some circumstances you would be right, but the mind is not a formal system that stands or falls on soundness. If you read it a little more charitably, i said "is not a requirement for", rather than "is completely unrelated to". I'll wager that we are successful _almost because_ our minds function adequately while entertaining "untrue" beliefs in a strict sense.

View on HN

Very well. If I understand correctly, evolution selects for "good enough answers fast enough" rather than "formally correct reasoning", which I think is what you are saying in your last sentence.

Maybe what I should say is that, if your conclusion is correct, we can never be certain that it is. The "formal system" problem that I pointed out only means that we should maintain a certain level of distrust for the conclusion, rather than proving it incorrect. (At least, that's how it seems to me at the moment. I reserve the right to re-think this.)

Reply on news.ycombinator.com