• Korean Journal of Logic
• /
• v.8 no.2
• /
• pp.3-32
• /
• 2005

Hilbert's rational ambition to establish consistency in Number theory and mathematics in general was frustrated by the fact that the statement itself claiming consistency is undecidable within its formal system by $G\ddot{o}del's$ second theorem. Hilbert's optimism that a mathematician should not say "Ignorabimus" ("We don't know") in any mathematical problem also collapses, due to the presence of a undecidable statement that is neither provable nor refutable. The failure of his program receives more shock, because his system excludes any ambiguity and is based on only mechanical operations concerning signs and strings of signs. Above all, $G\ddot{o}del's$ theorem demonstrates the limits of formalization. Now, the notion of provability in the dimension of syntax comes to have priority over that of semantic truth in mathematics. In spite of his failure, the notion of algorithm(mechanical processe) made a direct contribution to the emergence of programming languages. Consequently, we believe that his program is failure, but a great one.

• Korean Journal of Biological Psychiatry
• /
• v.26 no.2
• /
• pp.71-78
• /
• 2019

Objectives Suicide is a complex phenomenon not only caused by the individual's mental illness and economic situation, but also occurred in sociocultural contexts and relationships around the individual. Therefore, the attitudes, which include collective norms, thoughts and feelings of a population, toward suicide play a fundamental role in the prevention of suicide. Factor structure of Attitudes Toward Suicide (ATTS), developed by Renberg, is also various in different sociocultural contexts. This is the first study to investigate factor structure of ATTS along with nationwide sample of Korean adults. Methods This study analyzed the factor structure and reliability of ATTS in 1500 regionally stratified Korean adults. Exploratory factor analysis was performed by using principal axis factoring and varimax rotation. Results The selection of 33 ATTS items based on internal consistency and communality was conducted. Five factors were analyzed, which were named 'Good reason,' 'Negative gaze,' 'Predictability,' 'Means of escape,' and 'Common secret,' respectively. Explained total variance was 41.94%, and the internal consistency ranged from 0.516 to 0.740. Conclusions Each of the five factors contains different semantic dimensions. Consistent with previous studies, factors containing permissive attitude toward suicide was high in those with history of suicidal thought and of suicide attempt. It is notable that the 'Good reason' showed higher score in elderly. This may be related to socioeconomic or physical adversities which have been considered the major cause of suicide in elderly.

• The Journal of Society for e-Business Studies
• /
• v.11 no.3
• /
• pp.53-71
• /
• 2006

In order to cope with the rapidly changing product development environment, individual manufacturing enterprises are forced to collaborate with each other through establishing a virtual organization. In collaboration, designated organizations work together for mutual gain based on product data interoperability. However, product data interoperability is not fully facilitated due to semantic inconsistency among product data models of individual enterprises. In order to overcome the semantic inconsistency problem, this paper proposes a reference ontology, Reference Domain Ontology(RDO), and a methodology for product data interoperability with semantic consistency using RDO. RDO describes semantics of product data model and metamodel for all application domains in a virtual organization. Using RDO, application domains in a virtual organization can easily understand the product data models of others. RDO is agile and temporal such that it is created with the formation of a virtual organization, copes with changes of the organization, and disappears with the vanishment of the organization. RDO is built by a hybrid approach of top-down using a upper ontology and bottom-up based on the merging of ontologies of application domains in a virtual organization. With this methodology, every domain in a virtual organization can achieve product data model interoperability without model transformation.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.2
• /
• pp.127-140
• /
• 2002

In a spatial database system, the semantic integrity should be supported for maintaining the data consistency. In the real world, spatial objects In boundary layer should always meet neighbor objects, and they cannot hold the same name. This characteristic is an implied concept in real world. So, when this characteristic is disobeyed due to the update operations of spatial objects, it is necessary to maintain the integrity of a layer. In this thesis, we propose a spatial-operation-trigger for supporting the integrity of spatial objects. The proposed method is defined a spatial-operation-trigger based on SQL-3 and executed when the constraint condition is violated. A spatial-operation-trigger have the strategy of execution. Firstly, for one layer, the spatial and aspatial data triggers are executed respectively. Secondly, the aspatial data trigger for the other layers is executed. Spatial-operation-trigger for one layer checks whether the executed operation updates only spatial data, aspatial data, or both of them, and determines the execution strategy of a spatial-operation-trigger. Finally, the aspatial data trigger for the other layers is executed. A spatial-operation-trigger is executed in three steps for the semantic integrity of the meet-property of spatial objects. And, it provides the semantic integrity of spatial objects and the convenience for users using automatic correcting operation.

• The KIPS Transactions:PartD
• /
• v.12D no.1 s.97
• /
• pp.165-178
• /
• 2005

A product classification scheme is the foundation on which product databases are designed, and plays a central role in almost all aspects of management and use of product information. It needs to meet diverse user views to support efficient and convenient use of product information. It needs to be changed and evolved very often without breaking consistency in the cases of introduction of new products, extinction of existing products, class reorganization, and class specialization. It also needs to be merged and mapped with other classification schemes without information loss when B2B transactions occur. For these requirements, a classification scheme should be so dynamic that it takes in them within right time and cost. The existing classification schemes widely used today such as UNSPSC and eCl@ss, however, have a lot of limitations to meet these requirements for dynamic features of classification. Product information implies a plenty of semantics such as class attributes like material, time, place, etc., and integrity constraints. In this Paper, we analyze the dynamic features of product databases and the limitation of existing code based classification schemes, and describe the semantic classification model proposed in [1], which satisfies the requirements for dynamic features of product databases. It provides a means to explicitly and formally express more semantics for product classes and organizes class relationships into a graph.

• Journal of Korean Clinical Nursing Research
• /
• v.20 no.3
• /
• pp.372-383
• /
• 2014

Purpose: The purpose was to determine the content validity of a semantic revision of items on a reliable and valid instrument, the Sieloff-King Assessment of Group Outcome Attainment (Power) within Organizations in Korea (K-SKAGOAO). Methods: The target population for research was chief nurse officers (CNOs) of all hospital within Korea. A sample of 303 hospitals from across the Korea was selected through a stratified random sampling process. A total of 174 CNOs comprised the final sample. Psychometric evaluation of the K-SKAGOAO included: (a) criterion-related validity (b) factor analysis and (c) internal consistency reliability using Cronbach's alpha coefficients. Results: The Convergent validity and criterion-related validity were supported. Cronbach's alpha coefficient for the K-SKAGOAO was .95. Subscale alphas ranged from .60 to .86. Conclusion: The K-SKAGOAO and related subscales show validity and internal reliability. A nursing group of any size can use the K-SKAGOAO to both assess the group's level of outcome attainment and develop strategies to further improve that level.

• Journal of Ecology and Environment
• /
• v.43 no.2
• /
• pp.246-253
• /
• 2019

Background: Water use efficiency (WUE) is an indicator of the trade-off between carbon uptake and water loss to the atmosphere at the plant or ecosystem level. Understanding temporal dynamics and the response of WUE to climatic variability is an essential part of land degradation assessments in water-limited dryland regions. Alternative definitions of and/or alternative methodologies used to measure WUE, however, have hampered intercomparisons among previous studies of different biomes and regions. The present study aims to clarify semantic differences among WUE parameters applied in previous studies and summarize these parameters in terms of their definition and methodology. Additionally, the consistency of the responses of alternative WUE parameters to interannual changes in moisture levels in Northeast Asia dryland regions (NADRs) was tested. Results: The literature review identified more than five different WUE parameters defined at leaf and ecosystem levels and indicates that major conclusions regarding the WUE response to climatic variability were partly inconsistent depending on the parameters used. Our demonstration of WUE in NADR again confirmed regional inconsistencies and further showed that inconsistencies were more distinct in hyper- and semi-arid climates than in arid climates, which might reflect the different relative roles of physical and biological processes in the coupled carbon-water process. Conclusions: The responses of alternative WUE parameters to drying and wetting may be different in different regions, and regionally different response seems to be related to aridity, which determines vegetation coverage.

• Herbal Formula Science
• /
• v.21 no.2
• /
• pp.29-43
• /
• 2013

Objectives : The aim of this study is reviewing the past legal definition and regulations, to provide basis for the future desirable direction of Korean herbal pharmaceutical industry and national herbal drug policies. Methods : We reviewed how concept of herbal medicinal preparation has been utilized and changed along with various national laws and regulations. And this study also reviewed problems related herbal medicinal preparation policies. Results : Since 1990s, especially inauguration of Korea Food & Drug Administration (KFDA) at 1998, the concept of crude drug preparation has constantly expanded and distorted the scope of herbal medicinal preparations. This resulted in decline of herbal medicinal preparation industry. Conclusions : It means policies related herbal medicinal preparation which was driven steadily during this decade have lost their consistency. Also, it restricted the various medical options which can guarantee people's health rights.

• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.373-399
• /
• 2014

This paper deals with the question whether the metaphysical dialetheism is a persuasive view or not. That is, the purpose of this paper is to criticize the metaphysical dialetheism by answering three questions, whether the dialetheism is compatible with the correspondence theory of truth, whether there is an observable contradiction, finally what the status of LNC is. In conclusion, it is argued that dialetheism is incompatible with the correspondence theory of truth, because it results in trivialism to suppose that two views are compatible. It is also claimed that LNC should be understood as the principle of exclusion which constrains the structure of the world and that the real world is consistent. Therefore, there is no observable contradiction in the world and the metaphysical dialetheism is not persuasive.

• Journal of Educational Research in Mathematics
• /
• v.12 no.4
• /
• pp.493-508
• /
• 2002

The purpose of this study is to compare the preferences of the school mathematical terms of South Korea and those of North Korea by administering a survey for learners, inservice teachers, and pre-service teachers, to establish the criteria of desirable school mathematical terms, and to evaluate the school mathematical terms of South Korea and those of North Korea based on the criteria. According to the result of the survey, the preferred mathematical terms are different from one group to the other, yet the mathematical terms of South Korea are more preferred. In general, terms written in pure Korean and concise terms which are easily understandable are favored. To discuss about the criteria of desirable school mathematical terms, four perspectives were set up, 1) the semantic perspective and the regulatory perspective, 2) terms written in pure Korean and Chinese letters, 3) terms from everyday language and technical terms, and 4) the consistency. Six criteria were followed from the aforementioned four perspectives. Finally, various school mathematical terms of South and North Korea were reviewed in the angles of the four perspectives and the six criteria.