• 한국수학사학회지
• /
• 제25권4호
• /
• pp.21-36
• /
• 2012

모형론적 귀결 개념은 타르스키의 1936년 논문에 기원을 두고 있다고 보통 말한다. 하지만 에치멘디는 이를 부정한다. 이 논문은 1936년 논문에 나와 있는 타르스키의 정의가 과연 표준적인 모형론적 귀결 개념에서 받아들이는 것과는 다른 고정 도메인 견해에 기반을 둔 것인지 아니면 그것과 같은 가변 도메인 견해에 기반을 둔 것인지를 둘러싸고 전개된 논란을 다룬다.

• 논리연구
• /
• 제17권1호
• /
• pp.71-109
• /
• 2014

셔어는 타르스키의 논리적 귀결 정의가 개념적으로나 외연적으로 적합한 설명이라고 믿는다. 셔어는 모스토프스키의 동형 구조 내의 불변적인 것으로서 일반화된 양화사 개념, 그리고 자신의 모형 이론에 근거해서 그 믿음을 정당화하려 하였다. 이 글에서 나는 타르스키의 정의를 정당화하려는 셔어의 시도는 반만 성공한 것임을 보이려 한다. 나는 논리적인 것이 동형 구조 내의 불변적인 것이라는 셔어의 생각은 논리적 귀결의 형식적 특징을 보이기에 충분하다는 점을 인정한다. 반면 나는 용어의 의미에 대한 셔어의 생각은 외연이 빈 술어의 문제를 제대로 다루기에는 아주 부적합해서, 결국 셔어는 논리적으로 필연적인 진리들과 그 밖의 진리들을 구별하는 데 실패하였다고 생각한다.

• 산업경영시스템학회지
• /
• 제13권21호
• /
• pp.29-41
• /
• 1990

An assessment of risk in industrial and urban environments is essential in the prevention of accident and in the analysis of situations which are hazardous to public health and safety. The risk imposed by a particular hazard increases with the likelihood of occurence of the event, the exposure and the possible consequence of that event. In a traditional approach, the calculation of a quantitative value of risk is usually based on an assignment of numerical values of each of the risk factors. Then the product of the values of likelihood, exposure and consequences called risk score is derived. However vagueness and imprecision in mathematical quantification of risk are equated with fuzziness rather than randomness. In this paper, a fuzzy set theoretic approach to risk analysis is proposed as an alternative to the techniques currently used in the area of systems safety. Then the concept of risk evaluation using linguistic representation of the likelihood, exposure and consequences is introduced. A risk assessment model using approximate reasoning technique based on fuzzy logic is presented to drive fuzzy values of risk and numerical example for risk analysis is also presented to illustrate the results.