STRICT FINITISM, FEASIBILITY, AND THE SORITES

DOI10.1017/S1755020318000163zbMath1506.03015OpenAlexW2887445423MaRDI QIDQ4577997

Walter Dean

Publication date: 7 August 2018

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020318000163

zbMATH Keywords

nonstandard modelsbounded arithmeticDummettvaguenessstrict finitismsorites paradoxsemisetsultrafinitismYessenin-Volpin

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Philosophical and critical aspects of logic and foundations (03A05) Complexity of computation (including implicit computational complexity) (03D15) Nonstandard models of arithmetic (03H15)

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, On mathematical realism and applicability of hyperreals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tolerant, classical, strict
• Vagueness, tolerance and contextual logic
• Vagueness, truth and logic
• Wang's paradox
• Computation, logic, philosophy. A collection of essays
• Modeling vagueness by nonstandardness
• Semiorders and a Theory of Utility Discrimination
• Foundational aspects of theories of measurement
• EIGHTY YEARS OF FOUNDATIONAL STUDIES
• TWO (OR THREE) NOTIONS OF FINITISM
• Models and reality
• A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis
• Internal set theory: A new approach to nonstandard analysis
• Induction the Hard Way
• Predicative Frege Arithmetic and 'Everyday' Mathematics
• THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
• Zooming Down the Slippery Slope
• Computational Complexity
• Existence and feasibility in arithmetic
• Notes on polynomially bounded arithmetic
• Some impredicative definitions in the axiomatic set theory
• Non-standard analysis
• On feasible numbers