On Intermediate Predicate Logics of some Finite Kripke Frames,I. Levelwise Uniform Trees

An intermediate predicate logic L is called finite iff it is characterized by a finite partially ordered set M, i.e., iff L is the logic of the class of all predicate Kripke frames based on M. In this paper we study axiomatizability of logics of this kind. Namely, we consider logics characterized by finite trees M of a certain type (levelwise uniform trees) and establish the finite axiomatizability criterion for this case.     

A Time Course View of Sentence Priming Effects

Meaning activation was estimated during (standard naming) and after (delayed naming) target presentation to chart the time course of priming effects during reading comprehension. Using sentences biasing homographs toward their dominant and subordinate meanings, two experiments evaluated context effects across three naming-cue delays: immediate, baseline, baseline+600 ms all at a 0-ms interstimulus interval. When participants named a target immediately as it was presented, results converged with previous findings demonstrating initial context-sensitive meaning activation. The delayed naming conditions revealed little post-access influences for dominant contexts. Subordinate contexts, however, provided the strongest evidence of continued (or sustained) processing. It was concluded that context has immediate and automatic effects on initial meaning activation, after which, strategies are invoked for fine-tuning an interpretation of a sentence and integrating it with new information.     

Silent letters and phonological priming

Many written English words contain silent letters. Omitting them produces nonwords pronounced identically to the original words, for example, SALM for PSALM and COLUM for COLUMN. We report two naming and two lexical decision experiments in which targets of 4–11 letters followed primes exposed for 100 ms in mask-prime-mask-target sequences. Priming in SALM-psalm and COLUM-column pairs exceeded priming in orthographic control pairs such as ASTA-pasta and COUSI-cousin, pairs in which pronounced letters are omitted to form the primes. SALM and COLUM, however, were less effective primes than PSALM and COLUMN. Results were discussed in terms of the phonological coherence hypothesis, the role of orthographic codes in filtering phonologically activated representations, and graphemes as reading units.     

Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics

In so-called Kripke-type models, each sentence is assigned either to true or to false at each possible world. In this setting, every possible world has the two-valued Boolean algebra as the set of truth values. Instead, we take a collection of algebras each of which is attached to a world as the set of truth values at the world, and obtain an extended semantics based on the traditional Kripke-type semantics, which we call here the algebraic Kripke semantics. We introduce algebraic Kripke sheaf semantics for super-intuitionistic and modal predicate logics, and discuss some basic properties. We can state the Gödel-McKinsey-Tarski translation theorem within this semantics. Further, we show new results on super-intuitionistic predicate logics. We prove that there exists a continuum of super-intuitionistic predicate logics each of which has both of the disjunction and existence properties and moreover the same propositional fragment as the intuitionistic logic.     

Imagery Value,Subjective and Objective Frequency,Date of Entry into the Language,and Degree of Polysemy in a Sample of 998 French Words

A random sample of 998 lexical words was drawn from a dictionary of the French language. Two groups of subjects rated the words for imagery value (IV) and subjective frequency (SF). Despite substantial individual differences in the ratings, the subjective measures were highly reliable (α = 0.98 for both IV and SF). The relation between the standard deviation and the mean of the ratings can be described by a quadratic function (R = 0.93 for IV and R = 0.75 for SF). The independence of IV and frequency was confirmed. IV was found to be partially dependent on grammatical category (η = 0.50) and slightly dependent on polysemy. Date of entry into the language (DE) was correlated with objective and subjective frequency. The correlation between DE and IV was weak. The words and their characteristics are presented in the Appendix.     

An Incomplete Relevant Modal Logic

The relevant modal logic G is a simple extension of the logic RT, the relevant counterpart of the familiar classically based system T. Using the Routley–Meyer semantics for relevant modal logics, this paper proves three main results regarding G: (i) G is semantically complete, but only with a non-standard interpretation of necessity. From this, however, other nice properties follow. (ii) With a standard interpretation of necessity, G is semantically incomplete; there is no class of frames that characterizes G. (iii) The class of frames for G characterizes the classically based logic T.     

手势认知功能研究的新视角：“空间化”手势假设

人类在说话或思考的时候常常伴随着手势。手势是在认知加工或交流过程中自动产生的, 具有表征性, 同时, 手势能够影响人类的认知加工。尽管研究者对手势的概念界定各有侧重, 但普遍认为手势不同于直接行动, 具有认知功能。手势认知功能的代表性理论模型有词汇索引模型、信息打包假设、表象保持理论、语义特殊性假设和嵌入/延展观。根据手势认知功能研究中主要自变量的不同, 可以把手势认知功能分成三种不同的研究范式, 即允许-限制手势的研究范式、侧重手势模式改变的研究范式、侧重情境改变的研究范式。今后值得关注的研究方向除了深入探讨手势认知功能的神经机制、加强对手势认知功能的干预研究外, 提出了建立更具解释力的手势认知功能的理论模型——“空间化”手势假设。