• 논리연구
• /
• 제5권1호
• /
• pp.81-117
• /
• 2001

이 글은 수학적 플라톤주의를 포기하더라도 프레게에게 열려 있었던 것으로 보이는 논리 주의 프로그램의 한 가능성, 즉 수를 고차 개념으로 이해하는 논리주의 프로그램을 그가 왜 선택하지 않았는가 하는 물음에 대답하는 데 목적이 있다. 이를 위해 나는 수를 고차 개념으로 이해할 때 산수의 기초 개념들을 만족스럽게 정의할 수 있는지, 그런 정의들로부터 프레게의 기수 이론의 공리들을 고단계 논리학 내에서 모두 증명할 수 있는지를 차례대로 검토한다. 다음으로 나는 그 검토 결과에 근거할 때 대상들이 무한히 많이 있다는 가정에 의존하지 않는 한 서로 다른 유한 기수들이 무한히 많이 있다는 것을 보증할 수 없다는 점을 논증할 것이고, 바로 그 점이 프레게가 비플라톤주의적 논리 주의를 받아들일 수 없었던 주요 이유였음을 논증할 것이다.

• Animal Systematics, Evolution and Diversity
• /
• 제8권2호
• /
• pp.325-330
• /
• 1992

1984년 4월에 강원도 일원의 경포호, 송지호, 영랑호 등의 기수역에서 채집된 윤형동물을 동정한 결과 Notholca liepetterseni, Keratella cruciformis eichwaldi, Dipleuchlanis propatula propatula의 2과 1종, 2아종이 확인되어 이들을 모두 재기재하였고 아울러 도판을 작성하였다. 이중 Notholca liepetterseni는 한국 미기록종이다.

• 한국재료학회:학술대회논문집
• /
• 한국재료학회 1994년도 추계 학술발표 강연 및 논문 개요집
• /
• pp.33-33
• /
• 1994

• Korean Journal of Mathematics
• /
• 제2권
• /
• pp.19-33
• /
• 1994

• Korean Journal of Mathematics
• /
• 제6권2호
• /
• pp.303-311
• /
• 1998

We study the conformally flat unit vector bundle $E_1$ of constant scalar curvature for the bundle ${\pi}:E^{n+2}{\rightarrow}M^n$ over an Einstein manifold M.

• Korean Journal of Mathematics
• /
• 제6권2호
• /
• pp.319-322
• /
• 1998

For an M-group G, it is shown that a normal subgroup of G whose order is coprime to its index is an M-group.

• Korean Journal of Mathematics
• /
• 제9권2호
• /
• pp.99-104
• /
• 2001

We give the characterization of left(right) semi-regular $po$-semigroups and $Ve$-semigroups.

• Korean Journal of Mathematics
• /
• 제9권2호
• /
• pp.105-114
• /
• 2001

In this paper we introduce the concepts of generalized bounded variation with respect to a strictly increasing function and Denjoy-Stieltjes integral of real-valued functions and then prove some properties of them.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 추계학술대회 논문요약집
• /
• pp.259-259
• /
• 2003

• 한국어업기술학회:학술대회논문집
• /
• 한국어업기술학회 2010년도 춘계총회 및 학술발표대회
• /
• pp.203-206
• /
• 2010