Proof-theoretic semantics is an inferentialist theory of meaning, usually developed in a multiple-assumption and single-conclusion framework. In that framework, this theory seems unable to justify classical logic, so some authors have proposed a multiple-conclusion reformulation to accomplish this goal. In the first part of this paper, the debate originated by this proposal is briefly exposed and used to defend the diverging opinion that proof-theoretic semantics should always endorse a single-assumption and single-conclusion framework. In order to adopt this approach some of its criteria of validity, especially separability, need to be weakened. This choice is evaluated and defended. The main argument in this direction is based on the circular dependences of meaning between multiple assumptions and conjunctions, and between multiple conclusions and disjunctions. In the second part of this paper, some systems that suit the new requirements are proposed for both intuitionistic and classical logic. A proof that they are valid, according to the weakened criteria, is sketched.
Little research has examined how age impacts texting dependence, despite the increased usage of texting and other social media applications in older adults. In the present study, three age groups (18–29 years of age, n = 135; 30–49 years of age, n = 58; 50–69 years of age, n = 19) were given the Self-Perceptions of Text Messaging Dependency Scale (SPTMDS). This self-report measure examines Emotion Reaction, Excessive Use, Disruption of Relationships with text Messages and Psychological/Behavioral Symptoms Concerning Heavy Usage). Results revealed that (a) texting dependence decreased across the three age groups and (b) that this decrease occurred for all four sub-scales of the SPTMDS (all p's < .01). These results have implications for how one aspect of social media (namely texting) is used and ultimately accepted by older adults. 相似文献
Structural synaptic changes occur in medial prefrontal cortex circuits during remote memory formation. Whether extinction reverts or further reshapes these circuits is, however, unknown. Here we show that the number and the size of spines were enhanced in anterior cingulate (aCC) and infralimbic (ILC) cortices 36 d following contextual fear conditioning. Upon extinction, aCC spine density returned to baseline, but the enhanced proportion of large spines did not. Differently, ILC spine density remained elevated, but the size of spines decreased dramatically. Thus, extinction partially erases the remote memory network, suggesting that the preserved network properties might sustain reactivation of extinguished conditioned fear. 相似文献
A digit memory task and a delayed visual aiming task were used in a test of resource capacity theories. These tasks were run either singly, with short- or long-retention intervals, or in pairs. In the dual-task conditions, the short version of one was inserted into the longer version of the other. Delay by itself had no effect on retention, but the dual-task combinations showed asymmetrical interference: Inserting verbal memory into the visual-motor delay had little effect on either task, but inserting the motor task into the verbal retention interval disrupted both. These results thus support neither single nor multiple resource models, but can be explained with reference to component processes in working memory. 相似文献
The authors investigated the effects of an induced emotional mood state on lexical decision task (LDT) performance in 50 young adults and 25 older adults. Participants were randomly assigned to either happy or sad mood induction conditions. An emotional mood state was induced by having the participants listen to 8 min of classical music previously rated to induce happy or sad moods. Results replicated previous studies with young adults (i.e., sad-induced individuals responded faster to sad words and happy-induced individuals responded faster to happy words) and extended this pattern to older adults. Results are discussed with regard to information processing, aging, and emotion. 相似文献
The authors examined the effect of menopausal status on several aspects of cognition in 4 groups of women (young premenopausal women, middle-aged premenopausal women, naturally postmenopausal women not using hormone therapy, and postmenopausal women using hormone replacement therapy). Participants (N = 48) completed questionnaires designed to assess psychological and physical health. The authors administered a test battery consisting of 10 neuropsychological tests to assess cognitive functioning. Using multivariate analyses of covariance with age as the covariate, the authors found a significant main effect of menopausal status on attention and complex processing abilities. Postmenopausal women using hormone replacement therapy significantly outperformed postmenopausal women not using hormone therapy on the Trail Making Test, Part B of the Halstead-Reitan (R. M. Reitan, 1958). This effect was significant even when the authors controlled for the effects of age, vocabulary levels, and education. Results are consistent with previous findings and may provide further evidence for an ameliorative effect of estrogen replacement therapy on specific cognitive functions. 相似文献