Pandora: A Reasoning Toolbox using Natural Deduction Style

Pandora is a tool for supporting the learning of first ordernatural deduction. It includes a help window, an interactivecontext sensitive tutorial known as the "e-tutor" and facilitiesto save, reload and export to LATEX. Every attempt to applya natural deduction rule is met with either success or a helpfulerror message, providing the student with instant feedback.Detailed electronic logs of student usage are recorded for evaluationpurposes. This paper describes the basic functionality, thee-tutor, our experiences of using the tool in teaching and ourfuture plans.     

儿童基于不同线索的所有权判断及其文化差异

对所有权的认知依赖于不同的线索。儿童很早就能通过不同的线索判断所有权。3岁幼儿能够基于先占、劳动、证言、许可控制、刻板印象等线索判断所有权。社会经济和文化因素会影响幼儿对所有权线索的利用, 如社会经济发展不发达地区儿童对先占线索的利用在发展上会有所延迟, 集体主义文化中的幼儿在进行所有权判断时更保守一些, 表现为当先占线索和劳动线索冲突时更倾向于判断物品属于先占者。未来研究应重视通过冲突线索范式探索不同线索在儿童所有权判断中的权重, 探索儿童基于不同线索判断所有权背后的内部心理机制, 同时尝试利用眼动技术等手段对2岁以下幼儿的所有权认知进行研究。     

The Advantage of First Mention in Korean The Temporal Contributions of Syntactic,Semantic, and Pragmatic Factors

Using Korean, we investigated how syntactic, semantic, and pragmatic factors influence the representation of a sentence, in particular, the relative accessibility of different components of a sentence representation. In six experiments, participants performed a probe recognition task after reading each of a series of sentences. We manipulated the rate at which each word of the sentence was presented (250 ms and 500 ms) and the interval between the sentence-final word and the probe-recognition test word (immediate, 500 ms delay, and 1000 ms delay). We also manipulated the syntactic position (subject versus object), semantic role (agent versus patient), and order of mention (first-versus second-mentioned participant) of the probed item. Pragmatic factors (the order of mention) strongly influenced accessibility immediately and through the longest delay, whereas syntactic and semantic factors had little effect.     

Crossing the Threshold: First Impressions in Psychoanalysis and Negotiation

This paper explores the role that first impressions play in two different relational contexts: psychodynamic treatment and negotiation. Although the goals of therapy and negotiation are very different, both endeavors rest on the capacity of the participants to engage in a process of constructive dialogue, and to get things done via a relationship. We argue for the utility of an interdisciplinary conversation between psychoanalysis and negotiation, and specifically suggest that exploring these similarities and differences about first steps in building a working relationship may be instructive for practitioners in both professions.     

Some Useful 16-Valued Logics: How a Computer Network Should Think

In Belnaps useful 4-valued logic, the set 2={T,F} of classical truth values is generalized to the set 4=(2)={,{T},{F},{T,F}}. In the present paper, we argue in favor of extending this process to the set 16=(4) (and beyond). It turns out that this generalization is well-motivated and leads from the bilattice FOUR₂ with an information and a truth-and-falsity ordering to another algebraic structure, namely the trilattice SIXTEEN₃ with an information ordering together with a truth ordering and a (distinct) falsity ordering. Interestingly, the logics generated separately by the algebraic operations under the truth order and under the falsity order in SIXTEEN₃ coincide with the logic of FOUR₂, namely first degree entailment. This observation may be taken as a further indication of the significance of first degree entailment. In the present setting, however, it becomes rather natural to consider also logical systems in the language obtained by combining the vocabulary of the logic of the truth order and the falsity order. We semantically define the logics of the two orderings in the extended language and in both cases axiomatize a certain fragment comprising three unary operations: a negation, an involution, and their combination. We also suggest two other definitions of logics in the full language, including a bi-consequence system. In other words, in addition to presenting first degree entailment as a useful 16-valued logic, we define further useful 16-valued logics for reasoning about truth and (non-)falsity. We expect these logics to be an interesting and useful instrument in information processing, especially when we deal with a net of hierarchically interconnected computers. We also briefly discuss Arielis and Avrons notion of a logical bilattice and state a number of open problems for future research.Dedicated to Nuel D. Belnap on the occasion of his 75th Birthday     

The Development of Symbolic Uses of Objects in Infants in a Triadic Context: A Pragmatic and Semiotic Perspective

In this study, we address the construction of the first symbolic uses of objects in contexts of triadic interaction (adult–child–object). We assume that symbolic productions are based on public rules of the use of objects previously agreed by the community. The first symbols are not rooted in any literal, evident reality, but in shared rules of uses about the material world. We observed six dyads communicating and interacting together with 10 objects in a semi‐structured situation longitudinally from 9 to 15 months of age. We found that the infants gradually constructed symbolic meanings, and we identified five symbolic levels and sublevels. At 9 months, the infants attended and engaged in the symbolic uses produced by an adult even though they themselves were not yet able to produce them. At 12 months, infants began to use objects symbolically to communicate with adults. The highest percentage of these first symbolic uses was of level 1, that is, with a close relation to the conventional use of the object used to perform the symbol. At 15 months, children increased their symbolic uses and performed symbolic uses at all levels, whereas adults reduced such practices. Adult semiotic mediation and the social meanings of objects can be considered important factors in children's symbolic productions. Copyright © 2014 John Wiley & Sons, Ltd.     

Double Reference Points: the Effects of Social and Financial Reference Points on Decisions Under Risk

The existing literature is inconsistent about how social comparison affects risk attitudes. We propose a framework where the total utility is composed of the social and financial utilities. The financial utility is consistent with prospect theory (i.e., an S‐shaped utility function with a financial reference point), whereas the social utility is affected by both social and financial reference points. Therefore, social risk attitudes are determined by interaction between gains/losses in both social and financial contexts. On the basis of safety‐first principle, we propose that when experiencing financial gains, individuals tend to seek upside potential and take social risks (i.e., a convex social utility function). In contrast, when facing financial losses, people would be more risk seeking in social gains but more risk averse in social losses to maximize security (i.e., an inverse S‐shaped utility function). We also propose that the relative importance of financial and social utilities depends on the saliency of the reference points and size of stakes. Studies 1 and 2 showed that individuals were risk seeking in both social gains and losses with social reference points alone. Studies 3 and 4 demonstrated that when both financial and social reference points were salient, participants were risk averse in both social gains and losses when facing financial gains, but risk seeking in social gains and risk averse in social losses when facing financial losses. The hypotheses derived from the theoretical framework were in general supported by our experiments. Copyright © 2015 John Wiley & Sons, Ltd.