• Journal of English Language & Literature
• /
• v.57 no.6
• /
• pp.1043-1065
• /
• 2011

This study investigates i-umlaut which occurred in the period of pre Old English (OE) in two aspects: what motivates i-umlaut in OE and how the phenomenon can be analyzed within the framework of OT. Unlike root-controlled vowel harmony, i-umlaut in OE is triggered by the suffixal i or j in the unstressed syllable whereby a stressed root vowel becomes fronted or raised. In this study, it is proposed that i-umlaut in OE is driven by the weak trigger i or j to improve its poor perception: I-umlaut improves the poor perceptibility of the weak trigger by extending its feature-either [-back] or [-low]-onto the vowel in the stressed syllable. This study provides an OT-theoretic analysis utilizing the licensing account to vowel harmony proposed by Walker (2004, 2005). The licensing constraints, IDENT-IO(F) and the locally conjoined constraints are proposed and their interaction correctly captures the pattern of i-umlaut in OE. Also, it is shown that the licensing account proposed in this paper is superior to the previous analyses as well as the nonlicensing approaches in that it can provide a perceptual motivation couched in i-umlaut in OE.

• 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.

• Proceedings of the IEEK Conference
• /
• 2003.07b
• /
• pp.819-822
• /
• 2003

This paper defines an algorithmic description language in cycle-accurate level which can be used to design hardware components. The proposed language is less complex and more flexible than VHDL language. In that the language includes C-like control flow descriptions and brief timing information(i.e. clock cycle boundaries) indicated by 'wait_edge' statements. We generate RTL VHDL codes from the descriptions. The proposed language requires only 10～30% of the # of lines to describe the same functionality compared with RTL VHDL.

• Language and Information
• /
• v.4 no.1
• /
• pp.1.2-8
• /
• 2000

76) $\ldots$[YP $neg_i\;\ldots\;t_i-[f\ldots*(\gamma)\ldots$] (1)=문부정 이동; (2)‘비선택적 결속’(unselective binding) 77) a. 초점운용자(초점 의존적 불변화사)의 통사적 성격을 동일하나, 형태론적 성격은 다를 수 있다. i. 문부정 - 문부정에 의해 결속되는, 하나 이상의 초점 혹은 의문 초점이나, 하나의 양화사를 포함하는 초점범주 ii. even(초점 의존적 불변화사) - even에 의해 결속되는, 하나 이상의 초점을 포함하는 초점범주 iii. 대조 영운용자 - 초점인 대조표지와 합쳐진 초점범주 b. 초점운용자의 의미는 운용자의 어휘적, 범주적 성격에 의거한다.

• Language and Information
• /
• v.14 no.2
• /
• pp.17-32
• /
• 2010

Distributivity has been one of the central topics in formal semantics. However, no due attention has been paid to embedded distributivity that very frequently occurs in natural languages. In this paper, I propose a formal analysis for embedded distributivity. In analyzing embedded distributivity, I employ no complicated mechanisms but pluralization. Since distributivity is reduced to plurality as Landman (2000) argues, employing plural formation is not an ad hoc approach to embedded distributivity. That is, the plural variable inserted in the process of deriving embedded distributivity is motivated in a principled manner since the pluralization occurs inside a pluralization operator. Moreover, I point out that the plural variable made available is not restricted to entities.

• Language and Information
• /
• v.14 no.1
• /
• pp.197-227
• /
• 2010

This study reviews (i) the (dis)advantages of two major semantic theories of focus, i.e., the Alternative Semantics (AS) and the Structured Meaning Theory (SM), and (ii) the hybrid analysis consisting of these two theories proposed by Krifka (2006). After pointing out a problem of this hibrid analysis, this study attempts to show the third alternative, i.e., the theory of identificational predication for focus can solve this problem.

• Language and Information
• /
• v.19 no.2
• /
• pp.37-53
• /
• 2015

It has been widely accepted that Korean -i/ka, known as the nominative marker, can give rise to exhaustivity effect. However, it has been rarely discussed and still remains unclear how and why the particle can convey exhaustivity. The purpose of this paper is to shed light on this issue, based on Kim's (2014) analysis of the function of -i/ka. The main claim is that the exhaustivity expressed by -i/ka is a pragmatic effect derived from the interaction of the function of -i/ka, namely, unique specification, and the existence of alternatives to the denotation of an -i/ka-marked phrase in discourse context. Thus, the nature of the exhaustive implicature induced by -i/ka is not conventional but conversational.

• Speech Sciences
• /
• v.10 no.4
• /
• pp.241-254
• /
• 2003

The purpose of the present study was to investigate the sentence comprehension strategies used by Korean/English bilingual children when they listened to sentences of their first language, i.e., Korean. The framework of competition model was employed to analyze the influence of the second language, i.e., English, during comprehension of Korean sentences. The participants included 10 bilingual children (ages 7;4-13;0) and 20 Korean-speaking monolingual children(ages 5;7-6;10) with similar levels of development in Korean language as bilingual children. In an act-out procedure, the children were asked to determine the agent in sentences composed of two nouns and a verb with varying conditions of three cues (case-marker, animacy, and word-order). The results revealed that both groups of children used the case marker cues as the strongest cue among the three. The bilingual children relied on case-marker cues even more than the monolingual children. However, the bilingual children used animacy cues significantly less than the monolingual children. There were no significant differences between the groups in the use of word-order cues. The bilingual children appeared less effective in utilizing animacy cues in Korean sentence comprehension due to the backward transfer from English where the cue strength of animacy is very weak. The influence of the second language on the development of the first language in bilingual children was discussed.

• Proceedings of the KIEE Conference
• /
• 1987.11a
• /
• pp.316-320
• /
• 1987

This paper deals with expert system for power system fault restoration and accompanying numerical data processing. Nowadays, expert system which is a branch or artificial intelligence expands its application area to many fields. And it requires computer language for A.I. to be versatile. Expert system for power system handles numerous numerical data and language for A.I. has its deficiency in numerical data processing. However some recent version of the A.I. language rind ways of overcoming this dilemma by giving the way or linking conventional algorithmic languages to them. This study presents numerical data processing routines described in Turbo prolog which is run in IBM PC and linking numerical data processing routines written in Turbo C to Turbo prolog.

• 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.