The First-Order Theories of Dedekind Algebras

A Dedekind Algebra is an ordered pair (B,h) where B is a non-empty set and h is an injective unary function on B. Each Dedekind algebra can be decomposed into a family of disjoint, countable subalgebras called configurations of the Dedekind algebra. There are N₀ isomorphism types of configurations. Each Dedekind algebra is associated with a cardinal-valued function on omega called its configuration signature. The configuration signature of a Dedekind algebra counts the number of configurations in the decomposition of the algebra in each isomorphism type.The configuration signature of a Dedekind algebra encodes the structure of that algebra in the sense that two Dedekind algebras are isomorphic iff their configuration signatures are identical. Configuration signatures are used to establish various results in the first-order model theory of Dedekind algebras. These include categoricity results for the first-order theories of Dedekind algebras and existence and uniqueness results for homogeneous, universal and saturated Dedekind algebras. Fundamental to these results is a condition on configuration signatures that is necessary and sufficient for elementary equivalence.     

A Test of Evolutionary and Sociocultural Explanations of Reactions to Sexual Harassment

Although the field of evolutionary psychology has been perceived to generate predictions that are untestable, one potentially falsifiable prediction of the evolutionary approach is that women should be less upset by unwanted sexual advances from high than from low status men. Three experiments tested this hypothesis within a workplace and an academic setting. Across the first two experiments, women and men were actually more upset by perceived sexual harassment from higher than lower status members of the other sex. Results of Study 3 suggested that women only showed this difference when there was a power relationship involved. These results conflict with the evolutionary prediction and support a sociocultural explanation of reactions to sexual harassment; that is, that they are influenced by power differentials.     

汉语同音异形词意义识别中的抑制过程

使用被试自定步速逐词阅读的移动窗口技术,考察了视觉呈现的均衡型和偏向型两类汉语同音异形词意义识别中的抑制过程。实验要求被试阅读由三个分句组成的句子。重复条件下,句子第一个分句中的一个词与第三个分句中的一个词同音异形。同不重复条件(用控制词替换重复条件下第一个分句中的同音异形词)相比,重复条件下,被试对第三个分句中均衡型同音异形词之后的第一个区段阅读时间要长,即出现重复性效应。这种效应在偏向型同音异形词中并未出现。这一结果支持VHMR模型的抑制控制模块假设。简单的抑制假设或衰退假设均无法解释上述结果。此外,上述重复性效应仅出现在阅读速度较快的被试身上。这说明正是对无关信息的高效能的抑制,使得被试表现出较快的阅读速度。     

Cognitive Induction of Anger and Depression: The Role of Power, Attribution, and Gender

The causes of and contributors to negative emotions have been areas of interest in psychology for decades. Recent work has shown a variety of negative emotions, including anger and depression, to be related. The present study investigated the effects of power, attributional style, and gender on anger and depression using a series of narrative mood inductions presented to 120 undergraduates. Results indicated that participants in the external attribution and low power conditions demonstrated significantly higher levels of postinduction anger than those in other conditions. In addition, the influence of internal attributions on postinduction depression scores approached significance. The effectiveness of the study's mood induction methodology is discussed and suggestions are made for future research.     

The Development of the Pragma-dialectical Approach to Argumentation

This paper describes the development of pragma-dialectics as a theory of argumentative discourse. First the development of the pragma-dialectical model of a critical discussion is explained, with the rules that are to be complied with in order to avoid fallacies from occurring. Then the integration is discussed of rhetorical insight in the dialectical framework. In this endeavour, the concept of strategic manoeuvring is explained that allows for a more refined and more profoundly justified analysis of argumentative discourse and a better identification of fallacies. The paper ends with a brief overview of current research projects.     

Sanctioned social violence: A psychoanalytic view. Part II

This paper is the second in a series of two papers. In Part I, the first paper, the author reviewed the influence on the development of socially sanctioned violence of psychodynamics of group psychology and mass psychology, the regressive pull of ideologies, personality features of social and political leadership, and historical trauma and social crises. In this Part II, the author explores, from a psychoanalytic perspective, the dehumanization processes related to fundamentalist ideologies and terrorism.     

Fruitful Interchange or Polite Chitchat? The Dialogue Between Science and Theology

The demand that epistemic support be explicated as rational compulsion has consistently undermined the dialogue between theology and science. Rational compulsion entails too restrictive a form of epistemic support for most scientific theorizing, let alone interdisciplinary dialogue. This essay presents a less restrictive form of epistemic support, explicated not as rational compulsion but as explanatory power. Once this notion of epistemic support is developed, a genuinely productive interdisciplinary dialogue between theology and science becomes possible. This essay closes by sketching how the Big Bang model from cosmology and the Christian doctrine of Creation can be viewed as supporting each other.     

Sociobiology and Moral Discourse

In the intellectual lineage of sociobiology (understood as evolutionary social science), this article considers the place of moral discourse in the evolution of emergent systems for mediating behavior. Given that humans share molecular systems, reflex systems, drive systems, emotional systems, and cognitive systems with chimpanzees, why is it that human behavior is so radically different from chimpanzee behavior? The answer is that, unlike chimps, humans possess symbolic systems, empowering them to override chimplike default morality in favor of symbolically mediated moral codes. The article concludes with a brief discussion of the power of religious symbols to influence moral behavior by reprogramming emotional systems.     

Preservation Theorems Without Continuum Hypothesis

Many results concerning the equivalence between a syntactic form of formulas and a model theoretic conditions are proven directly without using any form of a continuum hypothesis. In particular, it is demonstrated that any reduced product sentence is equivalent to a Horn sentence. Moreover, in any first order language without equality one now has that a reduced product sentence is equivalent to a Horn sentence and any sentence is equivalent to a Boolean combination of Horn sentences.