ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ЦЭМИ РАН |
||
Везде, где есть истинность, есть место нормативности. Традиционно логика и математика – это область, где истинность определяется наиболее жёстким образом. Правила вывода не допускают вариаций. С реализмом (платонизмом) в математике связано представление, что данные правила не являются результатом конвенции. Они как бы навязаны математикам за счёт своей очевидности – например, таковы правила модус поненс и подстановки, а также правило исключённого третьего. С жёсткостью задания правил связана и истинность математических положений, которые тоже должны быть очевидными или полученными из очевидных с применением вышеупомянутых правил дедуктивного вывода. Однако в последнее время появились течения фикционализма (Х. Филд) и конструктивизма (Д. Блур). Как Блур, так и Филд утверждают, что математические утверждения не абсолютны и даже не истинны, а всего лишь являются результатом конвенции. Они возводятся к истории математики, которая могла бы сложиться иначе. Для них нормы в математике конвенциональны. В статье приводятся