The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs

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.
Type de document :
Pré-publication, Document de travail
2018
Liste complète des métadonnées

Littérature citée [198 références]  Voir  Masquer  Télécharger

https://halshs.archives-ouvertes.fr/halshs-01781435
Contributeur : Mark Van Atten <>
Soumis le : lundi 30 avril 2018 - 12:03:27
Dernière modification le : vendredi 25 mai 2018 - 17:00:09

Fichier

CreatingSubject_BKS_InfinitePr...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : halshs-01781435, version 1

Citation

Mark Van Atten. The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs. 2018. 〈halshs-01781435〉

Partager

Métriques

Consultations de la notice

49

Téléchargements de fichiers

20