• 논리연구
• /
• 제9권2호
• /
• pp.31-57
• /
• 2006

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

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2010년도 춘계학술대회 논문집
• /
• pp.328-329
• /
• 2010

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

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

• 프린팅코리아
• /
• 통권20호
• /
• pp.110-115
• /
• 2004

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

• 한국소음진동공학회논문집
• /
• 제15권6호
• /
• 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.

• 논리연구
• /
• 제12권2호
• /
• pp.31-58
• /
• 2009

이 글은 직설법 조건문에 대한 스톨네이커의 의미론을 제시하고 옹호한다. 직설법적 조건문에 대한 스톨네이커의 가능세계의 의미론은 표준적인 가능세계와 조건문에 대한 선택함수 의미론, 그리고 직설법적 조건문에만 적용되도록 선택함수를 제한하는 화용론적 원리로 구성된다. 그의 의미론에 따르면, 직설법적 조건문은 강한 진리조건을 갖기 때문에 논란없는 원리는 받아들이지만, 이행원리가 보편적으로 성립한다는 것은 거부한다. 그럼에도 이행원리가 성립하는 경우가 있을 수 있는데 그것이 어떻게 가능한지를 설명함으로써 직설법적 조건문에 대해서 우리가 갖는 일반적인 직관을 잘 설명하는 이론임을 보인다. 또한 이 글은 스톨네이커의 이론에 대하여 제기되는 아담스주의적 비판과 기바드 현상의 문제에 대해서 답하고, 스톨네이커의 의미론은 지나치게 맥락의존적이라는 비판에 답함으로써 직설법적 조건문에 대한 가장 받아들일 만한 이론임을 주장한다.

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

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

• 한국항공운항학회지
• /
• 제15권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.

• 한국자동차공학회논문집
• /
• 제16권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.

• 한국자동차공학회논문집
• /
• 제16권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.