2Orphee
В первую очередь истинность модели определяется относительно того, что мы условились считать истинным. Именно поэтому истина всегда условна.
Мы говорим сейчас о моделях мира и самих себя, не забывайте.
А их "истинность" определяема не относительно очередных моделей, только уже, "критериев истинности", а относительно НБ, как конечной инстанции.
Ведь и модели "критериев истинности" из которых вытекают модели "истинности" вторичны по отношению к НБ.
НБ - "критерии истинности" - "истинность" и никак иначе.
Ваше утверждение верно только относительно выбранных Вами аксиом.
Нет, это данность вне и до любых наборов аксиом.
Зато изменится отношение к нему
Точнее его модель. Её соответствие НБ будет проверено практикой и из нескольких моделей останется одна максимально адекватная.
Не может быть двух в равной степени истинных моделей, т.к. у нас нет двух НБ.
Разумеется, нет. Ведь модели не обязаны строится на тех основаниях, которые Вы выбрали таковыми
Модели НБ (мира) строятся на основании этого самого мира. Миром же и проверяемы.
В первую очередь истинность модели определяется относительно того, что мы условились считать истинным. Именно поэтому истина всегда условна.
Мы говорим сейчас о моделях мира и самих себя, не забывайте.
А их "истинность" определяема не относительно очередных моделей, только уже, "критериев истинности", а относительно НБ, как конечной инстанции.
Ведь и модели "критериев истинности" из которых вытекают модели "истинности" вторичны по отношению к НБ.
НБ - "критерии истинности" - "истинность" и никак иначе.
Ваше утверждение верно только относительно выбранных Вами аксиом.
Нет, это данность вне и до любых наборов аксиом.
Зато изменится отношение к нему
Точнее его модель. Её соответствие НБ будет проверено практикой и из нескольких моделей останется одна максимально адекватная.
Не может быть двух в равной степени истинных моделей, т.к. у нас нет двух НБ.
Разумеется, нет. Ведь модели не обязаны строится на тех основаниях, которые Вы выбрали таковыми
Модели НБ (мира) строятся на основании этого самого мира. Миром же и проверяемы.
Комментарий