• Title/Summary/Keyword: 형식논리

Search Result 13, Processing Time 0.082 seconds

개폐회로의 논리설계 III

  • 고명삼
    • 전기의세계
    • /
    • v.24 no.4
    • /
    • pp.31-39
    • /
    • 1975
  • 복잡한 시스템의 설계 또는 연구에서 무엇보다도 중요한 것은 조합설계의 원리를 완전해 이해하는데 있으며 여기서 기술한 조합개폐회로이론은 그 기초가 된다. 조합논리회로란, 출력이 입력의 현재상태에만 전적으로 종속되는 회로를 의미한다. 조합설계의 주목적은 최소수의 소자로 우리가 원하는 개폐특성을 실현하는 회로를 설계할 수 있는 능력을 부여하는데 있다. 이 장에서는 논리함수, 논리식의 표현형식, 논리식의 간단화 및 이들 기법이 실지 조합개폐회로의 설계에 어떻게 적용되는가를 실례를 통하여 기술한다.

  • PDF

Logic of Ancient Mathematics of East Asia : Epistemology by Xun zi, Logic by Mozi (동양 산학의 논리학 : 순자의 인식론과 묵자의 논리학)

  • Koh, Young-Mee;Ree, Sang-Wook
    • Journal for History of Mathematics
    • /
    • v.23 no.3
    • /
    • pp.33-44
    • /
    • 2010
  • We investigate what kind of logic is used in the ancient East Asian mathematics from their philosophical viewpoints. Such viewpoints are the logic by Mozi and the epistemology by Xun zi. We conclude that the logic residng in the ancient East Asian mathematics is surely existent and that the logic is the mathematics itself.

타르스키의 논리상항의 정의에 대한 연구

  • Choi, Byeong-Il
    • Korean Journal of Logic
    • /
    • v.3
    • /
    • pp.95-113
    • /
    • 2000
  • 타르스키는 최근 발표된 그의 유고에서 흥미 있는 논리상항의 정의를 제공하였다. 그의 정의는 그가 1927년이래 린덴바움과 함께 연구하였고, 1935년에 강연으로 발표하였던 메타 논리적 탐구의 결과들에 근거하는 것으로서, 1966년과 1973년의 강연들에서 제공하였던 '논리적 개념들'(logical notions)의 정의에 바탕을 둔 것이었다. 타르스키의 논리상항의 정의는 역사적으로는 클라인의 에어랑겐 프로그램(Erlangen Programme)의 논리학에 대한 적용이라 할 수 있는 것으로서, 마우트너의 유사한 시도와 함께 주목할 만한 가치가 있다. 또한 그의 정의는 논리상항을 논리적 형식의 개념에 의존하지 않고, 보다 중립적인 '모든 변환에 있어 불변적임'(invariance under all transformations)이라는 개념을 사용하고 있다는 점에서도 흥미있는 시도로서 여겨질 수 있다. 본 논문에서는 타르스키의 논리상항의 정의와 그 확장에 대하여 논의한 뒤, 몇 가지 비판적인 논점을 제공하고자 한다. 특히 타르스키의 정의가 과연 중립적이고 순환적이지 않은가 하는 문제에 대한 논의를 통하여 논리상항의 정의에 대한 새로운 관점을 확보하고자 한다.

  • PDF

CMXML: A Conceptual Modeling Methodology for XML (CMXML: XML의 개념적 모델링 기법)

  • Kim, Young-Ung
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.15 no.4
    • /
    • pp.231-237
    • /
    • 2015
  • However XML languages can logically define the type of structure with their's own grammar, it is inadequate to use them as a tool for conceptual model that represents the semantics of data and the relationships between the data in the real world. In this paper, we propose conceptual modeling techniques, called CMXML, for modeling the XML schema at the conceptual level. For this purpose, we define the model formally, and provide a way to represent the model in a graphical and text form. We also propose an mapping methodology providing transformation from CMXML to XML schema to show the feasibility of the proposed model.

A History of Calculus and the Dialectical Materialism (미적분의 역사와 변증법적 유물론)

  • 조윤동
    • School Mathematics
    • /
    • v.5 no.4
    • /
    • pp.521-540
    • /
    • 2003
  • The processes of mathematics development and the results of it are always those of making a conquest of the circumscription by historical inevitability within the historical circumscription. It is in this article that I try to show this processes through the history of calculus. This article develops on the basis of the dialectical materialism. It views the change and development as the facts that take place not by individual subjective judgments but by social-historical material conditions as the first conditions. The dialectical materialism is appropriate for explaining calculus treated in full-scale during the 17th century, passing over ahistorical vacuum after Archimedes about B.C. 4th century. It is also appropriate for explaining such facts as frequent simultaneous discoveries observed in the process of the development of calculus. 1 try to show that mathematics is social-historical products, neither the development of the logically formal symbols nor the invention by subjectivity. By this, I hope to furnish philosophical bases on the discussion that mathematics teaching-learning must start from the real world.

  • PDF

Query Translation for Resolving the Difference between User Query Words and Ontology Resources (온톨로지 검색에 있어서 사용자 질의어와 온톨로지 리소스와의 상이성 해소를 위한 질의어 변환)

  • Kim, Tae-Wan
    • Journal of the Korea Society of Computer and Information
    • /
    • v.16 no.3
    • /
    • pp.35-44
    • /
    • 2011
  • Ontologies are playing an important role in semantic web which is emerging as a next stage of the web revolution because various kinds of metadata are described in ontologies. Correspondingly, many query languages like SPARQL, RDQL etc. have been proposed for querying these ontologies. But users have to know the structures and resource names of ontologies completely to get search results even if they have expertise on complex formal logic and syntax of the query languages. Especially, casual users do not know the resource names and may use different words from resource names when they write their query language. This vocabulary gap problem have to be solved to raise the success rate. In this paper, an approach for translating user's search words to corresponding resource names has been proposed. This approach uses semantic similarity between user created search words and ontology resource names.

On the immanent Problems of Liberalism and Hegels Philosophy of Right (자유주의의 내재적 문제와 헤겔의 법철학)

  • Kwon, Young-woo
    • Journal of Korean Philosophical Society
    • /
    • v.147
    • /
    • pp.29-58
    • /
    • 2018
  • The purpose of this article is to demonstrate that Hegel's philosophy of right is a dialectic critique of liberalism. The dialectical criticism in this article does not mean the formal logical denial, but a return to self by self-negation. Thus, if Hegel's philosophy of right is a dialectical critique of liberalism, Hegel's philosophy of right will be critical of liberalism and at the same time, it will not reject liberalism, but rather have aspects of liberalism. The criticism of liberalism implies that individual freedoms and rights can not be realized subjectively through individual free acts, but are realized intersubjectively through social mediums. And this is also found in controversies among modern liberalists because modern liberalism requires the government's role and institutional arrangements for the realization of individual freedoms and rights. We can find the aspects of liberalism in Hegel's philosophy of right since Hegel's ethical life entails ultimately the concrete realization and extension of individual freedom and rights.