Wright's Strict Finitistic Logic in the Classical Metatheory: The Propositional Case

Takahiro Yamada

Crispin Wright in his 1982 paper argues for strict finitism, a constructive standpoint that is more restrictive than intuitionism. In its appendix, he proposes models of strict fin…