Sequent Calculi for Some Strict Implication Logics

We introduce various sequent systems for propositional logicshaving strict implication, and prove the completeness theoremsand the finite model properties of these systems.The cut-eliminationtheorems or the (modified) subformula properties are provedsemantically.     

EFFECTS OF RESPONSE SPACING ON ACQUISITION AND RETENTION OF CONDITIONAL DISCRIMINATIONS

Pigeons were exposed to a repeated acquisition procedure in which no delays were imposed and rate of responding was relatively high. They also were exposed to conditions in which delays were arranged between trials within chains or between completed chains, and rates of responding were lower. Number of trials, rate of reinforcement, difficulty of the discrimination, and motivating operations were held constant. Terminal accuracy was highest under the no‐delay condition, in which rate of responding was highest. Effects of trial spacing on retention were mixed and depended on whether delays were imposed between trials within chains or between completed chains. These findings provide basic‐research support for the rapid presentation of trials in direct instruction and for rate building in precision teaching.     

Formation of partially and fully elaborated generalized equivalence classes

Most complex categories observed in real-world settings consist of perceptually disparate stimuli, such as a picture of a person's face, the person's name as written, and the same name as heard, as well as dimensional variants of some or all of these stimuli. The stimuli function as members of a single partially or fully elaborated generalized equivalence class when they occasion the mutual selection of each other after the establishment of some subset of relations among the stimuli. Indeed, it is these generalized relations among stimuli that enable an individual to respond appropriately to the inevitable flux of natural environments. The present experiments involved procedures for producing both types of generalized equivalence class and for evaluating their retention. Granting the formal and functional similarities that exist between generalized equivalence classes and natural categories, natural kinds, and fuzzy superordinate classes, the variables responsible for the emergence of the former might also account for the emergence of the latter three phenomena. In Experiment 1, After forming an A'-B' class, a B'-C relation was trained and generalization tests were conducted with B'-C, C-B', A'-C, and C'-A. Two of 5 participants passed the tests documenting the formation of A'-B'-C classes. Failures occurred in the A'-C and C-A' tests but not the B'-C and C-B' tests. Failures were also correlated with time between A'-B' class formation and C-based testing and with the absence of baseline confirmation when training and testing were separated by about one week. Experiment 2 replicated Experiment 1 but presented baseline confirmation probes immediatley prior to testing when training and testing were separated by one week; all participants then formed partially elaborated generalized equivalence classes. In Experiment 3, 5 of 6 participants formed fully elaborated generalized equivalence classes, represented as A' = B' = C'.     

基于语料库统计的“音-形”激活概率及加工机制

为了了解心理词典中语音与汉字的联结情况以及从音到形的加工机制,研究首先计算出了基于语料库统计的“音-形”激活概率(某个音节激活其对应汉字的概率),并通过一个听写实验来验证这种激活概率是否反映实际加工中的激活情况。结果证明基于语料统计得到的“音-形”激活概率基本可以预测实际的“音-形”激活情况,表现为:“音-形”激活概率越高的汉字被激活的概率和强度越高,并且有明显的优势字效应; 该统计概率具有可独立于其他影响因素的预测功能。     

12岁儿童充分条件假言推理能力发展的个体差异研究

以三类不同题目（与生活经验密切联系、与生活经验相悖、与生活经验“脱离”）,探查了12岁普通儿童与数学成绩优异儿童充分条件假言推理能力发展的个体差异。通过对测查成绩的聚类分析,可将被试划分为四种不同的类型,从而显示出同一年龄儿童不同的推理能力发展水平：普通组儿童有关推理能力已有初步发展,但推理过程仍经常受其具体内容的束缚;数学成绩优异组儿童假设思维和演绎推理能力协调发展,“形式”从“内容”的束缚中解放出来,推理思维活动能较好地符合有关逻辑规则。这两组儿童假言推理能力的差异可能跟智能水平有关。     

A multidimensional item response model: Constrained latent class analysis using the gibbs sampler and posterior predictive checks

In this paper it will be shown that a certain class of constrained latent class models may be interpreted as a special case of nonparametric multidimensional item response models. The parameters of this latent class model will be estimated using an application of the Gibbs sampler. It will be illustrated that the Gibbs sampler is an excellent tool if inequality constraints have to be taken into consideration when making inferences. Model fit will be investigated using posterior predictive checks. Checks for manifest monotonicity, the agreement between the observed and expected conditional association structure, marginal local homogeneity, and the number of latent classes will be presented.This paper is supported by grant S40-645 of the Dutch Organization for Scientific Research (NWO).     

More Triviality

This paper uses the framework of Popper and Miller's work on axiom systems for conditional probabilities to explore Adams' thesis concerning the probabilities of conditionals. It is shown that even very weak axiom systems have only a very restricted set of models satisfying a natural generalisation of Adams' thesis, thereby casting severe doubt on the possibility of developing a non-Boolean semantics for conditionals consistent with it.     

Conditional discrimination performance by pigeons on a response-independent procedure

Pigeons were trained on a differential autoshaping procedure in which both components of two-stimulus sequences predicted delivery or nondelivery of food. All birds acquired the conditional discrimination. When the subjects were exposed to an extinction procedure, the stimuli maintained conditional control as long as the birds continued to peck the key. When a delay interval was imposed between the two components of a stimulus sequence using a titration procedure, the stimuli maintained conditional control up to delay values of 7 to 10 sec. These data are consistent with the view that the controlling stimuli in conditional discrimination situations are compounds of stimulus elements.     

On Keats' generalization of the rasch model

Parameter estimation for Keats generalization of the Rasch model that takes account of guessing behavior is investigated. It is shown that no minimal sufficient statistics for the ability parameters independent of the difficulty parameters exist. Thus Andersen's conditional inference technique for consistent estimation is not applicable to Keats' model. The notion of separability of the parameters is generalized.     

Items bundles

An item bundle is a small group of multiple choice items that share a common reading passage or graph, or a small group of matching items that share distractors. Item bundles are easily identified by paging through a copy of a test. Bundled items may violate the latent conditional independence assumption of unidimensional item response theory (IRT), but such a violation would not typically suggest the existence of a new fundamental human ability to read one specific reading passage or to interpret one specific graph. It is important, therefore, to have theoretical concepts and empirical checks that distinguish between, on the one hand, anticipated violations of latent conditional independence within item bundles, and, on the other hand, violations that cannot be attributed to idiosyncratic features of test format and instead suggest departures from unidimensionalty. To this end, two theorems on unidimensional IRT are extended to describe observable item response distributions when there is conditional independencebetween but not necessarilywithin item bundles.The author is grateful to Ivo Molenaar and the referees for many helpful suggestions, and to D. Thayer for assistance with computing.