We consider propositional operators defined by propositional quantification in intuitionistic logic. More specifically, we investigate the propositional operators of the formA* :pq(pA(q)) whereA(q) is one of the following formulae: (¬¬qq) V ¬¬q, (¬¬qq) (¬¬q V ¬q), ((¬¬qq) (¬¬q V ¬q)) ((¬¬qq) V ¬¬q). The equivalence ofA*(p) to ¬¬p is proved over the standard topological interpretation of intuitionistic second order propositional logic over Cantor space.We relate topological interpretations of second order intuitionistic propositional logic over Cantor space with the interpretation of propositional quantifiers (as the strongest and weakest interpolant in Heyting calculus) suggested by A. Pitts. One of the merits of Pitts' interpretation is shown to be valid for the interpretation over Cantor space.Presented byJan Zygmunt相似文献
P-compatible identities are built up from terms with a special structure. We investigate a variety defined by a set ofP-compatible hybrid identities and answer the question whether a variety defined by a set ofP-compatible hyperidentities can be solid.Presented byJan Zygmunt; 相似文献
Given the paucity of research on the prevalence of eating disorders in college athletes, the authors raised two questions: (a) Is weight preoccupation more prevalent among elite women athletes than among their nonathletic counterparts? (b) Does the empirical link between psychological distress and weight preoccupation pertain to elite athletes as well? Results showed that 10.9% of a sample of elite swimmers could be characterized as “weight preoccupied,” a percentage comparable to the general population of college women. In addition, the athletes reported using significantly more benign than punitive self-control strategies, suggesting for them, weight preoccupation is a means to an end rather than an indication of an eating disorder. Implications for counseling are discussed. 相似文献
Collective authoritarian responses to threat might differ depending on whether people trust collective authorities in reducing threat. Thus, we tested the differential effects of epidemic threat on three facets of right-wing authoritarianism, in Germany (a country with high authorities' efficacy in responses to COVID-19) and Poland (low authorities' efficacy context). Two representative sample longitudinal studies performed in Poland (N = 892) and Germany (N = 883) showed that in Germany feelings of COVID-19 threat explained increases in authoritarian submission and (to a lesser extent) authoritarian aggression, whereas in Poland such feelings of threat explained changes in authoritarian aggression and conventionalism after the pandemic, but did not alter authoritarian submission. These findings suggest that specific authoritarian reactions to threat (submissive vs. conventionalist) might depend on the general trust in authorities' ability to respond to crises. 相似文献
This article explains the design and development of the pragma-dialectical approach to fallacies. In this approach fallacies are viewed as violations of the standards for critical discussion that are expressed in a code of conduct for reasonable argumentative discourse. After the problem-solving validity in resolving differences of opinion of the rules of this code has been discussed, their conventional validity for real-life arguers is demonstrated. Starting from the extended version of the theory in which the strategic maneuvering taking place in argumentative discourse is included, the article explains that the violations of the rules that are committed in the fallacies involve derailments of strategic maneuvering. This culminates in a discussion of the exploitation of hidden fallaciousness as an unreasonable way of increasing the effectiveness of argumentative discourse – a vital topic of research in present-day pragma-dialectics.
Differentiation of self involves the capacity to modulate affect, maintain a clear sense of self, and balance intimacy and autonomy in significant relationships. Given the central role of family relationships for individual functioning, the authors tested whether differentiation mediated or moderated relations between college stress and personal adjustment. Differentiation of self partially mediated effects of academic and financial stress and exerted a direct influence on adjustment. Limitations, directions for future research, and implications for counseling are discussed. 相似文献
Narcissism is increasingly being investigated in the context of consumer attitudes and behavior. Previous research showed that narcissism is reflected in materialistic tendencies and money-related attitudes. However, almost all of these studies concerned the grandiose type of narcissism. We examined relationships of both grandiose and vulnerable narcissism with materialism, money attitudes, and consumption preferences in a nonstudent sample. The results showed that the two types of narcissism are equally associated with materialism and a tendency to conspicuous (public) consumption. Differences between grandiose and vulnerable narcissism with regard to money attitudes were observed. Materialism mediated most of the relationships between narcissism, money attitudes, and consumption preferences, but the patterns of mediation were different for grandiose and vulnerable subtypes. Mutual suppression occurred when grandiose narcissism and materialism predicted anxiety associated with money and when vulnerable narcissism and materialism predicted money perceived as a source of evil. The results suggested that not only grandiose, but also vulnerable narcissists may be prone to excessive consumption and that this can be explained by their materialistic tendencies. 相似文献
In his reply to our critique of research on self-humanizing, Haslam claims that we used a narrow definition of self-humanizing that ignored the evidence from the correlational research he and his colleagues have done. We disagree. First, we relied upon a definition of self-humanizing based upon comparative judgments that Haslam and colleagues have consistently used. Second, we were well aware of the correlational research he and his colleagues have done. We simply did not think, and do not think, these correlations verified the existence of self-humanizing as defined. In his reply, Haslam offered a new definition of self-humanizing that defines self-humanizing in terms of correlations between comparative judgments and ratings of how much traits reflect human nature. Although we believe this change represents some progress, numerous issues in the study of self-humanizing remain to be resolved. We offer some suggestions for future research on this important topic. 相似文献
The aim of this paper is to connect the debates on individualisation and mediatisation of religion and transformations of religious authority online on theoretical and empirical basis. The classical and contemporary concepts of individualisation of religion, rooted in the secularisation debate, will be connected with Campbell’s [2007. “Who’s Got the Power? Religious Authority and the Internet.” Journal of Computer-Mediated Communication 12 (3): 1043–1062] concept of four layers of religious authority online. The empirical material consists of a joint analysis of German Christian and Polish Catholic Internet forums. In a transnational comparison, the findings show similar tendencies of individualisation and emerging communities of choice, as well as a lasting significance of textual religious authorities, although different levels of authority are negotiated and emphasised to a varying extent. However, in both cases critique of the Church and religion usually emerges offline, and is then expressed online. While the forums do not have a subversive potential, they facilitate adopting a more independent, informed, and reflexive approach to religion. 相似文献