Developmental differences in the neural correlates supporting semantics and syntax during sentence processing

School‐aged and adolescent children continue to demonstrate improvements in how they integrate and comprehend real‐time, auditory language over this developmental time period, which can have important implications for academic and social success. To better understand developmental changes in the neural processes engaged during language comprehension in this age group, we use electroencephalography to investigate how 8–9 year old, 12–13 year olds, and adults process semantics and syntax in naturally paced, auditory sentences. Participants listened to semantically and syntactically correct and incorrect sentences and were asked to complete an acceptability judgment task. When processing a semantic error, developmental differences were observed in theta, but not the N400, suggesting that the N400 may be too gross a measure to identify more subtle aspects of semantic development that occur in the school years. For the syntactic task, errors resulted in a larger P600 and greater beta decrease than correct sentences, but the amplitude and location of the P600 and amplitude of beta decreases differed as a function of age, suggesting specialization of syntactic skills is ongoing through adolescence. The current findings shed new light on the development of the neural oscillations supporting language comprehension and suggest that the neural substrates underlying semantic processing reach adult‐like levels at a younger age than those underlying syntactic processing.     

Mimic automata: A novel formal model for mimic computing

In this paper, we aim to establish a mathematical model for mimic computing. To this end, we present a novel automaton called a mimic automaton. First, a one-dimensional cellular automaton is used for expressing some dynamic changes in the structure of a computing unit, a sequential automaton is employed to describe some state transitions, a hierarchical automaton is employed to express the different granularities of some computing units, and a probabilistic automaton is used to depict some random changes of a computing unit. Second, a mimic automaton is obtained by combining the various types of automata mentioned above in a certain logical relationship. Compared with the existing models of mimic computing, the new model portrays the operational semantics for a mimic computing system, and it can directly describe the behaviors of a system. Furthermore, the new model possesses a stronger generality.     

Hintikka’s Logical Revolution

Hintikka thinks that second-order logic is not pure logic, and because of Gödel’s incompleteness theorems, he suggests that we should liberate ourselves from the mistaken idea that first-order logic is the foundational logic of mathematics. With this background he introduces his independence friendly logic (IFL). In this paper, I argue that approaches taking Hintikka’s IFL as a foundational logic of mathematics face serious challenges. First, the quantifiers in Hintikka’s IFL are not distinguishable from Linström’s general quantifiers, which means that the quantifiers in IFL involve higher order entities. Second, if we take Wright’s interpretation of quantifiers or if we take Hale’s criterion for the identity of concepts, Quine’s thesis that second-order logic is set theory will be rejected. Third, Hintikka’s definition of truth itself cannot be expressed in the extension of language of IFL. Since second-order logic can do what IFL does, the significance of IFL for the foundations of mathematics is weakened.     

口语加工中的词语切分线索

词是语言的基本结构单位, 对词语进行切分是语言加工的重要步骤。口语语流中的切分线索来自于语音、语义和语法三个方面。语音线索包括概率信息、音位配列规则和韵律信息, 韵律信息中还包括词重音、时长和音高等内容, 这些线索的使用在接触语言的早期阶段就逐渐被个体所掌握, 而且在不同的语言背景下有一定的特异性。语法和语义线索属于较高级的线索机制, 主要作用于词语切分过程的后期。后续研究应从语言的毕生发展和语言的特异性两个方面考察口语语言加工中的词语切分线索。     

Refutations,Proofs, and Models in the Modal Logic K4

In this paper we study the method of refutation rules in the modal logic K4. We introduce refutation rules with certain normal forms that provide a new syntactic decision procedure for this logic. As corollaries we obtain such results for the following important extensions: S4, the provability logic G, and Grzegorczyk's logic. We also show that tree-type models can be constructed from syntactic refutations of this kind.     

Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants

This paper contains five observations concerning the intended meaning of the intuitionistic logical constants: (1) if the explanations of this meaning are to be based on a non-decidable concept, that concept should not be that of `proof"; (2) Kreisel"s explanations using extra clauses can be significantly simplified; (3) the impredicativity of the definition of can be easily and safely ameliorated; (4) the definition of in terms of `proofs from premises" results in a loss of the inductive character of the definitions of and and (5) the same occurs with the definition of in terms of `proofs with free variables".     

Algebras and Matrices for Annotated Logics

We study the matrices, reduced matrices and algebras associated to the systems SA_T of structural annotated logics. In previous papers, these systems were proven algebraizable in the finitary case and the class of matrices analyzed here was proven to be a matrix semantics for them.We prove that the equivalent algebraic semantics associated with the systems SA_T are proper quasivarieties, we describe the reduced matrices, the subdirectly irreducible algebras and we give a general decomposition theorem. As a consequence we obtain a decision procedure for these logics.     

Why is a verb like an inanimate object? Grammatical category and semantic category deficits

Semantic category effects, such as difficulties in naming animate things relative to inanimate objects, have been explained in terms of the relative weightings of perceptual and functional features within the semantic representations of these concepts. We argue that grammatical category deficits, such as difficulties in naming nouns relative to verbs, can be explained within the same framework. We hypothesize that verb concepts are richer in functional than sensory features and present a model of the semantic representations of animate nouns, inanimate nouns, and verbs. The model demonstrates that sensory feature damage results in a deficit for naming living things but spares verb naming, and functional feature damage results in a deficit for naming inanimate objects and verbs. We then report the assessment results of two patient groups. In accordance with the model's predictions, the "verb spared" patients were consistently worse at naming living things than inanimate objects, and their definitions of both living and nonliving items were lacking in sensory information. We conclude that damage to sensory features in semantic representations causes difficulties in naming concrete nouns relative to action verbs, and within the grammatical category of nouns, animate items will be more severely affected. Imageability was shown to be a strong predictor of naming performance in the "verb deficit" patients, and when this variable was controlled no class effect remained. Production of definitions revealed no differential damage to sensory or functional features, and no consistent effect of animacy in naming was shown. While the model suggests that verb deficits might occur in patients for whom functional features are damaged relative to sensory features, we conclude that the "verb deficit" shown in our patients (and potentially in many previously reported cases) was an artifact of the lower imageability of verbs in confrontation naming tasks.     

Language and cognition-Kurt Goldstein's theory of semantics

Kurt Goldstein is regarded as one of the major proponents of the holistic movement at the beginning of the 20th century. He rejected the strong localization hypothesis in the field of aphasiology and attempted to link language disturbances to an underlying general intellectual impairment. Goldstein's criticism was based on his subtle symptomatology, his organismic biology, and his philosophical reflections. In his concept of abstract attitude Goldstein searched for a general psychological function that might explain a variety of aphasic symptoms. Abstract attitude bridges the gap between cognitive and linguistic structures. According to Goldstein, it is the basis for words to have a meaning, to be employed in a categorical sense. Since amnesic aphasics are confined to a concrete attitude, their words have lost their representational function. Although Goldstein's concept of abstract attitude is no longer used in scientific discourse, it is analyzed for its heuristic value. It led Goldstein to questions about the relation between cognition and language and to fragments of a semantic theory.