Indirect aggression in the media: A content analysis of british television programs

The purpose of this study is to determine how much indirect aggression occurs in television programs popular among British adolescents. Previous research has mainly focused on violence in the media rather than examining this more manipulative and subtle type of aggression. A content analysis of 228 hours of television programming revealed that indirect aggression was portrayed in 92.04% of all episodes analyzed. It was portrayed more frequently than physical and verbal aggression. Females were more likely to be shown as indirect aggressors than were males, while males were more likely to be portrayed as physical aggressors. Attractive aggressors were more likely to use indirect than other types of aggression. Indirect aggression was often found to be justified, realistic, and rewarded. We conclude that programs that are not considered violent may still contain a large amount of other types of aggression. Aggr. Behav. 30:254–271, 2004. © 2004 Wiley‐Liss, Inc.     

Measuring coherence using LP-models

This paper introduces a technique for measuring the degree of (in)coherence of inconsistent sets of propositional formulas. The coherence of these sets of formulas is calculated using the minimal models of those sets in G. Priest's Logic of Paradox. The compatibility of the information expressed by a set of formulas with the background or domain knowledge can also be measured with this technique. In this way, Hunter's objections to many-valued paraconsistent logics as instruments for measuring (in)coherence are addressed.     

关系复杂性对关系类别间接性学习中选择性注意的影响

以大学生为被试,使用关系复杂性逐渐变化的实验材料——4特征复杂关系的虚拟外星生物、6特征复杂关系加二阶同功能简单关系的虚拟外星生物和6特征复杂关系加二阶异功能简单关系的虚拟外星生物,采用类别的间接性学习范式——个人功能预测的关系类别的间接性学习条件和参照性交流的关系类别的间接性学习条件,通过三个实验任务（功能预测、自由分类和维度选择）,探讨材料关系复杂性对关系类别间接性学习中选择性注意的影响。结果发现：随着关系复杂性的逐渐增高,被试的选择性注意水平不存在显著差异,但选择性注意的指向性存在极其显著差异,选择性注意的集中性（对无关维度的抑制）不存在显著差异;参照条件下被试选择性注意水平极其显著地高于个人条件,这种差异主要表现在选择性注意的指向性方面,而不表现在选择性注意的集中性（对无关维度的抑制）方面。     

An analytic tableau calculus for a temporalised belief logic

A tableau is a refutation-based decision procedure for a related logic, and is among the most popular proof procedures for modal logics. In this paper, we present a labelled tableau calculus for a temporalised belief logic called TML⁺, which is obtained by adding a linear-time temporal logic onto a belief logic by the temporalisation method of Finger and Gabbay. We first establish the soundness and the completeness of the labelled tableau calculus based on the soundness and completeness results of its constituent logics. We then sketch a resolution-type proof procedure that complements the tableau calculus and also propose a model checking algorithm for TML⁺ based on the recent results for model checking procedures for temporalised logics. TML⁺ is suitable for formalising trust and agent beliefs and reasoning about their evolution for agent-based systems. Based on the logic TML⁺, the proposed labelled tableau calculus could be used for analysis, design and verification of agent-based systems operating in dynamic environments.     

关系研究的新取向：社会网络分析

社会网络分析（Social Network Analysis, SNA）是用社会实体之间的关系来描述、解释和预测社会现象的一种研究取向。SNA提供了深入探究社会环境特征及其对个体心理发展影响的一种方法。本文基于SNA的发展历程,依次介绍了中心性分析、小团体分析、位置分析、QAP以及统计模型法。SNA在社会学研究中得到了较多应用,近年来在心理学研究中开始受到重视。     

5～9岁儿童在不同复杂性任务上类比推理的发展特点

采用经典的A:B:C:D范式,设计两类难度不同的图片任务,依据关系-表征复杂性模型从等级复杂性和水平复杂性角度分析任务难度.在此基础上,选取5～9岁115名儿童探讨两类任务上类比推理的特点和发展趋势.表明:(1)儿童类比推理呈现多样化特点,主要有:充分意义上掌握了类比推理、部分完成了类比推理、位置关系类比推理、不能类比推理和不确定情况类比推理,其中部分完成了类比推理是复杂任务上所特有的.(2)简单、复杂两类任务上,随着年龄增长,5-9岁儿童充分意义上掌握类比推理的人次比例不断上升,不能类比推理的人次比例不断下降.此外,复杂任务上,随年龄增长,部分完成类比任务的人次比例降低.结果表明,在简单任务上,前运算阶段儿童已具备了类比推理能力;但在复杂任务上,儿童到了具体运算阶段才具备类比推理能力.     

Proper Semantics for Substructural Logics,from a Stalker Theoretic Point of View

We study filters in residuated structures that are associated with congruence relations (which we call -filters), and develop a semantical theory for general substructural logics based on the notion of primeness for those filters. We first generalize Stone’s sheaf representation theorem to general substructural logics and then define the primeness of -filters as being “points” (or stalkers) of the space, the spectrum, on which the representing sheaf is defined. Prime FL-filters will turn out to coincide with truth sets under various well known semantics for certain substructural logics. We also investigate which structural rules are needed to interpret each connective in terms of prime -filters in the same way as in Kripke or Routley-Meyer semantics. We may consider that the set of the structural rules that each connective needs in this sense reflects the difficulty of giving the meaning of the connective. A surprising discovery is that connectives , ⅋ of linear logic are linearly ordered in terms of the difficulty in this sense. Presented by Wojciech Buszkowski     

Applied Logic without Psychologism

Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical ability to discriminate between different types of individuals, and another that concerns constitutive norms for reasoning as such. This essay embraces the former, permutation-invariance conception of logic and rejects the latter, Fregean conception of logic. The question of how to apply logic under this pure invariantist view is addressed, and a methodology is given. The pure invariantist view is contrasted with logical pluralism, and a methodology for applied logic is demonstrated in remarks on a variety of issues concerning non-monotonic logic and non-monotonic inference, including Charles Morgan’s impossibility results for non-monotonic logic, David Makinson’s normative constraints for non-monotonic inference, and Igor Douven and Timothy Williamson’s proposed formal constraints on rational acceptance.     

Majority merging by adaptive counting

The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADM ^c (Adaptive Doxastic Merging by Counting) consists in the formulation of the conflicts arising from the belief bases of the agents involved in the procedure. A strategy is then defined both semantically and proof-theoretically which selects the consistent contents answering to a majority principle. The results obtained are proven to be equivalent to a standard majority operator for bases with partial support.