Strict finitism and the happy sorites (Q427227): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10992-011-9180-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2022416907 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Don't eliminate cut / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4523478 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215630 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215631 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5719494 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Wang's paradox / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4133603 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5736161 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hairier than Putnam Thought / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4239945 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strict finitism / rank | |||
Normal rank |
Latest revision as of 08:53, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strict finitism and the happy sorites |
scientific article |
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