首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 62 毫秒
1.
In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from the lattice-theoretical point of view; this set is represented by the lattice FACSs A of all algebraic closed-set systems C on A such that (A, C) ε FGModS. We relate some properties of these structures with tipically logical properties of the sentential logic S. The main algebraic properties we consider are the closure of FGModS under substructures and under reduced products, and the property that for any A the lattice FACSs A is a complete sublattice of the lattice of all algebraic closed-set systems over A. The logical properties are the existence of a fully adequate Gentzen system for S, the Local Deduction Theorem and the Deduction Theorem for S. Some of the results are established for arbitrary deductive systems, while some are found to hold only for deductive systems in more restricted classes like the protoalgebraic or the weakly algebraizable ones. The paper ends with a section on examples and counterexamples. Dedicated to the memory of Willem Johannes Blok  相似文献   

2.
Skvortsov  D. 《Studia Logica》2000,64(2):257-270
A method for constructing continua of logics squeezed between some intermediate predicate logics, developed by Suzuki [8], is modified and applied to intervals of the form [L, L+ ¬¬S], where Lis a predicate logic, Sis a closed predicate formula. This solves one of the problems from Suzuki's paper.  相似文献   

3.
4.
A model of the development of group therapists is presented. It is proposed that student group therapists proceed through a sequence of stages, each of which is marked by characteristic therapist behavior. During the initial Group shock phase, the student reacts to the novelty of group therapy stimuli with individual therapy or content-oriented approaches. Reappraisal is a period of some therapist inhibition, frustration, or self-doubt. One step behind is a phase characterized by a gradual recognition of the process level of analysis, despite difficulty supplying the interventions autonomously. Using the here-and-now is a period of active intervention about interpersonal phenomena among group members. The techniques for highlighting this material are refined in the Polishing skills phase. The usefulness of models in training is discussed.  相似文献   

5.
In this paper we study the systemsP andP * (see Arruda and da Costa,O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemtica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories havingP andP * as their underlying logics are non-trivial.  相似文献   

6.
Lou Goble 《Studia Logica》2007,85(2):171-197
The results of this paper extend some of the intimate relations that are known to obtain between combinatory logic and certain substructural logics to establish a general characterization theorem that applies to a very broad family of such logics. In particular, I demonstrate that, for every combinator X, if LX is the logic that results by adding the set of types assigned to X (in an appropriate type assignment system, TAS) as axioms to the basic positive relevant logic BT, then LX is sound and complete with respect to the class of frames in the Routley-Meyer relational semantics for relevant and substructural logics that meet a first-order condition that corresponds in a very direct way to the structure of the combinator X itself. Presented by Rob Goldblatt  相似文献   

7.
Objective: In the process of behaviour change, intonation of speech is an important aspect that may influence persuasion when auditory messages are used. In two experiments, we tested to what extent different levels of intonation are related to persuasion and whether for some recipients the threat posed by the message information might become too strong to face.

Design: In Study 1, 130 respondents listened to a health message with either a low, moderate or high level of intonation. In Study 2 (N?=?143), the same manipulations of intonation were applied but half of the respondents were affirmed before they listened to the persuasive message. Intention to increase fruit and vegetable intake was used as a dependent variable.

Results: Both studies showed that high intonation led to a significant drop in intention among respondents who perceived their own health as good. After self-affirmation, persuasion was increased.

Conclusion: A high level of intonation seems to induce self-regulatory defences in people who do not see the necessity to change their health behaviour, whereas people with poor perceived health might perceive potential to change. The use of a normal level of intonation in auditory health messages is recommended.  相似文献   

8.
SUMMARY

In this paper, the author describes aspects of his work as a psychoanalytical psychotherapist in a hospital for diseases of the colon and rectum. After reviewing some of the earlier psychoanalytic literature (Freud and Abraham), and more recent theoretical contributions, two cases are described in some detail, which help give a flavour to some of the work. The paper concludes with caveats about the internal and external working environment, which will facilitate or hinder working in particular medical settings.  相似文献   

9.
《Philosophical Papers》2012,41(1):31-40
Abstract

In his book Metaphysics, Peter van Inwagen constructs a version of the Cosmological Argument which does not depend on the Principle of Sufficient Reason. He goes on to reject the argument. In this paper, I construct an alternative version of the Cosmological Argument that uses some of van Inwagen's insights and yet is immune to his criticisms. If we suppose that for each contingent truth, there is some at least partial explanation, then it follows that there is some necessary truth that explains the conjunction of all the contingent truths.  相似文献   

10.
LetL be any modal or tense logic with the finite model property. For eachm, definer L (m) to be the smallest numberr such that for any formulaA withm modal operators,A is provable inL if and only ifA is valid in everyL-model with at mostr worlds. Thus, the functionr L determines the size of refutation Kripke models forL. In this paper, we will give an estimation ofr L (m) for some linear modal and tense logicsL.  相似文献   

11.
ObjectivesIntention is theorized as the proximal determinant of behaviour in many leading theories and yet tests of its absolute predictive utility show discordance. While one line of research has been investigating constructs that may augment intention, another possibility may be to improve measurement. The purpose of this study was to compare a typical measure of exercise intention with a measure that attempts to deepen the motivational domain via considerations of contextual barriers and other competing goals (named behavioural resolve).DesignTwo-week prospective.MethodParticipants were a random sample of university students who were subsequently randomized to groups who completed either measures of behavioural intention (n = 179) and behavioural resolve (n = 227) in relation to exercise and a 2-week follow-up of exercise behaviour.ResultsComparing the two measures showed that the behavioural resolve construct explained significantly more variance in exercise behaviour than the standard intention construct (q = .35). Further comparison of the two measures showed that absolute discordance with subsequent exercise behaviour was considerably lower with behavioural resolve (mean = ?.09) compared to behavioural intention (mean = ?1.28).ConclusionsThese findings indicate that at least some of the intention–behaviour gap may be from inadequate measurement of the motivational domain, and this can be partially rectified with shifting to a behavioural resolve measure.  相似文献   

12.
Abstract

This chapter is an attempt at providing heretofore unpublished and essential background information and historical understanding about clerical sexual abuse, which might allow some to contextualize differently the serious problem in the Roman Catholic and other faith based communities in the United States. Discussion indicates some variables that might provide researchers with clear markers for differentiation. Directions for future research are discussed.  相似文献   

13.
Intuitively it has seemed to many that our concepts conscious state and conscious creature are sharp rather than vague, that they can have no borderline cases. On the other hand, many who take conscious states to be identical to, or realized by, complex physical states are committed to the vagueness of those concepts. In the paper I argue that conscious state and conscious creature are sharp by presenting four necessary conditions for conceiving borderline cases in general, and showing that some of those conditions cannot be met with conscious state. I conclude that conscious state is sharp, and the conclusion is then extended to conscious creature. The paper ends with a brief discussion of some implications.
Michael V. AntonyEmail:
  相似文献   

14.
Objectives : To test the range of beliefs regarding the ethics of testing, in resource poor settings, new therapies that are less efficacious but more affordable and feasible than the best current therapeutic standard.

Design : Using a web-based survey, we presented a hypothetical scenario proposing to test a therapy for HIV disease ("therapeutic inoculation") known to be less efficacious than highly active antiretroviral therapy (HAART). Respondents evaluated various trial designs as ethical or unethical.

Participants : 604 subscribers to two listservs for individuals interested in international health research ethics.

Main outcome measures : Proportion of respondents endorsing trials testing this "substandard" therapy, and proportion endorsing placebo-controlled trials.

Results : There were 215 respondents from 47 countries. Forty-five percent of respondents were from low or middle income countries; 96% devoted at least some time to research activities; and 75% had "some" or "considerable" research experience in developing countries. Of respondents, 97% (95% CI 94.7 to 99.4) endorsed testing therapeutic inoculation, without HAART, in patients with HIV disease; 86% (95% CI 81.4% to 90.7%) endorsed testing against placebo. Sixty-eight percent explicitly endorsed principles where the standard of care for subjects in clinical trials is determined by local, not universal, standards. There were no differences in responses based on respondent education-level or the income-level of their country of citizenship.

Conclusion : There was broad agreement that a therapy of potential local benefit may be tested, even when that therapy is known to be inferior to the standard of care in wealthy countries. Most agreed that a placebo control may be used in some circumstances.  相似文献   

15.
Abstract

This study surveyed 28 graduate students in counseling on the meaning of lyrical music in their lives in a CACREP accredited program at an independent, southeastern university. Results showed that some songs were more popular or better remembered than others. It also showed that while some lyrics are personally meaningful and others convey important messages, a number of lyrics are just relaxing, joyful, and entertaining without a deeper level of significance to them.  相似文献   

16.
Aims: In the Transtheoretical Model (TTM), the preparation stage (as applied to smoking cessation) is defined as planning to quit in the next 30 days plus having quit for at least 24 h in the last year. This study examined the value of prior quitting experience as a stage classification criterion by investigating whether prediction of making a quit attempt differed as a function of prior quitting experience. Participants: One thousand and forty-six participants, all planning to quit in the next 30 days, in a randomised trial of the effectiveness of a telephone counselling and computer-generated tailored advice intervention were followed up at 3 months. Findings: A multivariate predictive model had markedly greater capacity to predict making a quit attempt among participants with prior quitting experience (as defined in several different ways), compared to analyses of the overall sample. A previous attempt of 24 h in the previous month was associated with the greatest difference in prediction. A quit attempt in the previous year (the TTM definition) did not discriminate. Conclusions: Recent prior quitting experience moderated the predictive capacity of some variables that influence smoking cessation. The findings provide some support for a stage model of smoking cessation but not its operationalisation by the TTM.  相似文献   

17.
Background: Post-event processing (PEP) refers to negative and prolonged rumination following anxiety-provoking social situations. Although there are scales to assess PEP, they are situation-specific, some targeting only public-speaking situations. Furthermore, there are no trait measures to assess the tendency to engage in PEP. Objectives: The purpose of this research was to create a new measure of PEP, the Post-Event Processing Inventory (PEPI), which can be employed following all types of social situations and includes both trait and state forms. Design and method: Over two studies (study 1, N?=?220; study 2, N?=?199), we explored and confirmed the factor structure of the scale with student samples. Results: For each form of the scale, we found and confirmed that a higher-order, general PEP factor could be inferred from three sub-domains (intensity, frequency, and self-judgment). We also found preliminary evidence for the convergent, concurrent, discriminant/divergent, incremental, and predictive validity for each version of the scale. Both forms of the scale demonstrated excellent internal consistency and the trait form had excellent two-week test–retest reliability. Conclusion: Given the utility and versatility of the scale, the PEPI may provide a useful alternative to existing measures of PEP and rumination.  相似文献   

18.
IntroductionBecause changing personal beliefs about treatment could help improve adherence, having a validated tool for identifying these beliefs is important.ObjectiveThis study sought to validate the French version of the Beliefs about Medicines Questionnaire (BMQ-f©).MethodData were gathered among 253 patients with type 2 diabetes and 123 HIV patients with the help of self-reported questionnaires, including the Beliefs about Medicines Questionnaire, a French adherence assessment, and some demographic variables.ResultsConfirmatory factor analyses show the French version of the BMQ has the same factorial structure as the English original in both diabetes and HIV samples. All items load on their expected factor namely specific-necessity, specific-concern, general-harm, and general-overuse. Moreover, each scale revealed good internal consistency and retained the psychometric qualities of the original version. These satisfactory properties were consolidated by predictive validity data that demonstrate the impact of treatment beliefs on adherence levels.ConclusionFindings are discussed in light of previous diabetes and HIV studies. The French BMQ proved to be a good way of quickly identifying inaccurate beliefs about treatment. It could be a useful tool in French clinical practice, such as in patient education.  相似文献   

19.
Summary

Three questions are raised and discussed. What is the meaning of spirituality? How is spirituality affected by the aging process? And what are some suggestions for spiritual ministry to the aging?  相似文献   

20.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号