Modal translations in substructural logics

Substructural logics are logics obtained from a sequent formulation of intuitionistic or classical logic by rejecting some structural rules. The substructural logics considered here are linear logic, relevant logic and BCK logic. It is proved that first-order variants of these logics with an intuitionistic negation can be embedded by modal translations into S40type extensions of these logics with a classical, involutive, negation. Related embeddings via translations like the double-negation translation are also considered. Embeddings into analogues of S4 are obtained with the help of cut climination for sequent formulations of our substructural logics and their modal extensions. These results are proved for systems with equality too.     

The first axiomatization of relevant logic

This is a review, with historical and critical comments, of a paper by I. E. Orlov from 1928, which gives the oldest known axiomatization of the implication-negation fragment of the relevant logic R. Orlov's paper also foreshadows the modal translation of systems with an intuitionistic negation into S4-type extensions of systems with a classical, involutive, negation. Orlov introduces the modal postulates of S4 before Becker, Lewis and Gödel. Orlov's work, which seems to be nearly completely ignored, is related to the contemporancous work on the axiomatization of intuitionistic logic.     

The significance of crossed and uncrossed projections for the acquisition and retrieval of visual engrams in hooded and albino rats

Summary Occlusion of one eye and functional hemidecortication by cortical spreading depression (CSD) were used to examine the relative importance of crossed and uncrossed visual projections for pattern discrimination learning in hooded and albino rats. Whereas functionally hemidecorticate albino rats were unable to learn in 200 trials a horizontal-vertical discrimination when using the eye contralateral to the depressed hemisphere, hooded rats needed under similar conditions three times as many trials to criterion (167) than when using opposite eye and hemisphere (59). An engram established in intact animals with both eyes could be retrieved in functionally hemidecorticate rats of both strains even with the eye ipsilateral to the intact hemicortex, but retraining required about twice as many trials as when using the contralateral eye. Retrieval of monocularly acquired engrams was less efficient under similar conditions. Pattern discrimination formed through crossed or uncrossed visual projections during monocular occlusion and contralateral or ipsilateral CSD was completely lateralized, since relearning with naive eye and hemisphere proceeded at the same rate as the original learning. On the contrary, a black-white discrimination trained with the eye contralateral to the depressed hemisphere could be partly retrieved by the untrained eye and hemisphere. It is concluded that the ipsilateral visual projection is more effective in hooded than in albino rats and that it can be more efficiently used for retrieval than for acquisition.This research was partly supported by the Foundations' Fund for Research in Psychiatry, Grant G69-453.     

The Variety of Lattice Effect Algebras Generated by MV-algebras and the Horizontal Sum of Two 3-element Chains

It has been recently shown [4] that the lattice effect algebras can be treated as a subvariety of the variety of so-called basic algebras. The open problem whether all subdirectly irreducible distributive lattice effect algebras are just subdirectly irreducible MV-chains and the horizontal sum of two 3-element chains is in the paper transferred into a more tractable one. We prove that modulo distributive lattice effect algebras, the variety generated by MV-algebras and is definable by three simple identities and the problem now is to check if these identities are satisfied by all distributive lattice effect algebras or not. Presented by Daniele Mundici     

Confidence judgments in syllogistic reasoning: the role of consistency and response cardinality

In two experiments, we examined the resolution of confidence judgments in syllogistic reasoning and their heuristic bases. Based on the assumptions of Koriat's Self-Consistency Model of confidence, we expected the confidence judgments to be related to conclusion consensuality, reflecting the role of consistency as a heuristic cue to confidence. In Experiment 1, the participants evaluated 24 syllogisms with conclusions that varied with respect to validity and consensuality. In Experiment 2, the participants produced conclusions to 64 pairs of premises. The correlation between confidence and reasoning accuracy was low. In both experiments confidence was related to the consensuality of the responses. For consensually correct items, correlation between confidence and accuracy was positive; however, for consensually incorrect items it was negative. In Experiment 2, confidence was lower for syllogisms with higher response cardinality, or syllogisms that elicited a greater variety of conclusions.     

Longitudinal changes in behavioral approach system sensitivity and brain structures involved in reward processing during adolescence

[Correction Notice: An Erratum for this article was reported in Vol 48(5) of Developmental Psychology (see record 2012-09244-001). Figure 2 was distorted in production. The correct version is presented in the erratum.] Adolescence is a period of radical normative changes and increased risk for substance use, mood disorders, and physical injury. Researchers have proposed that increases in reward sensitivity (i.e., sensitivity of the behavioral approach system [BAS]) and/or increases in reactivity to all emotional stimuli (i.e., reward and threat sensitivities) lead to these phenomena. The present study is the first longitudinal investigation of changes in reward (i.e., BAS) sensitivity in 9- to 23-year-olds across a 2-year follow-up. Support was found for increased reward sensitivity from early to late adolescence, and evidence was found for decline in the early 20s. This decline is combined with a decrease in left nucleus accumbens (Nacc) volume, a key structure for reward processing, from the late teens into the early 20s. Furthermore, we found longitudinal increases in sensitivity to reward to be predicted by individual differences in the Nacc and medial orbitofrontal cortex (OFC) volumes at baseline in this developmental sample. Similarly, increases in sensitivity to threat (i.e., behavioral inhibition system sensitivity) were qualified by sex, with only females participants experiencing this increase, and predicted by individual differences in lateral OFC volumes at baseline. (PsycINFO Database Record (c) 2012 APA, all rights reserved).     

Maturation of EEG power spectra in early adolescence: a longitudinal study

This study investigated the fine-grained development of the EEG power spectra in early adolescence, and the extent to which it is reflected in changes in peak frequency. It also sought to determine whether sex differences in the EEG power spectra reflect differential patterns of maturation. A group of 56 adolescents were tested at age 10 years and then at two further time-points approximately 18 months apart. The EEG was recorded during both eyes-closed and eyes-open conditions and Fourier transformed to provide estimates of absolute and relative spectral power at 0.5 Hz intervals from 0.5 to 40 Hz. The peak alpha frequency for each individual at each time-point was also determined for relative spectral power. Partial Least Squares (PLS) analysis was used to determine the combination of electrodes and frequencies that showed developmental change, or differed between the sexes. As a function of age, absolute delta and theta frequencies power decreased, and relative alpha2 and beta frequencies increased, replicating the standard findings of a decrease in lower, and increase in higher, frequencies with age. A small but significant increase in peak alpha frequency with age was detected. Moreover PLS analysis performed with individual alpha frequencies aligned to 10 Hz suggested that the age-related increase seen in alpha2 relative power was driven by changes in the peak frequency. Although males demonstrated higher alpha power than females, there were no sex differences in peak frequency, suggesting that there may be more to sex differences in EEG power than simply different rates of maturation between the two sexes.     

Jeremy is a... Expressive-relativism and expressives in predicative positions

Synthese - Expressives are words that convey speakers’ attitudes towards a particular object or situation. Consider two examples: In both examples the word f**khead communicates some...