Strict finitism, feasibility, and the sorites

DOI10.1017/S1755020318000163zbMATH Open1506.03015OpenAlexW2887445423WikidataQ129446751 ScholiaQ129446751MaRDI QIDQ4577997FDOQ4577997

Authors: 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

Recommendations

• Modeling vagueness by nonstandardness
• Vagueness, tolerance and contextual logic
• Strict finitism and the happy sorites
• scientific article; zbMATH DE number 3853064
• Feasibility, sorites and vagueness

zbMATH Keywords

bounded arithmeticDummettvaguenessnonstandard modelsstrict finitismsorites paradoxsemisetsultrafinitismYessenin-Volpin

Mathematics Subject Classification ID

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

Cites Work

• Non-standard analysis
• Title not available (Why is that?)
• Saving truth from paradox
• Tolerant, classical, strict
• Computational Complexity
• Vagueness, truth and logic
• Wang's paradox
• Semiorders and a Theory of Utility Discrimination
• Subsystems of second order arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Notes on polynomially bounded arithmetic
• Vagueness, tolerance and contextual logic
• Foundational aspects of theories of measurement
• Existence and feasibility in arithmetic
• Title not available (Why is that?)
• Logical foundations of proof complexity
• Computation, logic, philosophy. A collection of essays
• Title not available (Why is that?)
• Title not available (Why is that?)
• Internal set theory: A new approach to nonstandard analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Two (or three) notions of finitism
• Title not available (Why is that?)
• Models and reality
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some impredicative definitions in the axiomatic set theory
• EIGHTY YEARS OF FOUNDATIONAL STUDIES
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modeling vagueness by nonstandardness
• Title not available (Why is that?)
• A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis
• The prehistory of the subsystems of second-order arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Predicative Frege arithmetic and `everyday' mathematics
• Induction the Hard Way
• Zooming Down the Slippery Slope
• Title not available (Why is that?)
• On feasible numbers

Cited In (6)

• On mathematical realism and applicability of hyperreals
• Title not available (Why is that?)
• Strict finitism and the happy sorites
• Wright's strict finitistic logic in the classical metatheory: the propositional case
• Strict finitism and feasibility
• On V.A. Yankov’s Contribution to the History of Foundations of Mathematics

This page was built for publication: Strict finitism, feasibility, and the sorites

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4577997)