• 한국학교수학회논문집
• /
• 제12권3호
• /
• pp.307-317
• /
• 2009

가정이 거짓인 조건명제가 참임을 설명하는 단서조항의 유무에 따라 조건명제와 조건추론에 대한 학생들의 바른 판정에는 유의미한 차이가 있고 실생활과 관련된 조건 명제와 형식적인 조건명제에 대한 중학생들의 진위판정에도 유의미한 차이가 있었지만 대학생들의 경우에는 유의미한 차이가 없는 것으로 조사되었다. 또한 형식적인 조건명제와 조건추론에 대한 학생들의 바른 판정 간에는 비교적 높은 상관관계가 있는 것으로 분석 되었다.

• 논리연구
• /
• 제4권
• /
• pp.63-87
• /
• 2000

내일 눈이 올 것이다. 이 명제의 모순적 반대는 '내일 눈이 오지 않을 것이다'이다. 오늘 이 둘 중의 어느 한 명제가 참일 경우, 그 명제는 이미 오늘 참이고 그리고 그의 모순적 반대의 다른 한 명제는 오늘 이미 거짓이다. 만약 오늘 둘 중의 어느 명제가 참인지 이미 결정되어 있다면, 그러한 결정된 사태가 내일 발생되지 않을 조바심에 안달이 날 것이다. 만약, 둘 중의 어떤 한 명제가 참인지 결정되어있지 않으면, 그 역시 내일의 사태가 어떠한 결정적 태도로 주어지고 있지 않은 현재가 찝찔한 것이다. 전자를 결정론, 후자는 비결정론의 입장인데, 에피쿠어의 절충적 의견에 따르면, '눈이 온다'와 그리고 '눈이 오지 않는다'는 둘 다의 결과들이 가능하다. 그에 따르면 실제로 일어나는 것만 가능하므로, 세계의 전 과정에서 결코 일어나지 않았던 것은 언제라도 가능하지 않았다. 전자를 대표하는 디오도어는 현존하는 한 언명은 시간의 질서 안에서 가까운 훗날에나 먼 훗날에도 명제 논리적으로 결정되어있다고 주장한다. 이에 후자를 표방한 크리십은 한 언명의 결과는 그의 모든 조건들이 채워진다면 가능하고, 그의 필연적인 조건들이 결코 충족적으로 채워지지 않으면 다른 한 결과는 결코 일어나지 않는다고 주장한다. 여기서 벌어진 논쟁에서 본고는 명제의 가치를 선형적 구조의 시간에서 해석한 디오도어의 결정론에 대하여 흐트러진 시간의 구조에서 해석한 크리십의 숙명론의 논의의 대비를 보여줄 것이다.

• 한국학교수학회논문집
• /
• 제17권4호
• /
• pp.805-816
• /
• 2014

본 연구에서는 형식적 함의에 대한 역사적 발달과정을 살펴보고 형식적 함의에 대하여 대학생들이 어떻게 이해하는지를 분석하였다. 또한 고등학생들과 예비대학생들을 대상으로 카드모임에 대한 실제적 함의에 대하여 조사한 결과 주어진 카드 모음에서 성립하는 패턴을 명제 $p{\rightarrow}q$로 나타낼 때에는 명제 $p{\rightarrow}q$를 ${\sim}p{\vee}q$와 동치인 명제로 이해하는 학생들이 가장 많았지만 명제 $p{\rightarrow}q$가 성립하는 카드를 모으는 과정에서는 조건명제 $p{\rightarrow}q$를 $p{\wedge}q$와 동치인 명제로 이해하는 학생들이 가장 많은 것으로 조사되었다.

• 한국초등과학교육학회지:초등과학교육
• /
• 제41권1호
• /
• pp.79-92
• /
• 2022

이 연구에서는 2015 개정 과학교육과정의 3학년 1학기와 6학년 2학기 과학 교과서 텍스트에서 명제들 사이의 연결 유형과 명제의 연결에 사용된 표지 유형을 분석하여, 국어 교과서 및 사회 교과서와 비교하였다. 명제의 연결은 강조, 상술, 예시, 나열, 추가, 차례, 대응, 인과, 조건, 목적 유형 등으로 분류하였고, 명제의 연결에 사용된 명제 관계 표지의 유형은 지시어나 접속어를 사용한 경우, 쉼표를 사용한 경우, 특정 언어 요소를 사용한 경우, 표지가 없는 경우 등으로 분류하였다. 6학년 과학 교과서는 텍스트에 사용된 명제의 연결 관계가 국어나 사회 교과서에 비해 적었지만, 3학년 과학 교과서는 텍스트에 사용된 명제의 연결 관계 빈도가 사회 교과서보다는 낮았고 국어 교과서보다는 높았다. 명제의 연결 유형에서는 차례, 나열, 조건, 인과 유형이 대부분을 차지하였고, 이러한 경향은 국어나 사회 교과서에서도 유사하게 나타났다. 3학년과 6학년 교과서 모두 명제를 연결할 때 특별한 표지가 없는 비율이 40% 이상이었고, 특히 차례와 인과 유형에서는 표지가 없는 비율이 상대적으로 높았다.

• 지능정보연구
• /
• 제2권2호
• /
• pp.1-15
• /
• 1996

전문가의 지식을 지식베이스화하여 의사결정지원시스템으로 사용하려는 노력이 증대하고 있다. 특히 투자의사결정과 같은 원인결과의 관계를 명확히 규정할 수 없는 복작한 영역에서 전문가의 지식베이스는 비전문가의 의사결정에 중요한 조언을 제공할 수 있다. 불확실한 지식을 지식베이스화하는 한 방법으로 퍼지프러덕션시스템이 널리 사용되고 있다. 주식시장과 같은 동태적인 시스템에서 어떤 정보의 중요성은 상황에 따라 변화하는데 이를 정태적인 프로덕션시스템의 규칙으로 지식베이스화하는 것은 불가능하다. 그러나 추론을 수행하는 과정에서 수행당시 각 정보의 중요도에 부응하는 가중치를 부여하여 평가함으로써 정태적인 지식베이스에 동태적인 실제시스템의 특성을 반영할 수 있다. 이는 가중치가 높은 정보에 해당하는 조건명제의 충족정도가 해당규칙의 전체평가결과에 더욱 중요하게 반영되게 하여 좀더 현실성 있는 추론 결과를 얻게 한다. AHP(Analytic Hierachy Process) 방법에 의하여 얻어진 정보의 상대적 중요도에 따른 가중치 (w)를 해당 정보와 조건명제의 합치정도(Degree of Match : DM)에 (DM)w 의 형식으로 적용함으로써 퍼지프러덕션시스템에서 정보의 중요도를 반영하여 프러덕션규칙을 평가하는 방법을 제시한다.

• 대한수학교육학회지:수학교육학연구
• /
• 제14권4호
• /
• pp.435-447
• /
• 2004

삼각형의 결정조건은 평면 논증기하와 삼각법의 학습에서 중요한 역할을 하고 있다 그런데, 삼각형의 결정조건에 대하여, 삼각형이 결정되기 위한 필요충분조건이 아니라는 등의 논란이 있어왔다. 본고에서는 '삼각형의 결정조건'의 해석에 있어서의 견해 차이를 가져오는 원인을 삼각형의 결정조건에 대한 명제를 하나로 볼 것인가, 세 개의 명제가 합쳐진 것으로 볼 것인가의 문제, '임의성'을 어디까지 미치는 것으로 볼 것인가의 문제, 삼각형의 결정조건의 역할을 무엇으로 볼 것인가의 문제로 나누어 분석하고, '삼각형의 결정조건'이 최소필수성과 일반화 가능성이라는 측면에서 합리적인 방식으로 진술되어있음을 밝혔다. 마지막으로, 삼각형의 결정조건을 탐색적으로 가르칠 수 있는 교육방안을 제시하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제30권3호
• /
• pp.393-418
• /
• 2016

명제를 반박하는 과정에서 생성되는 반례는 명제가 거짓이라는 추론의 타당성을 보이는 방법이자 수학교수 학습 측면에서도 수학적 사고력 향상에 중요한 역할을 기대하고 있다. 이에 본 연구에서는 현 교과서에서 다루어지고 있는 반례 활용에 대해 살펴보고, 학교 현장에서 교육학적 전략으로 활용할 수 있는 반례 활용 교육을 위한 자료를 개발하였다. 개발 자료는 거짓 명제 만들기와 참인명제 만들기로 구성하였고, 학생들에게 반례 활용 실험 수업을 통해 학생들의 반응을 살펴보았다. 연구 결과 정의적 영역의 측면에서는 명제에 관한 흥미를 높이고 자신감을 향상시키는 효과가 있었으며, 인지적 영역의 측면에서는 다양한 반례를 찾고 그 반례를 탐구하여 참인 명제를 만들어 보는 다양한 수학적 추론 활동을 통해 명제에 대한 유연한 사고와 함께 명제의 조건을 명확히 인지하면서 명제 개념을 학습하는데 도움이 되는 것으로 나타났다.

• 논리연구
• /
• 제17권1호
• /
• pp.109-136
• /
• 2014

모든 (의미론적) 반실재론자들은 모종의 검증원칙을 받아들인다. 그 원칙에는 반직관적인 강한 검증원칙과 상대적으로 그럴 듯한 약한 검증원칙의 두 가지 형태가 있다. 당연히 반실재론자들은 약한 검증원칙을 선호해왔는데, 이른바 지식가능성 역설은 사실 그 두 가지 형태의 검증원칙들이 동치라는 사실을 보여준다. 이 문제를 해결하기 위해서 에징튼은 새로운 형태의 검증원칙을 제시하지만, 그녀의 검증원칙 역시 그 나름의 문제점을 안고 있다. 이 난점을 극복하기 위해, 에징튼은 반사실적 조건명제를 이용한 지식모형을 제공한 바 있다. 이 논문에서는 이 지식모형이 심각한 문제점을 안고 있다고 논할 것이다. 익히 알다시피, 비결정론적인 미시적 현상의 세계에서는 극히 낮은 물리적 확률에도 불구하고 간신히 일어나는데 성공하는 사실들이 존재한다. 필자는 이런 사실들과 연관된 반사실적 조건명제는 인식적 논파자의 존재로 말미암아 알려질 수 없으며, 따라서 에징튼의 지식모형은 많은 경우 작동하지 않는다고 논할 것이다.

• 철학연구
• /
• 제86호
• /
• pp.61-85
• /
• 2009

이 논문의 목적은 장구성의 성선 개념이 호상학과 같이 선악을 초월해 있는 것이 아니라 선한 마음의 근거로서 내재되어있는 것임을 밝히는 데 있다. 기존연구자들에 의하면, 선악을 초월한 성의 의미는 도덕적 본성의 내재성을 부정하는 것이고, 이로 인해서 성이 외부조건에 따라서 선하게도 악하게도 될 수 있다는 것이다. 그리고 도덕적 본성의 실현은 성에 근거한 것이 아니라 심에 근거해서 이루어지는 것이다. 장구성은 고자의 성 개념을 비판함으로써 도덕적 본성의 내재성과 본성에 근거한 도덕적 실천을 논증해 나간다. 장구성의 성선 개념은 '성은 인의예지로서 내재된 도덕적 본성이다'라는 명제로 압축될 수 있다. 이 명제는 세 가지 조건을 내포하고 있다. 첫째, 성은 곧 인의예지이다. 둘째, 인의예지는 사단의 근거로서만 존재한다. 셋째, 사단은 그 근원인 도덕적 본성을 확인할 수 있는 단서이다. 첫 번째 조건은 '곧'이 '바로 그' 혹은 '나아가다' 중에 어떤 것으로 해석되느냐에 따라서 도덕적 본성의 내재성여부가 가려진다는 것이다. 전자의 의미라면, 성이 인의예지로서 내재된 도덕적 본성이다. 반면에 후자의 의미라면, 인의예지는 도덕적 실천이 이루어진 후에 명명되는 덕목이다. 두 번째 조건은 인의예지와 사단이 체용의 관계를 이루느냐의 여부를 묻는 것이다. 체용의 의미는 도덕적 본성[인의예지]에 근거해서만 드러나는 것이 선한 마음[사단]임을 나타내는 것이다. 세 번째 조건은 사단이 도덕적 본성을 확인하는 단서로 쓰였느냐의 여부를 묻는 것이다. 도덕적 본성이 내 마음에 내재되어있다면, 본성실현의 관건은 그 본성을 확인하는 데에 달려있다. 이때 선한 마음은 확충해서 완전하게 실현되어야 하는 것이 아니라 그 근원을 찾아가는 단서이다. 장구성은 이 세 가지 조건을 충족시킴으로써 맹자의 성선 개념이 도덕적 본성의 내재성임을 증명한다.

• 논리연구
• /
• 제11권2호
• /
• pp.93-125
• /
• 2008

원초적 확률주의자들은 명제가 경험을 표상한다는 것을 거부한다. 그러나 경험의 영향은 다른 믿음에 전파되고, 다른 사람과 소통될 수 있어야 하기 때문에 명제와 다른 방식으로 경험, 혹은 경험의 영향을 표상할 수 있는 대안을 찾아야 한다. 그들이 제안하는 경험의 영향을 표상하는 유력한 대안은 베이즈 인수이다. 왜냐하면 베이즈 인수는 사전확률의 영향을 제외하고 있으며, 교환성 역시 성립하기 때문이다. 본 논문은 베이즈 인수만이 그런 역할을 하는 것이 아니라고 주장한다. 즉 베이즈 인수의 대안으로 제시된 q(E|$N_p$) 역시 사전확률의 영향이 제외되어 있으며, 교환성 또한 성립한다는 것을 보인다. 그리고 더 나아가 q(E|$N_p$)는 베이즈 인수가 결여한 프래그마틱한 장점을 가진다고 주장한다.