• 제목/요약/키워드: mathematical argument

검색결과 118건 처리시간 0.027초

논리학의 존재론적 보수성과 부분전체론 (The Ontological Conservativeness of Logic and Mereology)

  • 강수휘
    • 논리연구
    • /
    • 제13권2호
    • /
    • pp.167-201
    • /
    • 2010
  • 본 논문의 목적은 철학적으로 만족스러운 메타논리학으로서 부분전체론의 가능성을 살펴보는 것이다. 그 이유는 명백하다. 소위 수리 논리학으로 알려진 메타논리학에 대한 전통적인 접근은 집합들, 함수들, 모형들과 같은 수학적 존재자들의 존재를 미리 상정하고 있다. 이는 우리가 논리학을 개별 과학 분야에 적용할 때마다, 이러한 집합론적 메타논리학이 이들 분야의 논의영역에 언제나 이들 특수한 존재자들을 부가한다는 것을 의미한다. 이러한 사실은 집합론적 메타논리학이 논리학의 존재론적 보수성과 상충한다는 것을 보여준다. 반면에 집합론과 유사한 형식 체계인 부분전체론은 존재론적으로 무고하다고 주장되어 왔다. 따라서 우리가 논리학의 존재론적 보수성을 보장할 수 있는 중립적인 메타논리학으로 이 부분전체론을 고려하는 것은 상당히 자연스러운 일일 것이다. 하지만 부분전체론의 존재론적 무고함을 주장하는 논변들을 살펴보면, 우리는 부분전체론적 합 혹은 융합체와 같은 부분전체론적 존재자들이 존재론적으로 중립적인, 무고한 존재자가 아니라는 것을 알게 된다. 결국 우리는 부분전체론을 통한 메타논리학 역시도 논리학의 기초로서 올바른 접근이 될 수 없다고 결론 내리게 된다.

  • PDF

수학 및 과학 간 지적 자원의 사용: 이론적 모형에 대한 실증 연구 (A theoretical model for the utilization of intellectual resources between science and mathematics: An empirical study)

  • 최경미;서경운;;황지현
    • 한국수학교육학회지시리즈A:수학교육
    • /
    • 제59권4호
    • /
    • pp.405-420
    • /
    • 2020
  • 학생들이 수학과 과학을 배울 때 개발 및 사용하는 지적 자원의 이론적 모형을 구성하였다. 9,300명의 미국 4학년 학생들의 수학 과학 성취도 평가의 응답을 통계적으로 분석하여 이 이론적 모델을 검증하였다. 그 결과는 이론적 모형이 타당함을 보여주며, 4학년 학생들의 과학 학습에서 인식적 실천은 수학 학습에서 인식적 실천의 발달에 영향을 준다.

Understanding the Estimation of Circumference of the Earth by of Eratosthenes based on the History of Science, For Earth Science Education

  • Oh, Jun-Young
    • 대한지구과학교육학회지
    • /
    • 제10권2호
    • /
    • pp.214-225
    • /
    • 2017
  • 지구크기에 대한 최초의 정확한 측정은 기원전 230년, 헬레니즘의 과학자인, 에라토스테네스 (276-195 B.C.)에 의하여 이루어졌다. 역사적으로 수학적 추상화는 유럽의 고대 그리스인의 천재성을 보여주는 좋은 예이다. 그 당시에는 상상하기 어려운 태양이 멀리 떨어져 있기에 태양광선이 평행하게 지구에 입사한다는 전제를 요구하는, 논리적이고 과학적인 기법의 에라토스테네스의 과학적 방법의 성공이었다. 중요한 것은 간단한 수학적 비례식을 성립하기 위해서는 지구가 둥글고, 광선이 지구에 나란하게 들어온다는 가정이 필요하였다. 즉 천상으로부터 지상으로 유클리드 기학학이 연결된다는 내용이다. 그것은 최초로 태양중심을 주장한 아리스타쿠스의 제안을 받아들여야 했고, 아리스토텔레스의 자연관인 우주는 아름답고 우아하다는 사상에 기반을 두어 지구는 구처럼 대칭적이라는 것이다. 우리는 이러한 가정들을 현대가 아닌 그 당시 어떻게 정당화 했는지를 탐색하는 것이다. 또한 실험의 미적 관점에서 에라토스테네스의 지구측정의 중요한 특징은 단순성에 있다는 것을 강조하는 것이다.

논증 연구의 동향 분석: 국외의 수학교육 학술지를 중심으로 (An analysis of trends in argumentation research: A focus on international mathematics education journals)

  • 황지남;이유진
    • 한국수학교육학회지시리즈A:수학교육
    • /
    • 제63권1호
    • /
    • pp.105-122
    • /
    • 2024
  • 본 연구는 논증 학습을 강조한 NCTM의 권고안이 발표된 2000년을 시점으로 2023년 9월까지 약 24년간 국외 주요 수학교육 학술지에 등재된 101편의 논문을 대상으로 연구 동향을 분석하였다. 먼저 논증 연구의 전반적인 추이를 살펴보았으며, 다음으로 대표적인 연구주제를 분석하였다. 연구 결과, 주 연구 대상은 학생이지만 교사에 초점을 둔 연구도 많이 이루어지고 있었다. 또한, 초등학교보다는 중등학교를 대상으로 연구가 이루어지고 있었으며, 수업 상황에서의 논증을 살펴본 연구가 많았다. 더불어 논증 연구가 국외에서 점점 주목받는 주제로 다루어지고 있음을 확인하였다. 논증 연구의 대표적인 연구주제로는 '교수 활동', '논증 구조', '증명', '학생 이해', '학생 추론'이 있었다. 이와 같은 연구 결과를 토대로 논증에 대한 관점을 형식적 측면, 맥락적 측면, 목적적 측면의 세 가지로 구분하여 제시하였다. 나아가 국내 수학교육에 적합한 논증의 의미와 역할에 대한 시사점을 제안하였다.

배중률을 둘러싼 구성주의의 두 입장 비교 (A Comparing Study of Two Constructivisms on L.E.M.)

  • 오채환;강옥기;이상욱
    • 한국수학사학회지
    • /
    • 제24권4호
    • /
    • pp.45-59
    • /
    • 2011
  • 20세기 초반에 등장한 수학기초론의 주류 세 학파 (직관주의 논리주의 형식주의)는 상호 대립관계를 보인다. 큰 틀에서 볼 때, 논리주의는 프레게를 계승하는 입장이다. 이와 대립관계의 기초론 중 하나인 직관주의는 구성주의 수학철학의 주축으로 평가된다. 그리고 직관주의가 터를 닦은 구성주의 수학철학을 후속 개진시킨 주역은 의미론적 반실 재론을 주창한 마이클 더밋이다. 따라서 외형상으로는 더밋이 직관주의를 계승하는 후계세대처럼 여겨질 수 있지만 그의 철학적 기반은 분명 프레게이다. 더밋이 논리주의가 아닌 직관주의 계열에 합류한 사실의 속내는 구성주의 내부의 두 입장 (즉, 직관주의와 반실재론) 이 보이는 배중률을 둘러싼 태도의 드러난 일치뿐만 아니라 가려진 차이까지 헤아려질 때 해명될 수 있다고 본다. 본고는 이런 해명을 통해 구성주의 수학철학에 대한 이해도 한층 더할 수 있다는 판단에 따른 제안적 노력이다.

A Study on the Influence of Nonlinearity Coefficients in Air-Bearing Spindle Parametric Vibration

  • Chernopyatov, Y.A.;Lee, C.M.;Chung, W.J.;Dolotov, K.S.
    • International Journal of Precision Engineering and Manufacturing
    • /
    • 제6권1호
    • /
    • pp.51-58
    • /
    • 2005
  • The development of the high-efficiency machine-tools equipment and new cutting tool materials with high hardness, heat- and wear-resistance has opened the way to application of high-speed cutting process. The basic argument of using of high-speed cutting processes is the reduction of time and the respective increase of machining productivity. In this sense, the spindle units may be regarded as one of the most important units, directly affecting many parameters of high-speed machining efficiency. One of the possible types of spindle units for high-speed cutting is the air-bearing type. In this paper, we propose the mathematical model of the dynamic behavior of the air-bearing spindle. To provide the high-level of speed capacity and spindle rotation accuracy we need the adequate model of "spindle-bearings" system. This model should consider characteristics of the interactions between system components and environment. To find the working characteristics of spindle unit we should derive the equations of spindle axis movement under the affecting factors, and solve these equations together with equations which describe the behavior of lubricant layer in bearing (bearing stiffness equations). In this paper, the three influence coefficients are introduced, which describe the center of spindle mass displacement, angle of shaft rotation around the axes under the unit force application and that under the unit torque application. These coefficients are operated in the system of differential equations, which describes the spindle axis spatial movement. This system is solved by Runge-Kutta method. Obtained trajectories and amplitude-frequency characteristics were then compared to experimental ones. The analysis shows good agreement between theoretical and experimental results, which confirms that the proposed model of air-bearing spindle is correctis correct

이상(李箱)시의 외래어와 한글 혼용이 보여주는 자동기술법 비교 연구 (A Study on the Automatic Description in the Mixed Expression of Foreign Language and Korean Language in Lee Sang's Poetry)

  • 이병수
    • 비교문화연구
    • /
    • 제39권
    • /
    • pp.219-240
    • /
    • 2015
  • The following summarized argument is the comparative research of the characteristics of automatic techniques demonstrated in the mixed expression of foreign language and Korean language in Lee Sang's poetry. Our research examines the use of foreign languages such as French and English shown in Lee Sang's poems, and then, recognized the characteristics of the automatic techniques demonstrated by the parallel marks and signs of Korean language. The automatical technique's element that Lee Sang made use of is a language of loanblend, consisting of free use of French, English, Japanese and Korean. The mathematical and geometric figures such as numbers and shapes can be seen as an important poetic language. In Lee Sang's poetry, the French words "AMOUREUSES" and "ESQUISSE" and English words "I WED A TOY BRIDE" are considered as parts of Korean language. The use of foreign language is seen by the readers as encodes of a unacquainted language and it provides rhetorical characteritstics that gives off profanatory feeling about the poetry. The poet is seen to have created a new poetic language that excess the standards of the limitations that Korean and Chinese marks have through the application of polysems and poliphonyic effects that foreign languages have. The mathematical and geometric signs are Lee Sang's special experimental elements that can't be seen in other literary poetries. They are conversational and the requirements for the expression of abstract artistry and esthetics. The language used in his poetry are external to those traditional poetic languages and they mix freely with other poetic elements to become an automatic technique used in the writing. Lee Sang's techniques can be considered as the pursuit of defiance and departure, freedom about literature and artistry. Moreover, the avant-garde expressionism is the literary form that demonstrated the sense of inferiority, nervousness and loneliness risen from physical pain and the abnormal relationship with women in the poet's personal life. The technique shows the longingness of the the Western culture and literature that lay dormant in the poet's consciousness and it is also the expression of ingenious that created the new guide in the Korean poetic literature, exceeding the European surrealism. Lastly, the automatic technique images that are demonstrated by the mixture of the foreign languages and Korean language are the creations of an innate poetic language and poetic literature that can't be imitated by anyone in Korean literature.

한국주요빙계의 소유역에 대한 순간단위권 유도에 관한 연구 (I) (Studies on the Derivation of the Instantaneous Unit Hydrograph for Small Watersheds of Main River Systems in Korea)

  • 이순혁
    • 한국농공학회지
    • /
    • 제19권1호
    • /
    • pp.4296-4311
    • /
    • 1977
  • This study was conducted to derive an Instantaneous Unit Hydrograph for the accurate and reliable unitgraph which can be used to the estimation and control of flood for the development of agricultural water resources and rational design of hydraulic structures. Eight small watersheds were selected as studying basins from Han, Geum, Nakdong, Yeongsan and Inchon River systems which may be considered as a main river systems in Korea. The area of small watersheds are within the range of 85 to 470$\textrm{km}^2$. It is to derive an accurate Instantaneous Unit Hydrograph under the condition of having a short duration of heavy rain and uniform rainfall intensity with the basic and reliable data of rainfall records, pluviographs, records of river stages and of the main river systems mentioned above. Investigation was carried out for the relations between measurable unitgraph and watershed characteristics such as watershed area, A, river length L, and centroid distance of the watershed area, Lca. Especially, this study laid emphasis on the derivation and application of Instantaneous Unit Hydrograph (IUH) by applying Nash's conceptual model and by using an electronic computer. I U H by Nash's conceptual model and I U H by flood routing which can be applied to the ungaged small watersheds were derived and compared with each other to the observed unitgraph. 1 U H for each small watersheds can be solved by using an electronic computer. The results summarized for these studies are as follows; 1. Distribution of uniform rainfall intensity appears in the analysis for the temporal rainfall pattern of selected heavy rainfall event. 2. Mean value of recession constants, Kl, is 0.931 in all watersheds observed. 3. Time to peak discharge, Tp, occurs at the position of 0.02 Tb, base length of hlrdrograph with an indication of lower value than that in larger watersheds. 4. Peak discharge, Qp, in relation to the watershed area, A, and effective rainfall, R, is found to be {{{{ { Q}_{ p} = { 0.895} over { { A}^{0.145 } } }}}} AR having high significance of correlation coefficient, 0.927, between peak discharge, Qp, and effective rainfall, R. Design chart for the peak discharge (refer to Fig. 15) with watershed area and effective rainfall was established by the author. 5. The mean slopes of main streams within the range of 1.46 meters per kilometer to 13.6 meter per kilometer. These indicate higher slopes in the small watersheds than those in larger watersheds. Lengths of main streams are within the range of 9.4 kilometer to 41.75 kilometer, which can be regarded as a short distance. It is remarkable thing that the time of flood concentration was more rapid in the small watersheds than that in the other larger watersheds. 6. Length of main stream, L, in relation to the watershed area, A, is found to be L=2.044A0.48 having a high significance of correlation coefficient, 0.968. 7. Watershed lag, Lg, in hrs in relation to the watershed area, A, and length of main stream, L, was derived as Lg=3.228 A0.904 L-1.293 with a high significance. On the other hand, It was found that watershed lag, Lg, could also be expressed as {{{{Lg=0.247 { ( { LLca} over { SQRT { S} } )}^{ 0.604} }}}} in connection with the product of main stream length and the centroid length of the basin of the watershed area, LLca which could be expressed as a measure of the shape and the size of the watershed with the slopes except watershed area, A. But the latter showed a lower correlation than that of the former in the significance test. Therefore, it can be concluded that watershed lag, Lg, is more closely related with the such watersheds characteristics as watershed area and length of main stream in the small watersheds. Empirical formula for the peak discharge per unit area, qp, ㎥/sec/$\textrm{km}^2$, was derived as qp=10-0.389-0.0424Lg with a high significance, r=0.91. This indicates that the peak discharge per unit area of the unitgraph is in inverse proportion to the watershed lag time. 8. The base length of the unitgraph, Tb, in connection with the watershed lag, Lg, was extra.essed as {{{{ { T}_{ b} =1.14+0.564( { Lg} over {24 } )}}}} which has defined with a high significance. 9. For the derivation of IUH by applying linear conceptual model, the storage constant, K, with the length of main stream, L, and slopes, S, was adopted as {{{{K=0.1197( {L } over { SQRT {S } } )}}}} with a highly significant correlation coefficient, 0.90. Gamma function argument, N, derived with such watershed characteristics as watershed area, A, river length, L, centroid distance of the basin of the watershed area, Lca, and slopes, S, was found to be N=49.2 A1.481L-2.202 Lca-1.297 S-0.112 with a high significance having the F value, 4.83, through analysis of variance. 10. According to the linear conceptual model, Formular established in relation to the time distribution, Peak discharge and time to peak discharge for instantaneous Unit Hydrograph when unit effective rainfall of unitgraph and dimension of watershed area are applied as 10mm, and $\textrm{km}^2$ respectively are as follows; Time distribution of IUH {{{{u(0, t)= { 2.78A} over {K GAMMA (N) } { e}^{-t/k } { (t.K)}^{N-1 } }}}} (㎥/sec) Peak discharge of IUH {{{{ {u(0, t) }_{max } = { 2.78A} over {K GAMMA (N) } { e}^{-(N-1) } { (N-1)}^{N-1 } }}}} (㎥/sec) Time to peak discharge of IUH tp=(N-1)K (hrs) 11. Through mathematical analysis in the recession curve of Hydrograph, It was confirmed that empirical formula of Gamma function argument, N, had connection with recession constant, Kl, peak discharge, QP, and time to peak discharge, tp, as {{{{{ K'} over { { t}_{ p} } = { 1} over {N-1 } - { ln { t} over { { t}_{p } } } over {ln { Q} over { { Q}_{p } } } }}}} where {{{{K'= { 1} over { { lnK}_{1 } } }}}} 12. Linking the two, empirical formulars for storage constant, K, and Gamma function argument, N, into closer relations with each other, derivation of unit hydrograph for the ungaged small watersheds can be established by having formulars for the time distribution and peak discharge of IUH as follows. Time distribution of IUH u(0, t)=23.2 A L-1S1/2 F(N, K, t) (㎥/sec) where {{{{F(N, K, t)= { { e}^{-t/k } { (t/K)}^{N-1 } } over { GAMMA (N) } }}}} Peak discharge of IUH) u(0, t)max=23.2 A L-1S1/2 F(N) (㎥/sec) where {{{{F(N)= { { e}^{-(N-1) } { (N-1)}^{N-1 } } over { GAMMA (N) } }}}} 13. The base length of the Time-Area Diagram for the IUH was given by {{{{C=0.778 { ( { LLca} over { SQRT { S} } )}^{0.423 } }}}} with correlation coefficient, 0.85, which has an indication of the relations to the length of main stream, L, centroid distance of the basin of the watershed area, Lca, and slopes, S. 14. Relative errors in the peak discharge of the IUH by using linear conceptual model and IUH by routing showed to be 2.5 and 16.9 percent respectively to the peak of observed unitgraph. Therefore, it confirmed that the accuracy of IUH using linear conceptual model was approaching more closely to the observed unitgraph than that of the flood routing in the small watersheds.

  • PDF