We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. By appropriate combinations we capture both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. Our approach is modular and supports uniform proofs of soundness, completeness and proof normalization. We have implemented our work in the Isabelle Logical Framework. 相似文献
Can there be rules of language which serve both to determine meaning and to guide speakers in ordinary linguistic usage, i.e., in the production of speech acts? We argue that the answer is no. We take the guiding function of rules to be the function of serving as reasons for actions, and the question of guidance is then considered within the framework of practical reasoning. It turns out that those rules that can serve as reasons for linguistic utterances cannot be considered as normative or meaning determining. Acceptance of such a rule is simply equivalent to a belief about meaning, and does not even presuppose that meaning is determined by rules. Rules that can determine meaning, on the other hand, i.e., rules that can be regarded as constitutive of meaning, are not capable of guiding speakers in the ordinary performance of speech acts. 相似文献
A computerized version of the Tower of Hanoi with a new form of administration was administered to two different groups, 15 men and 22 women, who were university students reporting normal psychological histories, and 24 traumatically brain-injured patients (20 men and 4 women). Scores on this test for both groups can be interpreted as an index of ability to solve problems and of learning strategies. Men and women scored differently on the task, i.e., women used different strategies than men to solve problems. 相似文献
There is a limited amount of empirical data available regarding the cultural and religious variation in perceptions about the age when young people should be regarded as competent to make decisions in health settings. A public survey of 400 adults from diverse religious and ethnic backgrounds was conducted in the UK and Spain. Attitudes were assessed using case vignettes. It was found that high religious practice was associated with recommending a higher age of consent for medical interventions. White British adults were more likely than Spanish adults to agree that younger adolescents should be allowed to consent to medical interventions. The study suggests that there is social, cultural and religious variation in adults’ attitudes regarding the age when youngsters should consent to health interventions.
Timing and amount of exposure to a 2nd language in the acquisition of phonotactic restrictions was examined in 4 experiments. In Experiments 1 and 2, 10-month-old monolingual and bilingual Catalan-Spanish infants were presented with nonwords that were phonotactically legal or illegal in Catalan and phonotactically illegal in Spanish. Differences between the 4 groups of infants were obtained as a function of language dominance. In Experiments 3 and 4, adult Spanish-Catalan bilinguals were compared with the same materials. Catalan-dominant bilinguals were more accurate than Spanish-dominant bilinguals in their perception of legal sequences; however, they were not more accurate with illegal sequences. The findings suggest a complex correlation between the pattern of preference and the amount and timing of exposure. 相似文献
The present experiments determined the consequences of blocking muscarinic cholinergic receptors of the prelimbic (PL) cortex in the acquisition and retention of an odor-reward associative task. Rats underwent a training test (five trials) and a 24-h retention test (two retention trials and two relearning trials). In the first experiment, rats were bilaterally infused with scopolamine (20 or 5 microg/site) prior to training. Although scopolamine rats showed acquisition equivalent to PBS-injected controls, they exhibited weakened performance in the 24-h retention test measured by number of errors. In the second experiment, rats were injected with scopolamine (20 microg/site) immediately or 1 h after training and tested 24 h later. Scopolamine rats injected immediately showed severe amnesia detected in two performance measures (errors and latencies), demonstrating deficits in retention and relearning, whereas those injected 1 h later showed good 24-h test performance, similar to controls. These results suggest that muscarinic transmission in the PL cortex is essential for early memory formation, but not for acquisition, of a rapidly learned odor discrimination task. Findings corroborate the role of acetylcholine in consolidation processes and the participation of muscarinic receptors in olfactory associative tasks. 相似文献
Some recent publications that explore the foundations of early language development are reviewed in this article. The review adopts the pivotal idea that infants' advancements are helped by the existence of different types of biases. The infant's discovery of the phonological properties of the language of the environment, as well as their learning of words, is assisted by different types of processing biases, ranging from perceptual to social factors. 相似文献
Several theoretical models and testing procedures are presented with the aim of identifying the most relevant items and domains to include in a model for evaluating adolescents’ subjective well-being, above and beyond those usually included in adults’ scales. Data were collected in three countries based on a list of 30 items regarding adolescents’ satisfaction with different domains or facets of life. Responses to these 30 items (including Personal Well-Being Index and Brief Multidimensional Students’ Life Satisfaction Scale items) have been analysed by means of Confirmatory Factor Analysis using different Structural Equation Models (SEM) on a pooled sample comprising 5,316 twelve to sixteen-year-olds from Spain, Brazil and Chile. Several models have shown good enough fit statistics. A model using 14 items shows excellent fit statistics and is conceptually coherent. However, the inclusion or non-inclusion of items related to satisfaction with religion or spirituality results in both advantages and disadvantages when comparing the alternative models analysed. The relevance of including these items may therefore depend on the socio-cultural context where data are collected and their inclusion makes cross-country comparison more statistically challenging. The 14-item model has also been tested using multigroup SEM in order to check comparability of data among the three countries. All things considered, multigroup models have shown good fit with constrained loadings, but not with constrained loadings and intercepts, suggesting we can compare correlations and regressions among countries, but not means. Additional multigroup SEM with the five age groups available from the pooled sample have demonstrated that responses—and means—are comparable across different age groups during early adolescence. 相似文献
A psychotic breakdown in adolescence marks the emergence of a manifest aspect of a more complex process that has its origins in the patient's family pre‐history and in the patient's childhood story. This period of life is characterized by a sensorial explosion and adolescents will react differently according to the different resources they have at their disposal. Adolescents will attempt to create defensive solutions in order to face this decompensation on their own. In particular, polymorphously perverse behaviours can be utilized because of their specific characteristics in order to create a potent defence used to arrest a still more severe regression and at the same time providing the time necessary to safely navigate through a difficult and dangerous developmental phase. These solutions can be transitory or transform themselves into lasting defensive adaptations. These defensive modalities are very complex and articulated and can become fossilized in time, as, for example, in the case of a use of perverse defences against a breakdown. An analyst finding him/herself in these situations will find it difficult to differentiate in the diagnosis between a condition that is due to a perverse functioning used as a defence against decompensation, and a truly perverse structure that is beginning to emerge after puberty. 相似文献
The present longitudinal study examined the role of quality of friendship in mediating the relation of pro‐sociality to self‐esteem over time. Participants were 424 Italian young adults (56% females) assessed at two waves (Mage = 21.1 at Time 1; Mage = 25 at Time 2). An autoregressive cross‐lagged panel model was used to test the mediational model. Self‐ and friend‐report measures of pro‐sociality, quality of friendship, and self‐esteem were included in the analyses. Results were in line with the hypothesized paths, with quality of friendship mediating the relation of pro‐sociality to later self‐esteem above and beyond its high stability. Self‐esteem, in turn, predicted pro‐sociality 4 years later. Overall, the present findings support the potential benefits of behaving pro‐socially for an actor in terms of increased perceived self‐worth and also expand previous work by outlining the specific mediational role of the quality of friendships. The theoretical and practical implications of these results are discussed. 相似文献