On Learnability of Restricted Classes of Categorial Grammars

In this paper we present learning algorithms for classes of categorial grammars restricted by negative constraints. We modify learning functions of Kanazawa [10] and apply them to these classes of grammars. We also prove the learnability of intersection of the class of minimal grammars with the class of k-valued grammars. Presented by Wojciech Buszkowski     

A Tale of Four Grammars

In this paper we consider the relations existing between four deductive systems that have been called categorial grammars and have relevant connections with linguistic investigations: the syntactic calculus, bilinear logic, compact bilinear logic and Curry's semantic calculus.     

Truth,Partial Logic and Infinitary Proof Systems

In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke–Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an \(\omega \)-rule.     

On Fork Arrow Logic and its Expressive Power

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order correspondence language, so both can express the same input–output behavior of processes.     

Squares in Fork Arrow Logic

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is U×U for some set U) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares.     

The Mental Representation of Human Action

Various theories of moral cognition posit that moral intuitions can be understood as the output of a computational process performed over structured mental representations of human action. We propose that action plan diagrams—“act trees”—can be a useful tool for theorists to succinctly and clearly present their hypotheses about the information contained in these representations. We then develop a methodology for using a series of linguistic probes to test the theories embodied in the act trees. In Study 1, we validate the method by testing a specific hypothesis (diagrammed by act trees) about how subjects are representing two classic moral dilemmas and finding that the data support the hypothesis. In Studies 2–4, we explore possible explanations for discrete and surprising findings that our hypothesis did not predict. In Study 5, we apply the method to a less well‐studied case and show how new experiments generated by our method can be used to settle debates about how actions are mentally represented. In Study 6, we argue that our method captures the mental representation of human action better than an alternative approach. A brief conclusion suggests that act trees can be profitably used in various fields interested in complex representations of human action, including law, philosophy, psychology, linguistics, neuroscience, computer science, robotics, and artificial intelligence.     

The Behavioral Logic of Collective Action: Partisans Cooperate and Punish More Than Nonpartisans

Laboratory experiments indicate that many people willingly contribute to public goods and punish free riders at a personal cost. We hypothesize that these individuals, called strong reciprocators, allow political parties to overcome collective action problems, thereby allowing those organizations to compete for scarce resources and to produce public goods for like‐minded individuals. Using a series of laboratory games, we examine whether partisans contribute to public goods and punish free riders at a greater rate than nonpartisans. The results show that partisans are more likely than nonpartisans to contribute to public goods and to engage in costly punishment. Given the broad theoretical literature on altruistic punishment and group selection as well as our own formal evolutionary model, we hypothesize that it is being a partisan that makes an individual more likely to be a strong reciprocator and not vice versa.     

God, Determinism, and Action: Perspectives from Physics

Recent articles by Michael Heller, Carl Helrich, Peter Hodgson, Jeffrey Koperski, and Nicholas Saunders present a challenge to much current thinking on God, divine action, and cosmology. In the process, they also reveal underlying assumptions and current problems, especially in the debate over physics and divine action. In particular, three issues come up that need to be addressed further. First, what is the status of determinism, and what can physics contribute? Second, what kind of divine action are we talking about? Third, what is the relationship between God and time, and how does this affect claims about the personhood of God? While these essays present necessary critiques and interesting, positive proposals, they also reveal unresolved tensions that need to be addressed.     

集群行为：界定、心理机制与行为测量

集群行为有两个特征：以群体行为的姿态出现; 行为的目的在于提升群体的利益。集群行为理论、精细化社会认同理论和去个性化理论都分别从不同的角度对集群行为的形成、发展及维持进行了解释。其中, 社会认同、愤怒情绪以及效能感描述了集群行为发生前的心理准备状态; 群际间不良的互动模式以及志同道合者的出现, 是大规模集群行为得以引爆的重要条件; 而在集群行为爆发后, 群体内所形成的暂时性的、情境性的“规则”则是集群行为得以维持的关键。目前集群行为研究常用的方法有：特定情境下的参与行为意向测量和对历史数据的回溯。西方集群行为的理论与研究对于探讨我国群体性事件具有一定借鉴意义。     

Action, verbal response and spatial reasoning

Studies have shown that perception of distance, orientation and size can be dissociated from action tasks. The action system seems to possess more veridical, unbiased information than the perceptual/verbal system. The current study examines the nature of the distinction between action and verbal responses in a spatial reasoning task. Participants imagined themselves facing different orientations and either pointed to where other objects would be, or verbally reported their egocentric directions (e.g., "50 degrees to my left"). When using pointing responses, RT and error increased as a function of the angular disparity between the imagined heading and their actual heading. However, when using verbal responses, performance was not affected by angular disparity, suggesting that participants knew the direction of the targets from the imagined perspective but could not point to them directly. The verbal and action systems have fundamentally different information or processes rather than quantitatively different ones.     

Quiet Eye Duration,Expertise, and Task Complexity in Near and Far Aiming Tasks

Skilled (n = 12) and less skilled (n = 12) billiards players participated in 2 experiments in which the relationship between quiet eye duration, expertise, and task complexity was examined in a near and a far aiming task. Quiet eye was defined as the final fixation on the target prior to the initiation of movement. In Experiment 1, skilled performers exhibited longer fixations on the target (quiet eye) during the preparation phase of the action than their less skilled counterparts did. Quiet eye duration increased as a function of shot difficulty and was proportionally longer on successful than on unsuccessful shots for both groups of participants. In Experiment 2, participants executed shots under 3 different time-constrained conditions in which quiet eye periods were experimentally manipulated. Shorter quiet eye periods resulted in poorer performance, irrespective of participant skill level. The authors argue that quiet eye duration represents a critical period for movement programming in the aiming response.     

Psychotherapy: Definitions, Mechanisms of Action, and Relationship to Etiological Models

In this paper, we define psychotherapy as a modality of treatment in which the therapist and patient(s) work together to ameliorate psychopathologic conditions and functional impairment through focus on the therapeutic relationship; the patient's attitudes, thoughts, affect, and behavior; and social context and development. The possible mechanisms of action and active ingredients of psychotherapy in children and adolescents are discussed, with an emphasis on the above-noted domains. The adult psychotherapy literature strongly supports the central roles of the therapeutic relationship and therapeutic empathy; this has been much less intensively explored in the child and adolescent psychotherapy literature. Similarly, there have been few studies examining the mediation of treatment effects by impact on specific domains. Ideally, treatment studies should gather data that can be informative about the impact of putative mediating and moderating psychosocial and biological variables on outcome and course. The results of such studies can aid further refinements in both theories of etiology and improvement in treatments for children and adolescents.     

Intentionality and Action in Sport: A Discussion of the Views of Searle and Dreyfus

The article looks at sport as a form of human action where the participants display various forms of Intentionality. Intentionality may be defined as ‘that property of many mental states and events by which they are directed at or about or of objects and states of affairs in the world.’ Sporting actions are about human intentions, beliefs, desires, perceptions and not to forget, movements. This means that sports typically display what we call ‘Intentionality.’ The study of Intentionality and intentional actions has previously received relatively little attention among sport philosophers, but deserves more attention. Even though there is a tension and several differences between continental and analytical approaches to philosophical problems, there is a common understanding of the phenomenon we call ‘Intentionality.’ The debate between John Searle, representing the analytical camp, and Hubert Dreyfus, representing the phenomenological camp, is instructive to see the differences, and also the commonalities between the two approaches. The article starts with a clarification of the concept of Intentionality and sketches some of the history and background of the concept. It then presents the main conceptual framework that Searle uses to distinguish the different types and forms of Intentionality and his views on sporting actions. This is followed by a presentation of the phenomenological approach of Dreyfus and the response by Searle. The article ends by discussing the possibility of a combined and enriched view where a clarification of the logic as well as the phenomenology of sporting actions is needed. It may thus be possible to bridge the gap between the two approaches.     

The Social Nature of Perception and Action

ABSTRACT— Humans engage in a wide range of social activities. Previous research has focused on the role of higher cognitive functions, such as mentalizing (the ability to infer others' mental states) and language processing, in social exchange. This article reviews recent studies on action perception and joint action suggesting that basic perception–action links are crucial for many social interactions. Mapping perceived actions to one's own action repertoire enables direct understanding of others' actions and supports action identification. Joint action relies on shared action representations and involves modeling of others' performance in relation to one's own. Taking the social nature of perception and action seriously not only contributes to the understanding of dedicated social processes but has the potential to create a new perspective on the individual mind and brain.     

Self-Efficacy in Service-Learning Community Action Research: Theory, Research, and Practice

The purpose of this article is threefold: In the first section, an overview of research and theory on the self-efficacy construct is provided, and the central role of self-efficacy in service-learning community action research is demonstrated. The second section reviews over 10 years of research validating the Community Service Self-Efficacy Scale (CSSES), which measures the individual’s confidence in his or her own ability to make clinically (meaningfully) significant contributions to the community through service. Within the context of this review, recent (previously unpublished) validation research is also reviewed. Alternate versions of the CSSES, each of which was developed for a specific purpose, are presented. The third section provides recommendations for further research focused on (a) validating the CSSES and (b) examining self-efficacy as an outcome, moderator, and mediating variable in service-learning community action research.     

工具理性、社会认同与群体愤怒—— 集体行动的社会心理学研究

集体行动现象一直备受社会科学共同体关注。20世纪早期, 社会心理学曾是集体行动研究界的主导视角, 后逐渐转至社会学与政治学视角。最近20多年, 社会心理学视角开始复苏, 进入研究复兴期。社会心理学家先后确认工具理性、社会认同和群体愤怒这三种影响个体参与集体行动的主要前因变量, 并分别建构了包含工具理性和群体愤怒路径、包含工具理性和社会认同路径, 以及包含社会认同、工具理性和群体愤怒路径的三种重要集体行动参与模型。未来的集体行动社会心理学研究应重视行动情境类型、个体心理特征和除愤怒之外的群体情绪在集体行动参与中的作用, 考察理想信念等潜在新前因变量的可能地位, 加强与群际关系、歧视动机等其它经典研究领域的联系。