• 한국학교수학회논문집
• /
• 제8권1호
• /
• pp.101-116
• /
• 2005

본 연구는 설문지를 통한 조사 연구와 수업 관찰을 통하여 증명에 대한 수학 교사들의 전반적인 인식과 증명 표현 양식 및 증명 능력을 조사하고, 교사가 가지고 있는 증명 스키마에 따른 증명 지도 방법의 특징을 살펴보았다. 연구 결과 교사들은 증명을 주로 연역으로만 인식하고 형식적 증명을 선호하는 경향을 가지고 있었다. 또한 학교수학에서 증명의 중요성은 인정하나 지도 방법에 대한 이해는 부족했으며 증명에 대한 지식 역시 교과서 의존도가 높았다. 한편 수학 교사들의 증명 스키마는 증명 지도 방법을 결정하는 중요한 요인으로 드러났다.

• 논리연구
• /
• 제5권2호
• /
• pp.39-66
• /
• 2002

일반적으로 엄밀한 방법을 통하여 증명되었다고 말해지는 괴델의 불완전성 정리는 일련의 전제와 배경지식이 요구된다고 하겠다. 이들 중에서 무엇보다도 중요한 것은 정리의 증명에 사용되는 메타언어상의 수학적 참에 대한 개념이다. 일단 확인할 수 있는 것은 "증명도, 반증도 되지 않지만 참인 산수문장의 존재"라는 불완전성 정리의 내용에서 괴델이 가정하고 있는 수학적 참의 개념이 구문론적인 증명개념으로부터 완전히 독립되어야 한다는 점이다. 문제는 그가 가정하고 있는 수학적 참의 개념이 도대체 무엇이어야만 하겠는가라는 점이다. 이 논문은 이 질문과 관련하여 내용적으로 3부분으로 나누어 질 수 있다. I. 괴델의 정리의 증명에 필요한 전제들 및 표의 도움을 얻어 자세히 제시되는 증명과정의 개략도를 통해 문제의 지형도를 조감하였다. II, III. 비트겐슈타인의 괴델비판을 중심으로, "일련의 글자꼴이 산수문장이다"라는 주장의 의미에 대한 상식적 비판 및 해석에 바탕을 둔 모형이론에 대한 대안제시를 통하여 괴델의 정리를 증명하기 위해 필요한 산수적 참에 관한 전제가 결코 "확보된 것이 아니다"라는 점을 밝혔다. IV. 괴델의 정리에 대한 앞의 비판이 초수학적 전제에 대한 것이라면, 3번째 부분에서는 공리체계에서 생성 가능한 표현의 증명여부와 관련된 쌍조건문이 그 도입에 필수적인 괴델화가 갖는 임의성으로 인해 양쪽의 문장의 참, 거짓 여부가 서로 독립적으로 판단 가능하여야만 한다는 점에(외재적 관계!) 착안하여 궁극적으로 자기 자신의 증명여부를 판단하게 되는 한계상황에 도달할 경우(대각화와 관련된 표 참조) 그 독립성이 상실됨으로 인해 사실상 기능이 정지되어야만 한다는 점, 그럼에도 불구하고 이 한계상황을 간파할 경우(내재적 관계로 바뀜!)항상 순환논법을 피할 수 없다는 점을 밝혔다. 비유적으로 거울이 모든 것을 비출 수 있어도 자기 스스로를 비출 수 없다는 점과 같으며, 공리체계 내 표현의 증명여부를 그 체계내의 표현으로 판별하는 괴델의 거울 역시 스스로를 비출 수는 없다는 점을 밝혔다. 따라서 괴델문장이 산수문장에 속한다는 믿음은, 그 문장의 증명, 반증 여부도 아니고 또 그 문장의 사용에서 오는 것도 아니고, 플라톤적 수의 세계에 대한 그 어떤 직관에서 나오는 것도 아니다. 사실상 구문론적 측면을 제외하고는 그 어떤 것으로부터도 괴델문장이 산수문장이라는 근거는 없다. 그럼에도 불구하고 괴델문장을 산수문장으로 볼 경우(괴델의 정리의 증명과정이라는 마술을 통해!), 그것은 확보된 구성요소로부터 조합된 문장이 아니라 전체가 서로 분리불가능한 하나의 그림이라고 보아야한다. 이것은 비트겐슈타인이 공리를 그림이라고 본 것과 완전히 일치하는 맥락이다. 바론 그런 점에서 괴델문장은 새로운 공리로 도입된 것과 사실은 다름이 없다.

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

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

• 대한수학교육학회지:수학교육학연구
• /
• 제19권2호
• /
• pp.185-206
• /
• 2009

분석법은 증명 방법을 찾을 수 있는 좋은 방법의 하나로 제안되어 왔다. 본 연구에서는 4명의 중학교 1학년 학생들을 대상으로 실제로 분석법을 중심으로 증명을 지도하기 위한 교수 실험을 실시하여, 분석법을 활용하여 증명 방법을 찾고 그것을 증명으로 표현하는 과정에서의 어려움을 살펴보았다. 본 연구 결과, 4명의 학생들은 교수 실험을 통해 분석법을 의미 있게 이해하고 분석법을 활용하여 증명 방법을 찾는 데에 대부분 성공하였다. 한편, 분석법을 중심으로 한 증명 학습에서 학생들이 겪는 어려움은 삼각형의 합동조건의 올바른 탐색, 증명 문제에 제시된 그림의 재해석, 증명 방법의 기호적 표현 등으로 나타났다.

• 한국컴퓨터정보학회논문지
• /
• 제27권7호
• /
• pp.35-48
• /
• 2022

본 연구에서는 멀티에이전트 환경에서 지식을 표현하고 추론함에 있어서 증명 이론적 방법을 제안한다. 이 방법은 논리적 결과를 기계적 방법으로 결정하므로 초기 인공지능 연구부터 핵심분야로 발전해 왔다. 하지만 임의의 닫힌 문장들의 집합에서 항상 명제가 증명할 수 있지 않기에 논리적 결과가 결정할 수 있어지려면 절 형식의 문장으로 그 표현 범위를 제한한다. 그리고 절 형식의 문장들에서만 적용 가능한, 단순하면서도 강력한 추론 규칙인 비교흡수 원리(Resolution principle)를 적용한다. 또한 증명이론을 메타술어로 표현할 수 있으므로 증명이론의 메타논리로 확장 가능하다. 메타논리가 모델 이론의 인식 논리(epistemic logic)보다 향상된 표현력을 기반으로 실용적인 면과 효율면에서 우월할 수 있다. 이를 입증하기 위해 인식 논리의 의미론과 증명이론의 메타논리 방식으로 각각 Muddy Children 문제에 적용한다. 그 결과 협력적 멀티에이전트 환경에서 메타논리를 사용하여 지식과 공통지식을 표현하고 추론한 방법이 더 효율적임을 증명한다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제28권4호
• /
• pp.513-528
• /
• 2014

본 연구에서는 대학원에 재학 중인 중 고등학교 수학 교사 36명을 대상으로 증명 및 증명 지도에 대한 인식을 조사하였다. 본 연구의 결과, 대부분의 교사들이 증명의 정당화 역할은 잘 인식하지만, 설명(확인), 이해, 발견, 의사소통, 체계화, 수학적 표현의 사용 등으로서의 역할은 미흡하게 인식하며, 많은 교사들이 증명의 조건에 대해 혼란스러운 개념을 가지고 있는 것으로 나타났다. 증명 지도의 이유에 대해서는 논리적 사고력 함양, 수학적 사고력 신장, 명제의 이해, 참인 명제의 확인, 수학의 본질 이해, 수학 지식 증가, 수학적 표현 증진, 수학의 즐거움 경험, 의사소통, 엄밀성 추구, 연계성 추구 등의 다양한 의견을 제시하였다. 증명 지도의 수행과 관련하여, 상당수의 교사들이 실제 증명 지도가 미흡하게 이루어지고 있다고 응답했으며, 학생들의 두려움과 흥미 부족, 증명 지도 시간 부족, 학생 사고수준 미흡, 지도 방식 미흡 등을 증명 지도의 제약 조건으로 언급하였다. 한편, 본 연구에서는 '증명'이라는 수학적 용어가 누락된 2009 개정 수학과 교육과정의 성취기준을 살펴보았다. '${\cdots}$를 이해하고 설명할 수 있다'는 성취기준은 증명 교수-학습과 관련하여 적절하지 않으며, 특히 논리적 추론이나 정당화 과정을 증명과 동일시하는 미흡한 개념을 가지고 있는 교사들에게 더욱 큰 혼란을 줄 위험이 있음을 확인하였다.

• 의료법학
• /
• 제18권2호
• /
• pp.47-73
• /
• 2017

진단서는 의사등이 진찰결과에 관한 판단을 표시하여 작성하는 문서로서 민 형사소송 등에서 증거로 쓰인다. 특히 상해의 증명에서 그 기능이 현저하다. 법은 허위진단서작성을 형사처벌하는 등으로 그 증명기능을 보호하기 위하여 힘쓰고 있다. 그러나 몇 가지 이유에서 진단서가 진실과 부합하지 아니하는 경우가 생긴다. 첫째, 의사등의 제1차적 관심은 환자의 효과적인 진단과 치료인데, 그에 필요한 정보수집 및 판단의 방법이 법정 등에서 진실을 찾는 것과 다를 수 있다. 둘째, 의사등은 종종 환자의 진술 등에서도 판단에 필요한 정보를 얻는데, 환자와의 치료적 대화 관계 등의 유지를 위하여 그 진술 등의 신빙성을 의심하는 것이 부적절한 경우가 있을 수 있다. 이는 결국 의사등이 증명이 아닌 다른 목적으로 수집한 정보로부터 내린 판단을 증명에 전용(轉用)하여 생긴 문제이고, 비용이 낮은 진단서 제도를 버릴 수 없는 한 불가피한 한계에 해당한다. 진단서에 의한 증명에 표현증명의 효력을 부여하여야 하는 경우와 그 증명력을 자유심증주의에 터 잡아 개별적으로 심사하여야 하는 경우를 나누어 후자에 대하여는 전면적인 증명력 심사를 가하고, 진단서 서식 자체를 개선하여 법원이나 수사기관 등이 위 둘 중 어느 경우에 해당하는지를 가리는 데 필요한 정보가 이미 진단서 자체에 드러나게 하는 개선이 필요하다.

• 대한수학교육학회지:학교수학
• /
• 제14권4호
• /
• pp.469-493
• /
• 2012

본 연구는 증명을 성공적으로 구성하는 학생들은 수학적 개념을 어떻게 이해하고 있으며, 증명을 어떻게 구성하는 지를 살펴보고 이를 통해 증명을 구성하는 다양한 방식과 개념 이해의 관련성을 분석하는 데 목적이 있다. 증명 구성에 도움이 되는 수학 학습에 제언을 얻기 위해서는 증명을 구성하는 과정과 그 과정에서 개념이 어떻게 반영되고 이용되는 지를 살펴볼 필요가 있다. 이를 위하여 4명의 수학교육과 학생들을 대상으로 사례연구를 실시하였다. 그 결과 구문론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있을 뿐만 아니라 그 개념이 담겨있는 명제는 어떠한 방식으로 증명하는 지 그 방법까지 알고 있었다. 실제 증명에서도 평소 증명 경험을 통하여 학습한 증명 전개 방법을 이용하여 증명하는 것을 볼 수 있었으며, 이로부터 증명 방법에 대한 절차적 지식이 구문론적 증명에는 중요한 요소라는 결론을 얻을 수 있었다. 의미론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있고 그 내용과 의미를 본인만의 언어나 그림으로 표현한 개념 이미지를 가지고 있었다. 구문론적 증명을 하는 학생들의 개념 이미지와 비교해보았을 때, 의미론적 증명을 하는 학생들의 개념 이미지는 구문론적 증명을 하는 학생들의 개념 이미지보다 형식적 개념의 내용을 잘 반영하고 있었다. 이러한 개념 이미지는 개념 이미지를 활용하여 증명의 아이디어를 생각하고, 생각한 아이디어를 증명의 형식에 맞게 표현하는 데 사용된다는 점에서 의미론적 증명에 필요한 요소라는 것을 발견할 수 있었다.

• 디지털융복합연구
• /
• 제18권3호
• /
• pp.363-376
• /
• 2020

최근 청소년 분노 및 분노와 관련된 문제행동에 관한 연구들이 다양하게 진행되고 있다. 하지만 분노표현 방식에 대한 이해나 청소년 분노와 분노표현 관계에서 매개효과에 대한 연구는 거의 부재하다. 본 연구는 청소년의 분노, 문제해결능력, 분노표현유형(분노억제, 분노표출, 분노통제)과의 관계를 증명하고 이 관계에서 문제해결능력의 매개효과를 검증하고자 한다. 연구분석을 위해 총 596명(남학생 283명, 여학생 313명)의 청소년설문이 활용되었다. 연구결과 분노는 3가지 분노유형 모두와 유의미한 관계가 있음이 증명되었다. 분노가 높을수록 분노억제와 분노표출이 증가하였으나, 분노통제는 감소하는 것으로 나타났다. 분노와 분노표현유형과의 관계에서 문제해결의 매개효과 검증결과, 분노와 분노통제 관계에서만 문제해결의 매개효과가 증명되었다. 이러한 연구결과를 바탕으로 제언과 연구한계 등을 논의하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제8권
• /
• pp.17-32
• /
• 1999

본 논문의 목적은 Cabri II 를 이용하여 형식적이고 연역적인 증명수업 방법의 대안을 찾는 데 있다. 형식적인 증명을 하기 전에 탐구와 추측을 통한 발견과 그 결과에 대한 비형식적인 증명 활동을 강조한다. 역동적인 기하소프트웨어인 Cabri II 는 작도가 편리하고 다양한 예를 제공하여 추측과 탐구 그리고 그 결과의 확인을 위한 풍부한 환경을 제공할 수 있으며, 끌기 기능을 이용한 삼각형의 변화과정에서 관찰할 수 있는 불변의 성질이 형식적인 증명에 중요한 역할을 한다. 또한 도형에 기호를 붙이는 활동은 형식적인 증명을 어렵게 만드는 요인 중의 하나인 명제나 정리의 기호적 표현을 보다 자연스럽게 할 수 있게 해 준다. 그러나, 학생들이 증명은 더 이상 필요 없으며, 실험을 통한 확인만으로도 추측의 정당성을 보장받을 수 있다는 그릇된 ·인식을 심어줄 수도 있다. 따라서 모든 경우에 성립하는 지를 실험과 실측으로 확인할 수는 없다는 점을 강조하여 학생들에게 형식적인 증명의 중요성과 필요성을 인식시킬 필요가 있다. 본 연구에 대한 다음과 같은 후속연구가 필요하다. 첫째, Cabri II 를 이용한 증명 수업이 학생들의 증명 수행 능력 또는 증명에 대한 이해에 어떤 영향을 끼치는지 특히, van Hiele의 기하학습 수준이론에 어떻게 작용하는 지를 연구할 필요가 있다. 둘째, 본 연구에서 제시한 Cabri II 를 이용한 증명 교수학습 방법에 대한 구체적인 사례연구가 요구되며, 특히 탐구, 추측을 통한 비형식적인 중명에서 형식적 증명으로의 전이 과정에서 나타날 수 있는 학생들의 반응에 대한 조사연구가 필요하다.