Strict finitism and the happy sorites

DOI10.1007/s10992-011-9180-8zbMath1253.03011OpenAlexW2022416907MaRDI QIDQ427227

Ofra Magidor

Publication date: 13 June 2012

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

Full work available at URL: https://doi.org/10.1007/s10992-011-9180-8

zbMATH Keywords

cut eliminationinductionintuitionismconstructivismstrict finitismhappy soritessorites paradoxvaguesness

Mathematics Subject Classification ID

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

Related Items

On V.A. Yankov’s Contribution to the History of Foundations of Mathematics, Wright's strict finitistic logic in the classical metatheory: the propositional case, Ultralarge lotteries: analyzing the lottery paradox using non-standard analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Don't eliminate cut
• Strict finitism
• Wang's paradox
• Hairier than Putnam Thought