A study of the contribution semantics makes to the syntactic patterns of English: an intepretive theory of grammar.

In this particularly well written volume Graeme Hirst presents a theoretically motivated foundation for semantic interpretation (conceptual analysis) by computer, and shows how this framework facilitates the resolution of both lexical and syntactic ambiguities.

Interpretation is the process whereby a hearer reasons to an interpretation of a speaker's discourse. The hearer normally adopts a credulous attitude to the discourse, at least for the purposes of interpreting it. That is to say the hearer tries to accommodate the truth of all the speaker's utterances in deriving an intended model. We present a nonmonotonic logical model of this process which defines unique minimal preferred models and efficiently simulates a kind of closed-world reasoning of particular (...) interest for human cognition. Byrne's “suppression” data (Byrne, 1989) are used to illustrate how variants on this logic can capture and motivate subtly different interpretative stances which different subjects adopt, thus indicating where more fine-grained empirical data are required to understand what subjects are doing in this task. We then show that this logical competence model can be implemented in spreading activation network models. A one pass process interprets the textual input by constructing a network which then computes minimal preferred models for (3-valued) valuations of the set of propositions of the text. The neural implementation distinguishes easy forward reasoning from more complex backward reasoning in a way that may be useful in explaining directionality in human reasoning. (shrink)

Interpretation is the process whereby a hearer reasons to an interpretation of a speaker's discourse. The hearer normally adopts a credulous attitude to the discourse, at least for the purposes of interpreting it. That is to say the hearer tries to accommodate the truth of all the speaker's utterances in deriving an intended model. We present a nonmonotonic logical model of this process which defines unique minimal preferred models and efficiently simulates a kind of closed-world reasoning of particular (...) interest for human cognition. Byrne's “suppression” data (Byrne, 1989) are used to illustrate how variants on this logic can capture and motivate subtly different interpretative stances which different subjects adopt, thus indicating where more fine-grained empirical data are required to understand what subjects are doing in this task. We then show that this logical competence model can be implemented in spreading activation network models. A one pass process interprets the textual input by constructing a network which then computes minimal preferred models for (3-valued) valuations of the set of propositions of the text. The neural implementation distinguishes easy forward reasoning from more complex backward reasoning in a way that may be useful in explaining directionality in human reasoning. (shrink)

기독교에서 ‘말씀’은 하나님의 지위와 동등한 지위를 갖는다. 한글 단어 말씀은 따라서 단순히 한자말 ‘언어’ 이상의 의미를 갖는다. 성경에서 ‘말씀은 곧 하나님, 진리, 생명 이다.’라는 표현에서 알 수 있듯이, 말씀은 여러 뜻을 품고 있다. 그러나 기독교 역사의 맥락에서 말씀은 많은 오해와 왜곡이 있어왔을 뿐만 아니라, 특히 한국 기독교회 내에서는 권위주의에 영합된 말씀의 용법이 자의적으로 사용되고 이해되어 교회의 제도와 삶을 일그러뜨리고, 이로 인해 이제는 신앙생활은 비 신도들에게 비난받는 정도에까지 이르렀다. 만일 이런 일이 계속 방치된다면, 기독교는 한국사회에서 불원간 퇴출될지도 모른다.BR 그러나 말씀의 의미를 (...) 제대로 규명하여 교회가 본래의 모습을 되찾는다면, 현재의 기독교적 위기를 극복하고, 훼손된 이미지를 회복하며, 역사상 보였던 기독교의 긍정적 기여를 이어갈 수 있을 것이다. 본 논문에서 필자는 말씀의 참된 함의를 회복하는 방법으로 여러가지 측면에서 철학적 재고의 작업을 시도하려고 한다. 크게 보아 말씀을 철학의 개념적인 방법론으로 읽어낼 때 바람직한 말씀의 위상회복의 싹을 틔우리라고 필자는 기대하고 있다.BR 첫째로 말씀은 그것은 일상 언어적 의미로 다양한 활용을 드러낸다. 둘째로 그것은 다양한 형태의 속성을 드러내는 존재론적 의미를 갖는다. 셋째로 말씀은 인식론적으로 접근할 수 있다. 넷째로 그것은 가치론적으로 해석될 수 있다.BR 이렇게 보면 말씀이란 단순히 단칭지시적인 차원이상의 다양한 형태를 갖는, 복합적 해석의 층위를 가진 표현이다. 이런 말씀의 다차원적 함의의 가능성을 개발하면서, 그것의 구체적인 관점을 취해서 해석한다면, 이로써 우리는 말씀의 긍정적 심오함을 밝혀낼 수 있다. (shrink)

Trygve Haavelmo's 1944 article ‘The Probability Approach in Econometrics’ is considered by most to have provided the foundations for present day econometrics (Morgan, 1990, Chapters 8 and 9). Since Haavelmo (1944), extraordinary advances have been made in econometrics. However, over the last two decades the efficacy and scientific status of econometrics has become questionable. Not surprisingly, the growing discontent with econometrics has been accompanied by a growing interest in econometric methodology.

In a recent article in this journal, Giuseppe Ferraro mounted a sustained attack on the semantic interpretation of the Madhyamaka doctrine of emptiness, an interpretation that has been championed by the authors. The present paper is their reply to that attack.

This paper presents an interpretation of Husserl''s phenomenological epoché or bracketing ( Einklammerung), which makes it possible to compare his position with philosophical programs developed within the framework of modern analytical philosophy. At the same time it asks in what sense Husserl''s phenomenology is a form of idealism or exceeds the traditional discussion of idealism versus realism.

What is the computational notion of “implementation”? It is not individuation, instantiation, reduction, or supervenience. It is, I suggest, semantic interpretation.

A critique of structural theories of semantics, Particularly of the system developed by fodor and katz. The paper shows that such theories rest on misconceptions of sentential meaning and meaningfulness, Which it is argued, Admits of degree and varies with context. Also, Metaphorical meaning is bound to remain outside the theoretical reach of such systems, Which conceive of the everyday use of language as a mechanical process and not partly a creative one. Finally, It is argued that analogies rather than (...) rules are used in the process of semantic interpretation. (shrink)

What is central to the progression of a sequence is the idea of succession, which is fundamentally a temporal notion. In Kant's ontology numbers are not objects but rules (schemata) for representing the magnitude of a quantum. The magnitude of a discrete quantum 11...11 is determined by a counting procedure, an operation which can be understood as a mapping from the ordinals to the cardinals. All empirical models for numbers isomorphic to 11...11 must conform to the transcendental determination of time-order. (...) Kant's transcendental model for number entails a procedural semantics in which the semantic value of the number-concept is defined in terms of temporal procedures. A number is constructible if and only if it can be schematized in a procedural form. This representability condition explains how an arbitrarily large number is representable and why Kant thinks that arithmetical statements are synthetic and not analytic. (shrink)

This paper discusses the 'master argument' of diodorus cronos from a semantic perspective. An argument is developed which suggests that proposition (1), 'every proposition true about the past is necessary', May have provided the principal motivation for diodorus denial of proposition (3), I.E., His equation of possibility with present-Or-Future truth. It is noted that (1) and (3) are jointly inconsistent only given the assumption of a linear ordering of time. It is further noted that diodorus' fatalism "could" be employed (...) to justify this additional assumption. However, To then use the conclusion of the 'master' to argue for fatalism would obviously be circular. I suspect, Rather, That diodorus' assumption of temporal linearity was implicit and uncritical. (shrink)

This paper proposes a critical analysis of that interpretation of the Nāgārjunian doctrine of the two truths as summarized—by both Mark Siderits and Jay L. Garfield—in the formula: “the ultimate truth is that there is no ultimate truth”. This ‘semantic reading’ of Nāgārjuna’s theory, despite its importance as a criticism of the ‘metaphysical interpretations’, would in itself be defective and improbable. Indeed, firstly, semantic interpretation presents a formal defect: it fails to clearly and explicitly express that (...) which it contains logically; the previously mentioned formula must necessarily be completed by: “the conventional truth is that nothing is conventional truth”. Secondly, after having recognized what Siderits’ and Garfield’s analyses contain implicitly, other logical and philological defects in their position emerge: the existence of the ‘conventional’ would appear—despite the efforts of semantic interpreters to demonstrate quite the contrary—definitively inconceivable without the presupposition of something ‘real’; moreover, the number of verses in Nāgārjuna that are in opposition to the semantic interpretation (even if we grant semantic interpreters that these verses do not justify a metaphysical reconstruction of Nagarjuna’s doctrine) would seem too great and significant to be ignored. (shrink)

The first aim of the paper is to show that under certain conditions generative syntax can be made suitable for Montague semantics, based on his type logic. One of the conditions is to make branching in the so-called X-bar syntax strictly binary, This makes it possible to provide an adequate semantics for Noun Phrases by taking them as referring to sets of collections of sets of entities ( type <ett,t>) rather than to sets of sets of entities (ett).

KRISP is a representation system and set of interpretation protocols that is used in the Sparser natural language understanding system to embody the meaning of texts and their pragmatic contexts. It is based on a denotational notion of semantic interpretation, where the phrases of a text are directly projected onto a largely pre-existing set of individuals and categories in a model, rather than first going through a level of symbolic representation such as a logical form. It defines (...) a small set of semantic object types, grounded in the lambda calculus, and it supports the principle of uniqueness and supplies first class objects to represent partially-saturated relationships.KRISP is being used to develop a core set of concepts for such things as names, amounts, time, and modality, which are part of a few larger models for domains including Who''s News and joint ventures. It is targeted at the task of information extraction, emphasizing the need to relate entities mentioned in new texts to a large set of pre-defined entities and those read about in earlier articles or in the same article. (shrink)

In this paper, we offer an argument in favor of the modular character of mind, based on a more detailed proof of the modular character of the linguistic capacity: in comparing the properties of different components of grammar in a specific area we will draw general consequences about the properties of the cognitive system. More specifically, we analyze and compare the properties, in logical form (LF)and in phonology, of “empty eIements” - eIements that are “visible” or “full” at some level (...) of representation, but not at another level.Our analysis shows that empty eIements are governed at LF by principIes on variables. binding conditions, and thematic principles, that relate eIements at a distance. In phonology, on the other hand, empty elements, i.e., empty segments and empty properties, can be obtaines by deletion and are governed by very different principles (underspecification, principles relating to recoverability of deletion effects), andthese principles relates eIements under strict adjacency. In addition, when a principle seems to be operating in a similar fashion in both components, as in the case of the Projection Principle, it involves lexical properties, which are properties affecting all components. We conclude, hence, that grammar is a modular system, with different components following different principles but related of course, among other things, by the properties of lexical structure.It follows from this analysis that a theory that views language as part of a homogeneous cognitive capacity cannot be mantained: cognition cannot be nonmodular in a strict sense, since a subpart of it, the linguistic capacity is modular itself. We conclude also that the linguistic capacity being modular, we ean only expect that, when studied in more detail, other cognitive capacities will be shown to differ intheir structure still more from the language system. (shrink)

This article is concerned with the concept of ambiguity in argumentation. Ambiguity in linguistics lies on the coexistence of two possibly interpretations of an utterance, while the role of contextual factors and background/encyclopedic knowledge within a specific society seems to be crucial. From a systemic point of view, Halliday has proposed three main language functions (meta-functions): a) ideational function, b) interpersonal function, c) textual function. Language could reflect speaker’s experience of his external and internal world, interpersonal relationships and organization of (...) text, respectively. Lexico-grammatical choices under a micro-level perspective and context (the environment of language) may lead to inconsistent interpretations through semantic or syntactic ambiguities. In philosophy and argumentation logic, strategies of ambiguity have been investigated by Aristotle, since the first sophistic movement. In his Topics, Metaphysics and Rhetoric, has pointed out the notion of “τὸ διττῶς / διχῶς λεγόμενον”, meaning that a term can have different senses and double interpretation. In this paper we discuss how we reconstruct the meaning of an utterance in dialogue through the mechanism of interpretation and how we analyze and construe ambiguities, combining the insights of argumentation theory and text linguistics. Research results show that in case of misunderstanding, the “best interpretation” is the less defeasible one according to contextual presumptions. (shrink)

We obtain modal completeness of the interpretability logics IL $\!\!\textsf {P}_{\textsf {0}}$ and ILR w.r.t. generalised Veltman semantics. Our proofs are based on the notion of full labels [2]. We also give shorter proofs of completeness w.r.t. the generalised semantics for many classical interpretability logics. We obtain decidability and finite model property w.r.t. the generalised semantics for IL $\textsf {P}_{\textsf {0}}$ and ILR. Finally, we develop a construction that might be useful for proofs of completeness of extensions of ILW w.r.t. (...) the generalised semantics in the future, and demonstrate its usage with $\textbf {IL}\textsf {W}^\ast = \textbf {IL}\textsf {WM}_{\textsf {0}}$. (shrink)

Contemporary research in compositional, truth-conditional semantics often takes judgments of the relative unacceptability of certain phrasal combinations as evidence for lexical semantics. For example, observing that completely full sounds perfectly natural whereas completely tall does not has been used to motivate a distinction whereby the lexical entry for full but not for tall specifies a scalar endpoint. So far, such inferences seem unobjectionable. In general, however, applying this methodology can lead to dubious conclusions. For example, observing that slightly bent is (...) natural but slightly cheap is not (that is, not without a “too cheap” interpretation) leads researchers to suggest that the interpretation of bent involves a scalar minimum but cheap does not, contra intuition—after all, one would think that what is minimally cheap is (just) free. Such claims, found in sufficient abundance, raise the question of how we can support semantic theories that posit properties of entities that those entities appear to lack. This paper argues, using theories of adjectival scale structure as a test case, that the (un)acceptability data recruited in semantic explanations reveals properties of a two-stage system of semantic interpretation that can support divergences between our semantic and metaphysical intuitions. (shrink)

The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that (...) such debate, at least in the terms commonly expressed, can be misleading. We argue that the traditional notion of “interpretation” within the syntax/semantic debate is not the same as that of the debate concerning the interpretation of quantum mechanics. As much as the term is the same, the term “interpretation” as employed in quantum mechanics has its meaning beyond (pure) logic. Our main focus here lies on the formal aspects of the solutions to the measurement problem. There are many versions of quantum theory, many of them incompatible with each other. In order to encompass a wider variety of approaches to quantum theory, we propose a different one with an emphasis on pure formalism. This perspective has the intent of elucidating the role of each so-called “interpretation” of quantum mechanics, as well as the precise origin of the need to interpret it. (shrink)

Philo's argument from evil in a much-discussed passage in Part X of Hume's Dialogues concerning Natural Religion (1779) has been interpreted in three main ways: as a logical argument from evil, as an evidential argument from evil, and as an argument against natural theology's inference of a benevolent and merciful God from the course of the world. I argue that Philo is not offering an argument of any of these sorts, but is arguing that there is a radical disanalogy between (...) the meanings of terms like ‘merciful’ and ‘benevolent’ when applied to God and human beings respectively. Drawing on the new ‘Irreligious Interpretation’ of Hume's philosophy developed by Paul Russell (2002, 2008), I suggest that the underlying aim of Philo's argument appears to be to show, in opposition to Christian teaching, that these terms, when applied to God, are in effect meaningless. (shrink)

In this paper I will tackle three issues. First, I aim to briefly outline the backbone of semantic minimalism, while focusing on the idea of ‘liberal truth conditions’ developed by Emma Borg in her book ‘Minimal Semantics’. Secondly, I will provide an account of the three principal views in legal interpretation: intentionalism, textualism and purposivism. All of them are based on a common denominator labelled by lawyers ‘literal meaning’. In the paper I suggest a novel way of viewing (...) this common denominator as almost identical to the Borgian ‘liberal truth conditions’, at least at a conceptual level. In the third section I will focus on the conceptual similarities between the two ideas. I intend to depict that, although legal theorists do not admit it explicitly, they treat literal legal meaning as minimal propositional content that can be ascribed liberal truth conditions. There are two main objections to liberal truth conditions: their under-determinacy and unintuitive character. Both objections can be applied to ‘literal meaning’. However, the idea of liberal truth conditions gives an adequate account of what lawyers call literal meaning and is helpful in explaining the mechanism of understanding of provisions and reasons leading to the necessity of statutory interpretation. (shrink)

Scientists often study hypotheses that they know to be false. This creates an interpretive problem for Bayesians because the probability assigned to a hypothesis is typically interpreted as the probability that the hypothesis is true. I argue that solving the interpretive problem requires coming up with a new semantics for Bayesian inference. I present and contrast two new semantic frameworks, and I argue that both of them support the claim that there is pervasive pragmatic encroachment on whether a given (...) Bayesian probability assignment is rational. (shrink)

This is a condensed version of the material in chapters 8-10 in Meaning and Mental Representation (MIT, 1989). It is an explanation and defence of a theory of content for the mind considered as a symbolic computational process. It is a view i abandoned shortly thereafter when I abandoned symbolic computatioalism as a viable theory of cognition.