Далее – несколько наиболее общих и очень важных представлений, в которых очень многие путаются.
Истина
"Сначала была истина" - сказано в одной мистической теории мироздания. "Цель человека - достижение истины" - патетически восклицают другие. Но стоит заговорить, а что же такое - эта самая истина, которой нужно достичь, и можно ли ее "потрогать", раз она существует где-то сама по себе, так начинается серьезная пробуксовка. Обычно намекают, что Истина непознаваема, что только Бог определяет Истину.
Как обычно это бывает, причина - в неопределенности понятия, которое используется "интуитивно" и расплывчато. Истина не существует в природе сама по себе в виде чего-то. Это - человеческая абстракция для обозначения того утверждения, которое реально оправдывается в действительности в рамках определенных условий (граничных условий, в которых утверждение верно). Таким образом, истина - определенное граничными условиями, адекватное реальности утверждение. Неадекватное реальности утверждение называется ложью (fornit.ru/1315).
У программистов нет проблем с пониманием одного из двух логических значений: true и false: если утверждение верно – true, если нет – false. И, не только программисты проверяют на верность утверждения, только критерием верности оказывается не код программы, а реальность: выполняется ли в реальности утверждаемое или нет. Это – необходимое и достаточное условие в определении истинности и ложности. Понятие истины напрямую следует из механизмов адаптивности психики (fornit.ru/118): если предположение оправдывается в попытке действовать соответственно ему, то это вызывает закрепление такого опыта, потому что является адекватным реальности (предполагаемое совпадает с получаемым). А если нет - то в дальнейшем неверное поведение блокируется. Здесь прослеживается операция сравнения предполагаемого и реально осуществляющегося с результатом истина или ложь - в отношении предположения. Истина — это всегда результат сравнения утверждения (в том числе предполагаемого) с неким эталоном: элементами объективной или субъективной реальности в определенных условиях. Отсюда следует главный критерий корректности утверждений: верифицируемое утверждение, кроме собственно утверждающей формулировки, обязательно должно прямо или косвенно (хотя бы умолчательно по контексту) определять условия, в которых данное утверждение истинно, см. “Методология утверждений”: fornit.ru/715. Критерием истины является позитивный результат такого сравнения в случае, если вообще возможно сравнение (в достаточной степени определены понятия). Истинно то утверждение, которое дает позитивный результат сравнения его и того, что получается в реальности, а ложное - негативный. Личностный смысл (fornit.ru/7339) операции сравнения - оценка системой значимости личности результата проверки в реальности (а не субъективными умозаключениями): успешности или не успешности попытки действия. В первом случае истиной оказываются проверяемые (сравниваемые с действительностью) предположения, и если они оправдываются - то такое правило используется впоследствии, во второй - ложными и такое - избегается.
Истинные, проверенные и уверенно используемые утверждения в науке называют аксиомами.
Аксиомы и постулаты
В справочниках написано, что аксиома - утверждение, принимаемое без доказательств, и недоговаривается, что аксиома принимается не произвольно, как постулат (при постулировании), а является выверенным в реальной практике утверждением и поэтому она не нуждается в каких-то других доказательствах. Реальность является высшим верификатором всего. Она выше любых формальных доказательств. Но бывают проблемы с тем, чтобы человек мог как-то убедиться в этом, ведь даже то, что кажется очевидным, может оказаться иллюзией.
Понятия "аксиома" и "постулат" появились очень давно, до нашей эры, в эпоху господства философии, заменяющей все науки. Тот смысл, который закладывался первоначально, по мере развития научной методологии и, в частности, аксиоматического метода, не мог не меняться существенно, и сегодня в нем присутствуют представления о доказательствах, об очевидности, о том, как и почему возникает убеждение ученого в истинности предположительных утверждений. Все эти смысловые дополнения требуют понимания сути психики и ее законов - представления, которые до сих пор не является общепринятыми. В рамках целостной модели организации психики (fornit.ru/7431) сформируем понятия аксиомы и постулата на уровне терминологических определений. Аксиомы — это выверенные активными носителями данной предметной области науки (ведущими учеными) объективные утверждения. Аксиомы, это такие утверждения, которые показали свою истинность во множестве разных сверок в реальности, не вызывают у ученых никаких сомнений и, потому как реальность является конечным определителем истинности, никаких дополнительных доказательств уже не требуется. Они не опровержимы в своем принципе, потому что непосредственно описывают систему причинно-следственных зависимостей в определенных условиях в реальности, а такие зависимости не меняются, если не изменились условия. Т.е. аксиомы - не субъективные выводы, а объективные данные о реальности, правила (законы природы), которые нужно субъективно учитывать.