The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs
History and Overview
2018-05-02 v1 Logic
Abstract
Kripke's Schema (better the Brouwer-Kripke Schema) and the Kreisel-Troelstra Theory of the Creating Subject were introduced around the same time for the same purpose, that of analysing Brouwer's 'Creating Subject arguments'; other applications have been found since. I first look in detail at a representative choice of Brouwer's arguments. Then I discuss the original use of the Schema and the Theory, their justification from a Brouwerian perspective, and instances of the Schema that can in fact be found in Brouwer's own writings. Finally, I defend the Schema and the Theory against a number of objections that have been made.
Keywords
Cite
@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}
}