首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
In this paper, I present the modal adaptive logic AJ r (based on S5) as well as the discussive logic D r 2 that is defined from it. D r 2 is a (non-monotonic) alternative for Jaśkowski’s paraconsistent system D 2 . Like D 2 , D r 2 validates all single-premise rules of Classical Logic. However, for formulas that behave consistently, D r 2 moreover validates all multiple-premise rules of Classical Logic. Importantly, and unlike in the case of D 2 , this does not require the introduction of discussive connectives. It is argued that this has clear advantages with respect to one of the main application contexts of discussive logics, namely the interpretation of discussions.*Research for this paper was indirectly supported by the Flemish Minister responsible for Science and Technology (contract BIL1/8). The author is indebted to Leon Horsten, Jo?o Marcos, Jerzy Perzanowski, Liza Verhoeven, and especially to the referee and to Diderik Batens for comments and suggestions.  相似文献   

2.

In truth theory one aims at general formal laws governing the attribution of truth to statements. Gupta’s and Belnap’s revision-theoretic approach provides various well-motivated theories of truth, in particular T* and T#, which tame the Liar and related paradoxes without a Tarskian hierarchy of languages. In property theory, one similarly aims at general formal laws governing the predication of properties. To avoid Russell’s paradox in this area a recourse to type theory is still popular, as testified by recent work in formal metaphysics by Williamson and Hale. There is a contingent Liar that has been taken to be a problem for type theory. But this is because this Liar has been presented without an explicit recourse to a truth predicate. Thus, type theory could avoid this paradox by incorporating such a predicate and accepting an appropriate theory of truth. There is however a contingent paradox of predication that more clearly undermines the viability of type theory. It is then suggested that a type-free property theory is a better option. One can pursue it, by generalizing the revision-theoretic approach to predication, as it has been done by Orilia with his system P*, based on T*. Although Gupta and Belnap do not explicitly declare a preference for T# over T*, they show that the latter has some advantages, such as the recovery of intuitively acceptable principles concerning truth and a better reconstruction of informal arguments involving this notion. A type-free system based on T# rather than T* extends these advantages to predication and thus fares better than P* in the intended applications of property theory.

  相似文献   

3.
ABSTRACT

Background and Objectives: Although workaholism has been associated with job performance, the mechanisms that explain this relationship remain unclear. In this study, we investigated the conditional indirect effects of workaholism on performance via emotional exhaustion, across low and high levels of supervisor recognition.

Methods: We conducted an empirical cross-sectional study using a sample of 1028 volunteer firefighters who completed a self-report questionnaire assessing workaholism, emotional exhaustion, work performance, and supervisor recognition.

Results: Tests of latent interactions were performed using the latent moderated structural equation modeling approach. Consistent with our predictions, results revealed that the negative indirect effects of workaholism on performance, through emotional exhaustion, were stronger when supervisor recognition was low.

Conclusions: Theorical contributions and perspectives, as well as implications for practice are discussed.  相似文献   

4.
Bierman  G. M.  de Paiva  V. C. V. 《Studia Logica》2000,65(3):383-416
In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also a means of modelling proofs as well as provability.  相似文献   

5.
Mares  Edwin D. 《Studia Logica》2000,65(3):315-322
RGLis a version of the modal logic GLbased on the relevant logic R. It is shown that the class of RKframes that verify all theorems of RGLalso verify a scheme that we call (!). If RGLhas (!) as a theorem, however, it is not a relevant logic. I go on to show that not all instances of (!) are theorems of RGL, hence this logic is not complete over any class of RKframes.  相似文献   

6.
The background of this paper is an investigation of child survivors from the Holocaust; in a study of interviews of these survivors, it could be concluded that past traumatic experiences are recovered not as memories (in the usual sense of the word), but as affects invading the present. Accordingly, affects seem to tell the story of the past traumatic experiences. In this paper, the author investigates two accounts (separately told by two survivors) of the same event in the Kielce ghetto. The two accounts present similarities, but also differences, and the author discusses these in relation to the concepts of historical and narrative truth, as well as in relation to construction and reconstruction, concluding that the interviews give a sketch of how the experiences have become idiosyncratically registered in the minds of the interviewees.  相似文献   

7.
Abstract

Background: While there is growing awareness of the need to support the physical and mental wellbeing of transgender people, some may be reluctant to seek help from healthcare professionals. Little is understood about the mechanisms that influence help-seeking behavior in this group.

Aims: This study aimed to compare transgender and cisgender participants in their likelihood to seek help for both physical and mental health conditions, and to explore whether this help-seeking behavior is predicted by a range of sociodemographic and psychological variables.

Methods: 123 participants living in Ireland (cisgender= 67; transgender= 56) completed a questionnaire which included demographic questions, as well as measures of optimism (LOT-R), self-esteem (RSES), psychological distress (GHQ-12), attitudes towards seeking psychological help (ATSPPH-SF), and attitudes towards seeking help for a physical health problem (Attitudes Towards Seeking Medical Help Scale- Action/Intervention subscale). Associations between predictor variables and mental and physical health seeking were explored using correlation analysis and stepwise regressions.

Results: Transgender participants were less likely to seek help for a physical health issue than cisgender participants, but did not differ in mental health help-seeking behaviors. Results suggest that this may be due to differences in optimism, self-esteem and psychological distress. Transgender participants had significantly lower optimism and self-esteem, which were two factors linked to poorer physical health seeking behaviors. Optimism also emerged as a significant predictor in mental health seeking behaviors.

Discussion: The lack of a significant difference for mental health help-seeking between the transgender and cisgender participants is encouraging, as it suggests that there is less stigma surrounding mental illness than expected, however findings also contradict previous findings suggesting that physical health is less stigmatized. This could be due to stigma relating to gender-specific healthcare and suggests that healthcare professionals should acknowledge the specific healthcare needs and concerns among transgender individuals.  相似文献   

8.
9.
IntroductionVoluntary helping behaviors are important for spurring organizational effectiveness.ObjectivesThis study investigates how employees’ religiousness and collectivism might enhance their propensity to help their peers on a voluntary basis, as well as how this relationship might be invigorated by the presence of abusive supervision.MethodsSurvey data were collected from employees and their supervisors in Pakistan-based organizations. The hypotheses were tested with hierarchical regression analysis.ResultsReligiousness relates positively to helping behavior, and this relationship is stronger when employees experience abusive supervision, possibly because their religiousness motivates them to protect their colleagues against the hardships created by such a resource-draining leadership style. Although collectivism does not have a direct significant relationship with helping behavior overall, abusive supervision invigorates this relationship.ConclusionFor organizations seeking to increase voluntary work behaviors, the results show that religiousness and collectivism are two personal resources that can enhance an organizational culture that promotes collegiality and mutual support, particularly when employees believe that their supervisors are hostile to followers and abuse their leadership positions.  相似文献   

10.
ObjectivesQualitative research on physically active mothers has shown that recreational sport may allow women to resist good mother ideals that often constrain exercise. The purpose of this study was to extend this understanding in a socio-cultural context by examining how recreational athlete mother identities were constructed within one form of new media - blogging.DesignA qualitative approach grounded in discursive psychology was used to theorize athlete mother identities as subject positions constructed within particular discourses circulated within a blog.MethodCritical discourse analysis of 30 stories and 177 reader comments from the North American online running community Another Mother Runner, was conducted. Visual data analysis of 102 images accompanying stories also contextualized the textual meanings of discourses and subject positions.ResultsTwo primary discourses were identified: discourse of transformation and empowerment and a discourse of disruption and resolution. Subject positions constructed within these two intersecting discourses were role mother/advocate and resilient mother runner.ConclusionsThis study extends discursive psychology literature in sport and exercise psychology as well as media work on athlete mother identities within sport psychology into the realm of the internet and identity construction.  相似文献   

11.
ABSTRACT

Background: The literature on trans youth has been dominated by etiological studies interested in trans experience as a medical phenomenon. An emerging body of literature has begun to document that trans youth are a diverse, vulnerable, yet resilient population, and to investigate the role of various sites of support such as the family, peer groups, institutions, and community spaces in contributing to or impeding trans youth's well-being.

Method: This article presents the results of Stage One of interviews (n = 24) conducted for a Community-Based Participatory Action Research (CBPAR) qualitative research project based in Quebec. It studies the factors that enhance trans youth's well-being as well as the factors of oppression that negatively affect it. This paper offers a brief overview of the anti-oppressive methodology used for this project, emphasizing how CBPAR was combined with Grounded Theory (GT) methods to encourage the direct involvement of communities and the translation of knowledge into action.

Results: We present preliminary categories emerging through the ongoing axial coding process. These categories address trans youth's experiences in and perceptions of various “sites”: 1) healthcare services both for gender-related and general care, 2) other institutional spaces, 3) the family and other social circles, and 4) community spaces.

Conclusion: While much of this study's results support existing evidence on trans youth's experiences, they also provide a more nuanced portrayal of the complex ways in which recognition, as well as non-, mis-, or mal-recognition, influence trans youth's well-being at different sites. We also argue that recognition itself must be considered through the lens of intersectionality.  相似文献   

12.
The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL ew of the substructural logic FL ew . In this paper, it is shown that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL ew (namely, a certain variety of FL ew -algebras) are term equivalent. This answers a longstanding question of Nelson [30]. Extensive use is made of the automated theorem-prover Prover9 in order to establish the result. The main result of this paper is exploited in Part II of this series [40] to show that the deductive systems N and NFL ew are definitionally equivalent, and hence that constructive logic with strong negation is a substructural logic over FL ew . Presented by Heinrich Wansing  相似文献   

13.
14.
IntroductionDespite well-established evidence on the relationship between social support and posttraumatic growth (PTG), there remains a paucity of evidence regarding the mechanism that underlie this relationship.ObjectiveThis study examined the relationship between social support and PTG, while exploring self-compassion as an intermediatory factor in this association.MethodA cross-sectional study with 447 college students was conducted in Trabzon, Turkey. The data were analyzed using Structural Equation Modelling (SEM).ResultsResults indicated that perceived social support and self-compassion were associated with PTG. Furthermore, a significant indirect effect between social support and PTG via self-compassion emerged.ConclusionBased on the study findings, tailored intervention programs targeting self-compassion and perceived social support in trauma-exposed young adults may be useful for promoting posttraumatic growth.  相似文献   

15.
In this article we deal with Glivenko type theorems for intuitionistic modal logics over Prior's MIPC. We examine the problems which appear in proving Glivenko type theorems when passing from the intuitionistic propositional logic Intto MIPC. As a result we obtain two different versions of Glivenko's theorem for logics over MIPC. Since MIPCcan be thought of as a one-variable fragment of the intuitionistic predicate logic Q-Int, one of the versions of Glivenko's theorem for logics over MIPCis closely related to that for intermediate predicate logics obtained by Umezawa [27] and Gabbay [15]. Another one is rather surprising.  相似文献   

16.
In this paper a system, RPF, of second-order relevance logic with S5 necessity is presented which contains a defined, notion of identity for propositions. A complete semantics is provided. It is shown that RPF allows for more than one necessary proposition. RPF contains primitive syntactic counterparts of the following semantic notions: (1) the reflexive, symmetrical, transitive binary alternativeness relation for S5 necessity, (2) the ternary Routley-Meyer alternativeness relation for implication, and (3) the Routley-Meyer notion of a prime intensional theory, as well as defined syntactic counterparts, of the semantic notions of a possible world and the Routley-Meyer * operator.  相似文献   

17.
Background and objectives: For decades, the dominant paradigm in trait anxiety research has regarded the construct as signifying the underlying cause of the thoughts, feelings, and behaviors that supposedly reflect its presence. Recently, a network theory of personality has appeared. According to this perspective, trait anxiety is a formative construct emerging from interactions among its constitutive features (e.g., thought, feelings, behaviors); it is not a latent cause of these features.

Design: In this study, we characterized trait anxiety as a network system of interacting elements.

Methods: To do so, we estimated a graphical gaussian model via the computation of a regularized partial correlation network in an unselected sample (N?=?611). We also implemented modularity-based community detection analysis to test whether the features of trait anxiety cohere as a single network system.

Results: We find that trait anxiety can indeed be conceptualized as a single, coherent network system of interacting elements.

Conclusions: This radically new approach to visualizing trait anxiety may offer an especially informative view of the interplay between its constitutive features. As prior research has implicated trait anxiety as a risk factor for the development of anxiety-related psychopathology, our findings also set the scene for novel research directions.  相似文献   

18.
IntroductionResearch on the behavioral antecedents of employee championing behavior lacks scholarly investigation. The current study aims to fill this gap by studying behavioral interventions as the antecedents of championing behavior.ObjectiveThe current study has proposed and tested a moderated mediation model that states that perceived opportunity to craft cultivates championing behavior among employees. This relation is mediated by job crafting, whereas employee willingness to exert extra effort invigorates this relationship.MethodThe current study is based on survey-based data collected in three-time lags from employees working in the IT sector organizations.ResultsThe results supported the proposed model leading to the revelation that perceived opportunity to craft enhances championing behavior among employees through job crafting, and employee discretionary efforts moderate this indirect relationship.ConclusionThe results prove that behavioral interventions play a significant role in predicting championing behavior, whereas discretionary effort acts as a boundary condition. The results of the current study offer several theoretical and practical insights, but it also has a few limitations. This study opens several future research avenues that are discussed in the end.  相似文献   

19.
ObjectivesTo stimulate debate in sport and exercise psychology about the nature of mixed methods research as currently practiced and how this approach might develop in the future.DesignAn exploration of five points of controversy relating to mixed methods research.MethodA presentation of critical reflections on the following. (1) Mixing methods as a non-debate, (2) Purists, pragmatists and mixing paradigms, (3) Integrating findings and representational forms, (4) Judgment criteria and mixed methods research, and (5) Power, politics and what counts in mixed methods research.ResultsThe examples provided of mixed methods research in action indicate that a number of problematic issues regarding both process and product have been neglected.ConclusionsMixed methods research offers a number of conceptual, practical and pedagogical challenges that need to be addressed if this form of inquiry is to develop its full potential in sport and exercise psychology.  相似文献   

20.
IntroductionDelivering psychotherapy by videoconference could considerably extend the accessibility of empirically validated treatments.ObjectiveThe aim of this study was to evaluate the efficacy of a cognitive-behavioural therapy (CBT) for generalized anxiety disorder (GAD), administered via videoconference.MethodFive participants with a primary diagnosis of GAD took part in an experimental multiple baseline case study protocol. The efficacy of the treatment was evaluated using a semi-structured interview, self-report questionnaires, and daily self-monitoring diaries.ResultsThe results demonstrate that overall, participants’ conditions were improved following treatment and they no longer met the diagnostic criteria for GAD in the short-term. Participants’ conditions improved clinically and statistically at each follow-up point, achieving a greater global level of functioning at post-test, as well as at 3-month and 12-month follow-up.ConclusionClinical implications of this new treatment modality and directions for future research are discussed.  相似文献   

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

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