• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.8 no.4
• /
• pp.798-803
• /
• 2004

XML(extensible Markup Language) of W3C(World Wide Web Consortium) that is used the standard core technology of data exchange on the current Internet is an independent data type of usable at the all platforms. Especially, it can handle rapidly because of the integration of each other data types that is exchanged. Between each application and system that built at an enterprise in the past. However, W3C had notice to use XSLT(extensible Stylesheet Language Transformation) that is document transformable standard to descript expression information in XML documents because documents of XML only have a logical structure information. It is designed for XML that is developed for data exchange on the internet. Moreover, it is proposed to process and to change as other data type for expression XML documents for user. This thesis design and implement XSLT document editing system transformable as a un data type as a HTML data type applying XSLT at XML and developed the system. It can edit XSLT document that descript expression information in XML document that is used for data editing in the WYSIWYG environment.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.212-216
• /
• 2004

XML(extensible Markup Language) of W3C(World Wide Web Consortium) that is used the standard core technology of data exchange on the current Internet is an independent data type of usable at the all platforms. Especially, it can handle rapidly because of the integration of each other data types that is exchanged. Between each application and system that built at an enterprise in the past. However, W3C had notice to use XSLT(extensible Stylesheet Language Transformation) that is document transformable standard to descript expression information in XML documents because documents of XML only have a logical structure information. It is designed for XML that is developed for data exchange on the internet. Moreover, it is proposed to process and to change as other data type for expression XML documents for user. Tris thesis design and implement XSLT document editing system transformable as a HTML data type applying XSLT at XML and developed the system. It can edit XSLT document that descript expression information in XML document that is used for data editing in the WYSIWYG environment.

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.257-280
• /
• 2010

I try to formalize the system of modal logic and interpret it in view of constructivism through this study. As to the meaning of a sentence, as we saw, Frege endorsed extensions in view of the fact that they are enough to provide for a compositional account for truth, in particular that (1) the assignment of extensions to expressions is compositional ; (2) the assignment of extensions to sentences coincides with the assignment of truth values. But nobody would be willing to admit that a truth value is what a sentence means and that consequently all true sentences are synonymous. So, if what we are after is meaning in the intuitive sense, then extensions would not do. This consideration has later become the point of departure of modal and intensional semantics. So, it is clear that the language of modal logic do not allow for an extensional interpretation. ${\square}$ is syntactically on a par with ${\vdash}$, hence within the extensional framework it would have to denote a unary truth function. This means that if modal logic is to be interpreted, we need a semantics which is not extensional. The first attempt to build a feasible intensional semantics was presented by Saul Kripke. He came to the conclusion that we must let sentences denote not truth values, but rather subsets of a given set. He called elements of the underlying set possible world. Hence each sentence is taken to denote the set of those possible world in which it is true. This lets us explicate necessity as 'truth in every possible world' and possibility as 'truth in at least one possible world'. But it is clear that the system of modal logic is not only an enlargement of propositional logic, as long as the former contains the new symbols, but that it is of an other nature. In fact, the modal logic is intensional, in that the operators do not determine the functions of truth any more. But this new element is not given a priori, but a posteriori from construction by logicist.

• Sijohaknonchong
• /
• v.30
• /
• pp.147-164
• /
• 2009

The conclusion of this paper is as follows. First, the authentic syllable count of sijo can be summed up as following: Second, the structure of the statement can be summed up as following: 1) Each statement extremely excludes the use of modifiers to clarify the development of the logic. 2) The meaning of each of the three statement, chojang (the 1st statement), jungjang (the middle statement) and jongjang (the last statement), is connected to the previous one closely, so the text as a whole is perfect. 3) The last statement identifies itself as the conversion or conclusion of the whole text. Therefore, the last statement should begin with a connective adverb like 'Therefore' or 'Then'. But in ancient sijo works, this sort of connected adverb is normally omitted. 4) Each statement of sijo is composed of one of the 4 structures suggested below: a) subjective phrase + predicative phrase b) the formal clause + the latter clause c) location-indicating phrase + sentence d) objective phrase + predicative phrase Since the text of a sijo work is formed like this, sijo is said to be composed of three jang (statement) & six gu (phrase), which is the very feature that proves that sijo is a fixed form of verse.

• Korean Journal of Logic
• /
• v.21 no.2
• /
• pp.231-268
• /
• 2018

Wittgenstein asserts in the Tractatus Logico-Philosophicus 5.542 that "A believes that p" is of the form "'p' says p" and "here we have no co-ordination of a fact and an object, but a co-ordination of facts by means of a co-ordination of their objects." What does, then, it mean exactly that 'p' says p? What are "facts" and "a co-ordination" in the expression "a co-ordination of facts"? Are propositional attitude statements significant propositions or not? Furthermore, what is the point of Wittgenstein's criticism of Russell's theory of judgement? In this paper, I will answer these questions on the basis of Wittgenstein's explication of the concept of thought and Ramsey's relevant remark on propositional attitude. Meanwhile propositional attitude statements are bound up with solipsism of the Tractatus Logico-Philosophicus and some of them have senses. Hence both of assertions that all the propositional attitude statements are significant and all of them are nonsense in the Tractatus Logico-Philosophicus are not correct.

• Korean Journal of Logic
• /
• v.7 no.2
• /
• pp.121-146
• /
• 2004

본 논문은 베이즈주의가 확률론을 이용해서 제거적 귀납을 정교하게 발전시키고 있다고 주장한다. 이를 위해 본 논문은 두 가지 작업을 진행한다. 하나는 제거적 귀납이 무엇인가 하는것이고 다른 하나는 제거적 귀납이 베이즈주의에 기여하는 바가 무엇인가 하는 것이다. 먼저 본 논문은 제거적 귀납이 참인 가설을 포함하는 가능한 가설들의 총체로부터 경쟁가설들을 연역적 또는 귀납적으로 제거하고 남는 가설을 선택하는 추론형식임을 밝히고, 이 때 베이즈주의는 제거적 귀납을 정교하게 발전시킨 모습이기 때문에 제거적 귀납으로부터 기술적으로 도움 받을 측면은 없다고 주장한다. 그 대신 본 논문은 베이즈주의가 과학방법론으로 발전되는 데에서 직면하는 여러 가지 문제점을 해결하는 방법에 대해 제거적 귀납으로부터 조언을 얻을 수 있다고 주장한다. 이와 같은 논의를 통해 본 논문은 베이즈주의와 제거적 귀납주의의 결합은 유용한 과학방법론을 만들 수 있을 것으로 전망한다.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.2
• /
• pp.229-236
• /
• 1995

The conceptual world of sentence is composed f substantives(nouns) and verbal. The verbal is a semantic center of sentence, the substantives are placed under control of verbal, and they are combined in a various way. In this paper, the structural relation of verbal and substantives are analyzed and the phrase unit sentence which is derived from the result of morphological analysis is interpreted by a variable pattern net. This variable pattern net analyzes the phrases syntactically and semantically and extracts conceptual units of clausal form. This paper expands the traditionally restricted Horn clause theory to the general sentence, separates a simple sentence from a complex sentence automatically, constructs knowledge base by clausal form of logical conceptual units, and applies it to a question-answering system.

• Korean Journal of Logic
• /
• v.11 no.1
• /
• pp.91-129
• /
• 2008

이 논문은 '만약(If)$\sim$라면, (then) ...이다.' 형식의 조건문 중에서도 직설법적 조건문의 적법한 사용이 어떠한 조건을 만족시켜야 하는가에 대한 글이다. 일반적으로 직설법적 조건문은 발화자가 전건을 확신하지 못하는 인식적 상태를 표현하는 것으로 이해되며, 가정법적 조건문은 전건이 성립하는 특정한 세계에 대한 진술로 이해된다. 직설법적 조건문의 인식적 수용조건을 도출하기 위해, 기존 이론의 조건문의 수용과 주장을 진리조건적으로 설명하는 것이 불만족스럽다. 기존 이론의 문제점을 고찰하여 보면, 한 언어의 유창한 사용자가 조건문에 대해서 기대하고 있는바가 무엇인지, 그리고 적절한 직설법적 조건문의 사용이 어떤 조건을 요구하는지가 드러난다. 그리고 이 요구를 수용함으로써 직설법적 조건문에 대한 대안적 사용 조건인 '인식적 수용조건'을 정식화 할 수 있다.

• Korean Journal of Logic
• /
• v.9 no.1
• /
• pp.97-136
• /
• 2006

비트겐슈타인의 규칙따르기 개념에 대한 올바른 이해는 그의 후기 철학의 궤적을 살피는데 있어서 중요하다. 비트겐슈타인의 규칙따르기 문제에 대해 회의적 해석으로 유명한 크립키는 "탐구"의 201절을 문제 삼으며 '역설'의 문제를 새로운 형식의 철학적 회의주의로 간주했다. 본 논문은 규칙의 역설에 대한 크립키의 논증이 비트겐슈타인의 관점과 무엇 때문에 충돌하는지를 밝히면서 그와 함께 비트겐슈타인이 '규칙의 역설'을 제시한 궁극적 이유를 규명하는데 있다. 규칙의 역설에 대한 크립키 논증의 의의와 한계를 비판적으로 다룸으로서 필자는 다음과 같은 점을 주장할 것이다. 비트겐슈타인에게 있어서 규칙은 우리들의 행동을 이끄는 지침의 역할을 하며, 규칙의 문제를 추론과 연관시켜 수학이 엄격한 규칙을 따르는 인간의 지적 활동이며, 규칙에 대한 비트겐슈타인의 관점은 귀납적 회의주의와 무관하다. 이런 맥락에서 비트겐슈타인을 회의주의자 혹은 상대주의자로 평가하는 것은 문제가 있다. 그런 점에서 비트겐슈타인은 오히려 어떤 이론이나 선입견에 사로잡히지 않은 봄의 방식을 강조한 철학자로 평가하는 것이 옳다.

• Korean Journal of Optics and Photonics
• /
• v.13 no.1
• /
• pp.84-87
• /
• 2002

By using SOA (Semiconductor Optical Amplifier), all-optical XOR gate has been demonstrated at 5 Gb/s in RZ format. Firstly, Boolean AB-and Boolean AB have been obtained. Then, Boolean AB and Boolean AB have been combined to achieve the all-optical XOR gate, which has Boolean logic of AB+AB.