• Korean Journal of Logic
• /
• v.22 no.2
• /
• pp.309-332
• /
• 2019

In Kang(2017), Jinho Kang persuasively criticized the attempt of Peter Hanks using his concept of cancelled predication to solve the Frege-Geach problem. According to Kang, Hanks had successfully shown the incoherence of Scott Soames's concept of neutral predication, but if it is true, then Hanks's concept of cancelled predication also falls into the same incoherence. I agree with Kang that Hanks faces the same incoherence, and I think that Hank's answers are unconvincing. As I see, however, it is possible for Hanks to overcome Kang's criticism. In this paper, I will reply to Kang's criticism by using conceptual resources in Hanks's own theory. In particular, the idea is that the final predication is compositionally explained by the type it belongs to without having truth-values because cancelled predication itself gives rise to target-shifting toward the type. By doing so, Hanks can successfully solve the Frege-Geach problem even though he let some remarks about cancelled predication unclear and confusing. In addition, it will be revealed that his notation is misleading as well.

• Korean Journal of English Language and Linguistics
• /
• v.1 no.2
• /
• pp.273-293
• /
• 2001

In this paper, I examine the phenomenon of English depictive and resultative predications with specific attention given to the relation between accentual focus structure and argument structure. The goal is pursued primarily through a production experiment and analyses to establish the interconnection between focus and argument structure. The central claim is that the resultative predicate forms a complex predicate with a main verb, whereas the depictive predicate behaves as an adjunct in English secondary constructions. The result shows that the relationship between focus and accent depends at least in part on their argument structure, confirming that current focus theories about argument-head and adjunct-head structures in primary predication constructions can be extended to secondary predication constructions.

• Language and Information
• /
• v.2 no.1
• /
• pp.157-176
• /
• 1998

This paper claims that beneficiary adjuncts are best analyzed as involving external predication in a version of grammatical framework called Head-driven Phrase Structure Grammar. This paper also claims that verbal catefories need to include the attribute INDEX among their semantic components in order to account for the external predication proposed in this paper. This paper distinguishes between recipient and beneficiary reles and assumes that the former is a semantic argument of a verb-type relation and that the latter is an adjunct which makes a semantic contribution as a modifier. This approach achives a unified analysis of modification phenomena of nominal and verbal categories and it can also accomodate Parson's(1990) idea that a verbal category denotes a set of events, not just an event.

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

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1998.02a
• /
• pp.348-356
• /
• 1998

• Language and Information
• /
• v.14 no.2
• /
• pp.47-70
• /
• 2010

This study investigates the semantic and prosodic properties of the so-called contrastive topic. We posit two informational primitives, namely, topical feature [+-T] and focal feature [+-F], from which four different informational categories, i.e., [+T, +F], [+T, -F], [-T, +F], and [-T, -F], are yielded. It is proposed that the informational category of contrastive topic has focal property [+F] as well as topical property [+T]. Based on the semantic approach that regards the function of [+F] as identificational predication and that of [+T] as forming a semantic conditional clause, it is shown that the semantic function of contrastive topic, which is specified as [+T, +F], is the combination of these two functions, i.e., identificational predication in a semantic conditional clause. This is supported by a scrutinized exploration of the prosodic pattern of English contrastive topic.

• Language and Information
• /
• v.8 no.1
• /
• pp.77-100
• /
• 2004

This paper aims to account for direct combination of an entity type noun with the verb HA- 'do' (ex. piano-rul ha- 'piano-ACC do') in Korean, based on Generative Lexicon Theory (Pustejovsky, 1995). The verb HA-'do' coerces some entity type nouns (e.g., pap 'boiled rice') into event type ones, by virtue of the qualia of the nouns. Typically, a telic-based type coercion supplies individual predication to the HA- construction and an agentive-based type coercion evokes a stage-level interpretation. Type coercion has certain constraints on the choice of qualia. We further point out that qualia cannot be a warehouse of pragmatic information. Qualia are composed of necessary information to explain the lattice structure of lexical meaning and co-occurrence constraints, distinct from accidental information. Finally, we seriously consider co-composition as an alternative to type coercion for the crucial operation of type shift.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1995.02a
• /
• pp.49-56
• /
• 1995

• Journal of KIISE:Software and Applications
• /
• v.32 no.7
• /
• pp.683-692
• /
• 2005

Java specification states that all accesses to an object must be checked at runtime if object refers to null. Since Java is an object-oriented language, object accesses are frequent enough to make null pointer checks affect the performance significantly. In order to reduce the performance degradation, there have been attempts to remove redundant null pointer checks. For example, in a Java environment where a just-in-time (JIT) compiler is used, the JIT compiler removes redundant null pointer check code via code analysis. This paper proposes a technique to remove additional null pointer check code that could not be removed by previous JIT compilation techniques, via early null pointer check using an architectural feature called predication. Generally, null point check code consists of two instructions: a compare and a branch. Our idea is moving the compare instruction that is usually located just before an use of an object, to the point right after the object is defined so that the total number of compare instructions is reduced. This results in reduction of dynamic and static compare instructions by 3.21$\%$ and 1.98$\%$. respectively, in SPECjvm98 bechmarks, compared to the code that has already been optimized by previous null pointer check elimination techniques. Its performance impact on an Itanium machine is an improvement of 0.32$\%$.

• Communications for Statistical Applications and Methods
• /
• v.7 no.1
• /
• pp.87-96
• /
• 2000

Nonlinear time series prediction is derived and compared between statistic of modeling and neural network method. In particular mean squared errors of predication are obtained in generalized random coefficient model and generalized autoregressive conditional heteroscedastic model and compared with them by neural network forecasting.