Is There A Simple,Pedestrian Arithmetic Sentence Which Is Independent Of Zfc?

We show that the P < NP conjecture can beformulated as a Pi₂ ⁰ sentence, and explore some of theconsequences of that fact. This paper summarizes recent workby the author with N. C. A. da Costa on the P相似文献   

Varieties of Three-Valued Heyting Algebras with a Quantifier

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q ₃ of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q ₃ and we construct the lattice of subvarieties (Q ₃ ) of the variety Q ₃ .     

On the symmetric treatment of an asymmetric approach to factor analysis

On the assumption that a partitioning can be found such that three mutually exclusive test vector configurations span the same factor space, a procedure is derived whereby symmetric parts of the correlation matrix are estimated from functions of asymmetric parts treated symmetrically. This yields an explicit matrix formula for communality estimation which generalizes earlier work by Albert. Conventional factoring methods, with all their computational and fitting advantages, can be applied once the symmetric portions of the correlation matrix have been estimated. Extension to four subgroups of test vectors allows for a matrix generalization of the old tetrad difference criterion to the multiple-factor case.     

Subverting Culture: Promoting HIV/AIDS Prevention Among Puerto Rican and Dominican Women

This article discusses the challenges faced by researchers and interventionists when attempting to promote change in social norms and normative beliefs that promote HIV/AIDS risk-related behaviors among Puerto Rican and Dominican women. The article focuses on the role of culture in HIV/AIDS prevention with women by analyzing the sociohistorical context of some cultural beliefs and by illustrating the tension between risk-related and protective cultural beliefs in research conducted by the authors with women in both New York and Puerto Rico. The authors propose that promoting changes in sex-related social norms and normative beliefs might be constructed as a subversive act and present the challenge this analysis poses for community psychology. They conclude that this conceptualization might be construed as subversive because rather than idealizing culture, it promotes changes that respect diversity within the culture and foster participation in the development of new cultural values, beliefs and norms.     

Distinguishing Serial and Parallel Parsing

This paper discusses ways of determining whether the human parser is serial maintaining at most, one structural interpretation at each parse state, or whether it is parallel, maintaining more than one structural interpretation in at least some circumstances. We make four points. The first two counterclaims made by Lewis (2000): (1) that the availability of alternative structures should not vary as a function of the disambiguating material in some ranked parallel models; and (2) that parallel models predict a slow down during the ambiguous region for more syntactically ambiguous structures. Our other points concern potential methods for seeking experimental evidence relevant to the serial/parallel question. We discuss effects of the plausibility of a secondary structure in the ambiguous region (Pearlmutter & Mendelsohn, 1999) and suggest examining the distribution of reaction times in the disambiguating region.     

Stroop interference and negative priming: Problems with inferences from null results

The Stroop color-naming effect has often been taken as evidence for the automaticity of word processing (MacLeod, 1991). Recently, Besner, Stolz, and Boutilier (1997) reported that coloring a single letter instead of the whole word eliminated the Stroop effect. From this finding, they concluded that word processing could not be purely automatic, since it can be prevented. We asked whether the elimination of the Stroop effect is sufficient evidence for concluding that the word is not processed. Combining Besner et al.’s manipulation with a negative-priming procedure, we found intact negative priming from the prime color word in the absence of a Stroop effect. This result clearly indicates that the meaning of the prime word was processed. The findings highlight the importance of using converging methods to evaluate lack of processing.     

Qualitative differences between implicit and explicit sequence learning

Four experiments investigate the differences between implicit and explicit sequence learning concerning their resilience to structural and superficial task changes. A superficial change that embedded the SRT task in the context of a selection task, while maintaining the sequence, did selectively hinder the expression of implicit learning. In contrast, a manipulation that maintained the task surface, but decreased the sequence validity, affected the expression of learning specifically when it was explicit. These results are discussed in the context of a dynamic framework (Cleeremans & Jiménez, 2002), which assumes that implicit knowledge is specially affected by contextual factors and that, as knowledge becomes explicit, it allows for the development of relevant metaknowledge that modulates the expression of explicit knowledge.     

Family and school violence: the mediator role of self-esteem and attitudes towards institutional authority

This study analyses the influence of family communication and parental valuation of school on adolescent violent behaviour at school. By means of a structural equation model, both its direct and indirect influence through school and family self-esteem of the adolescent and his attitude towards school authority are analysed. The sample is composed of 665 adolescents whose ages range from 12 to 16 years old. The results confirm the existence of an indirect relationship but not direct influence of the family on school violence. The attitude of the adolescent towards school authority is the mediator variable which shows the strongest direct effect on school violence. Also, the two dimensions of self-esteem considered are significant intermediate variables. These results and their implications are analysed.     

Validation of a questionnaire for measuring psychosocial factors associated with pharmaceutical care in Spanish community pharmacists

Pharmacotherapy follow-up (PTF) is the professional practice in which the pharmacist takes charge of the needs of the patients related to their drugs. OBJECTIVE: To validate a questionnaire to measure the ASE psychosocial determinants (attitude, social influence, self-efficacy) of PTF and the Prochaska & DiClemente's stage of change in Spanish community pharmacists. METHOD: Postal survey to 482 Asturian community pharmacists (test and retest). Validity was estimated in 134 pharmacists answering the test. Stability was estimated in 85 pharmacists answering the test and retest. Exploratory factorial analysis was used to investigate construct validity and produced 4 factors and 104 items. Those factors had high reliability (Cronbach's a between 0,87 and 0,96). DISCRIMINANT VALIDITY: Pharmacists in extreme stages of change showed significant differences of attitude, motivation and self-efficacy. Repeatability was good and the questionnaire appears valid and reliable.