• Title/Summary/Keyword: Logic of language

Search Result 359, Processing Time 0.019 seconds

Wittgenstein's Logic of Language and Metaphysics (비트겐슈타인의 언어 논리와 형이상학)

  • Byun, Youngjin
    • Korean Journal of Logic
    • /
    • v.16 no.3
    • /
    • pp.309-346
    • /
    • 2013
  • This paper deals with the problem, which logic of language and which metaphysics Wittgenstein suggests in the Tractatus logico-philosophicus. I will ultimately show how he bases the metaphysics on the logic of language. The logic of language by which Wittgenstein sets the limit to the language 'in the language' is the logical syntax of the language. And Wittgenstein extends the idea of the logical syntax to the understanding the nature of the world, i.e. to the metaphysics. The logical form the language(proposition) must have is the form of the world(or the nature of the world), and it can be determined only together with the logical syntax of the language. But what is the logical form(form of the world) 'cannot be said', since the proposition saying it is devoid of 'sense' and 'says nothing'. Therefore Wittgenstein expresses that the logical form(form of the world) 'can only be shown' in the proposition that has sense. The Metaphysics Wittgenstein wants to base on the logic of language(the logical syntax) must be mystical.

  • PDF

An Implementation of Set Constraints Logic Language Using Prolog (Prolog 언어를 사용한 집합 제한 논리 언어의 구현)

  • 김인영;신동하
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2003.10a
    • /
    • pp.183-187
    • /
    • 2003
  • In this paper, we describe an implementation method of "set constraints logic language" using the logic language Prolog. "Set constraints logic language" is a programming language with a new paradigm that uses the "set theory" in programming. In this paper, we explain "set constraints problem solver" that has been proposed by A. Dovier and his researchers and we describe an implementation method of this solver using Prolog. We ran easily implement the "set constraints problem solver" in Prolog, since Prolog easily implements nondeterministic problems and provides a data structure railed list. We have applied the language to several application fields to show the usefulness of the language.

  • PDF

Logic as grammar: Wittgenstein’s view of logic (문법으로서의 논리 ― 비트겐슈타인의 논리관 ―)

  • Lee, Young-Chul
    • Korean Journal of Logic
    • /
    • v.11 no.2
    • /
    • pp.57-91
    • /
    • 2008
  • In accordance with his belief that philosophical problems arise from misunderstandings of the logic of our language, Wittgenstein's philosophical investigations were always focused on the problems of logic of language. Indeed, it can be said that his investigations were logical investigations. But what was the logic as conceived by him? He regarded logic as grammar from the beginning, but between his two different philosophical periods, there were important changes in his conceptions of grammar. In his earlier period, he understood the logic of language as the truth-functional syntax realizable in an ideal notation, while in his later period he regarded logic as the rules of language-use in various language games. It was a change from viewing logic as an ideally strict and universal system in which every logical possibilities are determined to viewing logic as an open system of non-strict grammatical rules specific to each language game. This paper deals with the gists of his earlier and later views on logic and the reasons for the change of his views, including specifically the reasons for the change of his views concerning the autonomy and necessity of logic as grammar.

  • PDF

A Study on Semantic Logic Platform of multimedia Sign Language Content (멀티미디어 수화 콘텐츠의 Semantic Logic 플랫폼 연구)

  • Jung, Hoe-Jun;Park, Dea-Woo;Han, Kyung-Don
    • Journal of the Korea Society of Computer and Information
    • /
    • v.14 no.10
    • /
    • pp.199-206
    • /
    • 2009
  • The development of broadband multimedia content, a deaf sign language sign language is being used in education. Most of the content used in sign language training for Hangul word representation of sign language is sign language videos for the show. For the first time to learn sign language, sign language users are unfamiliar with the sign language characteristics difficult to understand, difficult to express the sign is displayed. In this paper, online, learning sign language to express the sign with reference to the attributes, Semantic Logic applying the sign language of multimedia content model for video-based platform is designed to study.

A Study of Improving the Flexibility and Effectiveness of Natural Anguage Understanding Considering Natural Language Classification Methodologies (Machine에 의한 자연 언어 이해의 효과성 및 탄력성 중대를 위한 자연언어 이해 기법과 분류 기법과 연결적 통합 사용에 대한 연구)

  • 이현부
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.1 no.3
    • /
    • pp.20-32
    • /
    • 1991
  • This study seeks a way a way of dealing with unformatted natural language considering fuzzy set theory. The goal of the study is to establish a framework of an effective language understanding system that is linked to language classification system This study has found that languate understanding is strongly influenced by the language classification. The understanding of language. This study shows that the precision of language classification depends upon the way of how the language is classified in advance. In this study, a fuzzy logic was used to improve the precision of language classification. It was considered that the fuzzy logic might be albe to distinctively classify nuatural language texts into pretinent homogenious groups where contents of the language were identical. Accordingly, in the study, it was expected that classification of language were precisely classified by the fuzzy logic. An experimentalsystems was designed to evaluate the performane of a natural language understanding system that was connected to a fuzzy language classification system. Finally, the experiment suggests that a successful language understanding should require an real time interaction between mem andmachine fuzzy provious language classification.

  • PDF

Didactical Issues Related to Necessary Condition and Sufficient Condition (필요조건, 충분조건 개념의 학습과 관련한 문제들)

  • Hong, Jin-Kon;Kong, Jung-Taek
    • Journal for History of Mathematics
    • /
    • v.28 no.4
    • /
    • pp.191-204
    • /
    • 2015
  • The reason of the confusion of learners about the logic concepts such as implication, necessary condition and sufficient condition can be analyzed from the point of view of history of logic, discrepancy between ordinary language and formal logic, and reification which occurs in the process of cognition of discursive object and also indicates the necessity of a research. This study analysed the difficulties related to study and implication concept and attempted to the reflection of textbook and curriculum. Not that ordinary language makes the introduction of formal language easier, but that this study discussed the possibilities ordinary language intervenes the learning of formal language. This study additionally intended to understand learning difficulties of concrete subjects, abstract subjects and the gap between primary object and discursive object by understanding the process of sagging, encapsulating and reifying.

How has belief modality contributed to formal semantics?

  • Tojo, Satoshi
    • Proceedings of the Korean Society for Language and Information Conference
    • /
    • 2007.11a
    • /
    • pp.42-53
    • /
    • 2007
  • Looking back the history of formal treatment of linguistics, we cannot disregard the contribution of possible world semantics. Intensional logic of Montague semantics, DRT (Discourse Representation Theory), mental space, and situation theory are closely related to or compared with the notion of possible world. All these theories have commonly clarified the structure of belief context or uncertain knowledge, employing hypothesized worlds. In this talk, I firstly brief the pedigree of these theories. Next, I will introduce the recent development of modal logic for the representation of (i) knowledge and belief and (ii) time, in which belief modality is precisely discussed together with the accessibility among possible worlds. I will refer to BDI (belief-desire-intention) logic, CTL (computational tree logic), and sphere-based model in belief revision. Finally, I will discuss how these theories could be applied to the further development of analyses of natural language.

  • PDF

A SDL Hardware Compiler for VLSI Logic Design Automation (VLSI의 논리설계 자동화를 위한 SDL 하드웨어 컴파일러)

  • Cho, Joung Hwee;Chong, Jong Wha
    • Journal of the Korean Institute of Telematics and Electronics
    • /
    • v.23 no.3
    • /
    • pp.327-339
    • /
    • 1986
  • In this paper, a hardware compiler for symbolic description language(SDL) is proposed for logic design automation. Lexical analysis is performed for SDL which describes the behavioral characteristics of a digital system at the register transfer level by the proposed algorithm I. The algorithm I is proposed to get the expressions for the control unit and for the data transfer unit. In order to obtain the network description language(NDL) expressions equivalent to gate-level logic circuits, another algorithm, the the algorithm II, is proposed. Syntax analysis for the data formed by the algorithm I is also Performed using circuit elements such as D Flip-Flop, 2-input AND, OR, and NOT gates. This SDL hardware compiler is implemented in the programming language C(VAX-11/750(UNIX)), and its efficiency is shown by experiments with logic design examples.

  • PDF

비트겐슈타인의 철학과 퍼지 논리 - 언어 사용을 중심으로 -

  • 박창균
    • Journal for History of Mathematics
    • /
    • v.13 no.2
    • /
    • pp.145-150
    • /
    • 2000
  • This paper is intended to show that fuzzy logic can be understood in the context of the late Wittgenstein's philosophy. It introduces the view of language presupposed by fuzzy logic and parallels it with the late Wittgenstein's view of language. To make the parallel clear it contrasts the views of the early Wittgenstein and the late Wittgenstein.

  • PDF

Introduction to HILO-3 Logic Simulator

  • Jang, Deok-Ho;Kim, Yong-Ju;Gwak, Myeong-Sin;Lee, Cheol-Dong;Yu, Yeong-Uk
    • ETRI Journal
    • /
    • v.8 no.1
    • /
    • pp.44-52
    • /
    • 1986
  • The main features of HILO-3 logic simulator are introduced. It is regarded as one of the most powerful logic simulator available now in electronic industry. The major functions and concepts are reviewed with some examples; circuit description using HDL (Hardware Description Language), waveform description using WDL (Waveform Description Language) and fault-free simulation for static RAM circuit. This program is expected to help the system designers, integrated circuit designers and test engineers.

  • PDF