Strict finitism and the happy sorites (Q427227)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6046096
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Strict finitism and the happy sorites |
scientific article; zbMATH DE number 6046096 |
Statements
Strict finitism and the happy sorites (English)
0 references
13 June 2012
0 references
A sorites argument is happy just in case it has true premisses and a false conclusion. Philosophical treatments of sorites generally begin with examples of what appear to be happy sorites, but end by ruling them out. Strict finitism is the version of constructivism which requires that effecting a construction or surveying a proof be in practice within our capacity. (An intuitionist requires merely that it be in principle within our capacity, which may require inspecting more steps than would in fact be practical.) It appears to offer an opening for happy sorites. Nevertheless, careful thought is needed to assess whether strict finitism is committed to the existence of any happy sorites arguments, and under what conditions.
0 references
vaguesness
0 references
happy sorites
0 references
sorites paradox
0 references
strict finitism
0 references
intuitionism
0 references
constructivism
0 references
cut elimination
0 references
induction
0 references
0.92195433
0 references
0 references
0 references
0 references
0.81744725
0 references
