创造主体、布劳威尔-克里普克模式与无穷证明
历史与综述
2018-05-02 v1 逻辑
摘要
克里普克模式（更确切地说是布劳威尔-克里普克模式）与克雷塞尔-特鲁斯特拉创造主体理论大约在同一时间出于同一目的被引入，即分析布劳威尔的“创造主体论证”；此后也发现了其他应用。我首先详细考察布劳威尔论证的一组代表性选择。然后讨论该模式与理论的最初用途、它们从布劳威尔视角下的合理性，以及事实上可在布劳威尔本人著作中找到的模式实例。最后，我针对已提出的若干反对意见为模式与理论进行辩护。
引用
@article{arxiv.1805.00404,
title = {The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs},
author = {Mark van Atten},
journal= {arXiv preprint arXiv:1805.00404},
year = {2018}
}