Strict finitism and the happy sorites (Q427227): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03A05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6046096 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
vaguesness | |||
Property / zbMATH Keywords: vaguesness / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
happy sorites | |||
Property / zbMATH Keywords: happy sorites / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sorites paradox | |||
Property / zbMATH Keywords: sorites paradox / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
strict finitism | |||
Property / zbMATH Keywords: strict finitism / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
intuitionism | |||
Property / zbMATH Keywords: intuitionism / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
constructivism | |||
Property / zbMATH Keywords: constructivism / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cut elimination | |||
Property / zbMATH Keywords: cut elimination / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
induction | |||
Property / zbMATH Keywords: induction / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: J. D. MacKenzie / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
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 | |||
links / mardi / name | links / mardi / name | ||
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