Принцип взрыва
- Принцип взрыва или псевдо-Скотус утверждает, что любое утверждение может быть доказано из противоречия.
- Доказательство принципа взрыва было впервые дано французским философом Вильгельмом Суассонским.
- Существование противоречия в формальной аксиоматической системе является катастрофическим, упрощая понятия истинности и ложности.
- Открытие противоречий в основах математики поставило под угрозу структуру математики.
- Математики, такие как Готтлоб Фреге, Эрнст Цермело, Абрахам Френкель и Торальф Сколем, пересмотрели теорию множеств для устранения противоречий.
- Принцип взрыва приводит к взрыву правдивых утверждений и требует альтернативных теорий логики, называемых паранепротиворечивыми логиками.
- Метаматематическая ценность принципа взрыва заключается в том, что любая производная теория, доказывающая ⊥, становится бесполезной.
Полный текст статьи: