以言行事观念下的句法学、语义学和语用学

语力逻辑系统既包括本体层面,与真及成真条件有关,也包括认知层面,与以言行事的语力和行为有关。语力逻辑系统可以通过往标准的逻辑系统中添加施事性算子而得到。通过提供一个联系着以言行事的行为的理性承诺的解释,并且通过形成以旅事性行为为前提和结论的自然演绎的推理系统,这类算子标示了以言行事的语力。本文利用一个简单的处理了断言、否定、假设的语力逻辑系统,证明经过恰当的考虑,对以言行事的语力和理性承诺的研究属于语义学,而不属于语用学。这一论证依赖于这样的事实,即表达式的赋值函项可被同时用于处理语力逻辑系统的本体和认知层面,在这两种情况下,这些函项都为建立恰当性和完全性的结果提供了基础。句法学研究的是表达式的结构,而语义学关心的则是语言使用者的意义,无论这些意义是不是习规上的意义。剩下的第三项研究,即所谓语用学,考察的是语言行为的意义是如何被说话者传达给听者的。     

The Gradual Deterioration of Syntax and Semantics in a Patient with Progressive Aphasia

FM is a progressive aphasic patient whose language comprehension we studied over a 4-year period. We developed a variety of implicit and explicit tasks to chart progressive changes in the representation of linguistic knowledge (in particular, syntax and semantics) and the automatic and controlled processes which operate on that knowledge. The representation of FM's semantic knowledge remained essentially intact over the years, but she became increasingly impaired at combining the meanings of words. She also showed progressive impairments in the processes of syntactic combination. Thus, FM's disease resulted in a progressive inability to engage in those combinatorial processes necessary for the normal comprehension of a spoken utterance. This is not a selective deficit in the traditional sense of the term, since aspects of both syntax and semantics are implicated; but it is selective in the sense that other aspects of language comprehension remain intact.     

Familial Handedness and Access to Words, Meaning, and Syntax during Sentence Comprehension

We compared right-handed familial dextral (FS-) and familial sinistral (FS+) participants who were aged either 10-13 years (children) or 18-23 years (adults). In word probe and associative probe tasks, FS+ adults responded faster than all other groups and FS+ children responded more slowly than all other groups. In the word probe task, only the FS- adults showed a significant effect of the serial position of the target word. We interpret these differences to support an analysis-by-synthesis model of comprehension in which individuals who differ in familial handedness and age emphasize different linguistic representations during comprehension. In general, FS+ individuals focus on words and meaning, while FS- individuals focus on syntactic representations. In FS+ individuals, age-related experiences with language produce a shift in responding from compositional meaning to words and their associations. In FS- individuals, age-related experiences with language produce a shift toward responding based more on detailed syntactic representations, including the serial order of words and possibly the structural roles of clauses.     

Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview

In 2005 the author introduced networks which allow attacks on attacks of any level. So if a → b reads a attacks b, then this attack can itself be attacked by another node c. This attack itself can attack another node d. This situation can be iterated to any level with attacks and nodes attacking other attacks and other nodes. In this paper we provide semantics (of extensions) to such networks. We offer three different approaches to obtaining semantics.

1. The translation approach This uses the methodology of ‘Logic by translation’. We translate faithfully the new networks into ordinary Dung networks with more nodes and extract the semantics from the translation.
2. The labelling approach This method regards the arrows as additional entities to be attacked and to mount attacks and applies a variation of the usual machinery of Camindada like labelling to the network. The new concept we need to employ here is that of ‘joint attacks’.
3. The logic programming approach We translate the higher level network into a logic program and obtain semantics for it through known semantics for logic programs.

We then compare our methods with those of S. Modgil and P. M. Dung et al.     

Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility

Many intermediate logics, even extremely well-behaved ones such as IPC, lack the finite model property for admissible rules. We give conditions under which this failure holds. We show that frames which validate all admissible rules necessarily satisfy a certain closure condition, and we prove that this condition, in the finite case, ensures that the frame is of width 2. Finally, we indicate how this result is related to some classical results on finite, free Heyting algebras.     

Syntactic development in children with hemispherectomy: the I-, D-, and C-systems

This study reports on functional morpheme (I, D, and C) production in the spontaneous speech of five pairs of children who have undergone hemispherectomy, matching each pair for etiology and age at symptom onset, surgery, and testing. Our results show that following left hemispherectomy (LH), children evidence a greater error rate in the use of functional category elements than their right hemispherectomy (RH) counterparts. Nevertheless, error rates are surprisingly low and comparable across groups. We interpret these results as (a) weak empirical evidence for a left hemisphere advantage in acquisition of functional structure, (b) strong support that functional structure is a property of all human grammars, and (c) strong support that each isolated developing hemisphere has the potential to acquire a grammar embodying and constrained by highly specific structural principles defining human language.     

Meaning Relations,Syntax, and Understanding

Axiomathes - This paper revisits the conception of intelligence and understanding as embodied in the Turing Test. It argues that a simple system of meaning relations drawn from words/lexical items...     

Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information

We present a compositional semantics for first-order logic with imperfect information that is equivalent to Sevenster and Sandu’s equilibrium semantics (under which the truth value of a sentence in a finite model is equal to the minimax value of its semantic game). Our semantics is a generalization of an earlier semantics developed by the first author that was based on behavioral strategies, rather than mixed strategies.     

Pooling Modalities and Pointwise Intersection: Semantics,Expressivity, and Dynamics

Journal of Philosophical Logic - We study classical modal logics with pooling modalities, i.e. unary modal operators that allow one to express properties of sets obtained by the pointwise...