• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.407-436
• /
• 2013

I examine the notion of truth in the intuitionistic type theory and provide a better explanation of the objective intuitionistic conception of mathematical truth than that of Dag Prawitz. After a brief explanation of the distinction among proposition, type and judgement in comparison with Frege's theory of judgement, I examine the judgements of the form 'A true' in the intuitionistic type theory and explain how the determinacy of the existence of proofs can be understood intuitionistically. I also examine how the existential judgements of the form 'Pf(A) exists' should be understood. In particular, I diagnose the reason why such existential judgements do not have propositional contents. I criticize an understanding of the existential judgements as elliptical judgements. I argue that, at least in two respects, the notion of truth explained in this paper is a more advanced version of the objective intuitionistic conception of mathematical truth than that provided by Prawitz. I briefly consider a subjectivist's objection to the conception of truth explained in this paper and provide an answer to it.

• Journal of the Korea Convergence Society
• /
• v.9 no.3
• /
• pp.297-305
• /
• 2018

The purpose of this study is to identify the types of recognition of core basic nursing skills of nursing students who have experienced clinical practice with Q methodology. The subjects of this study were 34 nursing students of graduate school who had clinical practice using 34 Q samples The data were analyzed by PC-QUAN program. As a result of the research, 1 type 'behavior - centered', core basic nursing is recognized to be performed correctly according to nursing situation, 2 types of 'future preparation type' are core nursing, And 3 types of 'dependent learning type' were categorized as recognizing that sufficient learning is required in school for accurate nursing practice. Analysis of each type will contribute to providing basic data for establishing an effective educational strategy.

• Korean Journal of Social Welfare Studies
• /
• v.45 no.2
• /
• pp.263-288
• /
• 2014

The goal of this research is to discover various cognitive types on social work practice by using Q methodology which explores subjectivities of human beings. The researchers selected 40 Q items among 293 Q populations from data through in-depth interviews of eight social workers and literature reviews, and the reliability was r=.816. Twenty-nine social workers sorted Q items and the obtained data was analysed by the QUANL program. The perception types were divided into three patterns and the eigen value was .5849. Three perception types on social workers' practices were 'relationship-centered(type 1)', 'change-centered(type 2)' and 'resource-centered(type 3)' practices. These types were different in perceptions on identification of relationship with clients, key characteristics, skills and strengths as a social worker. According to these results, the researchers offered some significant implications and suggested several following studies.

• Journal of Climate Change Research
• /
• v.4 no.2
• /
• pp.127-140
• /
• 2013

The present work analyzes the source and level of discount rate/benchmark for investment analysis on almost 4 thousand registered CDM, one of the Kyoto mechanisms, projects. As a result of analysis, the source and level of discount rate is changed as the passage of time and there are some countries that prefer certain sources and level. By project types, there is no difference among the sources but the level is not same. As the level of capital market development higher, there is a trend on changes in applying the source of discount rate, but the level is not different among groups. Finally there are no specific preferences on the sources on applying discount rate by DOE. And On analyzing, whether including China CDM projects or not influence the analysis results because China have registered a large number of projects.

• The Journal of the Korea Contents Association
• /
• v.22 no.5
• /
• pp.145-154
• /
• 2022

With the real museum changing from a center of viewing to a center of experience and communication, virtual museums have become independent as well as auxiliary and alternative roles for real museums. Therefore, it is necessary to review the concept and meaning of virtual museums and analyze the attributes of each exhibition type. This paper categorizes the exhibition types of virtual museums into four categories and analyzes the interaction methods of each exhibition type. The essential characteristics of interaction subjects affect all four types, but the method of virtual expression is distinguished, and the exhibition type that actively utilizes the virtuality of exhibition space and work expands the user's experience and communication. In this study, various forms and methods of construction of virtual museums can be explored by providing characteristics and considerations for each type of exhibition during the planning and construction of virtual museums.

• Journal of Digital Convergence
• /
• v.9 no.5
• /
• pp.253-263
• /
• 2011

In this study of the domestic high school and middle school students to use the online education-website to measure the quality of service between SERVPERF model and the KS-SQI model fits which were analyzed further. Analysis using AMOS 7, SERVPERF for measuring quality of service reliability, responsiveness, assurance, empathy and tangibility, was a measurement model. KS-SQI for primary needs fulfillment, unexpected benefit were performance dimensions, reliability, individual empathy, positive assistance, accessibility and media tangibility, consist of process dimension was measured. In comparison of two models, the KS-SQI model on a path analysis showed better in terms of model fit indexes.

• Proceedings of the Korean Society for Information Management Conference
• /
• 1995.08a
• /
• pp.115-118
• /
• 1995

DDC의 사회과학(300) 분야에서 특정 개념을 표현하기 위하여 사용되고 있는 합성주를 분석하여 7가지 유형으로 파악하고, 적용상의 일관성 여부를 검토하였다.

• 한국벤처창업학회:학술대회논문집
• /
• 2017.04a
• /
• pp.26-26
• /
• 2017

이 연구의 목적은 실제 창업하여 5년 이상 생존한 편의점이 최적의 입지유형에 위치한 것이 크다는 영향을 증명하는데 있다. 이 목적을 달성하기 위하여 서울 주요 지역의 5년 이상 생존 점포 사례를 본인과 지인의 사례 점포, A 메이저 프랜차이즈 편의점 직원이 제공한 자료를 토대로 연구 결과를 분석하고 실제 창업 생존률을 높이는데 도움을 주고자 한다. 실증분석결과, 첫째로 입지요인은 편의점 성과에 영향을 미치는 것으로 나타났다. 둘째, 최적의 입지유형에 위치한 점포는 5년 이상 생존하는데 영향을 주는 것으로 나타났다. 최적의 입지유형에 위치한 편의점 창업은 5년 이상 생존하는데 상당한 영향을 미치므로 입지유형에 대한 인식과 실전 적용은 필요한 것으로 나타났다. 전체 창업시장으로 보면 편의점과 같이 상품의 동질성이 높은 업종이나 위치에 중점을 둔 창업인 경우 까지 확대하여 창업가의 실패를 줄이고 장기적 생존률을 높일 수 있는 연구가 확대 되어야 할 것이다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.07a
• /
• pp.601-602
• /
• 2020

본 연구에서는 질적연구방법인 Q방법론을 적용하여 대학생들을 대상으로 학과 점퍼에 대해서 어떤 생각을 가지고 있는지에 대한 주관적 평가와 인식 유형별 특성을 알아보고자 하였다. 제1유형의 경우 학과 점퍼는 학과에 대한 소속감을 주고 학과를 홍보하는 역할을 한다고 인식하였다. 또, 학과 점퍼를 착용하면 행동을 조심하게 되지만, 활동이 편하고 주변 사람들의 좋은 평가를 이끌어내며 나의 신뢰감을 높여주는 효과가 있다고 생각하는 것으로 분석되었다. 제2유형의 경우 학과 점퍼는 활동하기 편하고 유행을 따르지 않는 무난한 디자인이라 만족스러우며, 학교 갈 때 늘 착용한다고 하였다. 제3유형은 학과 점퍼를 착용하면 동질감과 소속감을 준다고 하였고, 학과 점퍼가 유행을 따라가는 스타일이면 좋겠다고 생각하며 학과 점퍼 착용에 긍정적이고 잘 맞는다고 생각하는 유형이다. 대학생들의 학과 점퍼도 하나의 유니폼으로써 기능을 할 수 있도록 학과의 이미지나 상징성을 잘 나타내고, 활동량이 많은 대학생들의 신체적 특징을 반영하여 맞음새가 우수한 학과 점퍼가 개발되어야 할 것으로 생각된다.

• Journal of Information Technology Application
• /
• v.2 no.1
• /
• pp.25-53
• /
• 2000

As Information Technology has developed, The structure of information system used in organizations is changing from centralized computing structure to distributed computing structure. The roles of information department have expanded, which is not only develope and maintain system but also provide usage-support service to end-user. If organization support end-user properly, they get many benefits. if they don't do it properly, they waste many resource. Therefore, the purpose of this study is the search for quality determinant factors and type of information that provide user effective service under web-based information system. The result of this study is as follow First, when SERVQUAL is used, the quality determinant factors of usage-support service are categorized three, which is responsibility and assurance, empathy and tangable, and reliability. When SERVPERF is used, the determinant factors consist of five, but the use of assurance as a factor is cautious. Second, reliability and tangability among determinant factors affect general service quality, and tangibility is most important factors. third, When the locations of user are distributed the degree of general service quality is not different whether formal or informal information center provide usage-support service. This study may suggest practical implication as follows; First, as user are good at to use information system the degree of importance for tangibility are decreased. when user are individualized and improve their ability to use information system, empathy will not be important factors any more, therfore it assume that reliability will be most important factors. Second, if organizations promote not only formal informaton center but also informal inforamtion center they may support end-user more effectively. However, this study has the following limitations: First, it is difficult to generalize the result of this study Second, service quality determinant factors used in this study don't explain the influence to general service quality fully. Third, this study analyze a simple relation between service quality determinant factor and general service quality. Finally, this study don't distinguish between information system service and information support service.