• Korean Journal of Logic
• /
• v.9 no.2
• /
• pp.31-57
• /
• 2006

직설법적 조건문의 이론이 해결해야 할 문제 중 하나는 각자 옳을 것 같지만 모두 참일 수 없는 직설법적 조건문에 관한 세 원리들이 있다는 것이다. 먼저 직설법적 조건문을 진리 함수적으로 분석하는 것은 '주관적 확률'을 고려할 때 이 문제를 해결할 수 없다고 논증할 것이다. 필자는 여기서 직설법적 조건문에 관한 성향적 분석을 제시하고 이 이론이 세 원리들의 문제를 해결한다고 주장한다. 그리고 잘 알려져 있는 직설법적 조건문의 수용 조건 혹은 주장가능성 조건을 제시하는 아담스 논제는 조건부 확률이 두 절대적 확률의 비로 정의된 다면 옳지 않을 것이라고 주장한다. 조건부 확률을 성향적으로 정의할 경우에만 아담스 논제는 옳을 수 있다. 마지막으로 아담스 논제의 주장가능성 조건을 진리 조건으로 제시하는 이론도 논박될 것이다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2010.05a
• /
• pp.328-329
• /
• 2010

• Korean Journal of Logic
• /
• v.11 no.1
• /
• pp.67-89
• /
• 2008

반 멕기는 전건긍정규칙의 반례라고 하는 것을 제시하였다. 지금까지 그것이 과연 진정한 반례인지를 두고 많은 논의가 있었다. 이 논문에서 나의 목적은 조금 다르다. 나는 여기서 반 멕기의 반례가 생겨나는 구조를 밝히고자 한다. 우선 나는 내 자신이 구성한 반례를 하나 제시할 것이다. 그런 다음 반례가 생겨나는 기본 구조를 찾아내고, 이런 분석이 다른 반례에도 그대로 적용된다는 점을 보임으로써 나의 제안이 옳은 분석이라는 점을 확증하기로 한다. 이를 통해 최종적으로 우리는 반례가 만들어지는 메커니즘을 분명히 할 수 있을 것이다. 나는 석기에는 조건문에 대한 특정한 이해가 들어 있다는 점을 보일 것이다. 반례가 생겨나는 구조를 파악하고 나면 반례의 해결책을 마련하는 일은 그다지 어렵지 않다. 끝에서 나는 그런 해결책을 간단히 언급하고자 한다.

• 프린팅코리아
• /
• s.20
• /
• pp.110-115
• /
• 2004

최초의 국내 껌 생산은 해태제과에서, 오늘날의 추잉 껌과 같은 제품은 1880년 경 미국인 토마스 아담스에 의해 상품화되었다. 그가 멕시코에서 자라나는 사포릴라 나무의 라텍스인 치클을 뜨거운 물 속에 넣어 부드럽게 한 다음, 손으로 둥글게 빚어서 약국에서 판매한 것이 껌의 원조가 되었다. 본격적으로 껌이 생산된것은 1890년대 초반, 월리엄 위그리가 회사를 설립하여 미국 전역에 판매하면서부터 확장되기 시작했다. 이 회사는 오늘날까지 전 세계 껌 시장의 최강자 위치를 굳히고 있다. 1928년에는 회계사인 월터 다이머가 풍선껌을 개발하여 껌의 대중화에 지대한 공헌을 세웠다.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.15 no.6 s.99
• /
• pp.697-705
• /
• 2005

Vibration-based damage identification method using embedded sensitivity functions is discussed. The theory of embedded sensitivity functions is reviewed and applied to identify damage in a three degree-of-freedom system and a metallic panel. Embedded sensitivity functions are algebraic combinations of measured frequency response functions that reflect changes in the response of mechanical systems when mass, damping or stiffness parameters are changed. By comparing the embedded sensitivity functions with finite difference functions using undamaged and damaged frequency response functions, damage is shown to be properly detected, located and quantified in theory and practice assuming that structures of interest are only damaged in one location. Simulated and experimental results indicate that the technique is most effective when changes to frequency response functions are small to avoid distorsions in the estimated perturbations due to variations in the sensitivity functions.

• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.31-58
• /
• 2009

This paper defends Stalnaker's theory of indicative conditionals. His theory consists of selection functions and pragmatic constraints. The selection function takes a certain possible world(W) and a proposition(A) to yield a possilble world that is similar to W and in which A is true. And the pragmatic constraints plays role to make selection functions apply just to indicative conditionals. According to Stalnaker, as indicative conditionals has strong truth-value, uncontested principle always holds but passage principle does not always hold. However, his theory can explain why passage principle sometimes holds by means of pragmatic constraints. Also, this paper argues that Stalnaker's theory is the most acceptable one among others, by replying to criticisms suggested by Adamsians and the problem raised by Gibbard and other criticisms.

• Korean Journal of Logic
• /
• v.11 no.1
• /
• pp.91-129
• /
• 2008

이 논문은 '만약(If)$\sim$라면, (then) ...이다.' 형식의 조건문 중에서도 직설법적 조건문의 적법한 사용이 어떠한 조건을 만족시켜야 하는가에 대한 글이다. 일반적으로 직설법적 조건문은 발화자가 전건을 확신하지 못하는 인식적 상태를 표현하는 것으로 이해되며, 가정법적 조건문은 전건이 성립하는 특정한 세계에 대한 진술로 이해된다. 직설법적 조건문의 인식적 수용조건을 도출하기 위해, 기존 이론의 조건문의 수용과 주장을 진리조건적으로 설명하는 것이 불만족스럽다. 기존 이론의 문제점을 고찰하여 보면, 한 언어의 유창한 사용자가 조건문에 대해서 기대하고 있는바가 무엇인지, 그리고 적절한 직설법적 조건문의 사용이 어떤 조건을 요구하는지가 드러난다. 그리고 이 요구를 수용함으로써 직설법적 조건문에 대한 대안적 사용 조건인 '인식적 수용조건'을 정식화 할 수 있다.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.15 no.4
• /
• pp.33-37
• /
• 2007

In this paper, a dynamic analysis of a helicopter landing gear with considering flexible structural modes has been investigated. The main body of the helicopter has been modeled as a flexible body using FEM code, then a few selected vibration modes of the helicopter main body have been used as basis for the dynamic analysis of the helicopter landing gear. The simulation of dynamic analysis was carried out on the base of ADAMS aircraft module. It has been found by a series of simulation that the flexible structural modes has a significant effect on the dynamic characteristics of helicopter landing gear as the flexibility of the main body is increased.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.16 no.2
• /
• pp.99-105
• /
• 2008

Multi-leaf springs are widely used for a major suspension component in many commercial vehicles. The modeling technique of multi-leaf springs is one of the most difficult problems in suspension modeling as the elements have complicated nonlinear characteristics such as a hysteresis behavior due to the friction. In this paper, hysteretic characteristics with the static and dynamic test are modeled and are simulated with three links and joints in MSC.ADAMS. Simulation results showed good agreements with test results. Using this methodology, it is expected that dynamic characteristics of suspension system with multi-leaf spring can be more accurately evaluated in vehicle dynamics.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.16 no.4
• /
• pp.29-37
• /
• 2008

Vehicle stability is a very important subject in vehicle design and control, because vehicle safety is closely dependent upon its dynamic stability. For the vehicle stability analysis, the nonlinear vehicle model of a mid-size car with three DOF - longitudinal, lateral and yaw - is employed. A rigorous method is used to determine the vehicle stability region in plane motion. An algorithm is used to materialize a topology theorem, which enables to find the exact stability region. A stability criterion for the critical cornering is proposed.