• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.407-436
• /
• 2013

I examine the notion of truth in the intuitionistic type theory and provide a better explanation of the objective intuitionistic conception of mathematical truth than that of Dag Prawitz. After a brief explanation of the distinction among proposition, type and judgement in comparison with Frege's theory of judgement, I examine the judgements of the form 'A true' in the intuitionistic type theory and explain how the determinacy of the existence of proofs can be understood intuitionistically. I also examine how the existential judgements of the form 'Pf(A) exists' should be understood. In particular, I diagnose the reason why such existential judgements do not have propositional contents. I criticize an understanding of the existential judgements as elliptical judgements. I argue that, at least in two respects, the notion of truth explained in this paper is a more advanced version of the objective intuitionistic conception of mathematical truth than that provided by Prawitz. I briefly consider a subjectivist's objection to the conception of truth explained in this paper and provide an answer to it.

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.59-78
• /
• 2010

The main purpose of this paper is to show how the notion of the language-experience correspondence is ill-grounded, and that the notion of 'literal meaning' based on it accordingly goes nowhere. Drawing on the experientialist view, I observed that language itself is a system of signs, and thus is given meaning only by way of symbolization. According to the experientialist account, the meaning of a signifier is given by means of "symbolic mapping." in which a certain portion of experience-content is mapped onto the signifier. And since symbolic mapping is partial by nature, there must come in some breach between the signifier and the experience-content mapped onto it. The partial nature of symbolic mapping repudiates the very notion of correspondence, and accordingly the notion of literal meaning. Rather, meanings are produced by means of the varied distances between the signifier and the mapped experience. In this perspective, the inquiry into the nature and structure of meaning should become part of one into that of symbolic experience. Such an inquiry may not be expected to reach the objectivity of linguistic meaning. Instead, we may be content with the relative stability in communication, which seems to be grounded in the commonality conspicuously observed at the bodily level of human experience.

• Journal of Platform Technology
• /
• v.12 no.3
• /
• pp.27-40
• /
• 2024

Collaborative programs are tools designed to support multiple people working together, enhancing collaboration and communication efficiency, improving productivity, and overcoming the constraints of time and place. In the endemic era, many companies and individuals prefer using collaborative programs. These programs often handle sensitive information, such as work content, documents, and user data, which can cause significant damage if leaked. Exploiting this, various attack scenarios have emerged, including malware attacks disguised as collaborative programs, exploiting vulnerabilities within these programs, and stealing internal tokens. To prevent such attacks, it is essential to analyze and respond to potential threats proactively. This paper focuses on Notion, a widely used collaborative program, to collect and analyze artifacts related to user information and activities in both PC and Android environments. Based on the collected data, we categorize critical information, discuss potential threats, and propose countermeasures.

• The Korean Journal of Food And Nutrition
• /
• v.11 no.5
• /
• pp.513-520
• /
• 1998

A survey of the notion and intake on Kimchi among college women in Pusan was conducted to get some basic information on kimchi. Two hundred sixty seven students in Pusan participated in this survey. Seventy five percent of students answered that they like kimchi. They preferred well-fermented kimchi with anchovy extracts, refreshing taste and crispy texture the saltly and sweet. Chinese cabbage kimchi (87.6%) was found to be the most favored kimchi and Kakdugi(seasoned pickles of cubed radish), Nabak kimchi and Chonggak kimchi (ponytail kimchi) were followed in the order. The most favorite food made from kimchi was stir fried kimchi with rice. They disliked traditional special kimchi, such as Puchu kimchi (leek kimchi), Pa kimchi (green onion kimchi), Kkennip kimchi (perilla leaf kimchi), Godulbaegi kimch (Korea wild lettuce kimchi) and Gat kimchi (Leaf mustard kimchi). About 93 grams of kimchi was consumed daily and this amount was a little. Seventy percent of students did not have any experiences preparing kimchi. Experiences of kimchi preparation were given by mother through kimchii-making event for the winter(71.7%), cooking practice in middle or high school (14.1%) and college(10.9%) and general cooking education (33%). They preferred to buy kimchi at the Agricultural Cooperative Association (48.5%) or a large kimch factory (32.75). College students believe that kimchi is a healthy food and are willing to learn how to make kimchi.

• Journal of Korean Medical classics
• /
• v.25 no.2
• /
• pp.1-13
• /
• 2012

Objective : Zhang, Zhongjing(張仲景)'s Sanghanlun(傷寒論) is based on Six-channels system(六經) to classified a disease. But the notion of Six-channels system seems to be a very various angles. For example, Meridian and collateral theory(經絡說), Viscera and Bowels theory(臟腑說), Grade theory(段階說), Surface theory(地面說), Symptoms theory(症候群說), Six-disease theory(六病說), Eight principle pattern theory(八綱說) and all the rest of it. Above all things Meridian and collateral theory was very frequently quoted to explain the Six-channels system(六經). But it's true notion is not restrict to a meridian vessel(經脈). Method : I will try to describe the Sanghanlun's Greater yang disease(太陽病) through the Ke-qin(柯琴)'s Taiyangbingjie(太陽病解), and I would like to point out that the existing perception that Greater yang(太陽) is connected with Bladder meridian(足太陽膀胱經) is wrong. Result : Ke-qin's Taiyangbingjie explained the greater yang disease was connected with Heart(yang within yang), which was located in the top half and the outer layer of the body. In addition to the presence of the diaphragm or lungs are involved with. Conclusion : Practical meaning of greater yang disease is not connect with Bladder meridian, but it is related to the Heart and Lung for maintain the Nutrient and defense circulation (營衛循環).

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.1
• /
• pp.105-113
• /
• 1994

In the course of study of dendroids, Czuba [3] introduced a notion of $R^{i}$ -continua which is a generalization of R-arc [1]. He showed a new class of non-contractible dendroids, namely of dendroids which contain an $R^{i}$ -continuum. Subsecequently Charatonik [2] attempted to extend the notion into hyperspace C(X) of metric continuum X. In so doing, there were some oversights in extending some of the results relating $R^{i}$ -continua of dendroids for metric continua. In fact, Proposition 1 in [2] is false (see example C below) and his proof of Theorem 6 in [2] is not correct (Take Example 4 in [4] with K = [e,e'] as an $R^{1}$-continuum of X and work it out. Then one seens that K not .mem. K as he claimed otherwise.). The aims of this paper are to introduce a notion of w-regular convergence which is weaker than 0-regular convergence and to prove that the w-regular convergence of a sequence {Xn}$^{\infty}$$_{n=1}$ to $X_{0}$ of subcontinua of a metric continuum X is a necessary and sufficient for the sequence {C( $X_{n}$)}$^{\infty}$$_{n=1}$ to converge to C( $X_{0}$ ), and also to prove that if a metric continuum X contains an $R^{i}$ -continuum with w-regular convergence, then the hyperspace C(X) of X contains $R^{i}$ -continuum.inuum.uum.

• Journal of architectural history
• /
• v.29 no.5
• /
• pp.51-61
• /
• 2020

Historically, rhythm has played a key role not only in musical composition, but also in architectural design. In 1893, architectural theorist and art scholar August Schmarsow, in "The Essence of Architectural Creation," created a new definition of architecture as space-creation and characterized rhythm as a design principle. However, this new idea was confronted by Heinrich Wölfflin. While Schmarsow's theory represents a dynamic world-view based on anthropomorphism, the architectural theory of Wölfflin is based on the notion of harmony, displaying a kind of conservative stasis. These two main streams have greatly influenced the development of modern architecture. The concept of space has prevailed in the discourse of modern architecture, but the principle of rhythm has seldom received any positive recognition. This article introduces and develops the concept of rhythm and disputes whether Behrens and Frankl in particular, two who dispute Schmarsow's theories, have used the concept of rhythm in terms of space. I conclude that they could not overcome the notion of the physical-the body-, thus their use of the term rhythm is incongruous with the notion of space. The idea of rhythm in architectural creation remains an up and coming idea.

• The Mathematical Education
• /
• v.51 no.1
• /
• pp.77-88
• /
• 2012

This qualitative research provides a situation model, which is designed for promoting learning of eigenvalue and eigenvector. This study also demonstrates the usefulness of the model through a small groups discussion. Particularly, participants of the discussion were asked to decide the numbers of milk cows in order to make constant amounts of cheese production. Through such discussions, subjects understood the notion of eigenvalue and eigenvector. This study has following implications. First of all, the present research finds significance of situation model. A situation model is useful to promote learning of mathematical notions. Subjects learn the notion of eigenvalue and eigenvector through the situation model without difficulty. In addition, this research demonstrates potentials of small groups discussion. Learners participate in discussion more actively under small group debates. Such active interaction is necessary for situation model. Moreover, this study emphasizes the role of teachers by showing that patience and encouragement of teachers promote students' feeling of achievement. The role of teachers are also important in conveying a meaning of eigenvalue and eigenvector. Therefore, this study concludes that experience of learning the notion of eigenvalue and eigenvector thorough situation model is important for teachers in future.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.18 no.2
• /
• pp.193-207
• /
• 2014

In this paper we explore the emergence of the notion of compactness within its historical beginning through rigor versus intuition modes in the treatment of Dirichlet's principle. We emphasize on the intuition in Riemann's statement on the principle criticized by Weierstrass' requirement of rigor followed by Hilbert's restatement again criticized by Hadamard, which pushed the ascension of the notion of compactness in the analysis of PDEs. A brief overview of some techniques and problems involving compactness is presented illustrating the importance of this notion. Compactness is discussed here to raise educational issues regarding rigor vs intuition in mathematical studies. The concept of compactness advanced rapidly after Weierstrass's famous criticism of Riemann's use of the Dirichlet principle. The rigor of Weierstrass contributed to establishment of the concept of compactness, but such a focus on rigor blinded mathematicians to big pictures. Fortunately, Poincar$\acute{e}$ and Hilbert defended Riemann's use of the Dirichlet principle and found a balance between rigor and intuition. There is no theorem without rigor, but we should not be a slave of rigor. Rigor (highly detailed examination with toy models) and intuition (broader view with real models) are essentially complementary to each other.

• Communications of the Korean Mathematical Society
• /
• v.37 no.4
• /
• pp.1221-1248
• /
• 2022

In this paper we study the theory of knotoids and braidoids and the theory of pseudo knotoids and pseudo braidoids on the torus T. In particular, we introduce the notion of mixed knotoids in S², that generalizes the notion of mixed links in S³, and we present an isotopy theorem for mixed knotoids. We then generalize the Kauffman bracket polynomial, <; >, for mixed knotoids and we present a state sum formula for <; >. We also introduce the notion of mixed pseudo knotoids, that is, multi-knotoids on two components with some missing crossing information. More precisely, we present an isotopy theorem for mixed pseudo knotoids and we extend the Kauffman bracket polynomial for pseudo mixed knotoids. Finally, we introduce the theories of mixed braidoids and mixed pseudo braidoids as counterpart theories of mixed knotoids and mixed pseudo knotoids, respectively. With the use of the L-moves, that we also introduce here for mixed braidoid equivalence, we formulate and prove the analogue of the Alexander and the Markov theorems for mixed knotoids. We also formulate and prove the analogue of the Alexander theorem for mixed pseudo knotoids.