• 논리연구
• /
• 제22권1호
• /
• pp.43-86
• /
• 2019

1차 이론인 ZFC는 뢰벤하임-스콜렘 정리(이하 'LST')에 의해 그것이 일관적이라면(모형($M_1$)이 존재한다면) 그것은 이행적인 열거가능한 모형($M_2$)을 갖는다. 이러한 사실에 의해 '스콜렘 역설'이라 불리는 역설적 상황이 발생한다. 스콜렘의 전형적인 해소 방식에 따라, 이것은 어렵지 않게 해소될 수 있지만 그 과정에서 우리는 집합 개념에 대한 모형 상대성을 받아들여야 한다. 이것은 예를 들어 는 집합론적 개념의 의미가 모형에 따라 다르게 주어지는 상황을 발생시킨다. 문제는 다음이다. 이 경우에 PN이 열거불가능하다는 사실을 나타내는 ZFC의 문장 '¬denu(PN)'이 그 두 모형에서, 진리 값의 측면에서, 똑같이 참이 되기 때문에 ZFC에서는 <¬denu> 개념에 대한 차이를 구분할 수 없는 구분불가능성 문제가 발생한다. 혹은 어떤 것이 의도하는 의미인지 결정할 수 없는 미결정성 문제가 발생한다. 나는 먼저, 이러한 문제가 어떤 성격의 문제인지에 대한 구체적인 분석을 제시할 것이다. 그리고 이러한 문제에 대해서 ZFC를 지지하는 입장에서 할 수 있는 세 가지 방식의 대답을 제시할 것이다. 첫 째로, ZFC에서 모형론을 형식화할 수 있음을 이용하여 모형 상대적으로 다르게 주어질 수 있는 <¬denu> 개념이 ZFC에서도 '거의' 구분될 수 있다는 논변을 제시할 것이다. 두 번째로, <¬denu> 개념의 상대성(구분불가능성)에서 핵심적인 역할을 하는 양화사에 대한 의미론적 고려를 통해 <¬denu>이 본질적으로 혹은 자연스럽게 맥락 의존적으로 의미가 변할 수 있는 것임을 보일 것이다. 그래서 <¬denu> 개념의 모형 상대적인 의미 변화는 ZFC가 책임을 져야할 문제가 아니라 언어 외적인 자연스러운 현상이라는 논증을 제시할 것이다. 세 번째로, 문제의 출발점이었던 비표준 모형이 사실은 <¬denu> 개념의 구조적 내용을 예화 할 수 있어서 그것이 단지 문제적 요소가 아니라 의미론적으로 중요한 역할을 할 수 있음을 논증할 것이다. 이러한 논변들을 통해서 나는 비표준 모형과 관련하여 ZFC에 대해서 발생하는 것처럼 보이는 위의 구분불가능성(혹은 미결정성) 문제가 심각한 것이 아님을 논증할 것이다.

• 화약ㆍ발파
• /
• 제21권1호
• /
• pp.85-94
• /
• 2003

발파후에 2차연소 또는 폭발(이하, 2차연소라 한다. )이 일어났다는 사실은 폭약이 폭발후에 어떤 가연성가스가 발생하고 그 가연성가스가 잔존하는 폭발열 또는 기타의 점화원에 의해 연소되었음을 의미한다. 폭약이 폭발하였을 때, 발생 가능한 가연성물질은 유리탄소, 일산화탄소, 수소 등으로 추정할 수 있는데 실험결과에서는 가연성물질의 주성분이 수소인 것으로 나타났다. 본 연구에서는 에멀존계 함수폭약이 산소평형, 알루미늄함량, 알루미늄형태와 크기 그리고 포장지의 두께에 따라 수소가 발생되는 양을 가스크로마토그라피를 이용하여 측정하였다. 상기의 열거한 요인들은 모두 수소발생량과 관계가 있는데, 이중에서도 가장 중요한 요인은 산소평형과 알루미늄의 함량인 것으로 나타났다. 한 예로 알루미늄이 15%가 포함되고 산소평형이 -10인 에멀존계 함수폭약은 폭발후에 19.4%의 수소를 함유하고 있는 후가스를 발생시켰으며 이 가스를 포집하여 공기중에 방출시키면서 성냥불을 가까이 하였더니 연소가 되었다. 따라서 에너지를 높이기 위하여 알루미늄의 함량을 높이고 산소평형을 지나치게 마이너스로 설계한다면, 2차연소는 언제든지 발생할 가능성이 있다고 판단된다. 알루미늄의 함량을 가능한 적게, 산소평형을 가능한 0에 가깝게 설계해야 만이 2차연소 현상을 방지할 수 있을 것이며 ㄸ한 최적의 설계뿐만이 아니라 정확한 제조와 품질검사도 2차연소 현상을 방지하는데 중요한 몫을 할 것으로 판단된다.