• Title/Summary/Keyword: 직관주의 논리

Search Result 30, Processing Time 0.023 seconds

Higher Order Conditionalization and Undermining (고차 조건화와 믿음 기반 약화)

  • Park, Ilho
    • Korean Journal of Logic
    • /
    • v.18 no.2
    • /
    • pp.167-195
    • /
    • 2015
  • This paper aims to respond to Weisberg's claim that the standard Bayesian epistemology cannot model an agent's belief updating that is triggered by some undermining evidence. Our epistemological intuition seems to require that the undermining evidence decreases some particular relevant credences. According to Weisberg, however, such a belief change cannot result from the standard Bayesian belief updating rules-i.e., (Jeffrey) Conditionalization. This is because probabilistic independence between some propositions is preserved under (Jeffrey) Conditionalization on the relevant evidence. Yet I will show in this paper that this conclusion is somewhat hasty. In particular, I will show that there is another version of Conditionalization and that when one updates her credences by means of such a version, the belief updating originated in undermining evidence can be well modeled in the Bayesian framework. Some authors often call the version Higher Order Conditionalization.

  • PDF

Compatibilist Replies to Manipulation Arguments (자유의지에 대한 조작논증과 근원-양립가능주의의 대응)

  • Kim, Sungsu
    • Korean Journal of Logic
    • /
    • v.21 no.3
    • /
    • pp.373-393
    • /
    • 2018
  • Manipulation arguments purport to show that source freedom is incompatible with determinism. According to manipulation arguments, (1) intuitively, an agent manipulated in a certain manner to do A is not free, and (2) there is no significant difference between manipulation and determination. It follows that an agent determined to do A is not free. A compatibilist hard-line reply ('HR') denies (1), whereas a soft-line reply ('SR') denies (2). HR, which is arguably compatibilists' favorite, is assessed from the 'neutral stance.' HR turns out to fall short of adequately rejecting manipulation arguments. Recently Sartorio defends HR by claiming that (1) commits some sort of psychological fallacy. I argue that it does not work. I claim that SR is more promising. I examine the difference between intentional manipulation by design and ordinary determination. I argue that this difference suggests some determination scenario without intentional manipulation to which SR and manipulation arguments make different predictions, and that SR is better supported. Finally, incompatibilist objections are considered and replied.

확률의 상관 빈도이론과 포퍼

  • Song, Ha-Seok
    • Korean Journal of Logic
    • /
    • v.8 no.1
    • /
    • pp.23-46
    • /
    • 2005
  • The purpose of the paper Is to discuss and estimate early Popper's theory of probability, which is presented in his book, The Logic of of Scientific Discovery. For this, Von Mises' frequency theory shall be discussed in detail, which is regarded as the most systematic and sophisticated frequency theory among others. Von Mises developed his theory to response to various critical questions such as how finite and empirical collectives can be represented in terms of infinite and mathematical collectives, and how the axiom of randomness can be mathematically formulated. But his theory still has another difficulty, which is concerned with the inconsistency between the axiom of convergence and the axiom of randomness. Defending the objective theory of probability, Popper tries to present his own frequency theory, solving the difficulty. He suggests that the axiom of convergence be given up and that the axiom of randomness be modified to solve Von Mises' problem. That is, Popper introduces the notion of ordinal selection and neighborhood selection to modify the axiom of randomness. He then shows that Bernoulli's theorem is derived from the modified axiom. Consequently, it can be said that Popper solves the problem of inconsistency which is regarded as crucial to Von Mises' theory. However, Popper's suggestion has not drawn much attention. I think it is because his theory seems anti-intuitive in the sense that it gives up the axiom of convergence which is the basis of the frequency theory So for more persuasive frequency theory, it is necessary to formulate the axiom of randomness to be consistent with the axiom of convergence.

  • PDF

A Study on the Two Big Theories of Music Culture in China's Ancient Times (중국전통시기 양대(兩大) 음악문화 고찰)

  • Lee, Tae Hyoung
    • Cross-Cultural Studies
    • /
    • v.43
    • /
    • pp.355-376
    • /
    • 2016
  • This study looks into the relationship between Chinese philosophy, with a focus on Confucianism and Taoism, and music. Kong zi's Confucius supported, 'Enjoyment without being licentious and grief without being hurtfully excessive', and 'hatred of the music of Zheng'. These ideas do not emphasize the function of music as an expression of emotions, feelings, or desires, and are instead conclusions based on Confucian ideals such as harmony between classes and the spread of benevolent government. Music must coincide with Justice. The hatred of the music of Zheng was a conclusion founded on the idea of a place for Justice in music. Zhuangzi is the source of the spirit of Chinese art; specifically, Zhuangzi's idea of music in relation to its influence on East Asian history of art is extremely influential. In fact, the concept of yuelun is considered the most original and important concept in the history of the East Asian philosophy of art. The most distinctive features of Zhuangzi's theory of music can be summarized as follows. He attempts to liberate music from the restrictions of form and to let music express authentic human feelings and emotions. He also argues that music should not be subjected to politics, as he thinks that the creative mind of an artist can exist only when music is freed from political influence. Confucianism takes a humanistic perspective, while Taoism takes a more naturalistic one. In sum, Confucianism gives weight to the logical and ethical aspects of music, while Taoism emphasizes the intuitional and naturalistic ones.

Stalnaker's Theory of Indicative Conditionals (직설법적 조건문에 대한 스톨네이커의 해석)

  • Song, Ha-Suk
    • Korean Journal of Logic
    • /
    • v.12 no.2
    • /
    • pp.31-58
    • /
    • 2009
  • This paper defends Stalnaker's theory of indicative conditionals. His theory consists of selection functions and pragmatic constraints. The selection function takes a certain possible world(W) and a proposition(A) to yield a possilble world that is similar to W and in which A is true. And the pragmatic constraints plays role to make selection functions apply just to indicative conditionals. According to Stalnaker, as indicative conditionals has strong truth-value, uncontested principle always holds but passage principle does not always hold. However, his theory can explain why passage principle sometimes holds by means of pragmatic constraints. Also, this paper argues that Stalnaker's theory is the most acceptable one among others, by replying to criticisms suggested by Adamsians and the problem raised by Gibbard and other criticisms.

  • PDF

Didactical Analysis of Polygon, Polyhedron, and Surface (다각형, 다면체, 면에 대한 교수학적 분석)

  • 박교식;임재훈
    • Journal of Educational Research in Mathematics
    • /
    • v.14 no.1
    • /
    • pp.19-37
    • /
    • 2004
  • In school mathematics, polygon and polyhedron are defined by vague terms such as "surrounded" or "formed" Moreover, the inclusion of boundary and interior in the definition of polygon and polyhedron is varied according to the context. Polygon and polyhedron are considered as "context-dependent concept" in school mathematics. Elementary school mathematics introduces a surface only in the context of solid, yet secondary school mathematics explains a surface as the trace of the line movement. From the perspective of fallabilism, it is possible and desirable to lead students to revise and improve their conceptions on polygon, polyhedron, and surface. It is more appropriate to name a face, an edge, and a vertex rather than to express a face of polyhedron, an edge of polyhedron, and a vertex of polyhedron in textbooks. The term "surface as a polygon" in secondary mathematics textbooks shows a conflict between intuitive approach in elementary school and logical approach in secondary school.

  • PDF

A Study on the Abstract Types of the Contemporary Landscape Design (현대조경디자인의 추상유형에 관한 연구)

  • Kim, Jun-Yon;Lee, Haeung-Yul;Bang, Kwang-Ja
    • Journal of the Korean Institute of Landscape Architecture
    • /
    • v.36 no.6
    • /
    • pp.1-11
    • /
    • 2009
  • This study focuses on Abstract Types in Contemporary Landscape Design. The formation and artistry of contemporary landscape design reveals many areas which Previously have not been able to be expressed in scenic landscape thanks to the deviation of the genre in contemporary landscape and the hybridization that has occurred among architecture, landscape and art genres. The focus of this study is basic research concerning "the abstract", which is used as a creative artistic theory in a variety of art fields such as landscape, architecture and painting. Through a theoretical establishment of "the abstract", its process of change, and the discovery of its contemporary principles, the relationship between each art field in landscapes and the formation of the abstract, abstract language, and abstract properties have been studied. The use of the abstract in contemporary landscape design can be classified in three ways: Inductive abstract representing conceptual transcendental symbols not logically but rather through intuition and transcendental cognition to display the inner expressions, ideas and minds of the artists. Second, a deductive abstract represents an expansive, logical model for the simplification of objects, distortion, exaggeration based on knowledge and logical reasoning about objective fact based on traditional realism. The complexity of the abstract is a concept that is bound to both the deductive & inductive abstract. As a major trend, the concept of "The abstract" in contemporary landscape has been putting forth ever-deeper roots. New trends like abstract works and landscape architecture reflecting the artist's inner expression, in particular, will provide fertile soil for landscape in the future. Further research about the concept of "the abstract" will also be necessary in the time to come.

A Study on Designing a System for Effective Anaesthetic Procedure in the Near Future (근 미래 수술실에서 효율적인 마취과정을 위한 시스템 디자인 연구)

  • Yang, Sung-Ho
    • Journal of the HCI Society of Korea
    • /
    • v.3 no.1
    • /
    • pp.19-26
    • /
    • 2008
  • In the medical environment today, new technology has compelled new work paradigm, as it has been other areas of our lives. However it is very difficult to see the changes that have been taken place, even though new computer technology has changed the medical industry so rapidly. In this study, new concept of human computer interaction focusing on tangible interaction for anaesthetic procedure in an operating theatre has been explored with a 5 years technological and social perspective. This project is not intended to redesign the equipment itself but to focus on enhanced human computer interaction concepts. The exper iment shows that how new technology affects anaesthetic nurses' work in an operating theatre in the near future to improve quality of the medical service by helping to increase work efficiency and enhance patient satisfaction. As a result of the study, the KEY brings new visions to the anaesthetic nurses via various types of interaction. Thanks to the KEY, the nurse is really free from the machines so that he can keep attention to patient most of the time during the whole operation. The discussion in this study is still preliminary, and further elaboration is strongly needed. It might be certain that additional further studies, such as high-fidelity prototyping and logistical user testing, should be followed not only to refine and communicate the ideas to audiences, but as a means of stimulating and generating further ideas.

  • PDF

Characteristics of Explanatory Hypothesis Formation by Anxiety Types in High School Students Cognitive Conflict about Action-Reaction Task (II) (작용 반작용 과제에서 고등학생의 인지갈등 불안유형에 따른 설명가설 형성의 특성(II))

  • Kim, Yeoun-Soo;Cho, Yeoung-Hean;Kwon, Jae-Sool
    • Journal of The Korean Association For Science Education
    • /
    • v.25 no.3
    • /
    • pp.400-410
    • /
    • 2005
  • According to the cognitive conflict process model, student anxiety factor is known to have both positive and negative effects on student response behaviors in a conflict situation for conceptual change learning. However, there is little research that reveals what type of anxiety, either constructive or destructive, is related when conducting step-by-step experiments to resolve cognitive conflicts. This study attempted to learn the characteristic of explanatory hypothesis according to anxiety type after conducting five step-by-step experiments related to action and reaction concept. Results found that students who belonged to the types of 'conviction in logical misconception', 'insisting on additional variables', and 'reasonable modification' suggested explanatory hypothesis close to physical nature. On the other hand, those who showed the other five types of anxiety ('compatible predictions', 'dependence on others', 'fusion of past experience', 'lack of confidence', and 'conflict with past experience') suggested temporary supported hypothesis or simple explanatory hypothesis according to student intuition and simple observation. These results indicate that students in the above-mentioned five categories need more external interactions with instructors based on the type of anxiety related to student behavior. In addition, the results present student characteristics which instructors should be more attentive to when using step-by-step experiments to resolve cognitive conflicts.

Implementing RPA for Digital to Intelligent(D2I) (디지털에서 인텔리전트(D2I)달성을 위한 RPA의 구현)

  • Dong-Jin Choi
    • Information Systems Review
    • /
    • v.21 no.4
    • /
    • pp.143-156
    • /
    • 2019
  • Types of innovation can be categorized into simplification, information, automation, and intelligence. Intelligence is the highest level of innovation, and RPA can be seen as one of intelligence. Robotic Process Automation(RPA), a software robot with artificial intelligence, is an example of intelligence that is suited for simple, repetitive, large-scale transaction processing tasks. The RPA, which is already in operation in many companies in Korea, shows what needs to be done to naturally focus on the core tasks in a situation where the need for a strong organizational culture is increasing and the emphasis is on voluntary leadership, strong teamwork and execution, and a professional working culture. The introduction was considered naturally according to the need to find. Robotic Process Automation, or RPA, is a technology that replaces human tasks with the goal of quickly and efficiently handling structural tasks. RPA is implemented through software robots that mimic humans using software such as ERP systems or productivity tools. RPA robots are software installed on a computer and are called robots by the principle of operation. RPA is integrated throughout the IT system through the front end, unlike traditional software that communicates with other IT systems through the back end. In practice, this means that software robots use IT systems in the same way as humans, repeat the correct steps, and respond to events on the computer screen instead of communicating with the system's application programming interface(API). Designing software that mimics humans to communicate with other software can be less intuitive, but there are many advantages to this approach. First, you can integrate RPA with virtually any software you use, regardless of your openness to third-party applications. Many enterprise IT systems are proprietary because they do not have many common APIs, and their ability to communicate with other systems is severely limited, but RPA solves this problem. Second, RPA can be implemented in a very short time. Traditional software development methods, such as enterprise software integration, are relatively time consuming, but RPAs can be implemented in a relatively short period of two to four weeks. Third, automated processes through software robots can be easily modified by system users. While traditional approaches require advanced coding techniques to drastically modify how they work, RPA can be instructed by modifying relatively simple logical statements, or by modifying screen captures or graphical process charts of human-run processes. This makes RPA very versatile and flexible. This RPA is a good example of the application of digital to intelligence(D2I).