• 논리연구
• /
• 제6권2호
• /
• pp.107-134
• /
• 2003

지표성은 두 가지 다른 철학적 관심에서 연구되어왔다. 하나는 지표어가 어떤 방식으로 그것이 지시하는 바를 지시하는가를 이해하는 의미론적 관심이고, 다른 하나는 지표어가 인식체계에서 담당하는 역할을 이해하는 행위 이론적 관심이다. 페리가 여러 문헌을 통해서 관심을 가져왔던 문제는 이 두 가지 철학적 관심을 모두 만족시키는 통일된 이론을 제시하는 것이었다고 생각된다. 그러나 이 두 관심사가 서로 구별된다는 점이 충분히 고려되지 않았으며, 왜 하나의 이론에서 함께 다루어져야 하는가에 대한 논변도 제시되지 않았다. 지표성 문제에 대한 페리의 해결책은 의미론적인 것이고 는 이를 통해 행위이론의 문제도 함께 해결된다고 주장한다. 그의 의미론적 해결책은 여러 가지로 변화되어 왔지만, 필자는 이 모두 만족스럽지 못하다는 것을 보이고자 한다. 페리의 이론이 가지고 있는 어려움의 근원은 필자가 '의미론적 토대주의'라고 부르는 입장을 페리가 고수하고 있기 때문이다. 지표성 문제에 대한 올바른 접근은 의미론적 토대주의를 처음부터 포기하는 것이라는 것이 필자의 제안이다.

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

본 논문에서는 다양한 객체를 포함한 다단 문서 영상을 원본 문서와 거의 유사한 형태의 HTML 문서로 변환할 수 있는 방법을 제안한다. 또한 논문이나 매뉴얼, 책의 한 단원 등 여러장의 입력 문서의 경우, 문서의 논리적인 구조 분석을 수행하고 장이나 절 등의 섹션 제목들을 계층화하여 다단 문서의 변환과 동시에 구조화된 목차 페이지도 함께 자동 생성하는 방법을 제안한다. 제안된 다단 문서 변환 알고리즘을 잡지, 신문, 광고지, 매뉴얼 등, 비정형화된 문서에 적용한 결과, 원본 문서의 형태와 구조에 큰 변함없이 유사하게 변환되었고, 논리적인 구조 분석 및 섹션 제목들의 계층화 작업 또한 정확히 수행되어 구조화된 목차 페이지의 자동 생성이 가능하였다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 2004년도 춘계학술대회
• /
• pp.261-264
• /
• 2004

최근 클라이언트/서버 모델이 웹 기반의 컴퓨팅 환경으로 변화함에 따라 웹 서비스 모델로 발전해왔다. 웹 서비스는 인터넷을 기반으로 표준화된 기술을 사용하여 서비스간에 상호작용을 함으로써, 플랫폼과 구현 언어에 대한 의존성을 제거 할 수 있다. 따라서, 다양한 환경에서 웹 서비스들이 개발되거나 개발 중에 있다. 기업에서는 표준화된 상호작용을 사용하여 작은 단위의 웹 서비스를 큰 단위의 웹 서비스로 통합하여 사용과 개발이 용이한 비즈니스 서비스를 제공하기 위한 통합 방법의 필요성이 증가하고 있다. 웹 서비스의 위상은 통합을 위한 메타 모델의 기능과 웹 서비스의 다양한 구현 형태로 이루어져 있다. 본 논문에서는 서비스 지향 아키텍처 상에서 공급자 측면에서 제공되는 웹 서비스를 통합하기 위한 위상을 제시하고자 한다. 이를 위해서, 웹 서비스를 논리적으로 계층화하여 정의하고, 논리적 계층 모델을 기반으로 웹 서비스 메타 모델을 생성한다. 위상의 다양한 구성은 메타 모델을 기반으로 제시된다. 마지막으로 웹 서비스 통합에 대한 사례연구를 제시한다.

• 논리연구
• /
• 제9권2호
• /
• pp.59-98
• /
• 2006

유아론에 대한 비트겐슈타인의 철학적 투쟁을 조명하는 것은 그의 전체 철학의 핵심을 조명하는 것에 상당한다. 요컨대 유아론의 문제는 언어놀이, 놀이와 언어의 유사성, 가족 유사성, 규칙 따르기, 규칙 따르기의 역설, 사적 언어 논변, 뜻함, 봄과 -로서 봄, 모순, 논리적 필연성, 함 또는 실천과 같은 후기 비트겐슈타인의 핵심 개념이나 주제와 얽혀 있다. 이를 보이기 위해서 이 글에서는 유아론의 개념, 유아론에 대한 청년 비트겐슈타인의 생각, 후기 비트겐슈타인의 진단을 논의하게 될 것이다. 이러한 과정에서 우리는 비트겐슈타인이 유아론(넓게는 데카르트주의, 영국경험론, 현상학)에서 실천으로 나아가는 패러다임의 전환을 수행하고 있다는 것을 확인하게 될 것이다. 이러한 논의가 진행되면 우리는 유아론에 대한 후기 비트겐슈타인의 비판과 '사적 언어'가 어떻게 연결되는지 자연스럽게 문제 삼게 된다. 많은 학자들이 주장하는 바에 따르면, 비트겐슈타인은 사적 언어가 불가능하다고 간주했다. 그러나 나는 이러한 주장은 비트겐슈타인이 처한 패러다임의 전환 상황을 간과하는 처사로서 설득력 없는 것임을 보이고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.376-378
• /
• 2004

최근 클라이언트/서버 모델이 웹 기반의 컴퓨팅 환경으로 변화함에 딸라 웹 서비스 모델로 발전해왔다. 웹 서비스는 인터넷을 기반으로 표준화된 기술을 사용하여 서비스간에 상호작용을 함으로써. 플랫폼과 구현 언어에 대한 의존성을 제거 할 수 있다. 따라서, 다양한 환경에서 웹 서비스들이 개발되거나 개발 중에 있다. 기업에서는 표준화된 상호작용을 사용하여 작은 단위의 웹 서비스를 큰 단위의 렘 서비스로 통합하여 사용과 개발이 용이한 비즈니스 서비스를 제공하기 위한 통할 방법의 필요성이 증가하고 있다. 웹 서비스의 위상은 통합을 위한 메타 모델의 기능과 웹 서비스의 다양한 구현 형태로 이루어져 있다. 본 논문에서는 서비스 지향 아키텍처 상에서 공급자 측면에서 제공되는 웹 서비스를 통합하기 위한 위상을 제시하고자 한다. 이를 위해서, 웹 서비스를 논리적으로 계층화하여 정의하고, 논리적 계층 모델을 기반으로 웹 서비스 메타 모델을 생성한다. 위상의 다양한 구성은 메타 모델을 기반으로 제시된다. 마지막으로 웹 서비스 통합에 대한 사례연구를 제시한다.

• 한국재료학회:학술대회논문집
• /
• 한국재료학회 2011년도 춘계학술발표대회
• /
• pp.13-13
• /
• 2011

1. 연구계획서 작성시 필수적으로 기술하여야 할 항목 - 연구의 중요성 - 깊이가 있는 명확한 가정 - 연구목표의 달성 개연성: 양질의 선행연구 결과 및 그림 데이터 - 논리적 전개 및 실험 설계: 가정을 뒷받침할 만한 실험결과 - 주어진 기간 내에 제안한 것들을 달성할 수 있는지 여부 : 지나친 욕심이 젊은 과학자가 나쁜 평가를 받을 수 있는 가장 일반적인 실수 2. 연구계획서를 작성하기 전에.. - 정말 연구계획서를 제출할 적기인가? 너무 이른 것이 아닌지? - 타인에 의해 이미 실험된 것이 아닌지? - 충분한 시간을 두고 작성 ? 최소 2~3개월 전 연구계획서를 미리 작성한 후 동료 또는 선배에게 초안을 보여주고 검토를 받는 것이 매우 중요함: 제출하기 전에 혹독한 비판을 감수 3. 연구목표 - 흥미롭고 중요한 문제(issue)를 적절히 강조하고 있는지? - 가정에 근거하고 있는지? - 목표가 win-win 인지?: 즉, 연구성과가 현재 통용되고 있는 일반적인 가정들과 맥을 같이 하는지? 4. 연구배경 - 확실하고 체계적이어야 함 : 부제(subtitle) 사용. 주제의 중요성이 분명하게 시각적으로 드러나야 함. - 연구결과 파생될 기대효과를 현재와 비교하여 분명한 차이점을 기술 - 연구계획서에서 참고한 것들이 기존지식을 갱신한 것이고 최근 연구동향을 반영한 것이라는 것을 분명히 하여야 함. 5. 예비결과 - 과거 연구성과를 가능한한 많이 기술. ? 현재의 연구계획을 도출하게 된 근거를 과거의 연구와 연관시켜 강조하여야 함. ? 최소한 연구계획서에 기술된 연구방법의 개연성을 기술하여야 함. - 성과가 높지 않은 예비결과는 제시않는 것이 효율적임 - 연구계획서에 제시된 연구방법이 선험 연구에 근거한 것임을 강조하여야 함 ? 만일 전문성이나 선험연구결과가 없을 때는, 경험있고 영향력 있는 조언자나 공동연구자를 열거하고, 그들의 공동연구 동의서를 첨부하여야 함. ? 특히, 공동연구자들이 어떤 부분에서 협력할 것인지 구체적으로 기술하여야 함. - 필요한 부분에서 적절하게 구체적 수치와 raw data를 제시

• 논리연구
• /
• 제11권1호
• /
• pp.1-31
• /
• 2008

최근 가장 영향력 있는 수학적 실재론과 관련된 논변은 버지스와 로젠의 딜레마이다. 일종의 반-유명론적 논증인 버지스-로젠 딜레마는 유명론자들이 취할 수 있는 제한된 선택지를 제시한 후 그 어느 선택지도 적절하지 못함을 주장하는 것이다. 논자 역시 버지스-로젠 딜레마가 성립한다면 유명론이 가망 없는 전략임에 동의한다. 그러나 논자는 그들의 논의가 유명론 대 실재론이라는 대립구도 대신, 유명론 대 수학 및 과학이라는 잘못된 대립구도를 전제하고 있음을 본 논문을 통해 밝히고자 한다. 간략히 말해, 논자는 버지스-로젠 딜레마는 수학자 및 과학자들의 주장이 글자 그대로 실재론을 함의함을 전제하는데, 이것은 실제 수학 및 과학 활동과 일치하지 않을뿐더러, 이를 입증하기 위해서는 철학적 가정이 개입해야 함을 밝히고, 그 과정에서 유명론의 가능성을 모색하고자 한다. 이러한 논자의 전략은 유명론 진영 안의 특정한 입장을 지지하는 것은 아니다. 버지스-로젠 딜레마는 특정한 유명론의 문제라기보다는 유명론 자체의 가능성과 관련된 것이기 때문이다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(1)
• /
• pp.303-308
• /
• 1998

SMART 계측제어계통 측정신호의 신뢰성을 높이기 위한 실시간 신호검증알고리듬을 개발하였다. 개발된 알고리듬은 선행고장검출행렬, 아날로그 신호용 다중성 기법, 접촉신호용 논리표 알고리듬, 주파수 신호용 다중성 기법 그리고 아날로그 센서 경증을 위한 통계적 모듈의 5개 모듈로 구성되어 있다. 선행고장검출행렬은 측정 신호 중에서 고장의 가능성이 있는 신호를 추출하여 선정된 신호만을 적절한 알고리듬으로 검증하도록 함으로써 전체적인 수행시간을 감소시킨다. 아날로그 신호검증 모듈은 아날로그 측정신호에 대한 물리적/해석적 다중성에 입각하여 고장신호의 크기, 위치를 검출하며, 접촉신호 검증 모듈은 접촉신호들간의 논리값을 비교하여 발생 불가능한 논리값을 가지는 신호를 고장신호로 검출한다. 주파수신호는 아날로그 신호와 유사한 기법을 구현하였으며, 통계적 모듈은 아날로그 센서 자체의 물리적 건전성을 검사하는 모듈이다. 현재 SMART의 설계가 확정되어 있지 않으므로 개발된 신호검증알고리듬을 시험하기 위해서 여러 주요 공정변수가 표현되는 상용 원자로의 냉각재계통을 대상으로 검증 알고리듬을 구현하였으며, 운전모사기로 모사된 신호를 이용하여 개발된 신호검증알고리듬을 시험하였다. 시험결과 각 모듈별로 적절히 고장을 검출함을 보였다.

• 논리연구
• /
• 제19권2호
• /
• pp.145-184
• /
• 2016

윌리엄슨(Williamson)은 간극이론과 타르스키 T-도식이 양립불가능함을 보였다. 필자는 이글에서 이러한 윌리엄슨의 주장을 받아들인다고 하더라도, 간극이론이 'p⊨T

그리고 T

⊨p'와는 양립가능함을 보일 것이다. 그리고 이것은 곧 간극이론이 진리에 대한 최소한의 직관을 포착할 수 있음을 보이는 것이다. 그래서 필자의 논의는 간극이론의 논리적 공간을 'p⊨T

그리고 T

⊨p'와 '이가율의 부정'의 양립가능성을 통해 확보하는 것이라고 할 수 있다. 이를 위해 필자는 간극이론을 수용할 경우 함께 수용해야할 귀결개념을 제시하고, 아래 두 주장이 간극이론과 진리에 대한 최소 직관의 논리적 귀결임을 보일 것이다. 1) not-T

와 T는 동치가 아니다. 2) 'p⊨T

'는 성립하지만 'not-T

⊨not-p'는 성립하지 않는다.

• 한국도서관정보학회지
• /
• 제53권3호
• /
• pp.25-46
• /
• 2022

본고에서는 레코드 컨티뉴엄에서의 평가 논리를 분석하였다. 전자기록 환경에서의 평가가 지닌 보다 근원적인 함의를 파악하기 위해서는 레코드 컨티뉴엄에 내재되어 있는 평가 논리에 대한 분석이 필수적으로 요구된다. 레코드 컨티뉴엄은 기존의 라이프사이클을 기반으로 한 평가 논리 및 여기서 연유한 양분화된 기록관리체제에 대한 반론에서 출발한 이론체계라는 점에서, 전자기록 환경에서의 평가에 관한 이론적 기반을 제공해 줄 수 있다. 특히 평가는 기록이 지닌 의미를 모색하는 합목적적 행위임을 감안할 때, 레코드 컨티뉴엄에서 의도한 기록의 개념 및 의미에 대한 재해석은 이전과는 다른 평가상의 논리들을 도출할 수 있게 해준다. 이에 본고에서는 라이프사이클 평가 논리와의 비교 및 레코드 컨티뉴엄에서 제시한 새로운 기록에 대한 인식을 기반으로, 레코드 컨티뉴엄 평가 논리상의 핵심 요소를 세 가지 측면에 초점을 맞추어 분석하였다.