In Christer Svennerlind (ed.), Ursus Philosophicus. Essays dedicated to Björn Haglund on his sixtieth birthday. Philosophical Communications (2004)
It is not unreasonable to think that the dispute between classical and intuitionistic mathematics might be unresolvable or 'faultless', in the sense of there being no objective way to settle it. If so, we would have a pretty case of relativism. In this note I argue, however, that there is in fact not even disagreement in any interesting sense, let alone a faultless one, in spite of appearances and claims to the contrary. A position I call classical pluralism is sketched, intended to provide a coherent methodological stance towards the issue. Some reasons to recommend this stance are given, as well as some speculations as to why not everyone might want to follow the recommendation.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Structures and Logics: A Case for (a) Relativism.Stewart Shapiro - 2014 - Erkenntnis 79 (2):309-329.
Zasada wyłączonego środka a logika intuicjonistyczna.Bożena Czernecka - 2000 - Filozofia Nauki 3.
Intuitionistic Mathematics Does Not Needex Falso Quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.
Axioms for Intuitionistic Mathematics Incompatible with Classical Logic.A. S. Troelstra - 1975 - Mathematisch Instituut.
The Foundations of Intuitionistic Mathematics.Stephen Cole Kleene - 1965 - Amsterdam: North-Holland Pub. Co..
Models of Intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
A Negationless Interpretation of Intuitionistic Theories. I.Victor N. Krivtsov - 2000 - Erkenntnis 64 (1-2):323-344.
Intuitionistic Completeness for First Order Classical Logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Applied Constructive Mathematics: On Hellman's 'Mathematical Constructivism in Spacetime'.H. Billinge - 2000 - British Journal for the Philosophy of Science 51 (2):299-318.
Added to index2012-11-25
Total downloads17 ( #274,124 of 2,146,486 )
Recent downloads (6 months)2 ( #279,408 of 2,146,486 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.