Modal interpretations take quantum mechanics as a theory which assigns at all times definite values to magnitudes of quantum systems. In the case of single systems, modal interpretations manage to do so without falling prey to the Kochen and Specker no-go theorem, because they assign values only to a limited set of magnitudes. In this paper I present two further no-go theorems which prove that two modal interpretations become nevertheless problematic when applied to more than one system. The first (...) theorem proves that the modal interpretation proposed by Kochen and by Dieks cannot correlate the values simultaneously assigned to three systems. The second and new theorem proves that the atomic modal interpretation proposed by Bacciagaluppi and Dickson and by Dieks cannot correlate the values simultaneously and sequentially assigned to two systems if one assumes that these correlations are uniquely related to the dynamics of the state of the systems. (shrink)

A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Döring and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (Heunen et al. in arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup through the (...) concrete example of the C*-algebra M n (ℂ) of complex n×n matrices. This leads to an explicit expression for the pointfree quantum phase space Σ n and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen–Specker Theorem.In our approach, the nondistributive lattice ℘(M n (ℂ)) of projections in M n (ℂ) (which forms the basis of the traditional quantum logic of Birkhoff and von Neumann) is replaced by a specific distributive lattice $\mathcal{O}(\Sigma_{n})$ of functions from the poset $\mathcal{C}(M_{n}(\mathbb{C}))$ of all unital commutative C*-subalgebras C of M n (ℂ) to ℘(M n (ℂ)). The lattice $\mathcal{O}(\Sigma_{n})$ is essentially the (pointfree) topology of the quantum phase space Σ n , and as such defines a Heyting algebra. Each element of $\mathcal{O}(\Sigma_{n})$ corresponds to a “Bohrified” proposition, in the sense that to each classical context $C\in\mathcal{C}(M_{n}(\mathbb{C}))$ it associates a yes-no question (i.e. an element of the Boolean lattice ℘(C) of projections in C), rather than being a single projection as in standard quantum logic. Distributivity is recovered at the expense of the law of the excluded middle (Tertium Non Datur), whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann. (shrink)

BACKGROUND: Serotonin transporter promoter genotype appears to increase risk for depression in the context of stressful life events. However, the effects of this genotype on measures of stress sensitivity are poorly understood. Therefore, this study examined whether 5-HTTLPR genotype was associated with negative information processing biases in early childhood. METHOD: Thirty-nine unselected seven-year-old children completed a negative mood induction procedure and a Self-Referent Encoding Task designed to measure positive and negative schematic processing. Children were also genotyped for the 5-HTTLPR gene. (...) RESULTS: Children who were homozygous for the short allele of the 5-HTTLPR gene showed greater negative schematic processing following a negative mood prime than those with other genotypes. 5-HTTLPR genotype was not significantly associated with positive schematic processing. LIMITATIONS: The sample size for this study was small. We did not analyze more recently reported variants of the 5-HTTLPR long alleles. CONCLUSIONS: 5-HTTLPR genotype is associated with negative information processing styles following a negative mood prime in a non-clinical sample of young children. Such cognitive styles are thought to be activated in response to stressful life events, leading to depressive symptoms; thus, cognitive styles may index the "stress-sensitivity" conferred by this genotype. (shrink)

The body of Rabbinic material that has been relied upon for the view that Pharisaism was legalistic points rather toward confidence in God's grace and toward obedience as one's appropriate response.

The strongest argument which convinced adherents of determinism put forward is that the admission of freedom of the will does away with the principle of causality within the sphere of personal existence, and makes human activity incomprehensible. “I understand” and “I explain” mean: I apprehend the presentations of experience in terms of the basic forms of thought, and in this way I assimilate them, I register them in the system of knowledge which makes up my intellectual capital. One of these (...) forms of thought, and one of the very highest importance, is the concept of causality: without it the mind would remain perpetually bemused before an orderless world of phenomena, displaying no rhyme or reason, like the world of magic or that of dreams. If, therefore, freedom of the will excludes a principle on which our intellectual well-being depends so “much, it must be rejected by the philosophical mind and given no place amongst the truths which that mind recognizes. There is a lasting validity in Immanuel Kant's observation:“If we grant that morality necessarily presupposes freedom and if at the same time we grant that speculative reason has proved that such freedom does not allow of being thought, then the former supposition— that made on behalf of morality—would have to give way to this other contention, the opposite of which involves a palpable contradiction.”. (shrink)