An Operational Logic of Proofs with Positive and Negative Information

The logic of proofs was introduced by Artemov in order to analize the formalization of the concept of proof rather than the concept of provability. In this context, some operations on proofs play a very important role. In this paper, we investigate some very natural operations, paying attention not only to positive information, but also to negative information (i.e. information saying that something cannot be a proof). We give a formalization for a fragment of such a logic of proofs, and we prove that our fragment is complete and decidable.     

The relevance of attachment theory to a contemporary Jungian view of the internal world: internal working models, implicit memory and internal objects

In this paper I examine the various meanings of the term 'internal object' and the differences between various theoretical models for the formation of internal objects. I suggest that the idea in attachment theory of 'internal working models' emphasizes the internal world as one consisting of unconscious internalized patterns of emotional relationships. The term 'internal object' lacks this clarity and the different meanings it carries within differing theoretical frameworks are a source of confusion. I describe the role implicit memory plays in the formation of 'internal working model's and suggest that these offer us an alternative explanation for unconscious fantasy and for object relationships to that of instinctual drives. This model is then brought to bear on contemporary Jungian concepts of the internal world, with a suggestion that, seen in this light, Jung's formulation of the concept of the complex has many features in common with the 'internal working model' of attachment theory.     

Two Envelopes and Binding

This paper describes a way of defending a modification of Eckhardt's [2013] solution to the Two Envelopes Paradox. The defence is based on ideas from Arntzenius, Elga, and Hawthorne [2004].     

Bidirectional semantic associations between social power and weight

Two experiments were conducted to examine bidirectional semantic associations between power and weight using a priming paradigm. Bidirectionality in the relationship between power and weight was demonstrated, utilising tasks that were identical except that the orders in which the stimuli were presented were reversed. In Experiment 1, an empty scale leaning either leftward or rightward was used as a priming stimulus, and a scale that appeared in equilibrium with a pair of power words was used as a target stimulus. In Experiment 2, a scale with a pair of words that appeared in equilibrium was used as a priming stimulus, and an empty scale leaning either leftward or rightward was used as a target stimulus. We identified interaction effects between power and weight in both experiments. Associations between power and weight provide evidence for both conceptual metaphor views and evolutionary theory. The bidirectionality of metaphorical effects is in line with the strong version of metaphoric structuring. Both language and experiential correlations play important roles in the development of the mapping between power and weight.     

The impact of psychological distance on integrative internal dialogs

Negotiators more distanced from the negotiated goal more often exhibit integrative behavior, which maximizes both their individual and joint outcomes. Based on the assumption of an analogy between interpersonal negotiations and internal dialogs simulating social relationships, an experiment was carried out. It aimed to verify if psychological distance (proximal vs. distant perspective on the situation enacted in an internal dialog) affects the processes of integration and confrontation and, consequently, increases the frequency of integrative dialogs. Data from 115 participants (56 women) were analyzed. An increase in psychological distance was found to reduce the intensity of the confrontation process and to cause an increase in the number of integrative internal dialogs.     

Testing a model of codependency for college students in Taiwan based on Bowen's concept of differentiation

The purpose of this study was to test a model of codependency based on Bowen's concept of differentiation for college students in Taiwan. The relations between family‐of‐origin dysfunction, differentiation of self, codependency traits and related symptoms including low self‐esteem, relationship distress and psychological adjustment problems were examined. Data were collected from 567 college students from 2 large, urban universities in northern Taiwan. Results indicated a significantly negative relationship between levels of codependency and self‐differentiation and that self‐differentiation partially mediated the relationship between family‐of‐origin dysfunction and codependency. The implications of these findings for counselling Taiwanese college students who experience codependency traits and related symptoms as well as suggestions for future research are discussed.     

Why God Has Left the Netherlands: Explanations for the Decline of Institutional Christianity in the Netherlands Between 1966 and 2015

Why has the Netherlands witnessed such a strong process of secularization? This article examines this process very extensively. Based on modernization theory, it follows several social cultural developments in Dutch society over the last 50 years and distinguishes between effects on the individual level as well as on the level of society. We are able to do so because of rich data availability, derived from micro‐level longitudinal surveys (God in the Netherlands, Social and Cultural Developments in the Netherlands) enriched with macro‐level statistics (Statistics Netherlands). With this integrated approach, we provide explanatory insights into the transition of the Netherlands from a predominant Christian nation to a predominant secular nation. Our analysis clearly shows that macro‐level educational expansion has affected this process of secularization in the Netherlands, supplemented with the increase in social security, as a so‐called cohort effect. Moreover, the long‐term effect of Christian socialization is waning; Dutch people who were raised in a religious way increasingly lapse later in their life.     

Mental verb input for promoting children's theory of mind: A training study

An experimental study investigated the effect of the type of mental verb input (i.e., input with think, know, and remember) on preschoolers’ theory of mind development. Preschoolers (n = 72) heard 128 mental verb utterances presented in video format across four sessions over two weeks. The training conditions differed only in the way the mental verbs were presented: the form (statement or question), the referent (first person or other person), and the interaction style (overheard or interactive). Children who overheard the characters discussing the mental states of someone else, either in statement or question form, significantly improved in their false belief understanding. These experimental findings demonstrate mental verb utterances about other people, even when not directed to the child, scaffold children's attention to differing perspectives, thus more efficiently promoting some aspects of their ToM development.     

The use of multiple reference points in risky decision making

Among psychologists and economists, prospect theory continues to be one of the most popular models of decision making. The theory's key property is reference dependence; specifically, how an individual's perception of loss or gain is dependent upon their starting point (i.e., the status quo). Although prospect theory is widely accepted, other authors have sought the inclusion of reference points besides the status quo. Initially these extensions focused on the importance of single reference points such as goals. More recently, authors have explained choice data by including multiple reference points within the value function. Multiple‐reference‐point theories generally assume that many choice situations possess an implicit or explicit goal, or point an individual will strive to obtain, and/or a minimum requirement (i.e., a “lower bound”) above which an individual will strive to stay. In two experiments, we present evidence that individuals can utilize the minimum requirement, status quo, and goal within a single risky decision task. Participants most often chose to maximize their chance of reaching reference points even when that decision was riskier, resulted in lower expected value, resulted in lower expected utility, or ran contrary to the predictions of prospect theory. Furthermore, salience and uncertainty moderated the use of goals and minimum requirements as reference points. Copyright © 2010 John Wiley & Sons, Ltd.     

A calibration explanation of serial position effects in evaluative judgments

Judges often evaluate stimulus series on dimensions for which no physical scale exists; for example, when judging academic ability in oral examinations. We propose that judges deal with this problem by calibrating an internal judgment scale that maps stimulus input onto available judgment categories. This calibration process implies serial position effects: Judges should initially avoid extreme categories, because using extreme categories reduces judgmental degrees of freedom, thereby increasing the possibility of internal consistency violations. In four experiments, we show that judgments become indeed more extreme later in a series of judgments. Judges evaluated the same good (poor) performances more positive (negative) at the end of a sequence compared to the beginning. Judges’ expertise did not prevent the effect, but allowing end-of-sequence judgments reduced serial position effects. We discuss the implications and possible remedies of these calibration effects on judgment extremity.