• Title/Summary/Keyword: 논리주의

Search Result 315, Processing Time 0.029 seconds

Ancient Greece Mathematics and Oriental Mathematics (고대 그리스 수학과 동양 수학)

  • Kim, Jong-Myung
    • Journal for History of Mathematics
    • /
    • v.20 no.2
    • /
    • pp.47-58
    • /
    • 2007
  • In this paper, we shall try to give a comparative study of mathematics developments in ancient Greece and ancient Oriental mathematics. We have found that the Oriental Mathematics. is quantitative, computational and algorithmetic, but the ancient Greece is axiomatic and deductive mathematics in character. The two region mathematics should be unified to give impetus to further development of mathematics in future times.

  • PDF

금융시스템과 기업시스템간의 관계에 관한 제도론적 연구

  • Kim, Seok-Yong
    • The Korean Journal of Financial Management
    • /
    • v.14 no.2
    • /
    • pp.109-149
    • /
    • 1997
  • 자본주의 경제체제에 있어서 금융시스템과 기업시스템은 경제시스템의 핵심을 구성하는 것으로서 경제의 효율성을 좌우한다. 중요한 것은 이 두 시스템은 국가의 경제적 기능과 함께 상호관련적으로 형성되고 전개되어 나간다는 점이다. 최근 세계 경제메카니즘의 변화에 따라 이들을 어떻게 재편성할 것인가 하는 것이 주요 관심대상으로 제기되어 왔다. 본고는 국가-금융-기업 시스템간의 시스템적 상호관련성에 유의하면서 거시적인 신제도 학파적 시각에서 그 관계의 틀을 고찰, 그 유형을 분류하여 보고 특히 금융시스템과 기업시스템간의 상호관계를 분석하고자 하였다. 제도론적 시각에서 볼 때 이 문제는 제도적 환경과 제도적 장치간의 체계적 관계를 규명하는 것으로서 궁극적으로 경제행위의 지배조정 메카니즘을 시장, 위계(조직), 네트워크 중 어느 방식에 중점을 둘 것인가와 관련된다. 구체적으로 볼 때 금융시스템에 있어서의 자본시장중심적 체계와 은행중심적 체계, 기업과 시장의 범위와 기업의 네트워크적 전개, 금융과 기업간 규율시스템에 있어서의 관계 둥은 모두 이러한 시각에서 일관적으로 파악될 수 있는 것이다. 따라서 이들의 상호관계를 유형화시켜보고 그 논리를 우리의 현실에 적용시켜 볼 때 국가의 기능조정을 바탕으로 시장규율하에서의 네트워크적 관계를 모색하는 것이 바람직할 것으로 생각된다.

  • PDF

Design and Implementation of Pending Lock/Unlock for ISR in Real-Time Operating Systems (실시간 운영체제에서 인터럽트 서비스 루틴을 위한 Pending Lock/Unlock 설계 및 구현)

  • 안희중;성영락;이철훈
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.04a
    • /
    • pp.184-186
    • /
    • 2003
  • 실시간 운영체제는 태스크 수행의 논리적인 정확성뿐만 아니라 시간적인 정확성도 만족하는 스케줄링을 하는 운영체제이다. 태스크가 공유자원을 사용할 때 가용한 자원이 없으면 그 자원을 얻기 위해 기다리는 Pending 상태가 된다. 이러한 상태가 일반적인 상황에서 발생하면 스케줄러에 의해서 적절하게 관리되지만 인터럽트 상태나 시그널 상태와 같은 특수한 경우에 발생하면 데이터의 충돌이나 심지어 실시간 운영체제가 붕괴되는 상황이 발생할 수 있다. 이를 해결하기 위해 상용 RTOS 에서는 개발자가 ISR 에서 이러한 상황이 발생하지 않도록 주의 깊게 사용할 것을 경고하며, 커널 내부적으로는 복잡한 처리과정을 거쳐 해결할 수 있다. 본 논문에서는 이러한 상황이 발생할 가능성이 있을 때 PENDING LOCK/UNLOCK 함수를 사용하여 개발자에게 개발상의 편의를 제공하고, 실시간 운영체제의 안정성 및 신뢰성을 보장할 수 있도록 설계 및 구현한 내용을 기술한다.

  • PDF

맥락, 문제정의, 사회적 형성 및 정책변화 - 부동산 세제 변화를 대상으로 -

  • Kim, Myeong-Hwan
    • 한국정책학회보
    • /
    • v.21 no.1
    • /
    • pp.103-130
    • /
    • 2012
  • 정책변화가 왜 발생하였는가? 그와 같은 정책변화에 어떠한 요인들이 작용하였는가? 또한 그와 같은 정책변화가 어떠한 과정을 거쳐서 발생하였는가? 본 연구는 정책변화의 복잡성을 체계적으로 설명할 수 있는 방법을 제시하고자 정책연구의 지배적인 패러다임인 객관적·과학적 연구방법에서 탈피하여 사회적 형성주의 관점에서 맥락, 문제정의 및 대상 집단의 사회적 형성이 정책변화에 어떠한 영향을 미치는가를 알아보고자 하였다. 이를 위하여, 본 연구는 문제정의 이론과 대상 집단의 사회적 형성 이론의 결합을 통하여 연구 모형을 구축하였다. 또한 이와 같이 구축된 모형에 의하여 정책결정자가 문제 정의와 대상 집단의 사회적 형성에 어떤 역할을 하며, 그 결과가 정책변화에 어떻게 반영되는지를 정책의 논리, 근거 및 메시지의 측면에서 양도소득중과제도를 대상으로 분석하였다. 마지막으로, 이러한 분석을 통하여 도출된 시사점에 대하여 논의하였다.

Text integration processing based on connectives in Aphasics (실어증 환자의 접속사 정보처리에 관한 연구)

  • Kim, Soo-Jeong;Moon, Young-Sun;Kim, Mi-Ra;Kim, Yoo-Jeong;Nam, Ki-Chun
    • Annual Conference on Human and Language Technology
    • /
    • 1999.10e
    • /
    • pp.441-446
    • /
    • 1999
  • 본 연구는 접속사를 통한 텍스트 통합 과정이 논리적 추론 종류에 따라 다른 정보처리 과정 혹은 다른 종류의 단원적 구조(modular structure in language processing)에 의해 처리되는지를 조사하기 위해 실시되었다. 또한, 접속사를 통한 추론 과정이 실어증의 증상 종류에 따라 다른 종류의 언어정보처리 손상이 있는지를 평가하기 위해 실시되었다. 실험에 참가한 환자는 이해성 실어증환자(Wernicke aphasic), 전반성 실어증 환자(Global aphasic), 표현성 실어증 환자(Broca aphasic) 등이었다. en 종류의 과제를 이용하였다. 한 과제는 앞 뒤 문장을 논리적 관계성을 표현하는 접속사를 채워 넣는 과제였고 다른 과제는 접속사가 포함된 텍스트가 옳은지를 판단하는 정오 판단 과제였다. 실험재료 문장에 사용된 접속사는 추가적인 정보를 제공하는 '그리고'와 대등 관계를 나타내는 '그러나' 및 인과 관계를 표현하는 '그래서' 였다. 이 세 종류의 접속사는 각기 다른 논리적 관계성을 나타낸다. 실험 결과는 실어증 환자가 전반적으로 채워 넣기 과제에서 보다는 정오 판단 과제에서 더 많은 실수를 보였으며, 표현성 실어증 환자보다는 이해성 실어증 환자가 더 많은 오류를 보였다. 또한, 세 종류의 접속사 중에 '그리고'가 표함된 텍스트에서 더 많은 실수를 보였다. 이 연구에서 나타난 흥미 있는 결과는 표현성 실어증 환자는 '그러나' 접속사가 포함된 텍스트에서의 수행이 '그래서'가 포함된 경우에서보다 좋은 반면에 전반성 실어증 환자는 '그래서'를 포함하는 텍스트에서의 수행이 '그러나'를 포함하는 텍스트에서의 수행이 더 우수해서 이중해리(double dissociation)가 나타난다는 사실이다. 이 결과는 선후 문장이 어떤 종류의 논리적 관계성을 지니는가에 따라 다른 종류의 정보처리가 진행된다는 것을 암시하는 결과이다.>$\textrm{cm}^2$.。C로 비교적 양호한 초전박막의 전기적 특성을 나타내었다.(Mg+Fe)비를 갖고 전자에 비해 Al이 풍부한 환경에서 생성되었으며, 따라서 활석과 연관되지 않은 녹니석은 생성시 광체와 인접한 화강아질 편마암에 의해 주로영향을 받았을 것으로 생각된다. 녹니석의 이러한 2가지 화학조성상의 경향은 녹니석과 공존하는 운모류나 각섬석류들의 화학분석결과와도 잘 일치한다. 이러한 결과는 이 지역의 활석 광상이 초염기성암 기원의 사문암이 열수변질작용을 받아 생성되었음을 명확하게 지시하며, 따라서 활석 광석내에 존재하는 녹니석은 활석의 근원 광물로서 녹니석편암 및 녹니석 편마암 매의 녹니석이 활석화되고 남은 잔존광물이 아니라, 주변암에 의해 성분상의 영향을 받은 열수와 사문암과의 변질교대작용에 의한 활석화과정 중에 주로 생성된 것으로 추정된다. 이러한 결과는 연구지역의 활석광상이 초염기성암의 사문암화 작용과 활석화 작용의 두 가지 변질작용에 의해 형성되어졌음을 알려준다.농도 증가 없이 폐 조직에 약 50배 정도의 고농도 cisplatin을 투여할 수 있었으며, 또한 분리 폐 관류 시 cisplatin에 의한 직접적 폐 독성은 발견되지 않았다이 낮았으나 통계학적 의의는 없었다[10.0%(4/40) : 8.2%(20/244), p>0.05]. 결론: 비디오흉강경술에서 재발을 낮추기 위해 수술시 폐야 전체를 관찰하여 존재하는 폐기포를 놓치지 않는 것이 중요하며, 폐기포를 확인하지 못한 경우와 이차성 자연기흉에 대해서는 흉막유착술에 더 세심한 주의가 필요하다는 것을 확인하였다. 비디오흉강경수술은 통증이 적고, 입원기간이 짧고, 사회로의 복귀가 빠르며, 고위험군에 적용할 수 있고, 무엇보다도 미용상의 이점이 크다는 면에서 자연기흉에 대해 유용한 치료방법임에는 틀림이 없으나 개흉술에 비해 재발율이 높고 비용이 비싸다는 문제가 제기되고 있는 만큼

  • PDF

Universal Ethics and Pragmatic Pluralism (보편윤리학과 실용주의적 다원론)

  • Kwon, Su-Hyeon
    • The Journal of the Convergence on Culture Technology
    • /
    • v.7 no.1
    • /
    • pp.446-453
    • /
    • 2021
  • This paper deals with two methods regarding fact and value. One is the method of H. Putnam, which is to break the boundary between fact and value and to make a world where the two have an inherent connection. The other is the method of J. Habermas, which regards fact and value as the product of an intersubjective agreement based on argumentation. Putnam, through his position of internal realism, moves from realism to pragmatism, especially by combining the rationalist tradition of Kant and Dewey's pragmatic views. Habermas also stands in the tradition of rationalism and universalism in Kant, at the same time emphasizing the practicability of truth in Hegel's tradition of historical reason. The significance of the strategy of Putnam and Habermas is that they have attempted to revive the realm of value against the strict dichotomy of facts and values and the subsequent devaluation of rationality in the realm of value. The starting point of this attempt is that the practical foundation of rationality is laid on life and practice. This could provide the room for escaping from rationality, which prioritizes only truths that reveal facts, that is, instrument-reduced rationality, the room for the revival of practical rationality through reflection on what is the purpose of life, and, in turn, the room for resisting to pass the realm of values and norms to the logic of habitual routines or customs. However, despite such common goal, there are clear limitations to Putnam's approach due to the differences in the strategies taken on facts and values. Putnam's method can demolish the whole universal framework that is the foundation where pragmatic pluralism will be fostered, eliminating the difference between the specificity of values and the universality of norms and shaking up the status of universal ethics. Therefore, Habermas' ethical theory is proposed as an alternative to establish a basis for universal ethics by relying on communication rationality and to secure the coercion of norms and blossom cultural pluralism as a diverse lifestyle based on this coercion.

Instrumental Perspectives in Discourse and Practice of Public Engaged ST Governance: Case Study on UK Public Deliberations (시민참여형 과학기술 거버넌스의 논의와 실험에 내재된 도구적 관점: 영국 공론화 사례 중심)

  • Lee, Yunjeong
    • Journal of Technology Innovation
    • /
    • v.23 no.2
    • /
    • pp.1-31
    • /
    • 2015
  • Various concepts and practices of public deliberation have been exercised over the last three decades in western countries for science and technology (ST) governance. There has been a general social consensus for the need of such new governance notwithstanding, ends and means to achieve it varied. Among various rationales, while normative and substantive perspectives are explicitly claimed in public as reasons for public engagement in ST policy making, instrumental perspectives tend to be implicitly arranged by interested parties and still affecting policy significantly. This paper therefore, examines the implications of such instrumental perspectives in public engaged ST governance. To do so, this paper analyses the discourses and practices of public deliberation for ST governance in the UK from the late 1990's until the mid 2000's. It examines the proposals made by various policy institutions and two real public deliberations- the GM Dialogue for commercialization of genetically modified crops and the Committee on Radioactive Waste Management(CoRWM)'s programme. This study finds that policy institutions tried to employ public deliberation as strategic instrument for their policy interest, which contrasted with their outwardly claimed rationales of democratic policy making and better quality in decision for ST governance.

Jang Jun-Ha's Journalism Thought (장준하의 언론사상 연구)

  • Kim, Young-Hee
    • Korean journal of communication and information
    • /
    • v.59
    • /
    • pp.50-70
    • /
    • 2012
  • This study, as one of works to understand the character of contemporary journalism thought in Korea, aims to review the journalism thought of Jang Jun-Ha, a magazine journalist who published the monthly magazine Sasanggye(思想界) from the 1950s to the 1960s and promoted its influence like major newspapers at that times. For the purpose it analyzed how his understanding of journalism had been performed and what his main logic and idea on journalism thought was. Based on the above it considered the matters related to the characteristics of his journalism thought. As result of study his journalism thought can be said nationalistic enlightenment journalism consistently since he established the magazine to enlighten the educated youth, while it shows a kind of interpretive journalism or orientating journalism from the end of 1950s. In 1962 when political suppress on the Sasanggye was growing worse his journalism thought is evaluated to show a kind of advocacy journalism strongly. As he understood and received the concept and theory newly recognized in the academic and press community, his journalism thought could be said to be advanced at that times. Also his theory and assertion could be evaluated persuasive from the viewpoint of the following concrete execution and action.

  • PDF

A Study on Development of Robot - based Teaching-Learning Model for Improving Creativity (창의력 향상을 위한 로봇활용 교수 - 학습모형 개발 연구)

  • Jun, Woochun
    • Journal of Internet Computing and Services
    • /
    • v.16 no.5
    • /
    • pp.99-105
    • /
    • 2015
  • Currently robots are widely used in schools for educational purpose. With wide spread of robot-based education, it is known that major advantage of robot-based education is to enhance creativity and logical thinking of students. Although robots can be very useful tools for assisting students' study activities, there have not been lots of teaching-learning models for robot-based education.In this paper, a teaching-learning model is presented for robot-based education. The proposed model is designed based on constructivism. The proposed model consists of 6 stages: preparation, design, assembling, demonstration run, evaluation, and application & extension. The proposed model has the following characteristics. First, the proposed model is designed to enhance creativity and logical thinking ability of learners. Learners are supposed to be involved in self-directed activities and required to provide results based on their own ideas. Teachers are supposed to mediate students only if necessary. Second, learners are encouraged to participate in activity via diverse interaction. The interaction in this model includes learner-to-learner interaction, learner-to-teacher interaction, and learner-to-expert interaction. The proposed model encourages learners to solve the problem with cooperating each other. Also, teachers are supposed to guide students if necessary and observe and monitor behavior of students all the time. Third, motivation is provided in the beginning stage of the instruction. Fourth, in the proposed model, both study results and study process are equally important. In the model, study process is reviewed at the final stage.

Bayesian Confirmation Theory and Hempel's Intuitions (베이즈주의와 헴펠: 베이즈주의자들은 헴펠의 직관을 포착하는가?)

  • Lee, Ilkwon
    • Korean Journal of Logic
    • /
    • v.22 no.3
    • /
    • pp.351-395
    • /
    • 2019
  • Hempel's original intuitions about the raven's paradox are summed up in three ways. The first is known as the paradoxical conclusion: If one observes that an object a - about which nothing is antecedently known - is a non-black non-raven, then this observation confirms that all ravens are black. The second is an intuitive verdict of the misled conclusion of the paradox: If one observes that an object a - which is known to be a non-raven - is non-black (hence, is a non-black non-raven), then this observation does not confirmationally affect that all ravens are black. The third is a comparative claim between the two intuitions: the degree of confirmation appearing in the first intuition is greater than the degree of confirmation in the second intuition. The Standard Bayesian Solution of the paradox is evaluated to fleshed Hempel's intuitions out by establishing the first intuition. However, such an evaluation of this solution should be further analyzed because Hempel's intuition is not the only one. The solution of paradox does not establish the second intuition in a strict sense. However, I think the Bayesian solution will establish the second intuition based on its typical strategy of quantitative vindication. If only quantitative vindication is accepted, this evaluation of the solution remains valid. Nevertheless, the solution fails to establish the third intuition. In this article, I propose a new way to apply the Bayesian method to establish Hempel's intuitions, including the third intuition. If my analysis is correct, the Standard Bayesian Solution of the raven's paradox could indeed flesh Hempel's intuitions out by denying one of the assumptions considered essential.