• 대한수학교육학회지:학교수학
• /
• 제18권4호
• /
• pp.839-856
• /
• 2016

2009 개정과 2015 개정 수학과 교육과정에서는 학생들의 인지발달 수준을 고려해 '증명'을 중학교에서 고등학교로 옮기는 한편, 7차와 2007 개정 교육과정에서 공식적으로는 도입되지 않았던 '귀류법'을 고등학교 1학년 과목의 '학습내용 성취 기준'에 명시하였다. 귀류법은 어떤 명제가 참임을 보이기 위해 오히려 그 명제를 부정하는 귀류법 가정의 독특함으로 인해 인지적 갈등을 유발하는 것으로 알려져 있다. 이 논문에서는 귀류법에 대한 논리수학적 및 역사적 분석을 바탕으로 새로이 도입된 현 교과서의 귀류법 도입 및 활용에 대해 살펴보고 발견, 설명, 융합 등의 관점에서 개선 방안을 모색하였다. 발견의 과정을 먼저 서술한 후 귀류법적 사고를 도입하고, 귀류법 가정이 직접적으로 필요하지 않은 부분을 분리시켜 설명하되 유기적으로 서술하며, 대우를 이용한 증명법과의 관계를 밝혀 상호 보완적으로 다루고, 융합교육적 관점을 도입할 것 등을 제안하였다.

• 대한수학교육학회지:학교수학
• /
• 제11권1호
• /
• pp.111-129
• /
• 2009

본 연구는 교육적 의도를 가지고 학문적인 지식을, 가르칠 지식으로 변형하는 일, 즉 지식의 교수학적 변환(didactical transposition)에 관한 것으로서, 제 7차 교육과정에 따라 개편된 13종의 10-나 수학 교과서에서 삼각함수 단원의 내용 배열순서 및 설명방식을 분석하고 그 결과, 교수법적 어려움과 서술의 논리성 및 학생의 이해를 함께 고려할 때, 나타나는 교수학적 변환의 어려움은 무엇이며 이를 위한 대안적 교수학적 변환의 방법이나 실제적인 어려움 해소 방안은 무엇인가를 생각해 보았다. 이를 위해 13종의 수학교과서 10-나 단계 삼각함수 단원의 설명방식의 차이를 위주로 비교 분석하고, 그 결과를 최근의 교수법 이론과 암묵적으로 비교하여 새 교수법의 적용 가능성을 높이는데 개연적이나마 도움이 되리라고 예상되는 대안적 내용서술 지도방안(부채꼴, 삼각함수의 그래프, 성질, 주기, 사인법칙에 대한 내용을 위주로)을 제안하였다.

• 한국멀티미디어학회논문지
• /
• 제7권10호
• /
• pp.1496-1504
• /
• 2004

웹 서비스는 인터넷을 통해 기업 상호간에 비즈니스를 연결할 수 있도록 하는 것으로, 서비스 구축의 비용 감소와 속도 증진이 가능하다. 또한, 다른 영역과의 통합이 쉽게 가능하며, 컴포넌트 기반으로 개발할 경우 업데이트나 수정이 재사용성과 대체성을 제공함으로써 용이하다. 본 논문에서는 서비스지향 아키텍처 상에서 공급자 측면에서 구현되는 웹 서비스를 신뢰성과 민첩성을 보장하기 위해 컴포넌트 기반으로 개발하고자 한다. 이를 위해서 구성되는 컴포넌트를 효율적으로 통합하기 위한 아키텍처를 제안하고, 개발 프로세스를 서술한다. 또한, 컴포넌트를 기반으로 웹 서비스를 개발하기 위해 웹 서비스의 구조를 논리적으로 계층화하여 각 계층에서의 기능을 정의하였으며, 논리적 계층을 기반으로 아키텍처를 제시한다. 이들 내부는 크게 Facade와 Backside 컴포넌트로 구성하며, 웹 서비스 기능을 가지고 있는 Facade 컴포넌트를 개발하기 위한 프로세스와 메일링 웹 서비스를 사례로 제시한다. 이를 통해 웹 서비스의 생산비용과 개발시간의 절감을 기대할 수 있으며, 컴포넌트를 기반으로 웹 서비스를 구성하여 재사용성과 대체성에 대한 신뢰성 향상을 가져온다.

• 논리연구
• /
• 제21권2호
• /
• pp.207-231
• /
• 2018

진리 동일론자들은 진리담지자와 사실 사이의 동일성을 주장한다. 우선, 본고는 그들의 주장을 어떻게 이해해야 적절할지를 검토한다. 필자는 진리 동일론자들이 주장하는 동일성 관계를 사소한 관계와 사소하지 않은 관계로 분류한 다음, 사소한 동일성 관계로 이해한 동일론 논제가 왜 진리 동일론자들의 주장이 될 수 없는지를 논변할 것이다. 이어서, 사소하지 않은 동일성에 따른 견해를 줄리언 도드의 분류를 따라 다시 강경한 동일론과 온건한 동일론으로 구분한 후, 전자의 동일론이 그 자체로 비일관적인 견해가 됨을 보일 것이다. 그리고 동일론자들에게 남겨진 대안인 온건한 동일론을 진리 축소주의와 비교해야 하는 이유를 해명하고, 그 비교로부터 온건한 동일론자들 앞에 놓인 두 가지 선택지를 귀결로서 이끌어 낼 것이다. 동일론자들이 그 중 한 쪽을 택하면 축소주의보다 온건한 동일론을 더 선호해야 할 정당성은 얻어지지 않는 반면에, 다른 한 쪽의 선택지를 택하는 경우에는 그들에게 어떤 새로운 문제가 해결 과제로 남겨지는지를 서술할 것이다. 끝으로 결론에서는 이 남겨진 과제가 지닌 한계와 전망을 평가할 것이다.

• 논리연구
• /
• 제16권2호
• /
• pp.131-154
• /
• 2013

마이클 윌리엄스는 그의 논문에서 데이빗슨의 원초적 해석은 진리 조건적 의미 설명에 해당한다는 통설에 반대하면서, 해석에서는 실제로 팽 창적 진리가 설명적 역할을 수행하지 않으므로 해석은 진리 축소주의와 조화될 수 있다는 제안을 내놓는다. 본 논문을 통해 필자는 원초적 해석 내에서 진리와 의미 사이의 설명적 구도에 관한 올바른 이해를 모색하고, 이를 바탕으로 윌리엄스의 주장이 적절한가의 여부를 검토하고자 한다. 필자의 진단은 해석에 포함된 몇 가지 중심적인 요소들을 어떻게 바라볼 것인가에 따라서 윌리엄스의 대안적 해석 이론이 수용될 여지가 결정된다는 것이다. 특히 진리 조건에 대한 축소 또는 팽창적 이해는 원초적 해석을 이해하는 방식에서도 차이를 낳는 전제조건이며 그에 따라서 원초적 해석을 축소주의적으로 이해할 수 있는 가능성 도 결정됨을 본 논문은 논증할 것이다. 아울러 이와 비슷한 평가가 호위치의 사용 의미론과 데이빗슨 사이의 유사성을 주장하는 윌리엄스의 또 다른 주장에 대해서도 동일하게 적용될 수 있음을 서술할 것이다.

• 의철학연구
• /
• 제25권
• /
• pp.3-26
• /
• 2018

고대세계에서 의학과 철학은 밀접한 관계에 있었다. 소크라테스 이전의 철학자들은 자연학의 일부로 인체에 대한 관심을 갖고 우리 몸의 구성이나 생리적·병리적 현상을 탐구했다. 또 플라톤과 아리스토텔레스는 의학이나 의사, 혹은 질병을 예로 들어 자신들의 철학적 논변을 전개했다. 여기서 철학과 의학은 비유적 차원에서 인간에서 유사한 역할을 하는 두 분야로 설정된다. 그들은 철학은 정념을 제거하여 우리 영혼을 치유하고, 의학은 질병을 제거하여 우리 육체를 치유한다는 점에서 공통적이라고 보았다. 다만 여기서는 의학과 철학의 관계가 유비적 차원에 머물고 있는 문제가 있다. 고대세계에서 의학과 철학의 체계적 결합은 의사-철학자의 전형인 갈레노스를 통하여 전면적으로 이루어졌다. 갈레노스는 의학과 철학의 관련 양상을 그의 글 「좋은 의사는 또한 철학자이다」에서 체계적으로 서술하였다. 갈레노스는 스토아 학파의 철학관을 받아들여 철학을 자연학, 논리학, 윤리학으로 구성된 학문으로 보았다. 따라서 갈레노스에게 좋은 의사는 자연학, 논리학, 윤리학에 정통한 철학자이기도 했다. 그는 의사-철학자의 완벽한 모델을 히포크라테스에게서 찾았다.

• 한국지구과학회지
• /
• 제33권1호
• /
• pp.94-109
• /
• 2012

본 연구는 국내 주요 과학관 및 자연사 박물관의 지구과학 관련 전시 라벨 텍스트의 서술 특징을 분석하고자 하였다. 이를 위해, 국립 중앙 과학관과 서대문 자연사 박물관에서 자료를 수집하였고, 체계기능언어학을 일부 적용한 분석틀을 사용하였다. 연구 결과, 라벨들은 1) 대부분 평서형 문장, 2) 적절한 과학적 정보의 양, 3) '사실' 위주의 정보 제시, 4) 모두 논리적 설명 장르로 구성되어 있었다. 특히, 국립 중앙 과학관의 라벨들은 5) 전체 어휘 중 과학 용어의 비율이 높고 6) 주어의 절반 이상이 생략되거나 긴 명사화 형태였다. 결론적으로, 분석 대상 라벨들은 전시물과 관람객들 사이에서 과학 문화에 관한 양 방향적 의사소통을 이끌기보다 일 방향적인 의사소통을 일으킬 가능성이 높은 것으로 해석할 수 있었다. 이를 토대로, 과학 문화와 관람객의 일상 문화 사이의 열린 구조를 만들어 보다 교육적으로 유의미한 의사소통을 가능하게 하는 라벨 텍스트의 서술 특징들을 제안하였다.

• 정보관리학회지
• /
• 제35권3호
• /
• pp.101-121
• /
• 2018

본 연구는 연구논문의 논리적 의미 구조 메타데이터 항목에 해당하는 데이터에 담겨 있는 문장의 구성에 따라 시스템에서 적절한 항목으로 자동 식별 처리될 수 있도록 하는, 문장의미론(Sentence Semantics)적 분석 방법을 제안하고자 하는 목적으로 수행되었으며, 의미 구조 메타데이터 항목 중 'Research Objectives'와 'Research Outcomes'에 해당하는 연구 논문 문장의 구조를 어절 수, 접속어 종류, 다수 출현한 단어들의 문장 내 역할, 문장에서 다수 출현한 어미 형태 등을 기준으로 분석해 정리하였다. 연구 결과, 문장들의 어절 수는 'Research Objectives'는 평균 38개, 'Research Outcomes'는 평균 212개로 나타났으며, 접속어의 경우 'Research Objectives'는 인과-순접-대등-환언/요약 관계를 나타내는 접속어 순으로, 'Research Outcomes'는 인과-대등-순접-환언/요약 관계를 나타내는 접속어 순으로 많이 출현한 것으로 파악되었다. 출현빈도가 높은 분석 대상 단어들은 각각 문장 내에서 주어, 목적어, 서술어 역할 등으로 사용되고 있었으며, '역할'이나 '요인', '관계'는 목적이나 결과 부분 모두에서 비슷한 역할을 담당하고 있었지만 '연구'는 같은 단어라도 연구의 목적 부분과 결과 부분에서 사용되는 역할에 차이를 보였다. 마지막으로 문장 내 동사의 어미는 'Research Objectives'에서 '~고자'와 '~였다', 'Research Outcomes'에서 '~었다', '~있다', '~였다'가 많이 출현하였다. 본 연구는 연구자의 학술적 이해형성을 지원하기 위해 연구논문이 담고 있는 공통된 논리적 의미를 반영한 메타데이터 요소의 자동 식별과 입력 방안을 제시하는 데 활용할 수 있는 기초 연구로서 의의가 있다.

• 대한전자공학회논문지TC
• /
• 제46권4호
• /
• pp.40-45
• /
• 2009

본 논문에선 리드솔로몬 디코더의 오류위치 탐색장치와 오류치 계산장치중 오류치 계산기의 효율적 설계에 대해 서술한다. 오류치계산은 오류위치가 결정이 되면 선형 연립방정식의 해를 구하면 되나 갈로이스 장상에서 승산장치, 제산장치등의 회로가 구성되져야 한다. 본 논문은 이들 연산회로의 효율적 설계법에 대해 기술하고 있다. 오류위치 계산장치의 설계법은 이미 많은 학자및 기술자들에 의해 연구가 진행되어 여기서는 오류값 계산장치에 대해 주로 연구를 진행 하였다.

• 디지털융복합연구
• /
• 제11권3호
• /
• pp.285-292
• /
• 2013

최근의 검색 형태는 키워드 기반 검색에서 보다 더 정확한 결과를 제공하기 위한 시맨틱 검색 방법으로 변화하고 있다. 하지만 일반 사용자들은 여전히 기존의 키워드 기반 검색에 익숙하기 때문에 시맨틱 검색을 위한 형식화된 구조적 질의어를 구성할 수 없다. 따라서 본 논문에서는 이러한 사용자들의 키워드 해석을 위한 온톨로지 지식 베이스 스키마를 제안한다. 제안된 스키마는 서술 논리 추론을 위해 OWL-DL을 기반으로 설계되었으며 최소한의 관계 정의와 추론 규칙 언어인 SWRL(Semantic Web Rule Language)으로 추론함으로써 보다 풍부한 개체 관계의 표현을 제공한다. 마지막으로 논문에서 제안한 사용자 질의 의미 해석 기법의 검증을 위해 키워드 유사도 실험 결과를 설명한다.