Identity in modal logic theorem proving

THINKER is an automated natural deduction first-order theorem proving program. This paper reports on how it was adapted so as to prove theorems in modal logic. The method employed is an indirect semantic method, obtained by considering the semantic conditions involved in being a valid argument in these modal logics. The method is extended from propositional modal logic to predicate modal logic, and issues concerning the domain of quantification and existence in a world's domain are discussed. Finally, we look at the very interesting issues involved with adding identity to the theorem prover in the realm of modal predicate logic. Various alternatives are discussed.     

Stable individual differences in situation-behaviour,construct-behaviour,and goal-behaviour relations

This study starts from a cognitive-social-learning conceptualization of the contribution of static person by situation interaction to overt behaviour variance. Individual differences in the relation between, on the one hand, situational variation in behaviour and, on the other hand, situational variation in objective situational characteristics, situational variation in construed situational characteristics, and situational variation in goals-in-situations were systematically investigated. Thirty-six first-year psychology students had to freely generate and briefly describe 20 interpersonal situations that they had encountered during the last year. Afterwards, they had to rate each situation for four basic behavioural continua, eight supplied objective situational characteristics, eight supplied constructs, and eight supplied goals. Correlational analysis revealed many stable individual differences, not only in degree, but also in direction (sign) of situation-behaviour, construct–behaviour, and goal–behaviour relations. These relational variables could be reduced to seven relational factorial dimensions. The theoretical and practical implications of these findings are discussed.     

Detection of symmetry in tachistoscopically presented dot patterns: Effects of multiple axes and skewing

We examined the effects of multiple axes and skewing on the detectability of symmetry in tachistoscopically presented (100-msec) dot patterns to test the role of normal grouping processes based on higher order regularities in element positions. In addition to the first-order regularities of orientational uniformity and midpoint collinearity (Jenkins, 1983), bilateral symmetry (BS) gives rise to second-order relations between two pairs of symmetric elements (represented by correlation quadrangles). We suggest that they allow the regularity (i.e., BS) to emerge simply as a result of the position-based grouping that takes place normally, so that no special symmetry-detection mechanism has to be postulated. In combination with previously investigated variables— number and orientation of axes—we introduced skewing (resulting from orthographic projection of BS) to manipulate the kind and number of higher order regularities. In agreement with our predictions, the data show that the effect of skewing angle (varied at three 15° steps, clockwise and counterclockwise) on the preattentive detectability of symmetry (measured with d’) increases as the number of axes decreases. On the basis of some more specific findings, we suggest that it is not as much the number of correlation quadrangles that determines the saliency of a regularity as it is the degree to which they facilitate or “bootstrap” each other.     

Towards a socially situated rumouring: Historical and critical perspectives of rumour transmission

Rumours are an ubiquitous feature of people's social life and one of the oldest topics in social psychology. Rumours, which tend to spread during crisis situations, allow people to mitigate unpleasant feelings and construct a meaning of the surrounding world. Rumour transmission has been associated with a number of specific individual (e.g., anxiety, personal involvement) and situational (e.g., ambiguity, uncertainty) characteristics and studied with the serial reproduction paradigm (Allport & Postman, 1947) in laboratory settings. The main criticism of rumour research has been its focus on primarily individual‐level analyses in an attempt to explain a social phenomenon. Furthermore, the classic serial reproduction paradigm tends to omit the essential properties of interpersonal interactions and communication processes. Despite the recent and rapidly growing trend of social network methods in social and behavioural sciences, rumour research could also include a finer analysis of individuals' social characteristics and the related complexity of real‐life communication processes. Therefore, the integration of a socially situated approach to rumour transmission might be especially relevant for rumour research and promising for the study of other social phenomena by extension.     

Parenting and adolescent problem behavior: an integrated model with adolescent self-disclosure and perceived parental knowledge as intervening variables

Parental monitoring, assessed as (perceived) parental knowledge of the child's behavior, has been established as a consistent predictor of problem behavior. However, recent research indicates that parental knowledge has more to do with adolescents' self-disclosure than with parents' active monitoring. Although these findings may suggest that parents exert little influence on adolescents' problem behavior, the authors argue that this conclusion is premature, because self-disclosure may in itself be influenced by parents' rearing style. This study (a) examined relations between parenting dimensions and self-disclosure and (b) compared 3 models describing the relations among parenting, self-disclosure, perceived parental knowledge, and problem behavior. Results in a sample of 10th- to 12th-grade students, their parents, and their peers demonstrated that high responsiveness, high behavioral control, and low psychological control are independent predictors of self-disclosure. In addition, structural equation modeling analyses demonstrated that parenting is both indirectly (through self-disclosure) and directly associated with perceived parental knowledge but is not directly related to problem behavior or affiliation with peers engaging in problem behavior.     

A developmental contextual perspective on identity construction in emerging adulthood: change dynamics in commitment formation and commitment evaluation

A developmental contextual test of a dual-cycle model of identity formation is presented. In addition to a commitment-formation cycle-represented by Marcia's (1966) classical dimensions of exploration in breadth and commitment making--the model comprises a commitment-evaluation cycle--constituted by 2 additional dimensions of exploration in depth and identification with commitment. In a sample of 402 college students assessed 4 times over 2 years, both dimensions of the commitment-formation cycle and exploration in depth increased across time. Identification with commitment showed a slight decrease across time. Latent growth curve (LGC) modeling analyses indicated that the 2 identity cycles are interwoven in a dynamic interplay that defines identity formation. Contextual influences on identity development were identified through a natural experiment. Commitment evaluation constituted the core identity cycle in the normative-progression group (i.e., students who moved on to the sophomore year). Both commitment formation and commitment evaluation were at work in the reorientation group (i.e., students who repeated their freshman year or changed their major). Implications and suggestions for future research are discussed.     

Classification rules for basic phonological processing disabilities and nonverbal learning disabilities: formulation and external validity.

Rules for the classification of two subtypes of learning disabilities (LD), namely, Basic Phonological Processing Disabilities (BPPD) and Nonverbal Learning Disabilities (NLD), are reported. These rules (refined as a result of application to two separate samples of children with LD) were used to select children from an entirely new sample who could be classified as having "definite" or "probable" BPPD or NLD. As a first step in the external validation of these rules, the patterns of psychosocial functioning exhibited by these two subtypes of LD were determined. As predicted, the vast majority of the BPPD subtype exhibited a pattern most consistent with normal or relatively normal psychosocial adjustment, and no appreciable increase in the incidence of significant psychosocial disturbance with advancing years. Also, as predicted, an increasing incidence of internalized psychosocial dysfunction (a form of significant psychosocial disturbance) was evident in the NLD subtype with advancing years. It is clear that children classified as having BPPD or NLD using these rules exhibit quite different, and predicted, relative patterns of psychosocial functioning. Thus, in this sense, the rules have concurrent validity. Finally, sets of rules/criteria for classification are presented that reflect their actual incidence in the two subtypes of LD generated for use in the validation phase of this investigation. These rules would appear to be useful for clinical purposes. It is also clear that they should be subjected to further validation studies in a broader age range for clinical and research purposes.     

Extraterrestrial beliefs and experiences: an application of the theory of reasoned action

The authors expanded the applicability of I. Ajzen and M. Fishbein's (1980) theory of reasoned action by assessing the participants' beliefs, attitudes, and experiences related to sightings of unidentified flying objects (UFOs) and to alien abductions. The authors designed and administered a survey on UFO phenomena to 398 Canadian students. The survey contains items relating to each component of Ajzen and Fishbein's model, as well as scales that evaluate paranormal beliefs and social desirability. A majority of the sample believed in UFOs, although most had never seen one. However, only a minority believed in alien abductions--again, most without having had any reported experience. According to path analyses, UFO beliefs originated from societal forces rather than from personal experiences as the model would predict.