Browse > Article

A Comparing Study of Two Constructivisms on L.E.M.  

Oh, Chae-Hwan (Department of Mathematics, Kyonggi University)
Kang, Ok-Ki (Department of Mathematics, Kyonggi University)
Ree, Sang-Wook (Department of Mathematics, Kyonggi University)
Publication Information
Journal for History of Mathematics / v.24, no.4, 2011 , pp. 45-59 More about this Journal
Abstract
Constructionists believe that mathematical knowledge is obtained by a series of purely mental constructions, with all mathematical objects existing only in the mind of the mathematician. But constructivism runs the risk of rejecting the classical laws of logic, especially the principle of bivalence and L. E. M.(Law of the Excluded Middle). This philosophy of mathematics also does not take into account the external world, and when it is taken to extremes it can mean that there is no possibility of communication from one mind to another. Two constructionists, Brouwer and Dummett, are common in rejecting the L. E. M. as a basic law of logic. As indicated by Dummett, those who first realized that rejecting realism entailed rejecting classical logic were the intuitionists of the school of Brouwer. However for Dummett, the debate between realists and antirealists is in fact a debate about semantics - about how language gets its meaning. This difference of initial viewpoints between the two constructionists makes Brouwer the intuitionist and Dummettthe the semantic anti-realist. This paper is confined to show that Dummett's proposal in favor of intuitionism differs from that of Brouwer. Brouwer's intuitionism maintained that the meaning of a mathematical sentence is essentially private and incommunicable. In contrast, Dummett's semantic anti-realism argument stresses the public and communicable character of the meaning of mathematical sentences.
Keywords
constructivism; intuitionism; semantic; anti-realism; L. E. M.; Brouwer; Dummett;
Citations & Related Records
연도 인용수 순위
  • Reference
1 카렌 그린 (이윤일 옮김), 마이클 더밋의 언어철학, 경기 성남, 북코리아, 2011.
2 배영주, 자기주도학습과 구성주의, 서울, 원미사, 2005.
3 김문종 외, (1998)
4 김판수 외, (2000)
5 한국교원대초등교육연구소, (1999)
6 Brooks & Brooks, (1993)
7 Fosnot et al., (1996)
8 Larochelle et al., (1998)
9 Fosnot et al., 1996
10 Richardson et al., 1997.
11 TomRockmore, On constructivist Epistemology, NewYork, Rowman & Littlefield Publisher, INC., 2005.
12 D. van Dalen, Cambridge Lectures on Intuitionism, Cambridge: Cambridge Univ. Press, 1981.
13 G. Ferege, On the Foundations of Geometry and Formal Theories of Arithmetic, trans. E. Kluge, New Haven: Yale University Press, 1971.
14 A. Heyting, Brouwer Collected Works, vol.1, Amsterdam: North-Holland, 1975.
15 James Robert Brown , Philosophy of Mathematics : An Introduction to the World of Proofs and Pictures, London and New York, Routledge, 2000.
16 박창균 직관주의, 한국수학사학회지 Vol. 10, No.2, (1997)
17 Charles S. Chihara, Constructibility and Mathematical Existence, Oxford, Clarendon Press, 2001.
18 Roland Turner, Thinkers of the Twentieth Century, 2nd edition, Chicago, STJ., 1987.
19 Saunders Mac Lane (오채환 외 옮김), 수학, 형식과 기능, 수원, 청음사, 2001.
20 김진형, 브라우어의 수학적 직관주의 연구, 중앙대학교 박사학위논문, 2005.
21 Panu Raatkainen, (Helsinki Collegium for Advanced Studies, 2004), Conceptions of truth in intuitionism, HISTORY AND PHILOSOPHY OF LOGIC, 25 (MAY 2004), PO Box 4, FIN-00014 University of Helsinki, Finland,
22 Romina Padro ,"The City University of New York", On Dummett' s Philosophy of Mathematics V(2012), http://www.accionfilosofica.com/misc/1111482311art.htm
23 L. E. J. Brouwer, "Historical background, principles andmethods of intuitionism", South African Journal of Science, 49(1952).
24 Kreisel, G., "Wittgenstein' s Remarks on the Foundations of Mathematics", British Journal for the Philosophy of Science, 9(1959).
25 Brouwer[BMSIA], "Profession of Faith of L. E. J. Brouwer"(미출간논문), in van Stigt; Brouwer's Intuitionism, North-Holland, 1990.