PL EN


Journal
2010 | 18 | 4 | 77-95
Article title

Three Arguments Against Mathematical Constructivism

Content
Title variants
PL
Trzy argumenty przeciwko konstruktywizmowi matematycznemu
EN
Three Arguments Against Mathematical Constructivism
Languages of publication
PL
Abstracts
PL
This paper contains a criticism of mathematical constructivism, i.e. the class of views in the philosophy and foundations of mathematics according to which only constructive notions and methods of proof should be allowed in mathematics. Three main arguments are deployed against such view and its philosophical background. Firstly, an argument from pluralism: constructivism often appeals to intuitive evidence as the root of mathematics, effectively excluding large parts of classical, ab-stract mathematics. But appeals to «intuition» are utterly subjective and unstable, which results in multitude of incompatible constructivist systems of mathematics and makes any criticism toward classical mathematics as «non-constructive» unsubstanti-ated. Secondly, an argument which shows that epistemological arguments, deployed by many constructivists against intelligibility of classical mathematics, are unsound, and moreover, consistent appeal to such arguments leaves constructivists in no position to avoid the menace of ultrafinitism. Thirdly, it is argued that constructivism faces a dilemma whether to consider mathematical truth as what is actually proved, or what is provable, and that this dilemma is unsolvable in a satisfactory way, because the first horn of the dilemma is highly counter-intuitive or absurd, and the second one is impossible to square with constructivist views.
Keywords
Journal
Year
Volume
18
Issue
4
Pages
77-95
Physical description
Dates
published
2010-12-01
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2657-5868-year-2010-volume-18-issue-4-article-622
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.