Explicit Fixed Points in Interpretability Logic

The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryski.     

Robustness of the rule-learning effect in 7-month-old infants: A close,multicenter replication of Marcus et al. (1999)

We conducted a close replication of the seminal work by Marcus and colleagues from 1999, which showed that after a brief auditory exposure phase, 7-month-old infants were able to learn and generalize a rule to novel syllables not previously present in the exposure phase. This work became the foundation for the theoretical framework by which we assume that infants are able to learn abstract representations and generalize linguistic rules. While some extensions on the original work have shown evidence of rule learning, the outcomes are mixed, and an exact replication of Marcus et al.'s study has thus far not been reported. A recent meta-analysis by Rabagliati and colleagues brings to light that the rule-learning effect depends on stimulus type (e.g., meaningfulness, speech vs. nonspeech) and is not as robust as often assumed. In light of the theoretical importance of the issue at stake, it is appropriate and necessary to assess the replicability and robustness of Marcus et al.'s findings. Here we have undertaken a replication across four labs with a large sample of 7-month-old infants (N = 96), using the same exposure patterns (ABA and ABB), methodology (Headturn Preference Paradigm), and original stimuli. As in the original study, we tested the hypothesis that infants are able to learn abstract “algebraic” rules and apply them to novel input. Our results did not replicate the original findings: infants showed no difference in looking time between test patterns consistent or inconsistent with the familiarization pattern they were exposed to.     

Condom use by prostitutes: behavior,factors and considerations

119 female prostitutes were interviewed over the period July 1990-March 1991 about their sex behavior and condom use, their working attitude, and perception of risk in an attempt to combine qualitative and quantitative research methods to gain insight into the determinants of condom use in prostitution by putting high or low risk taking behavior into context. The participants were recruited from different regions of the Netherlands, of mean age 29.8 years, and had been working in the field for an average 6.8 years. Most of the 28% of participants who did not have Dutch nationality were from Germany or Latin America. Health locus of control and attributions concerning an unpleasant proceeding of client contacts were assessed by means of item lists. Prostitutes were identified as either consistent condom users, selective risk takers, or risk takers. Consistent condom users used condoms on all occasions, selective risk takers used condoms for vaginal sex with all but a few selected clients, and risk takers seeing no possibility of consistently getting clients to use a condom for vaginal sex used condoms the least frequently. 78% were consistent users, 11% were selective risk takers, and 11% were risk takers. Protection behavior was found to be linked to working attitude. Condom use is most likely among women with a moderately positive, yet businesslike, working attitude, and least likely among those with a negative working attitude and when there is no positive identification with the professional group. It appears that health locus of control is of no influence on protection style, but risk takers attribute an unpleasant proceeding of client contacts significantly more to powerlessness and helplessness. The authors conclude that the objective situation of women influences condom use at least as strongly as subjective motivations.     

A Systematic Review of the Relationship Between Rumination and Suicidality

Rumination has been persistently implicated in the etiology of hopelessness and depression, which are proximal predictors of suicidality. As a result, researchers have started to examine the role of rumination in suicidality. This systematic review provides a concise synopsis of the current progress in examining the relationship between rumination and suicidality, and highlights areas for future research. A search of the international literature was conducted using the three main psychological and medical databases. Eleven studies were identified providing evidence, with one exception, of a relationship between rumination and suicidality. This review also highlights the considerable dearth of studies on this area of concern, specifically of case‐control and prospective, clinical studies, in the worldwide literature.     

Understanding recovery from object substitution masking

When we look at a scene, we are conscious of only a small fraction of the available visual information at any given point in time. This raises profound questions regarding how information is selected, when awareness occurs, and the nature of the mechanisms underlying these processes. One tool that may be used to probe these issues is object-substitution masking (OSM). In OSM, a sparse, temporally-trailing four dot mask can interfere with target perception, even though the target and mask have different contours and do not spatially overlap (Enns & Di Lollo, 1997). Here, we investigate the mechanisms underlying the recently discovered recovery from OSM observed with prolonged mask exposure (Goodhew, Visser, Lipp, & Dux, 2011). In three experiments, we demonstrate that recovery is unaffected by mask offset, and that prolonged physical exposure of the mask is not necessary for recovery. These findings confirm that recovery is not due to: (a) an offset transient impairing the visibility of other stimuli that are nearby in space and time, or (b) mask adaptation or temporal object-individuation cues resulting from prolonged mask exposure. Instead, our results confirm recovery as a high-level visual-cognitive phenomenon, which is inherently tied to target-processing time. This reveals the prolonged iterative temporal dynamics of conscious object perception.     

Do You Think You're Sexy,Tall, and Thin? The Prediction of Self‐Rated Attractiveness,Height, and Weight

Research suggests that self‐reports of personal attributes, including physical characteristics, are often distorted. The present study examined discrepancies between self‐ and observer or actual reports of attractiveness, height, and weight, and investigated the role of esteem and gender role scales in the prediction of such discrepancies. Results indicated that attractiveness discrepancies were predicted by high esteem and traditional gender roles, height discrepancies were predicted by agency, and weight discrepancies were predicted by personal efficacy. Results also indicated that esteem and gender role characteristics are important in the perception of self‐relevant information.     

The Second Incompleteness Theorem and Bounded Interpretations

In this paper we formulate a version of Second Incompleteness Theorem. The idea is that a sequential sentence has ‘consistency power’ over a theory if it enables us to construct a bounded interpretation of that theory. An interpretation of V in U is bounded if, for some n, all translations of V-sentences are U-provably equivalent to sentences of complexity less than n. We call a sequential sentence with consistency power over T a pro-consistency statement for T. We study pro-consistency statements. We provide an example of a pro-consistency statement for a sequential sentence A that is weaker than an ordinary consistency statement for A. We show that, if A is ${{\sf S}^{1}_{2}}$ , this sentence has some further appealing properties, specifically that it is an Orey sentence for EA. The basic ideas of the paper essentially involve sequential theories. We have a brief look at the wider environment of the results, to wit the case of theories with pairing.     

尼可地尔与前列地尔预处理对大鼠心肌缺血再灌注的影响

研究尼可地尔、前列地尔及两药物联合应用预处理对心肌缺血再灌注中的影响,探究其作用机制.采用Tunel法检测心肌组织的凋亡情况,免疫组化法检测Bax、Bcl-2和caspase-3的蛋白表达情况.结果显示尼可地尔和前列地尔半剂量联合组细胞凋亡数、Bax和caspase-3的表达量均明显低于其他给药组(P＜0.05),Bcl-2的表达量明显高于其他给药组(P＜0.05);尼可地尔和前列地尔单给药组细胞凋亡、Bax、caspase-3表达均有降低,Bcl-2表达升高,但效果不及联合用药半剂量组.以此得出结论尼可地尔和前列地尔的联合用药效果较好,可加强对心肌的保护作用.