Multiple Kernel Contraction

This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base contractions. This construction works out the unsolved problem pointed out by Hansson in [Han99, pp. 369]. This revised version was published online in August 2006 with corrections to the Cover Date.     

On logic of complex algorithms

An algebraic approach to programs called recursive coroutines — due to Janicki [3] — is based on the idea to consider certain complex algorithms as algebraics models of those programs. Complex algorithms are generalizations of pushdown algorithms being algebraic models of recursive procedures (see Mazurkiewicz [4]). LCA — logic of complex algorithms — was formulated in [11]. It formalizes algorithmic properties of a class of deterministic programs called here complex recursive ones or interacting stacks-programs, for which complex algorithms constitute mathematical models. LCA is in a sense an extension of algorithmic logic as initiated by Salwicki [14] and of extended algorithmic logic EAL as formulated and examined by the present author in [8], [9], [10]. In LCA — similarly as in EAL-ω ⁺ -valued logic is applied as a tool to construct control systems (stacks) occurring in corresponding algorithms. The aim of this paper is to give a complete axiomatization. of LCA and to prove a completeness theorem. Logic of complex algorithms was presented at FCT'79 (International Symposium on Fundamentals of Computation Theory, Berlin 1979)     

Type Logics and Pregroups

We discuss the logic of pregroups, introduced by Lambek [34], and its connections with other type logics and formal grammars. The paper contains some new ideas and results: the cut-elimination theorem and a normalization theorem for an extended system of this logic, its P-TIME decidability, its interpretation in L1, and a general construction of (preordered) bilinear algebras and pregroups whose universe is an arbitrary monoid. Special Issue Categorial Grammars and Pregroups Edited by Wojciech Buszkowski and Anne Preller     

Relations between implicit and explicit measures of attitudes and measures of behavior: evidence of moderation by individual difference variables

The moderating role of individual difference variables (Self-Reported Habit Index [SRHI], Need for Cognition [NFC]) on relationships between implicit (Implicit Association Test [IAT], Extrinsic Affective Simon Test [EAST]) or explicit measures of attitude and behavior is assessed in two studies. A dissociation pattern is found on self-report diary measures of behavior. In Study 1, the EAST-behavior relationship is moderated by SRHI; explicit measures of the attitude-behavior relationship are moderated by NFC. In Study 2, the IAT-behavior relationship is moderated by SRHI; explicit measures of the attitude-behavior relationship are moderated by NFC. Higher levels of SRHI and NFC are associated with stronger relationships between the implicit or explicit measures of attitude and the measure of behavior. In Study 2, the SRHI x IAT interaction is replicated for an objective behavior measure. Implications for understanding the relationship between implicit and explicit measures of attitudes and measures of behavior are discussed.     

Galois structures

This paper is a continuation of investigations on Galois connections from [1], [3], [10]. It is a continuation of [2]. We have shown many results that link properties of a given closure space with that of the dual space. For example: for every -disjunctive closure space X the dual closure space is topological iff the base of X generated by this dual space consists of the -prime sets in X (Theorem 2). Moreover the characterizations of the satisfiability relation for classical logic are shown. Roughly speaking our main result here is the following: a satisfiability relation in a logic L with, a countable language is a fragment of the classical one iff the compactness theorem for L holds (Theorems 3–8).     

The Relationship Between Creativity and Behavior Problems Among Underachieving Elementary and High School Students

Understanding the role creative potential may play in the underachievement of some students could help schools and parents understand underachievers. This study examined whether there is a relationship between creativity and behavior problems among underachievers. Forty-one elementary and 89 high school students and 4 teachers in Korea participated in this study. The principal study involved comparing all of the students' scores on the 3 measures of creative potential (Torrance Tests of Creative Thinking-Figural [TTCT], Runco Ideational Behavior Scale [RIBS], and Scales for Rating the Behavioral Characteristics of Superior Students-Revised Edition [SRBCSS-R]), with their scores on a measure of behavior problems reported by their teachers. The results indicated that, among underachievers, there is a relationship between behavioral problems and students' scores on the 3 measures of creative potential. An understanding of these students and their behavior will help us promote creative students' academic and lifelong success in classrooms.     

Is perfectionism categorical or dimensional? A taxometric analysis

Considerable debate exists within the perfectionism literature regarding whether perfectionism is most accurately conceptualized as a dimensional or categorical construct. Specifically, some researchers have viewed perfectionism as a continuous construct, with extreme scores being associated with negative psychological outcomes (e.g., obsessive-compulsive disorder, eating disorders, etc.). In contrast, others have argued that two distinct forms of perfectionism exist (i.e., adaptive vs. maladaptive perfectionism) that are associated with both positive and negative outcomes. The purpose of this study was to examine the latent structure of perfectionism using taxometric procedures to determine whether perfectionism is most accurately conceptualized as taxonic (categorical) or dimensional (continuous). We applied four taxometric procedures (maximum eigenvalue [Waller & Meehl, 1998], maximum covariance [Meehl & Yonce, 1996], mean above minus below a cut [Meehl & Yonce, 1994], and latent-mode factor analysis [Waller & Meehl, 1998]) to perfectionism data collected from 2 large nonclinical samples. Results provided convergent evidence for a dimensional conceptualization of perfectionism across samples, perfectionism measures, and statistical procedures. We discuss the implications of these findings for the theory, assessment, and investigation of perfectionism are discussed.     

A Psychometric Review of Measures of Irrational Beliefs: Implications for Psychotherapy

In this study, measures of irrational beliefs based on the principles of Rational Emotive Behavior Therapy (REBT) were reviewed and contrasted based on psychometric characteristics and quality of guidelines for interpretation. The use of measures of irrational beliefs is an important component of the assessment of presenting problems in psychotherapy and may inform clinical decision making. Additionally, these measures are a helpful way to identify change in irrational beliefs and to measure the effectiveness of specific interventions to facilitate such change. While there are a number of measures of beliefs, there is considerable variability in their psychometric properties and utility for assessment. The majority of the tests are not produced by a publishing company, nor do they provide test manuals. The reliability and validity evidence presented in the publications varies considerably as do the size and quality of standardization samples, which impacts upon the ability to draw normative conclusions. Analyses demonstrated that most measures of irrational beliefs do not provide the evidence needed to adequately address the Standards for Educational and Psychological Testing (Standards; American Educational Research Association [AERA], American Psychological Association [APA], National Council on Measurement in Education [NCME] 1999). Discussion of the implications of this review for the development of future measures of irrational thinking by researchers as well as recommendations in the test selection process for an REBT practitioner is offered.     

Notes on ‘Bemächtigungstrieb’ and Strachey’s translation as ‘instinct for mastery’

This short paper looks at Freud’s use of the term ‘Bemächtigungstrieb’ and its translation by Strachey as ‘instinct for mastery’ when Freud was describing the motives behind his grandson’s game with the wooden reel and string in Beyond the Pleasure Principle. The word ‘Macht’ [power], which is contained in the word ‘Bemächtigung’ points to Freud’s difficult relationship with Alfred Adler, whose early theories on the aggressive drive and later theories on ‘striving for power’ were initially rejected by Freud. Looking at the changes in Freud’s reception of Adlerian terms, some of which he later integrated into his own theory, throws light on his choice of the word ‘Bemächtigungstrieb’ in 1920, when he was just beginning to introduce his thoughts on the death instinct. A slightly different translation of the word ‘Bemächtigungstrieb’, one which takes these historical and theoretical aspects into account, could make these connections clearer for the English reader.     

P-Compatible Hypersubstitution and MP-Solid Varieties

The study of hyperidentities is a growing field of research. While hyperidentities hark back to before 1965 (cf. [1]), they have found a rebirth in the late seventies and early eighties (cf. [8], [9]). It is being expanded in several directions, from connections with clone theory, to finite basis problems, to semigroup theory, to classification of M-solid varieties. Applications to digital logic, formal languages, and hypertext systems have been suggested. The concept of a P-compatible equation, where P is a partition on the set of operation symbols, is a good tool to study the structure of identities. In [4] we asked for P-compatible hyperidentities. In this paper we will consider hypersubstitutions which are compatible with the partition P and will develop a generalized equational theory for certain P-compatible hyperidentities. This revised version was published online in June 2006 with corrections to the Cover Date.     

Remarks on the Theory of Quasi-sets

Quasi-set theory has been proposed as a means of handling collections of indiscernible objects. Although the most direct application of the theory is quantum physics, it can be seen per se as a non-classical logic (a non-reflexive logic). In this paper we revise and correct some aspects of quasi-set theory as presented in [12], so as to avoid some misunderstandings and possible misinterpretations about the results achieved by the theory. Some further ideas with regard to quantum field theory are also advanced in this paper.     

Gender,Social Roles,and Mental Health: An Epidemiological Perspective

The social roles men and women occupy may account for gender differences in rates of psychiatric disorder. Women are thought to have poorer experiences within any given role (role strain theory), have more conflicts among their different roles (role-configuration theory), or have fewer role opportunities available to them (role accumulation hypothesis) compared to men. These theories are examined in a community sample (n = 4,745, 52% females and 48% males; Caucasian [84.2%], Hispanics [10.0%], African Americans [3.8%], Native American [1.4%], Asian [0.6%], and Pacific Islander [0.1%]). No gender differences in the overall rate of DSM, psychiatric disorders were found; however, differences were found for specific disorders. Although multiple roles were generally found to be associated with lower rates of disorders for both men and women, some role combinations were associated with a higher rate of disorders. The possibility that roles may be associated with both stressors and protective factors is discussed.     

Equivalential logics (I)

The class of equivalential logics comprises all implicative logics in the sense of Rasiowa [9], Suszko's logicSCI and many Others. Roughly speaking, a logic is equivalential iff the greatest strict congruences in its matrices (models) are determined by polynomials. The present paper is the first part of the survey in which systematic investigations into this class of logics are undertaken. Using results given in [3] and general theorems from the theory of quasi-varieties of models [5] we give a characterization of all simpleC-matrices for any equivalential logicC (Theorem I.14). In corollaries we give necessary and sufficient conditions for the class of all simple models for a given equivalential logic to be closed under free products (Theorem I.18). Theorem I.17 can be generalized as follows:For any equivalential logic C, clauses (i), (iii)and (v),formulated in Th.I.17,are equivalent.     

The Lattice of Subvarieties of the Variety Defined by Externally Compatible Identities of Abelian Groups of Exponent <Emphasis Type="Italic">n</Emphasis>

The lattices of varieties were studied in many works (see [4], [5], [11], [24], [31]). In this paper we describe the lattice of all subvarieties of the variety defined by so called externally compatible identities of Abelian groups and the identity x ⁿ ≈ y ⁿ . The notation in this paper is the same as in [2]. Presented by W. Dziobiak     

Psychopathy screening of incarcerated juveniles: a comparison of measures

How well do brief screening measures correspond with a full-scale assessment of psychopathy among juvenile offenders? This study compared 3 independent screening measures (the Antisocial Process Screening Device [APSD] Self-Report [A. A. Caputo, P. J. Frick, & S. L. Brodsky, 1999], the APSD Staff Rating [P. J. Frick & R. D. Hare, 2001], and the Psychopathy Content Scale [D. C. Murrie & D. G. Cornell, 2000] on the Millon Adolescent Clinical Inventory [T. Millon, 1993]) with the Psychopathy Checklist: Youth Version (PCL:YV; A. E. Forth, D. S. Kosson, & R. D. Hare, in press) in a sample of 117 incarcerated male juveniles. Modest correlations (.30-.49) were found between PCL:YV scores and those of the 3 screening measures, and there was moderate accuracy (67%-82%) in identifying youth who scored relatively high (> or = 25) on the PCL:YV. Although these results support the construct of adolescent psychopathy, they indicate substantial limitations in the use of psychopathy screening measures with juvenile offenders.     

A modern elaboration of the ramified theory of types

The paper first formalizes the ramified type theory as (informally) described in the Principia Mathematica [32]. This formalization is close to the ideas of the Principia, but also meets contemporary requirements on formality and accuracy, and therefore is a new supply to the known literature on the Principia (like [25], [19], [6] and [7]).As an alternative, notions from the ramified type theory are expressed in a lambda calculus style. This situates the type system of Russell and Whitehead in a modern setting. Both formalizations are inspired by current developments in research on type theory and typed lambda calculus; see [3].Supported by the Co-operation Centre Tilburg and Eindhoven Universities. ¹[32], Introduction, Chapter II, Section I, p. 37.Presented by Wolfgang Rautenberg     

A Generic Framework for Adaptive Vague Logics

In this paper, we present a generic format for adaptive vague logics. Logics based on this format are able to (1) identify sentences as vague or non-vague in light of a given set of premises, and to (2) dynamically adjust the possible set of inferences in accordance with these identifications, i.e. sentences that are identified as vague allow only for the application of vague inference rules and sentences that are identified as non-vague also allow for the application of some extra set of classical logic rules. The generic format consists of a set of minimal criteria that must be satisfied by the vague logic in casu in order to be usable as a basis for an adaptive vague logic. The criteria focus on the way in which the logic deals with a special ⊡-operator. Depending on the kind of logic for vagueness that is used as a basis for the adaptive vague logic, this operator can be interpreted as completely true, definitely true, clearly true, etc. It is proven that a wide range of famous logics for vagueness satisfies these criteria when extended with a specific ⊡-operator, e.g. fuzzy basic logic and its well known extensions, cf. [7], super- and subvaluationist logics, cf. [6], [9], and clarity logic, cf. [13]. Also a fuzzy logic is presented that can be used for an adaptive vague logic that can deal with higher-order vagueness. To illustrate the theory, some toy-examples of adaptive vague proofs are provided.     

Socially desirable responding on the web: investigating the candor hypothesis

The investigation presented here explores the hypothesis that participants are less likely to respond in a socially desirable fashion on self-report questionnaires completed on the Web relative to those completed in the laboratory--the candor hypothesis. A battery of social desirability questionnaires (i.e., Balanced Inventory of Desirable Responding [Paulhaus, 1984], Marlowe-Crowne Social Desirability Scale [Crowne & Marlowe, 1964], Eysenck Personality Questionnaire-Revised Lie Scale [Eysenck & Eysenck, 1994]) was administered to 3 groups: 2 groups consisted of undergraduate participants who were randomly assigned to complete the measures either in the laboratory (n = 60) or on the Web (n = 60), and 1 group consisted of self-selected participants who visited our experimental Web page and completed the measures online (n = 284). This design allowed us to assess the role of Web administration while controlling for differences in sample type, an oft-neglected issue in the Web literature. Results do not support the claim that administering self-report measures over the Web results in a decrease in socially desirable responding. Furthermore, these findings highlight the problems associated with confounding sample and medium. Implications for the use of Web as a research tool are discussed.     

Gentzenization and decidability of some contraction-less relevant logics

We adopt the terminology and bracketing conventions of [3], which in turn follows Dunn in [1], pp, 381–391, and Giambrone in [4]. We acknoledge the impetus given to this paper by Jonh Slaney who showed me a key to the dedidability argument, though the simplification used in this paper obviates the need for it.