Children’s early mental number line: Logarithmic or decomposed linear?

Recently, the nature of children’s mental number line has received much investigation. In the number line task, children are required to mark a presented number on a physical number line with fixed endpoints. Typically, it was observed that the estimations of younger/inexperienced children were accounted for best by a logarithmic function, whereas those of older/more experienced children were reflected best by a linear function. This led to the conclusion that children’s mental number line transforms from logarithmic to linear with age and experience. In this study, we outline an alternative interpretation of children’s performance in a number line task. We suggest that two separate linear representations for one- and two-digit numbers may exist in young children and that initially the integration of these two representations into the place value structure of the Arabic number system is not fully mastered. When testing this assumption in a sample of more than 120 first graders, we observed that the two-linear model consistently provided better fit indexes. We conclude that instead of assuming a transition from logarithmic to linear coding, performance differences could also be accounted for by an improvement in integrating tens and units into the Arabic place value system.     

Determining the environment: a modal logic for closed interaction

The aim of the work is to provide a language to reason about Closed Interactions, i.e. all those situations in which the outcomes of an interaction can be determined by the agents themselves and in which the environment cannot interfere with they are able to determine. We will see that two different interpretations can be given of this restriction, both stemming from Pauly Representation Theorem. We will identify such restrictions and axiomatize their logic. We will apply the formal tools to reason about games and their regulation.     

The Port-Royal Logic's Theory of Argument

This is a critical examination of Antoine Arnauld's Logic or the Art of Thinking (1662), commonly known as the Port-Royal Logic. Rather than reading this work from the viewpoint of post-Fregean formal logic or the viewpoint of seventeenth-century intellectual history, I approach it with the aim of exploring its relationship to that contemporary field which may be labeled informal logic and/or argumentation theory. It turns out that the Port-Royal Logic is a precursor of this current field, or conversely, that this field may be said to be in the same tradition.     

Basic Logic,K4, and Persistence

We characterize the first-order formulas with one free variable that are preserved under bisimulation and persistence or strong persistence over the class of Kripke models with transitive frames and unary persistent predicates. This revised version was published online in June 2006 with corrections to the Cover Date.     

Modal Deduction in Second-Order Logic and Set Theory - II

In this paper, we generalize the set-theoretic translation method for poly-modal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor such a translation to work with specific cases of extended modal logics.     

An intensional epistemic logic

One of the fundamental properties inclassical equational reasoning isLeibniz's principle of substitution. Unfortunately, this propertydoes not hold instandard epistemic logic. Furthermore,Herbrand's lifting theorem which isessential to thecompleteness ofresolution andParamodulation in theclassical first order logic (FOL), turns out to be invalid in standard epistemic logic. In particular, unlike classical logic, there is no skolemization normal form for standard epistemic logic. To solve these problems, we introduce anintensional epistemic logic, based on avariation of Kripke's possible-worlds semantics that need not have a constant domain. We show how a weaker notion of substitution through indexed terms can retain the Herbrand theorem. We prove how the logic can yield a satisfibility preserving skolemization form. In particular, we present an intensional principle for unifing indexed terms. Finally, we describe asound andcomplete inference system for a Horn subset of the logic withequality, based onepistemic SLD-resolution.     

题目难度分布和样本容量对两种CTT等值结果的影响

基于经典测验理论(CTT)的等值方法主要有线性等值和等百分位等值两种。在不同情境下,不同的等值方法会产生不同的等值结果。本研究以真分数等值为依据,用蒙特卡洛模拟研究方法,综合比较了各种题目难度分布条件下和各种样本容量条件下两种CTT等值方法的等值结果。研究结果表明:(1)线性等值的误差受题目难度分布影响较大,等百分位等值的误差几乎不受题目难度分布影响。(2)线性等值的误差几乎不受样本容量的影响,等百分位等值的误差受样本容量影响较大。(3)不论题目难度分布如何,只要样本容量足够大,等百分位等值的效果都比线性等值更好。     

Integrating Cognitive Process and Descriptive Models of Attitudes and Preferences

Discrete choice experiments—selecting the best and/or worst from a set of options—are increasingly used to provide more efficient and valid measurement of attitudes or preferences than conventional methods such as Likert scales. Discrete choice data have traditionally been analyzed with random utility models that have good measurement properties but provide limited insight into cognitive processes. We extend a well‐established cognitive model, which has successfully explained both choices and response times for simple decision tasks, to complex, multi‐attribute discrete choice data. The fits, and parameters, of the extended model for two sets of choice data (involving patient preferences for dermatology appointments, and consumer attitudes toward mobile phones) agree with those of standard choice models. The extended model also accounts for choice and response time data in a perceptual judgment task designed in a manner analogous to best–worst discrete choice experiments. We conclude that several research fields might benefit from discrete choice experiments, and that the particular accumulator‐based models of decision making used in response time research can also provide process‐level instantiations for random utility models.     

Category theory,logic and formal linguistics: Some connections,old and new

We seize the opportunity of the publication of selected papers from the Logic, categories, semantics workshop to survey some current trends in logic, namely intuitionistic and linear type theories, that interweave categorical, geometrical and computational considerations. We thereafter present how these rich logical frameworks can model the way language conveys meaning.