• Korean Journal of Logic
• /
• v.9 no.1
• /
• pp.137-171
• /
• 2006

베나세라프의 수의 비고유성 논증은 플라톤주의에 대한 강력한 반박들 중의 하나다. 이에 대한 플라톤주의 진영에서의 대응은 현재까지 네 가지 정도가 있었다. 라이트와 헤일로 대표되는 신프레게주의, 샤피로의 ante rem 구조주의, 밸러거의 혈기왕성한 플라톤주의, 그리고 잴타의 원리화된 플라톤주의에서의 대응들이 그것들이다. 이 네 가지 대응들 중 잴타의 원리화된 플라톤주의는 진정한 플라톤주의로 간주되기 매우 힘들며, 신프레게주의는 수의 비고유성 문제해결에 심각한 어려움을 갖고 있다. 한편 수의 비고유성 문제를 어느 정도 극복하고 있는 듯이 보이는 샤피로와 밸러거의 견해들 중, 밸러거의 견해는 인식과 지칭의 문제와 관련하여 심각한 난관에 봉착해 있다. 따라서 현재까지 제시된 이론의 상태에서는 샤피로의 견해가 수의 비고유성 문제를 인식의 문제와 함께 가장 잘 해결하고 있는 것으로 평가될 수 있다.

• The Bulletin of The Korean Astronomical Society
• /
• v.36 no.1
• /
• pp.24.1-24.1
• /
• 2011

삼국사기, 증보문헌비고 등에 기록된 신라의 천문관측기록 142건을 분석하였다. 두드러진 특징으로는, 첨성대가 만들어지기 전에는 100년당 평균 7건의 기록을 남긴 반면 첨성대가 만들어진 후부터 신라가 멸망할 때까지는 100년당 평균 33건의 천문관측기록을 남겼다는 것이다. 또한 첨성대가 만들어지기 전의 기록들은 주로 일식과 혜성 등 체계적인 관측을 하지 않아도 알 수 있는 현상들이 대부분인데 반해 첨성대가 만들어진 이후부터 유성이나 행성 현상 등 전문적인 천문학자들에 의한 체계적인 관측이 필요한 현상의 기록이 더 많다는 특징도 있다. 특히 유성 기록의 경우 첨성대가 만들어진 이후부터는 나타나고 사라진 천구상의 위치를 구체적으로 기록하고 있다는 특징도 보인다. 이는 특정한 곳에서 매일 밤 체계적으로 천문관측이 이루어졌음을 의미한다. 게다가 647년, 673년, 710년, 768년에 관측된 유성은 떨어진 위치를 정확히 기록하고 있는데, 각각 월성, 황룡사와 월성 사이, 삼랑사 북쪽, 황룡사 남쪽이다. 이 위치들이 대략 타원 상에 있는 것으로 봐서 그 타원 영역 안에서 관측이 이루어졌을 것으로 추정된다. 그리고 그 타원 영역 안에 첨성대가 있다는 것은 첨성대에서 관측이 이루어졌을 가능성이 매우 높음을 시사한다. 특히 673년의 기록은 다른 유성 기록에 비해 떨어진 위치가 더 구체적인데, 이는 유성이 떨어진 위치와 비교적 가까운 곳에서 관측이 이루어졌을 것이라 짐작할 수 있다. 실제 첨성대의 위치가 그곳에 가깝다는 점에서 첨성대에서 이들 유성을 관측했을 거라는 강한 가능성을 제시하고 있다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2020.06a
• /
• pp.314-314
• /
• 2020

SWAT (Soil and Water Assessment Tool)은 미국 농무성 농업연구소에서 개발된 준분포형(semi-distributed) 수문 모형으로 복합토지이용유역에서 장기간에 걸친 다양한 종류의 토양, 토지이용 및 토지관리 상태의 변화에 따른 유역의 유출량, 유사량 및 영양물질의 영향을 예측하기 위해 개발되었다. SWAT은 기본적으로 다양한 매개변수에 대한 수동 보정 기능을 제공하고 있지만 매개변수 보정에 따른 모의결과의 불확실성을 수반하게 된다. 이러한 문제를 해결하기 위해 자동보정 기능을 제공하는 SWAT-CUP (Calibration and Uncertainty Program)이 개발되었다. SWAT-CUP에서 제공하는 매개변수의 최적화 과정에서 유사한 모의 결과를 산출하는 수천 개의 매개변수조합이 존재하기 때문에 보정기법의 선택에 따라 최종 매개변수의 값이 달라질 수 있다. 불확실성을 발생시키는 요인으로 (1) 매개변수의 선택, (2) 보정 기법, (3) 목적함수, (4) 매개변수의 초기 범위, (5) 모의(simulation)의 실행(run) 및 반복(iteration) 횟수, (6) 위치, 개수 등 보정 자료의 선택 등이 주로 지목된다. 이러한 요인으로 발생하는 불확실성은 SWAT 모형의 구조 및 입력 자료에서 기인하는 것으로, 사용자의 설정에 따라 크게 좌우된다. 본 연구에서는 SWAT 매개변수 보정 과정에서 발생할 수 있는 불확실성을 평가하고, 효율적인 보정 방안을 제시하기 위해 수행되었다. 낙동강 권역의 내성천 유역을 대상으로 SWAT 모형을 구축하였으며, 내성천 본류에 위치한 수위(유량) 관측소의 자료를 활용하여 검·보정을 수행하였다. 모의 결과는 유량의 크기 뿐 아니라 유량의 발생 시기, 유역의 반응 및 증가·감소 경향성을 함께 고려하여 평가하였다. 그 결과 모형 구조에 따른 불확실성의 전이과정을 정확하게 파악하는 것은 불가능하지만 SWAT 모형의 비고유성(non-uniqueness)에 의한 불확실성을 정량화하여 나타내었다.