• 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 architectural history
• /
• v.26 no.6
• /
• pp.41-54
• /
• 2017

One of the reasons why Louis I. Kahn is regarded as a pioneer of Post-Modern Architecture is that his works are interpreted as Structuralism and Post-structuralism in architecture. A. $L{\ddot{u}}chinger^{\prime}s$ interpretation of Structuralism and M. Benedikt's interpretation of Post-structuralism; especially Deconstruction Theory, in Kahn's architecture must be proper cases for understanding this context. However, when we precisely analyze their insistence, several fallacies can be found with their incomplete grasp of Kahn's architectural thinking. The most problematic thing is that they maximize fallibility with focusing only on the analysis of superficial phenomenon, such as formal composition, disposition of space, decorative features, and so on. Therefore, the meaning of architectural essence toward Post-Modern Architecture which Kahn had pursued during his lifetime is sometimes misinterpreted. For this reason, this paper attempt to reanalyze Kahn's philosophy of architecture deeply with the view of aesthetics which has a key role in both overcoming their fallacies and illuminating the potentiality of Kahn's architecture.

• Proceedings of the KIEE Conference
• /
• 1999.07b
• /
• pp.721-723
• /
• 1999

Chua's circuit is a simple electronic network which exhibits a variety of bifurcation and attractors. The circuit consists of two capacitors, an inductor, a linear resistor, and a nonlinear resistor. In this paper, a transmitter and a receiver using two identical Chua's circuits are proposed and a equivalent wire synchronizations are investigated Since the synchronization of the wire transmission system is impossible by coupled synchronization, theory having both the drive-response and the coupled synchronization is proposed. As a result, the chaos synchronization has delay characteristics in the wire transmission system caused by the line parameters L and C.

• English Language & Literature Teaching
• /
• v.12 no.4
• /
• pp.31-68
• /
• 2006

The present research investigates the acquisition of the English locative alternation by Korean EFL learners, which poses a learnability paradox, taking Pinker's framework of learnability theory as its basis. It addresses two questions (1) how lexical knowledge is represented initially and at different levels of interlanguage development and (2) what kinds of difficulty Korean learners find in the acquisition of English locative verbs and their constructions. Three groups of learners at different proficiency levels with a control group of English native speakers are examined by two instruments: elicited production task and grammaticality judgment task. According to different levels of proficiency, the learners exhibit gradual sensitivity to a change-of-state meaning and obtain complete perception of the meanings of locative verbs (manner-of-motion and change-of-state) and their constructions. Overgeneralization errors are observed in their performance. The errors are due to misinterpretations of particular lexical items in conjunction with the universal linking rules. More fundamental cause of difficulty is accounted for by partial use of learning mechanisms, caused by insufficient L2 input.

• Journal of the Chungcheong Mathematical Society
• /
• v.1 no.1
• /
• pp.27-32
• /
• 1988

In this paper, we study the multipliers of $A^p_q$ into $L^{p^{\prime}}$ when 0 < p' < p. For this purpose, we study the condition on the measure ${\mu}$ satisfying $A^p_q{\subset}A^{p^{\prime}}(d{\mu})$. It turns out that the quotient $k_q={\mu}/v_q$ over hyperbolic ball of radius less than 1 belongs to $L^s_q$, where $\frac{1}{s}+\frac{p^{\prime}}{p}=1$. For the proof, we replace the norm of $k_q$ by the Riemann sum, and then use a result of interpolation theory.

• Proceedings of the KIEE Conference
• /
• 1996.07a
• /
• pp.222-224
• /
• 1996

This paper treats the stream phenomena of high frequency current on the solid-loop coil of which consists the hollow conductor. The governing equation is derived from electromagnetic field theory and the characteristics are analyzed by FEM with 2-D and 3-D. The results may be available data on designing the optimum shape of the coil for the improved pinch effect.

• Honam Mathematical Journal
• /
• v.35 no.4
• /
• pp.707-716
• /
• 2013

The present paper consists of two parts. Since the recent paper [4] proved that an Alexandroff $T_0$-space is a semi-$T_{\frac{1}{2}}$-space, the first part studies semi-open and semi-closed structures of the Khalimsky nD space. The second one focuses on the study of a relation between the LS-property of ($SC^{n_1,l_1}_{k_1}{\times}SC^{n_2,l_2}_{k_2}$, k) relative to the simple closed $k_i$-curves $SC^{n_i,l_i}_{k_i}$, $i{\in}\{1,2\}$ and its normal k-adjacency. In addition, the present paper points out that the main theorems of Boxer and Karaca's paper [3] such as Theorems 4.4 and 4.7 of [3] cannot be new assertions. Indeed, instead they should be attributed to Theorems 4.3 and 4.5, and Example 4.6 of [10].

• Korean Journal of Optics and Photonics
• /
• v.17 no.2
• /
• pp.120-126
• /
• 2006

A grating-assisted fiber coupler(GAFC), which consists of a thin-film waveguide with grating and circular optical fiber, is proposed and the optimized power coupling is evaluated by using a technique amenable to rigorous longitudinal modal transmission-line theory(L-MTLT). In addition, novel criteria to couple an optical signal incident through the grating waveguide to a single-mode optical fiber are proposed. The numerical result reveals that the optimized power coupling occurs at minimum-gap condition between rigorous modes rather than for the conventional phase-matching condition.

• Journal of Korean Academy of Nursing
• /
• v.47 no.4
• /
• pp.514-525
• /
• 2017

Purpose: The purpose of this study was to construct and test a structural equation model for Diabetes self-management (DSM) behavior and Quality of life (QoL) in older adults with diabetes who use Citizen Health Promotion Centers. The theory used this study was a combination of the Information-Motivation-Behavioral Model (IMB) and Self-Determination Theory (SDT) to reflect autonomous characteristics of participants. Methods: Data were collected from April 20 to August 31, 2015 using a self-report questionnaire. The sample was 205 patients with type 2 Diabetes who regularly visited a Citizen Health Promotion Center. SPSS 22.0 and AMOS 22.0 programs were used to analyze the efficiency of the hypothesized model and calculate the direct and indirect effects of factor affecting the participants' DSM behavior and QoL. Results: The supported hypotheses were as follows; 1) The variable that had a direct effect on QoL was health behavior adherence (${\gamma}=.55$, p=.007). 2) The variables that had a direct effect on DSM behavior were DSM information (${\gamma}=.15$, p=.023), DSM confidence (${\gamma}=.25$, p<.001), and autonomous motivation (${\gamma}=.13$, p=.048). 3) The variable that had a direct effect on DSM confidence was autonomy support (${\gamma}=.33$, p<.001). Conclusion: The major findings of this study are that supporting patient's autonomous motivation is an influential predictor for adherence to DSM behavior, and integrative intervention strategies which include knowledge, experience and psychosocial support are essential for older adults with diabetes to continue DSM behavior and improve QoL.

• The Journal of Art Theory & Practice
• /
• no.6
• /
• pp.51-76
• /
• 2008

Nous obserbons dans le champs de l'art aujourd' hui, le changement radical provoquant $\'{e}$tant donn$\'{e}$ que le pouvoir du march$\'{e}$ de l'art s'augmente de plus en plus. C'est pour cela que le champ du discours de l'art n'est actuellement plus form$\'{e}$ par des notions esth$\`{e}$tiques artistiques, mais par celles qui sont r$\'{e}$serv$\'{e}$es au domaine de l'$\'{e}$conomie et du march$\'{e}$. Il n'est plus significatif de croire la valeur esth$\`{e}$tique de l'oeuvre d'art, puisque l'esth$\`{e}$tique elle-m$\^{e}$me ne fonctionne plus. Par contre, le syst$\`{e}$me de donner le prix $\`{a}$ l'oeuvre d'art fonctionne rigoureusement. En plus, cette situation s'aggrave $\'{e}$tant donn$\'{e}$ que la mondialisation du march$\'{e}$ de l'art s'installe avec rapidit$\'{e}$. Malgr$\'{e}$ la mondialisation de l'art, des gens qui habitent par exemple $\`{a}$ S$\'{e}$oul ne peuvent pas s' approcher facilement de ce qui se passe $\`{a}$ New York, le vrai centre de l'art contemporain. Dans cette situation, le champ de discours de l'art n'a pas d'autre solution de se r$\'{e}$tr$\'{e}$cir remaquablement et le sujet de discussion sur le grand art est remplac$\'{e}$ par celui du success de l'art. Cette recherche est arriv$\'{e}$e $\`{a}$ remarquer que le syst$\`{e}$me du foire internationale de l'art fonctionne comme une locomotive dans le march$\'{e}$ de l'art qui est le vrai dominateur de l'art contemporain. Aujourd'hui les grands clients du monde de l'art et les jeunes sp$\'{e}$ctateurs, les clients de l'avenir s'assemblent autour de quelques foires internationales r$\'{e}$put$\'{e}$s qui ont de l'autorit$\'{e}$. C'est ainsi que l'achat et la vante de l'oeuvres d'art est suffisamment mondialis$\'{e}$ et que le syst$\`{e}$me local du march$\'{e}$ est d$\'{e}$rang$\'{e}$ et s'$\'{e}$ffondr$\'{e}$gravement. Malgr$\'{e}$ la diff$\'{e}$rence significative, la majorit$\'{e}$ des galeries d'art lacaux s'oblige de suivre $\`{a}$ la suite du style du foire internationale de l'art. C'est la raison pour laquelle que cette recherche se fait une id$\'{e}$e nette que la prosp$\'{e}$rit$\'{e}$ actuelle du march$\'{e}$ de l'art n'est que la situation $\'{e}$conomique ou financi$\`{e}$re. A ce stade de la r$\'{e}$flexion, cette recherche arrivera $\`{a}$ poser une question primordiale ci-dessous: "Si l'art qu'on $\`{a}$ l'intention de proclamer ne serai plus possible de faire r$\'{e}$fl$\'{e}$chir sur la libert$\'{e}$ et la solidarit$\'{e}$ humain, la dignit$\'{e}$ de l'homme, cet art n'est plus autre chose que l'insignifiance. Au lieu de parcourir divers ph$\'{e}$nom$\`{e}$ne du march$\'{e}$ de l'art aujourd'hui, cette recherche fixera son attention sur la r$\'{e}$alit$\'{e}$ du foire internationales de l'art. Dans ce context, cette recherche sera compos$\'{e}$e par trois chapitres donc le premi$\`{e}$re essayera de r$\'{e}$pondre $\'{a}$ la question de son influence extraodinairement puissante. Le deuxi$\`{e}$me chapitre essayera d'analiser la r$\'{e}$alit$\'{e}$ et la source du pouvoir du foire internationale de l'art. Nous essayeront au troisi$\`{e}$me chapitre de configurer le point de vue critique qui permettra de bien comprendre notre sujet.