Strict finitism

DOI10.1007/BF00413828zbMath0497.03002OpenAlexW4241958842MaRDI QIDQ1170178

Crispin Wright

Publication date: 1982

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00413828

zbMATH Keywords

proofvaguenessmeaningbeliefintuitionismstrict finitist semantics for first-order arithmeticstrict finitist tree

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Strict finitism and feasibility, Wright's strict finitistic logic in the classical metatheory: the propositional case, Strict finitism and the happy sorites, $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$, Intuitionism, Meaning Theory and Cognition, Wittgenstein and logic, Proof-Theoretic Semantics and Feasibility

Cites Work

• Wang's paradox
• EIGHTY YEARS OF FOUNDATIONAL STUDIES