В первые дни они всё-таки опасались ничего не есть, чтобы не обессилеть, но после взаимных подсказок, обсуждений, проб и экспериментов на себе вывели для себя несколько
новых аксиом существования.
Что, впрочем, не исключает необходимости появления
новых аксиом.
А
новые аксиомы или гипотезы следует вводить лишь в тех крайних случаях, когда дальнейшее раскрытие смысла, базирующегося на практическом опыте и известных интерпретациях, невозможно.
Это определение, очевидно, скрывает в себе
новую аксиому; правда, можно было бы его изменить, и это было бы лучше, но тогда надо было явно указать эту аксиому.
Никакая теорема не должна была бы являться новой, если в её доказательство не входила бы
новая аксиома; умозаключение могло бы только возвращать нам истины, непосредственно очевидные, имеющие источником интуицию; оно являлось бы только промежуточным пустословием.
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: знаточество — это что-то нейтральное, положительное или отрицательное?
Вам придётся принять
новые аксиомы, разрушающие прежние установки.
Как видим,
новые аксиомы выступают как формально-логическое средство преодоления противоречий, от них требуется только привести логический вывод в соответствие с реальностью.
Как европейскому античному сознанию, так и традиционному иудейскому обществу трудно было принять
новые аксиомы, понятия о том, что считать ценным.
Ещё одна ограничительная формула гласит: исчисление предикатов не является синтаксически полным, то есть к нему можно присоединить в качестве
новой аксиомы некоторую недоказуемую формулу так, что полученная система окажется синтаксически непротиворечивой.
В рамках непосредственной исследовательской практики эта последовательность выстраивается через серию обратимых движений: от фактов (эмпирического опыта, экспериментов) к аксиомам, а от аксиом снова к фактам, что позволяет открывать новые факты и создавать
новые аксиомы.
Главный секрет в том, что в здесь нет ничего нового, кроме конструкции старых знаний, основанной на логическом построении известных аксиом, что порождает
новые аксиомы.
Чаще всего философы, сталкиваясь с противоречием в объяснении мира, предлагали
новую аксиому, с помощью которой это противоречие устранялось.
Противоречия и парадоксы развивают формальную логику за счёт
новых аксиом.
Выход находят либо в ограничении правил самой логики, либо в предложении
новой аксиомы, позволяющей устранить возникшее противоречие.
Нужны были
новые аксиомы.
Это – наша
новая аксиома, из неё и будем исходить.