Wright's strict finitistic logic in the classical metatheory: the propositional case

DOI10.1007/s10992-022-09698-warXiv2301.12070OpenAlexW4317637367MaRDI QIDQ6166126

Takahiro Yamada

Publication date: 2 August 2023

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2301.12070

zbMATH Keywords

constructivismfinitismstrict finitismCrispin Wrightclassical reconstruction

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Strict finitism and the happy sorites
• Strict finitism
• Wang's paradox
• STRICT FINITISM, FEASIBILITY, AND THE SORITES
• Strongly equivalent logic programs