• 논리연구
• /
• 제19권1호
• /
• pp.1-49
• /
• 2016

비트겐슈타인의 "논리-철학 논고"에서 '논리적 공간'은 중요한 여러 의문들을 불러일으킨다. 논리적 공간, 논리적 좌표들, 그리고 논리적 장소란 무엇인가? 그러한 비유의 요점은 무엇이며, 또 그것들이 정확하게 "논고"에서 가리키고 있는 것은 무엇인가? 또한 논리적 공간을 차지하는 것은 무엇인가? 그것은 사실들, 명제, 명제 기호, 상황, 모순인가 아니면 이와 관련된 "논고"의 언급들은 그저 화해할 수 없을 뿐인가? 논리적 공간을 둘러싼 논고의 수수께끼 같은 언급들은 정확하게 해명 가능한가? 게다가 "논고"에서 왜 비트겐슈타인은 논리적 공간이라는 개념을 필요로 했는가? 이를 통하여 그는 어떤 철학적 문제를 해결하고자 하였는가? 나는 이 글에서 이 물음들에 대해 대답하고자 한다. "논고"에서 논리적 공간은 뜻 있는 명제들의 체계이다. 또한 그것은 헤르츠의 배위 공간을 모델로 삼아 비트겐슈타인이 끌어들인 것이다. 비트겐슈타인의 근본 좌표들은 기하학적 좌표들과 어떤 점에서는 유사하다. 반면에 논리적 좌표들은 기하학적 좌표들과는 완전히 다르다. 그리하여 논리적 공간을 일종의 기하학적 공간으로 이해하려는 시도는 모두 옳지 않다.

• 한국지역지리학회지
• /
• 제14권5호
• /
• pp.480-491
• /
• 2008

세계화와 탈산업화 속에서 장소간 경쟁이 치열해짐에 따라, 많은 도시는 문화전략을 통해 도시재생과 경쟁력 강화를 꾀하고 있다. 이 글은 일본의 지방도시에서 전개되고 있는 문화전략에 주목하여 '지역다움'이 그 핵심 키워드가 되고 있음을 밝히고, 이에 담겨있는 논리를 밝히고자 하였다. 일본의 지방 도시는 고도경제성장 이후 사회적 가치관의 전환, 중앙정부의 일련의 문화정책, 지자체의 적극적인 문화전략 속에서 '일본인의 고향'으로 자리매김 되었다. 최근에는 분권개혁 속에서 지역다움'이 지방도시 문화전략의 강력한 담론으로 등장하고 있다. 지역다움은 표면적으로는 '지역의 개성' 또는 '실존적 장소성'이라는 논리로 정당화되는데, 그 이면에는 행위주체간 사회적 역학관계가 지역다움을 정의하는 주요 논리로 작동하고 있다. 결과적으로 일본에서 지역다움은 국가다움의 틀 속에 제한되는 문제가 나타난다. 지리학에서는 지방도시의 문화전략에서 지역다움이 구성되는 논리에 주목하여 이를 신중하게 접근할 필요가 있다.

• 한국정보통신학회논문지
• /
• 제9권2호
• /
• pp.445-453
• /
• 2005

관계형 데이터베이스의 설계 과정은 요구사항 분석, ER 모델을 이용한 개념적 설계, 논리적 설계, 그리고 물리적 설계 과정으로 구성된다. 논리적 설계과정은 ER 다이어그램으로 구성된 개념적 스키마를 관계형 스키마로 전환하여 정규화시키는 과정으로 이루어진다. 이런 기존의 설계 과정에서 요구사항의 분석 후 개념적 스키마를 도출하는 개념적 설계 과정이 명확치 않음으로 인해서, 실제 데이터베이스 설계현장에서 적용하기 어려운 점이 있다. 본 논문에서는 작업과정이 모호한 개념적 설계를 제거함으로 보다 체계적으로 데이터베이스 스키마를 설계할 수 있는 방법을 제안한다. 구조적 설계 방법을 이용하여 자료 흐름도를 작성하고, 자료흐름도의 자료저장소에 파악된 애트리뷰트를 이용하여 관계합성으로 관계형 스키마를 도출한다. 관계형 스키마를 정규화하고, 정규화된 테이블로부터 데이터의 의미를 파악하여 테이블 관계도를 작성함으로써 최종 논리적 스키마를 결정한다.

• 정보보호학회지
• /
• 제20권1호
• /
• pp.39-46
• /
• 2010

정보 통신의 발전으로 인하여 모든 장소에서 인터넷, 인트라넷을 적용하여 외부와의 업무 연속성을 활용하고 있다. 그러나 이러한 환경은 계속적인 기업 내의 정보 유출에 대한 위험으로 내부 정보보호를 위해업무 영역과 개인 영역으로 구분된 환경을 조성하고 있다. 이를 위한 망 분리는 IT기술의 발전으로 물리적인 망 분리에서 가상화를 접목한 논리적 망 분리가 제시되고 있다. 업무 환경의 보호를 위한 망 분리에 대한 다양한 방안과 그에 대한 장단점을 소개하도록 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.510-512
• /
• 1999

개발환경이 고정된 장소에서 분산된 장소로 점차 변함에 따라서 프로젝트나 프로그래밍에 관련된 주변인들 사이에 발생할 수 있는 정보 공유와 교환이 어려워지고 있다. 인터넷과 인트라넷의 급격한 증가로 인해 개발자들은 분산된 환경에서 작업을 수행하는 일이 많아지면서 기존의 HTML을 이용한 문서의 공유나 교환은 HTML의 제한점들로 인해 많은 부담이 된다. 본 논문에서는 분산환경에서 정보공유와 교환을 위해 HTML의 제한점들을 보안하여 확장성이 뛰어나고, 사용자 정의 태그를 지원하며, 문서의 논리적인 정보를 제공할 수 있는 XML을 이용하여 급격한 사용자 증가를 얻고 있는 Java 프로그램을 대상을 하는 정보 공유와 교환에 필요한 정보들을 각 모듈별로 제안하고, 제안된 정보에 대한 HML DTD를 설계한다.

• 논리연구
• /
• 제19권3호
• /
• pp.401-435
• /
• 2016

"비가 오고 있다"는 문장이 나타내는 명제는 때때로 <비가 오고 있다> 그대로가 될 수 있는가? 아니면, 항상 시간 및 장소를 포함하는 <시간 t에, 장소 p에서 비가 오고 있다>인가? 이에 대한 논쟁은 영원주의(eternalism)와 일시주의(temporalism) 사이의 논쟁으로 알려져 있으며, 고전적 명제주의와 이에 대한 반론이라는 더 넓은 범주 논쟁의 하부 논쟁에 해당한다. 이런 논쟁에 대해서 카펠렌과 호쏜(2009)은 고전적 명제주의[영원주의]의 입장에 서서, 그들 자신이 '대용어적 '그것'(anaphoric 'that')논증'이라고 부르는 비고전적 명제주의[일시주의] 측의 한 논증을 제시하고, 그에 대한 흥미로운 비판을 제기한다. 본 논문에서 나는 그들의 논의를 살펴보고 이에 대해서 재반박함으로써, 고전적 명제주의를 고수하는 것이 여전히 난관에 처해 있다는 점을 보이도록 노력할 것이다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 추계종합학술대회
• /
• pp.615-618
• /
• 2003

관계형 데이터베이스의 설계 과정은 요구사항 분석, ER 모델을 이용한 개념적 설계, 논리적 설계, 그리고 물리적 설계 과정으로 구성된다. 논리적 설계과정은 ER 다이어그램으로 구성된 개념적 스키마를 관계형 스키마로 전환하여 정규화시키는 과정으로 이루어진다. 이런 기존의 설계 과정에서 요구사항의 분석후 개념적 스키마를 도출하는 개념적 설계 과정이 명확치 않음으로 인해서, 실제 데이터베이스 설계현장에서 적용하기 어려운 점이 있다. 본 논문에서는 작업과정이 모호한 개념적 설계를 제거함으로 보다 체계적으로 데이터베이스 스키마를 설계할 수 있는 방법을 제안한다. 구조적 설계 방법을 이용하여 자료흐름도를 작성하고, 자료흐름도의 자료저장소에 파악된 애트리뷰트를 이용하여 관계합성으로 관계형 스키마를 도출한다. 관계형 스키마를 정규화하고, 정규화된 테이블로부터 데이터의 의미를 파악하여 테이블 관계도를 작성함으로써 최종 논리적 스키마를 결정한다.

• 한국콘텐츠학회논문지
• /
• 제13권7호
• /
• pp.158-167
• /
• 2013

시청이동 및 기기이동 이용 판결논리를 토대로 슬링박스를 이용한 TV프로그램의 장소이동 시청의 법적 성격을 공정이용 관점에서 분석하였다. 분석 결과, 소니 판결과 RIAA 판결에 기초하면 장소이동 시청은 비상업적인 사적 이용으로서 공정이용에 해당된다. 냅스터 판결을 적용시킬 경우, 장소이동 시청은 슬링박스 구매자에게만 저작물이 노출되므로 공정이용이지만, 장소이동 기능의 공유는 저작권침해 책임 논란의 소지가 크다. 반면 이용자의 편의성 도모는 저작권 취지에서 벗어난다는 이유로 시간 및 공간이동 기능의 공정이용을 부인한 소니 사건의 2심과 MP3.com 판결에 따르면, 장소이동 시청은 공정이용에 포함되지 않는다. 또한 방송콘텐츠에 미치는 경제적 효과는 플랫폼 확장 차원에서 긍정적이지만, 다양한 단말이 저작권자의 후속시장이 된다는 점에서 부정적이다. 장소이동 시청의 법적 쟁점은 결국 기술혁신과 저작권의 충돌에서 비롯되었다는 점에서 새로운 매체의 법적 책임 분석기준인 "혁신매체의 항변" 을 제안해 본다.

• 한국전자통신학회논문지
• /
• 제14권6호
• /
• pp.1129-1138
• /
• 2019

변전소는 변전설비들이 제한된 장소에 집중되어 구조적으로 복잡하기 때문에 송전선로나 배전선로 상에서 고장발생 시 고장파급효과를 최소화하기 위한 보호협조 시스템을 설계하기가 쉽지 않다. 본 연구에서는 변전소 전력공급 신뢰성에 핵심적인 영향을 미치는 모선 방식과 보호협조 기초논리를 분석하였으며 EMTP-RV 기반으로 변전소 내부 및 외부 고장을 정확하게 검출하기 위한 변전소 보호협조 논리를 모델링하였다. 변전소 보호협조 기본 논리로서 변전소 내부 고장 검출을 위한 비율차동 보호계전 논리와 외부고장을 추론하기 위한 과부하 보호계전 논리가 모델링되었다. 끝으로, EMTP-RV를 이용하여 개발된 보호협조 논리 모델링을 기반으로 154kV 변전소를 모델링한 후, 수개의 고장모의를 통해 EMTP-RV 모델링 결과의 유효성을 확인하였다.

• 정보기술과데이타베이스저널
• /
• 제5권1호
• /
• pp.13-37
• /
• 1998

인터넷 등의 컴퓨터 통신 네트워크의 발달로 인하여 분산된 정보자원의 공유를 통한 자원에 대한 재사용성의 필요성이 대두되었다. IRD(Information Resource Dictionary)는 조직 내에서 관련된 모든 정보에 대한 데이터가 논리적으로 중앙화된 정보저장소(repository)이다. IRD 내의 데이터는 다른 데이터를 기술하므로 이른바 메타 데이터라고 하기도 한다. IRD의 사전(dictionary) 요소는 정보자원의 종류, 정보자원의 의미, 정보자원의 논리적 구조, 정보자원의 위치, 그리고 정보자원의 접근방법 등을 기술한다. FIPS ANSI의 IRDS는 이항 관계를 이용하여 무결성 제약조건을 표현하므로 제약조건 규칙의 표현과 일반적인 추론 규칙의 표현이 제한되어 있으며, 다양한 형태의 무결성 제약조건의 표현과 IRD와 관련된 여러 정보의 도출 또는 추론 및 관리에 관한 사항은 IRD 응용 고유의 문제로 간주하여 언급하고 있지 않다. 한편, FIPS IRDS는 사용자가 SQL 및 IRD에 대한 전문적 지식이 없이는 사용자 질의 작성이 어려운 점등에 대한 문제점을 안고 있다. 본 논문은 FIPS IRDS의 기본모델에서 정보자원 표현, 정보자원들간의 관계, 정보자원의 관리 정보 구분을 명확히 하기 위해 정보자원 모델을 정보자원 표현요소와 정보자원 관리요소의 두 부류로 나누어 구분하고, 각 부류에 대한 자격 질의(competency question)를 통하여 유추된 요소들을 FIPS ANSI IRDS 기본 모델의 스키마 기술 레벨과 스키마 레벨에 첨가함으로써 그 기본 모델을 확장한다. 그리고, FIPS ANSI IRDS가 제공하는 IRD 기술과 관리 기능을 그대로 포함하면서 앞에서 문제점으로 지적된 제약조건 표현과 추론규칙 표현을 위하여 확장된 기본 모델을 중심으로 각 레벨의 구성 요소들의 형식적 의미(formal semantics)와 레벨 내 혹은 레벨 구성요소들간의 관계성(relationship), 그리고 제약조건의 표현과 질의 추론 규칙들을 식별하여 FOPL(First Order Predicate Logic)로 표현한다. 또한, 본 논문은 FOPL로 표현된 predicate들과 규칙들을 구현하기 위하여 Prolog로 변환하기 위한 이론적 방법론을 제시하고 정보자원 관리를 위한 기본 함수들과 스키마 진화(schema evolution)를 위한 방법론을 제안한다.