В статье рассматривается применение предложенных О.А. Козыревой «семантики с агентом» и семантики «без агента» к математическим предложениям. В случае если удастся доказать, что математические предложения зависят от контекста, эти предложения будут нуждаться в семантической интерпретации наравне с другими контекстно зависимыми предложениями. Автор представляет интерпретацию математических предложений как зависящих от контекста через обращение к эпистемическому контекстуализму и эпистемологии компьютерных доказательств. Исходя из этой интерпретации, он высказывает ряд соображений в пользу того, что понимание семантики как «семантики с агентом» совместимо с тезисом о контекстной зависимости математических предложений, тогда как понимание семантики как «семантики без агента» для такой совместимости потребует дополнительной формализации прагматических факторов.
Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее