• 대한수학회논문집
• /
• 제19권4호
• /
• pp.585-599
• /
• 2004

본 연구에서는 학교수학에서 증명지도의 문제점을 정당화의 측면에서 분석하고, 정당화의 한 방법으로서 확률론적 정당화를 제시하며, 학교수학에서 정당화 지도의 교육적 가치, 정당화 지도의 방향, 정당화 지도의 예와 지도 방법에 대해 논의한다. 이러한 논의에 근거하여 학교수학에서의 정당화 지도의 필요성 및 가능성에 관하여 살펴본다. 본 연구에서 '증명'은 고전적인 의미에서의 증명, 즉 엄밀한(rigorous) 증명, 수학적(mathematical) 증명이고, '정당화'는 기존의 수학적 증명 개념은 물론, 다양한 논증 기법을 포함하는 넓은 의미이다.

• 철학연구
• /
• 제147권
• /
• pp.215-237
• /
• 2018

이 논문은 칸트가 "순수이성비판" 제2판 "경험의 유추들" 중 제2유추"에서 개진한 인과율 증명에 대한 연구이다. 본 논문은 이 증명과 관련된 칸트의 진술을 길잡이로 삼아 제2유추"의 인과율 증명을 단 하나의 통일적이고 타당한 선험적 증명임을 드러내고자 한다. 논문의 내용은 해당 텍스트의 분석을 통해 다음의 주장들을 정당화하는 것이다. 1. 제2유추"의 증명 대상은 보편 인과원리로서의 인과율이다. 다시 말해 여기서 증명되는 것은 모든 변화는 어떤 원인을 갖는다는 것만 말해 줄 뿐, 그 원인이 무엇인지는 말해 주지 않는 인과율이다. 2. 증명의 목표는 인과율에 따른 객관적인 시간적 잇따름의 가능성이다. 달리 말해 인과율 없이는 모든 변화의 시간 순서에 대한 객관적 규정이 불가능함을 보여주는 것이다. 3. 증명은 크게 보아 두 단계로 이루어진 하나의 논증 구조를 갖고 있다. 첫 단계는 분석적 증명으로서 객관적 변화에 대한 지각의 분석을 통해 인과율이 이 지각된 변화의 객관성을 위한 필요조건임을 증명한다. 이때 객관적 변화와 그것에 대한 지각의 가능성은 전제되어 있다. 이 전제는 둘째 단계에서 정당화된다. 둘째 단계는 종합적 증명으로서 객관적 변화와 그것의 경험적 인식 가능성을 이 가능성의 아프리오리한 조건들인 시간의 형식적 성질과 지성의 필연적인 종합 규칙(인과율)로부터 도출한다. 4. 칸트는 스트로슨의 비판과는 달리 지각 잇따름의 필연적인 규정성으로부터 상태 잇따름의 객관적(인과적) 규정성을 직접적으로 추론하는 것이 아니라, 부가적인 전제(지각 잇따름의 규정성은 지성의 아프리오리한 종합 규칙에 근거한다는 전제) 아래서 그렇게 한다. 따라서 칸트의 증명은 스트로슨이 비판한 '불합리한 추론'에 근거하고 있지 않다.

• 대한수학교육학회지:수학교육학연구
• /
• 제23권2호
• /
• pp.173-192
• /
• 2013

2009 개정 교육과정의 중학교 기하영역에서 주목할 만한 변화 중 하나는 엄밀한 형식적인 증명대신 도형의 성질을 이해하고 설명하는 활동으로의 대치이다. 이는 수학교육의 꾸준한 논쟁거리였던 증명 교육과 관련한 학습자의 이해 수준 및 어려움을 고려한 결과이다. 본 연구는 학생들이 기하 증명시 경험하는 어려움 중 도형을 지칭하는 문자 및 형식적 기호를 사용한 증명 작성, 기호로 길게 제시된 증명 이해에서 비롯되는 형식적 특성의 것에 주목한다. 증명의 아이디어와는 별개로 문자 및 기호 사용에서 비롯되는 어려움을 극복하고자 문자 대신 채색된 그림이라는 시각적 표현을 이용함으로써 독자의 학습을 쉽게 하려고 했던 Byrne의 'Euclid 원론'에 사용된 증명 방법을 이용하여 지도해봄으로써 오늘날 기하 수업에서의 적용가능성을 검토하고자 하는 것이다. 이를 위해 중학교 2학년 한 학급을 대상으로 기하 단원의 세 개 정리에 대한 증명을 원문, 역동적 표현, 교사의 판서 등 세 개의 매체를 활용한 Byrne의 방법으로 지도하고, 학생들의 활동결과 및 학생과 교사의 설문 결과를 분석함으로써 새로운 대안의 장단점을 토대로 적용 가능성을 논의한다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제10권
• /
• pp.143-154
• /
• 2000

현재, 중학교에서 사용 가능한 수학 교과서는 8종류인데, 이처럼 다양한 종류의 교과서가 필요한 이유들 중의 하나는 수학적 개념이나 정리 등에 대한 다각적인 접근 방법들을 모색할 수 있는 가능성을 보장한다는 것이다 그러나, 현재의 교과서들은, 예를 들어, 정리의 증명에 있어 비슷한 증명 방법을 제시하고 있기 때문에, 학습자들에게 수학에 대한 폭넓은 시각과 다양한 수학적 아이디어를 제공할 수 있는 기회를 효과적으로 살리지 못하고 있다. 본 연구에서는 평면 기하학의 중요한 정리들 중의 하나인 ‘삼각형의 세 중선은 한 점에서 만나고, 각각의 중선은 교점에 의해 2:1로 나뉜다.’에 대한 다양한 증명들을 살펴보고, 각각의 증명들이 가지는 수학 교육적 의의를 고찰할 것이다.

• 논리연구
• /
• 제8권2호
• /
• pp.3-32
• /
• 2005

수론(Number theory)과 수학 전반에 걸쳐 무모순성을 확립하고자 한 힐버트의 합리주의적 열망은 무모순성을 주장하는 진술 자체가 그 체계 내에서 결정 불가능한 진술이라는 괴델의 두 번째 정리에 의해 좌절된다. 수학의 어떤 문제에서도 수학자가 "Ignorabimus!" (우리는 모른다!) 해서는 안된다는 힐버트의 낙관 또한 수학에서 증명도 반증도 안되는 결정불가능한 진술의 존재로 인하여 무너진다. 힐버트 프로그램은 일체의 모호함을 배제하고 기호와 기호열에 대한 기계적 연산에 기초하기 때문에 그 충격도 그만큼 클 수밖에 없다. 이 프로그램의 좌절은 그래서 무엇보다도 형식화의 한계를 분명히 보여준다. 이제 수학에서는 통사론적인 증명가능성의 개념이 의미론적인 참의 개념보다 우위를 갖게 되었다. 그리고 그가 제안한 알고리듬(기계적 절차)의 개념은 프로그래밍 언어의 출현에 직접 기여하였다. 그래서 우리는 그의 기획이 비록 좌절했지만 위대한 실패라고 믿고 싶다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제19권3호
• /
• pp.485-502
• /
• 2005

한 가지 문제에 대한 다양한 풀이 방법을 탐색하는 것은 수학적 대상의 성질을 발명, 일반화하는 것 뿐만 아니라, 학생들의 지적인 유창성 및 유연성 계발, 수학에 대한 심미적 가치의 함양을 위한 의미 있는 교수학적 경험을 제공할 수 있을 것이다. 본 연구에서는 고등학교 '미분과 적분'에 제시된 사인의 덧셈정리에 대한 다양한 증명 방법을 제시하고, 이를 분석하여 수학교수학적으로 의미로운 시사점을 도출하였다. 이를 통해, 사인의 덧셈정리에 대한 새로운 증명 방법의 탐색, 사인의 덧셈정리의 수학교수학적 활용의 다양한 가능성을 모색할 수 있는 기초자료를 제공할 것이며, 제시된 증명 방법들은 '미분과 적분'의 지도에서 심화학습 자료로도 활용할 수 있을 것이다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권2호
• /
• pp.325-344
• /
• 2010

본 연구는 중학생을 대상으로 학생들이 경험적 증명과 연역적 증명에 대한 선호를 결정할 때 영향을 미치는 요인을 분석하였다. 47명의 중학생에게 설문지를 통하여 자료를 수집하고 응답들을 분석한 결과, 경험적 증명과 연역적 증명의 선호에 영향을 미치는 요인들로 측정, 수학적 원리, 다양한 예를 통한 검증과정에 대한 인식들이 공통적으로 나타났다. 이 요소들은 경험적 증명과 연역적 증명의 선호와 비선호를 결정짓는 요인으로써, 선호하는 증명에 따라 상호 배타적으로 나타나지 않고 증명 선호에 영향을 미쳤다. 이를 통해 본 연구에서는 학생들이 특정 증명을 선호할 때, 한 증명에 대한 비선호와 다른 증명에 대한 선호가 동시에 작용할 수 있다는 결론과 함께 한 증명에 대한 선호요인을 보는 것만으로는 학생들의 증명 선호 이유를 정확히 파악할 수 없을 것이라는 가능성을 제언한다.

• 논리연구
• /
• 제18권3호
• /
• pp.307-335
• /
• 2015

논증의 타당성에 대한 덤밋과 프라위츠의 증명론적 정의의 핵심사항 중의 하나는 열린 논증은 그 전제들에 대한 타당한 논증들을 그 결론에 대한 타당한 논증으로 전환하는 효과적인 방법이 있을 경우 타당하다는 조건이다. 그러나 그들의 정의에서 이 조건은 적절한 의미에서 결정 불가능한 전제들을 지니는 열린 논증들은 모두 사소하게 타당하게 된다는 부적절한 귀결을 지닌다. 필자는 프라위츠의 정의를 중심으로 증명론적 타당성 개념을 설명한 후, 이에 대한 사소성 문제를 제기하고 검토할 것이며, 이에 의거하여 프라위츠의 정의에 대한 수정안을 제시할 것이다.

• 전자공학회지
• /
• 제31권6호
• /
• pp.40-51
• /
• 2004

최근 크게 흥행에 성공하고 있는 국산영화들은 국내 영화팬들을 열광케 하고 이제는 해외에서까지 인기를 크게 누리고 있다. 이러한 국산영화의 성공은 심지어 영화에 무관심했던 사람까지도 영화관으로 끌어들이고 관심을 갖게 하고 있으며 영화산업의 발전가능성이 다대함을 증명해 주고 있다.(중략)

• 주택과사람들
• /
• 통권214호
• /
• pp.38-39
• /
• 2008

지형.생태.자원 등 자연 환경과 정치.경제.사회.문화 등 인문 환경을 총망라해서 지도화하는 작업의 중요성은 역사적으로도 증명되었다. 이와 같은 연구와 조사는 국가의 통치와 민생 안정에 상당한 역할을 한다. 새 정부에서 국토 환경에 대한 연구와 조사, 기록의 중요성을 인식해 적극 실행해주길 바란다.