• 논리연구
• /
• 제21권1호
• /
• pp.1-37
• /
• 2018

잘 알려져 있듯이, 비트겐슈타인은 "논리-철학 논고"에서 러셀의 유형 이론을 명시적으로 비판한다. 그렇다면 러셀의 유형 이론에 대한 비트겐슈타인의 비판의 요점이란 무엇인가? 이 물음에 대답하기 위하여 나는 철학적인 측면과 논리학적인 측면에서 유형 이론을 살펴보고자 한다. "논리-철학 논고"에서 비트겐슈타인의 논리적 구문론은 말하자면 러셀의 유형 이론에 대한 대안이다. 논리적 구문론은 "논리-철학 논고"의 표기법의 기호 규칙들이며 특히 형성 규칙들이다. 비트겐슈타인의 말하기-보이기 구분은 논리적 구문론의 가장 근본적인 근거이다. 비트겐슈타인은 러셀의 유형 이론에 대한 비판과 함께 논리적 문법의 임의성(자의성)과 선험성으로 나아간다. 유형 이론에 대한 이러한 비트겐슈타인의 비판은 결국 프레게와 러셀의 논리학관에 대한 도전이다. 논리학은 세계에 속하는 일반적인 진리나 특성들을 다루지 않으며, 논리학을 이루는 동어반복은 아무것도 말하지 않는다.

• 디자인학연구
• /
• 제19권4호
• /
• pp.205-208
• /
• 2006

본 작품은 jitter의 multiplex기능을 이용한 디지털 아트작품으로 두 가지 영상의 cross concept를 이용한 인터렉티브 영상 설치 작품이다. 평면스크린이 아닌 형광등을 이용하여 특수 제작한 스크린을 통해, 형광등에 비춰지는 영상과 그 틈새로 벽에 비춰지는 두 가지 영상을 보여주게 된다. 실시간으로 카메라에 의해 받아들여진 관객의 모습과 제작해 놓은 두 가지 영상은 jitter의 multiplex기능에 의한 합성과정을 거쳐 형광등 스크린에만, 또는 벽에만 비춰지게 된다. 한 영상이지만 관객의 모습은 벽과 형광등을 오가며 관객을 혼란에 빠트리게 된다. 제작한 영상과 실시간으로 입력되는 관객의 두 가지 모습은 상반, 또는 병치의 느낌으로 관객에게 다가가게 되며 그것은 인간의 이중성을 표현하게 되는 동시에 물리적인 존재공간과 우리가 느끼는 시각적 공간을 구분하여 서로 다른 지배 문법이 있다는 것을 표현하게 된다. 퍼스펙티브와 환경에 의해 왜곡되는 영상재현의 과정을 보여주기 위해 형광등으로 제작한 스크린과 cross concept의 영상을 제작 사용하였다.

• 철학연구
• /
• 제117권
• /
• pp.249-273
• /
• 2011

큰 틀에서 이 글은 철학적 성찰이 비쥬얼로 무대화되는 극장(劇場 movie theater)과 영화적 상상력이 개념으로 결정(結晶)되는 극장(極場 extreme field)에 관한 담론이다. 들뢰즈와 홍상수는 이 극장의 환유들이다. 이 환유들은 서로 긴밀하게 내통한다. 홍상수의 영화는 들뢰즈의 경험론을 이미지로 전시해주고, 들뢰즈의 유목론은 홍상수의 카메라를 이론으로 갈무리한다. 들뢰즈의 어휘로 말하자면 <돼지가 우물에 빠진 날>에서 <하하하>에 이르는 10편의 필모그래피를 채운 홍상수의 작품들은 어떤 국가장치로도 포획될 수 없는 전쟁기계들이다. 그것들은 영화관 내부에서만이 아니라 외부에까지 '되기'(becomming)의 생성을 확장해나간다. 우리의 관심사는 그 작품들의 '되기'를 계열선 위에 배치하는 게 아니라 탈주선 위로 방면하는 것이다. 차이, 되기, 놀기 등으로 유쾌하고 발랄하게 전개되는 홍상수의 영상들이 기존의 영화문법에 보내는 통렬한 야유를 들뢰즈 유목론의 맥락에서 조명해본다.

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.339-352
• /
• 2009

유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.