> В мозгу ответ формируется раньше чем человек способен это осознать. И
> этот возникший в сознании ответ он только потом осмысляет и добавляет
> ему аргументы.Я ещё забыл докинуть, что это совершенно нормально. В том смысле, что другого способа приходить к выводам у человека нет. Поиск всех возможных выводов из имеющихся данных -- это NP-hard проблема, которую решить можно только полным перебором. На полный перебор никаких нейронов не хватит. Поэтому человек использует эвристики -- специально натренированные нейросетки, которые, как бы, "угадывают" интересные выводы. Но эти нейросетки создают много false positive'ов, и поэтому результаты их работы затем формализуются, и проверяются формальными методами. Или, по-крайней мере, более формальными.
Это работает даже в математике: математик сначала придумывает гипотезу, оценивает "на глаз" её правдоподобность, а потом начинает искать формальное доказательство. И подчастую математик заранее уверен в том, что его гипотеза верна, а доказательство находит лишь после этого. Но это ведь не делает математические результаты менее истинными?
И такое положение дел в математике -- это своего рода модель мышления человека в общем. Основное отличие этой модели от обычного мышления в формализации проблемы, гипотезы и доказательства этой гипотезы. Вне математики формализация слабее, и правила вывода не сводятся к правилам логического вывода, а включают в себя и правила статистического вывода, и всякие философские методологические правила, типа принципа индукции (если всегда было так, то значит и в следующий раз будет так), бритвы оккама (простые объяснения предпочтительнее сложных), правил демаркации научного и ненаучного знания, а также они содержат все другие инструменты проверки достоверности утверждений, которые ты освоил.
Так вот, это я к тому, что для обретения достоверного знания, нужно не осознавать, а учить свои мозги проверять утверждения формально, следуя проверенным правилам вывода. Они могут делать это и без участия сознания, но для этого их надо постоянно натаскивать, доводя проверку утверждения правилами вывода до автоматизма.
