• 한국수학사학회지
• /
• 제25권4호
• /
• pp.21-36
• /
• 2012

모형론적 귀결 개념은 타르스키의 1936년 논문에 기원을 두고 있다고 보통 말한다. 하지만 에치멘디는 이를 부정한다. 이 논문은 1936년 논문에 나와 있는 타르스키의 정의가 과연 표준적인 모형론적 귀결 개념에서 받아들이는 것과는 다른 고정 도메인 견해에 기반을 둔 것인지 아니면 그것과 같은 가변 도메인 견해에 기반을 둔 것인지를 둘러싸고 전개된 논란을 다룬다.

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

셔어는 타르스키의 논리적 귀결 정의가 개념적으로나 외연적으로 적합한 설명이라고 믿는다. 셔어는 모스토프스키의 동형 구조 내의 불변적인 것으로서 일반화된 양화사 개념, 그리고 자신의 모형 이론에 근거해서 그 믿음을 정당화하려 하였다. 이 글에서 나는 타르스키의 정의를 정당화하려는 셔어의 시도는 반만 성공한 것임을 보이려 한다. 나는 논리적인 것이 동형 구조 내의 불변적인 것이라는 셔어의 생각은 논리적 귀결의 형식적 특징을 보이기에 충분하다는 점을 인정한다. 반면 나는 용어의 의미에 대한 셔어의 생각은 외연이 빈 술어의 문제를 제대로 다루기에는 아주 부적합해서, 결국 셔어는 논리적으로 필연적인 진리들과 그 밖의 진리들을 구별하는 데 실패하였다고 생각한다.

• 기록학연구
• /
• 제16호
• /
• pp.39-96
• /
• 2007

기록관리 환경이 점차 자동화되고 효율성과 편리성을 보장해 주는 여러 가지 어플리케이션이 개발 보급됨으로써 기록은 사이버 공간에서도 생산, 관리될 수 있게 되었다. 이러한 상황에서 기록의 전자적 관리와 이관조항이 담긴 개정 법령이 시행된 점은 새로운 개념의 패러다임을 이행하려는 적절한 조치였다. 그러나 개정된 "공공기록물관리에관한법률"(이하 기록관리법)에서의 전자이관은 일반적인 개념만을 제시한 것으로 구체적인 실행방안과 절차가 조속히 마련되어야 한다. 기록을 이관한다는 것은 가치 있는 기록을 먼 훗날에도 이용하기 위해 수행하는 기록관리 과정의 일부이다. 따라서 기록을 생산한 생산자와 이관 받을 기관이 상호 협력하여 기록 자체와 그 맥락을 온전히 유지하면서 기준과 원칙에 따라 장기보존시설로 옮겨 보존해야 한다. 결국, 이관의 문제는 일정한 절차 속에서 있는 그대로의 기록을 신뢰할 수 있도록 아카이브로 옮겨서 장기보존 가능하도록 하는 것으로 귀결된다. 이를 위해, 모든 디지털 객체의 장기보존을 위한 표준인 OAIS 참조모형의 기능모델과 미항공우주국의 우주데이터 시스템 위원회(CCSDS : Consultative committee for Space Data Systems)에서 개발한 '생산자-아카이브 인터페이스 표준방법론(Producer-Archive Interface Methodology Abstract Standard-CCSDS Blue Book)'을 연구 분석하여 기록물관리기관간의 전자기록 이관을 위한 근거를 마련하였다. 또한 해외의 다양한 이관사례를 통해 표준과 실제의 갭을 최소화하고자 하였다. 결론적으로 '이관준비 ${\rightarrow}$ 전송(접수) ${\rightarrow}$ 검증 ${\rightarrow}$ 보존처리 ${\rightarrow}$ 저장소 저장'이라는 5단계와 단계별 하위절차로 구성되는 이관절차모형을 제안하였으며, 한국의 전자기록 이관구조를 '(특수)기록관에서 영구기록물관리기관으로의 이관'과 '민간부문에서 기록물관리기관으로의 이관'으로 구분하고 설계된 표준절차모형을 적용함으로써 실행 가능성을 입증해 보았다.