• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.1-37
• /
• 2018

As is well known, Wittgenstein criticizes Russell's theory of types explicitly in the Tractatus. What, then, is the point of Wittgenstein's criticism of Russell's theory of types? In order to answer this question I will consider the theory of types on its philosophical aspect and its logical aspect. Roughly speaking, in the Tractatus Wittgenstein's logical syntax is the alternative of Russell's theory of types. Logical syntax is the sign rules, in particular, formation rules of notation of the Tractatus. Wittgenstein's distinction of saying-showing is the most fundamental ground of logical syntax. Wittgenstein makes a step forward with his criticism of Russell's theory of types to the view that logical grammar is arbitrary and a priori. His criticism of Russell's theory of types is after all the challenge against Frege-Russell's conception of logic. Logic is not concerned with general truth or features of the world. Tautologies which consist of logic say nothing.

• Archives of design research
• /
• v.19 no.4 s.66
• /
• pp.205-208
• /
• 2006

This work is a interactive digital art work which used the multiplex of jitter. It is an work which used a cross concept of two images. This work shows two kinds of images. One is on the wall through the gap of fluorescent lamp screen, and the other is on the fluorescent lamp screen. Two images are intercepted and comes out to the length as the multiplex of the jitter. The appearance of the spectator be recognized on the fluorescent lamp screen or on the wall, by two branch image which comes out intersecting of a length with multiplex function of the jitter. Two branch features of the image which it produces and the spectator which is input at real-time is equally divided, or in impression of juxtaposition goes in the spectator. It expresses the duplicity of the human being, with physical existence space divides the time space which we feel and there is a governing grammar which is different with each other and to express the thing it becomes. It used the image of the screen which it produces with the fluorescent lamp and cross concept.

• Journal of Korean Philosophical Society
• /
• v.117
• /
• pp.249-273
• /
• 2011

In this paper, I suggest a discourse on some delicate relations between the philosophy and the cinema, or between the visualizing philosophical reflection and the contemplating cinematic imagination. In this context, G. Deleuze is not a simple philosopher and Director Hong, not a director. Each is a kind of metonymy. Deleuzean style of philosophizing asks for Hong's nomadic style of producing cinema. and of course in the same manner, the latter asks for the former. The latter visualizes the speculative empiricism of the former, the former crystalizes the visual esthetics of the latter. To speak with Deleuzean vocabularies, it is not possible for the State Apparatus to capture the diverse works of director Hong. Because each of them is a kind of War Machine which always slips from every tackle of State Apparatus. Deleuzean key word 'genetic becomming' is a main concept of Hong's works. The point is not to dispose the theses 'becomming' of his works in the line of series but to release them in the line of rupture. My paper would show the sharp ridicules director Hong had poured on the conservative circle of the cinema in the context of Deleuzean nomadology.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.339-352
• /
• 2009

There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.