• Electronics and Telecommunications Trends
• /
• v.16 no.6 s.72
• /
• pp.163-171
• /
• 2001

2001년 4월 고이즈미 후보가 자민당 총재선거에서 압승을 거두어 총리에 취임한 후 국민 지지를 기반으로 우정 3사업(우편, 우편저금, 간이보험)의 민영화를 추진하고 있다. 또 2001년 1월부터 시작된 행정개편에서 우정사업을 총괄하였던 우정성이 자치성, 총무청과 함께 총무성으로 통폐합되어 새로운 전기를 맞이하고 있다. 고이즈미 총리는 민영화를 통해 우정사업의 효율성을 기할 수 있다고 주장하나, 반대론자들은 전국 서비스를 유지할 수 없다는 반박논리를 내세우고 있다. 이에 본 고에서는 행정개편에 따른 우정사업의 변화, 민영화에 대한 찬반논리와 향후 전망 등을 중심으로 분석한다.

• Korean Journal of Logic
• /
• v.9 no.1
• /
• pp.31-62
• /
• 2006

이 논문은 포퍼의 후기 확률론인 성향적 확률론에 대한 것이다. 포퍼가 확률에 관한 성향이론을 제시한 가장 중요한 동기는 단일 사건에 확률값을 부여하기 위함이었다. 그의 성향이론은 전기와 후기로 나누어지는데, 전기의 이론은 성향을 반복가능한 조건들의 집합으로, 후기의 이론은 성향을 특정 시각에서의 우주의 상태로 설명한다. 이 글은 포퍼의 전기와 후기 성향이론이 성공적이지 않음을 논증한다. 전기 성향이론에 대해서는 가장 좁은 준거집합의 원리의 문제에 부딪혀서 단일 사건에 대하여 객관적인 확률값을 부여할 수 없기 때문이고, 후기 성향이론은 성향을 약한 인과라고 해석하는 문제와 함께 포퍼 자신의 의도와 달리 형이상학적인 이론이 되어버렸기 때문이다.

• Journal of Convergence for Information Technology
• /
• v.7 no.3
• /
• pp.65-71
• /
• 2017

The quantum logic was introduced by G. Birkhoff and 1. von Neumann in order to study projections of a Hilbert space for a formulation of quantum mechanics, and Husimi proposed orthomodular law and orthomodular lattices to complement the quantum logic. Abott introduced orthoimplication algebras and its properties to investigate an implication of orthomodular lattice. The commuting relation is an important property on orthomodular lattice which is related with the distributive law and the modular law, etc. In this paper, we define a binary operation on orthoimplication algebra and the greatest lower bound by using this operation and research some properties of this operation. Also we define a homomorphism and characterize the commuting relation of orthoimplication algebra by the homomorphism.

• Journal of Korea Spatial Information System Society
• /
• v.9 no.1
• /
• pp.79-90
• /
• 2007

In this paper we proposed and implemented an incident detection model which combines fuzzy algorithm and traffic pattern in order to enhance the efficiency of incident detection for the highways with lamps. Most of the existing algorithms dealt with highways without lamps and can not be used for detecting incidents in the highways with lamps. The data used for model building are traffic volume, occupancy, and speed data. They have been collected by a loop sensor at 5 minutes interval at a point in the Internal Circular Highway of Seoul for the period of 3 months. In this model, the three parameters collected by sensor were fuzzified and combined with the daily traffic pattern of the link. The test of efficiency of the propsed model was performed by comparing the result of proposed model with traditional APID algorithm and fuzzy algorithm without the pattern data respectively. The result showed significant amount of improvement in reducing the false incident detection rate by 18%.

• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.107-134
• /
• 2003

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

• Agrochemical news magazine
• /
• v.24 no.6 s.189
• /
• pp.6-9
• /
• 2003

• The KIPS Transactions:PartC
• /
• v.14C no.2
• /
• pp.171-178
• /
• 2007

In mobile ad hoc networks, an application scenario requires mostly group mobility behavior in the mix of group moving nodes and individually moving nodes. The nodes of those applications tend to belong to the movement group with similar movement behavior. Group mobility is one of the good methods to improve scalability, and reduces the protocol overhead. In this paper, we propose the multicast architecture which regards nodes that have equal group mobility in the heterogeneous group mobility network as the single entity with the multiple interfaces and composes multicast tree, The logical cooperative entity-based multicast architecture accommodates the scalability, the multicast tree simplification, and the protocol overhead reduction which arc obtained from the hierarchical multicast architecture, while it maintains the nat multicast architecture for the data transmission. It also prevents the concentration of the energy consumption dispersing data forwarding load into the several ingress/egress nodes. Results obtained through simulations show that logical cooperative entity based multicast protocol with multiple interfaces offers the protocol scalability and the efficient data transmission.

• School Mathematics
• /
• v.9 no.1
• /
• pp.99-117
• /
• 2007

In this paper it is discussed how children develop their logical reasoning beyond difficulties in the process of making sense of division with decimals in the classroom setting. When we consider the gap between mathematics at elementary and secondary levels, and given the logical nature of mathematics at the latter levels, it can be seen as important that the aspects of children's logical development in the upper grades in elementary school should be clarified. This study focuses on the teaching and learning of division with decimals in a 5th grade classroom, because it is well known to be difficult for children to understand the meaning of division with decimals. It is suggested that children begin to conceive division as the relationship between the equivalent expressions at the hypothetical-deductive level detached from the concrete one, and that children's explanation based on a reversibility of reciprocity are effective in overcoming the difficulties related to division with decimals. It enables children to conceive multiplication and division as a system of operations.

• Korean Journal of Logic
• /
• v.7 no.2
• /
• pp.105-120
• /
• 2004

In this paper, we provide Routley-Meyer semantics for the many-valued logics ${\L}C$ and LC, and give completeness for each of them. This result shows the following two: 1) Routley-Meyer semantics is very powerful in the sense that it can be used as the semantics for several sorts of logics, i.e., many-valued logic, not merely relevance logic and substructural logic. Note that each implication of ${\L}C$ and LC does not (partially) result in "paradoxes of material implication" 2) This implies that Routley-Meyer semantics can be also used not merely for relevance systems but also for other logical systems such as ${\L}C$ and LC, each of which has its own implication by which we can overcome (partially) the problem of "paradoxes of material implication".

• Korean Journal of Logic
• /
• v.9 no.2
• /
• pp.59-98
• /
• 2006

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