This groundbreaking handbook of character strengths and virtues is the first progress report from a prestigious group of researchers who have undertaken the systematic classification and measurement of widely valued positive traits. Character Strengths and Virtues classifies twenty-four specific strengths under six broad virtues that consistently emerge across history and culture. This book demands the attention of anyone interested in psychology and what it can teach about the good life.

In this paper I discuss the relation between various properties that have been regarded as important for determining whether or not a belief constitutes a piece of knowledge: its stability, strength and sensitivity to truth, as well as the strength of the epistemic position in which the subject is with respect to this belief. Attempts to explicate the relevant concepts more formally with the help of systems of spheres of possible worlds (à la Lewis and Grove) must take care to (...) keep apart the very different roles that systems of spheres can play. Nozicks sensitivity account turns out to be closer to the stability analysis of knowledge (versions of which I identify in Plato, Descartes, Klein and Lehrer) than one might have suspected. (shrink)

This study examines whether character strengths predict resilience (operationalized as stable or higher mental health and subjective well-being despite an adverse event) over a period of approximately one month during the COVID-19 pandemic lockdown in Spain. Using a longitudinal design, participants (N = 348 adults) completed online measures of sociodemographic data, information regarding their situation in relation to the COVID-19, character strengths, general mental health, life satisfaction, positive affect and negative affect. All variables were measured at Time 1 (...) and Time 2, except for sociodemographic and most COVID-related information (Time 1 only). Time 1 data collection was conducted between March 21, 2020 and April 2, 2020, i.e., approximately the second week of lockdown in Spain. Time 2 data collection was conducted between April 24, 2020 and May 18, 2020, after the Spanish government announced ita intention to progressively release the lockdown. A principal component analysis of character strengths was conducted. Five character strength factors were extracted: fortitude, goodness, intellectual, interpersonal, and restraint. Factor structures at Times 1 and 2 were highly consistent. All character strength factors at Time 1 correlated positively with life satisfaction and positive affect, and negatively with negative affect and mental health at T2 (higher scores in the mental health measure indicate poorer mental health). Fortitude strengths showed the highest correlations. We conducted a series of regression analyses with strength factors at Time 1 as predictors, and mental health, life satisfaction, and positive and negative affect as dependent variables, controlling for their baseline levels. To test the directionality of the relationship between strengths and the dependent variables, all analyses were reversed. All character strength factors predicted an increase in mental health. They also predicted positive affect, with the exception of strengths of restraint. Fortitude, intellectual and interpersonal strengths predicted an increase in life satisfaction. Finally, fortitude strengths, interpersonal strengths, and strengths of restraint, predicted a decrease in negative affect. None of the reversed analyses yielded significant effects. Limitations, implications, and possible character strengths-based interventions aimed at promoting mental health in the COVID-19 pandemic are discussed. (shrink)

The study was designed to explore the relationships among character strengths, strengths use, future self-continuity and subjective well-being. A total of 225 undergraduates completed paper-and-pencil questionnaires assessing character strengths, strengths use, future self-continuity and subjective well-being. Results suggested several character strengths were correlated with subjective well-being and the strongest correlations were found for hope, curiosity, zest, perseverance and love. All character strengths were significantly correlated with strengths use. Strengths use and future self-continuity (...) were robustly correlated with subjective well-being. The mediation analysis showed that strengths use mediates the relationship between character strengths and subjective well-being, and specifically, the indirect effects of strengths use varies from different character strengths. The moderated mediator suggested that future self-continuity moderated the mediation of strengths use because future self-continuity moderates the effect of strengths use on subjective well-being. Furthermore, the indirect effect of strengths use was stronger with high level of future self-continuity than those with low level of future self-continuity. The present findings make a contribution to understand the underlying mechanisms involving in character strengths are associated with higher level of well-being. Additionally, the findings expand knowledge about future self-continuity and its relation to strengths use and subjective well-being among undergraduates, having significant implications in the educational context. (shrink)

Situational strength is considered one of the most important situational forces at work because it can attenuate the personality–performance relationship. Although organizational scholars have studied the consequences of situational strength, they have paid little attention to its antecedents. To address this gap, the current study focused on situational strength cues from different social sources as antecedents of overall situational strength at work. Specifically, we examined how employees combine situational strength cues emanating from three social sources (i.e., coworkers, the immediate supervisor, (...) and top management). Based on field theory, we hypothesized that the effect of situational strength from coworkers and immediate supervisors (i.e., proximal sources of situational strength) on employees’ perceptions of overall situational strength on the job would be greater than the effect of situational strength from the top management (i.e., the distal source of situational strength). We also hypothesized that the effect of situational strength from the distal source would be mediated by the effects of situational strength from the proximal sources. Data from 363 full-time employees were collected at two time points with a cross-lagged panel design. The first hypothesis was supported for one of the two situational strength facets studied. The second hypothesis was fully supported. (shrink)

Character strengths profiles in the specific setting of medical professionals are widely unchartered territory. This paper focused on an overview of character strengths profiles of medical professionals (medical students and physicians) based on literature research and available empirical data illustrating their impact on well-being and work engagement. A literature research was conducted and the majority of peer-reviewed considered articles dealt with theoretical or conceptually driven ‘virtues’ associated with medical specialties or questions of ethics in patient care (e.g., professionalism, (...) or what makes a good physician). The virtues of compassion, courage, altruism, and benevolence were described most often. Only a limited number of papers addressed character strengths of medical students or physicians according to the VIA-classification. Those articles showed that the VIA-character strengthsfairness, honesty,kindness, andteamworkwere considered most often by respondents to be particularly important for the medical profession. Available cross-sectional (time span: six years) and longitudinal (time span: three years) data regarding VIA-character strengths profiles of medical professionals were analyzed (N= 584 medical students, 274 physicians). These profiles were quite homogenous among both groups. The character strengthsfairness,honesty,judgment,kindness, andlovehad the highest means in both samples. Noteworthy differences appeared when comparing medical specialties, in particular concerning general surgeons and psychiatrists, with the former reporting clearly higher levels of e.g.,honesty(d= 1.02) orprudence(d= 1.19). Long-term results revealed significant positive effects of character strengths on well-being and work engagement (e.g.,perseveranceon physicians’ work engagement) but also significant negative effects (e.g.,appreciation of beauty and excellenceon students’ well-being). Further,hopewas significantly associated both positively with physicians’ well-being and negatively with students’ work engagement, possibly indicating specific issues concerning medical education or hospital working conditions. According to the modern-day physician’s pledge, medical professionals should pay attention to their own well-being and health. Therefore, promoting self-awareness and character building among medical professionals could be a beneficial strategy. (shrink)

A hybrid preference framework is proposed for strategic conflict analysis to integrate preference strength and preference uncertainty into the paradigm of the graph model for conflict resolution (GMCR) under multiple decision makers. This structure offers decision makers a more flexible mechanism for preference expression, which can include strong or mild preference of one state or scenario over another, as well as equal preference. In addition, preference between two states can be uncertain. The result is a preference framework that is more (...) general than existing models which consider preference strength and preference uncertainty separately. Within the hybrid preference structure, four kinds of stability are defined as solution concepts and a post-stability analysis, called status quo analysis, which can be used to track the evolution of a given conflict. Algorithms are provided for implementing the key inputs of stability analysis and status quo analysis within the extended preference structure. The new stability concepts under the hybrid preference structure can be used to model complex strategic conflicts arising in practical applications, and can provide new insights for the conflicts. The method is illustrated using the conflict over proposed bulk water exports from Lake Gisborne in Newfoundland, Canada. (shrink)

Several authors have recently noted Hume’s relative silence on the virtue of strength of mind and how it is developed. In this paper I suggest that Hume had good reasons for this silence, and I argue that Hume’s discussion of artificial virtue, especially the virtue of allegiance, reveals a complex view of the limitations on human efforts at self-reform. Further, it reveals the need for government and externally-imposed regulative structures to enable the development of strength of mind. I argue that (...) because of this, strength of mind awkwardly straddles Hume’s distinction between natural and artificial virtue. I conclude that, in comparison with traditional models of self-control, Humean strength of mind is indirect, artificial, and social. (shrink)

While there has been considerable interest in the nature of faith and trust in recent philosophical literature, relatively little has been said about what it is for faith or trust to be psychologically stronger or weaker. Drawing on recent accounts of propositional faith by Daniel Howard-Snyder and Lara Buchak, I argue that the strength of one’s faith can vary in two distinct dimensions. The first primarily involves the extent to which one’s confidence motivates one to take risks. The second involves (...) the resilience of the first dimension of strength to possible counterevidence. (shrink)

Despite the flourishing of positive education, understanding of whether different character strengths have different predictive effects on academic achievement/ well-being and the mechanisms of actions between character strengths is limited. Specifically, this study adopted strength use as a mediator to understand well how character strength (assessed by caring, inquisitiveness, and self-control) is associated with students’ end-of-year academic achievements and well-being. Survey data from 349 adolescents from three different schools showed that three factors of character strengths have positive (...) correlations with academic achievements and well-being. Regression models indicated that inquisitiveness and self-control predicted academic achievements, while caring, inquisitiveness, and self-control predicted well-being, with the foremost as the strongest predictor. Mediation analyses indicated that (1) strengths use fully mediated the relationship between inquisitiveness, self-control, and academic achievements/well-being, while (2) caring had a direct effect on well-being. These findings provided possible explanations on how character strengths could affect students’ academic achievements or well-being and theoretical and empirical evidence for practices that aim to enhance students’ academic achievements and positive developments via interventions based on character strengths. (shrink)

Strengths, Opportunities, Aspirations, and Results is a strengths-based framework for strategic thinking, planning, conversations, and leading that focuses on strengths, opportunities, aspirations, and results. The SOAR framework leverages and integrates Appreciative Inquiry to create a transformation process through generative questions and positive framing. While SOAR has been used by practitioners since 2000 as a framework for generating positive organizational change, its use in empirical research has been limited by the absence of reliable and valid measures. We report (...) on the reliability, construct validity, and measurement invariance of the SOAR Scale, a 12-item self-report survey organized into four first-order factors. Data from a sample of 285 U.S. professionals were analyzed in Mplus using confirmatory factor analysis and exploratory structural equation modeling. The Four-Factor first-order exploratory structure equation modeling had the best model fit. Measurement invariance tests found the scalar invariance of the SOAR Scale across gender and education groups. Implications are discussed for using the SOAR Scale to build resilience at the individual, the team, and the organizational levels. (shrink)

It is often suggested that our desires vary in motivational strength or power. In a paper expressing skepticism about this idea, Irving Thalberg asked what he described, tongue in cheek, as "a disgracefully naive question" (1985, p. 88): "What do causal and any other theorists mean when they rate the strength of our PAs," that is, our "desires, aversions, preferences, schemes, and so forth"? His "guiding question" in the paper seems straightforward (p. 98): "What is it for our motivational states (...) to have some degree of power to generate behavior?" Yet, he argued, ''as soon as we endeavor to clarify what philosophers of action and drive theorists in psychology mean by motivational strength, we run across one obscurity after another" (p. 103). This essay is an attempt to answer a more specific version of Thalberg's question. (shrink)

The application of recycled aggregate as a sustainable material in construction projects is considered a promising approach to decrease the carbon footprint of concrete structures. Prediction of compressive strength of environmentally friendly concrete containing recycled aggregate is important for understanding sustainable structures’ concrete behaviour. In this research, the capability of the deep learning neural network approach is examined on the simulation of CS of EF concrete. The developed approach is compared to the well-known artificial intelligence approaches named multivariate adaptive regression (...) spline, extreme learning machines, and random forests. The dataset was divided into three scenarios 70%-30%, 80%-20%, and 90%-10% for training/testing to explore the impact of data division percentage on the capacity of the developed AI model. Extreme gradient boosting was integrated with the developed AI models to select the influencing variables on the CS prediction. Several statistical measures and graphical methods were generated to evaluate the efficiency of the presented models. In this regard, the results confirmed that the DLNN model attained the highest value of prediction performance with minimal root mean squared error. The study revealed that the highest prediction performance could be attained by increasing the number of variables in the prediction problem and using 90%-10% data division. The results demonstrated the robustness of the DLNN model over the other AI models in handling the complex behaviour of concrete. Due to the high accuracy of the DLNN model, the developed method can be used as a practical approach for future use of CS prediction of EF concrete. (shrink)

This study examines the impact of the strength of an accounting firm's ethical environment on the quality of auditor judgment, across different levels of audit expertise. Using a 2 × 2 full factorial 'between subjects' experimental design, with audit managers and audit seniors, the impact of different levels of strength of the ethical environment on auditor judgments was assessed with a realistic audit scenario, requiring participants to make judgments in respect of an inventory writedown. Based on prior research, and as (...) hypothesized, participants possessing greater auditing experience made higher quality technical judgments. While there were no significant differences between the quality of audit judgments made by participants in the stronger ethical environment, over-all results indicate that managers are more sensitive to differences in the strength of the ethical environment than seniors. This is consistent with the hypothesis, and with prior research which suggests that the impact of the code will only be significant if it has been bilaterally internalized by individuals. This has important implications for accounting firms and regulators, given that the International Standard on Quality Control 1, requires the communication and reinforcement of ethical principles as part of firms' quality control processes. It suggests that firms will need to carefully consider the means by which they communicate and reinforce ethical principles, as it is possible to differentially impact auditors of different rank. (shrink)

The affinities of antibodies (Abs) for their target antigens (Ags) gradually increase in vivo following an infection or vaccination, but reach saturation at values well below those realisable in vitro. This ‘affinity ceiling’ could in many cases restrict our ability to fight infections and compromise vaccines. What determines the affinity ceiling has been an unresolved question for decades. Here, we argue that it arises from the strength of the chain of protein complexes that is pulled by B cells during the (...) process of Ag acquisition. The affinity ceiling is determined by the strength of the weakest link in the chain. We identify the weakest link and show that the resulting affinity ceiling can explain the Ab affinities realized in vivo, providing a conceptual understanding of Ab affinity maturation. We explore plausible evolutionary underpinnings of the affinity ceiling, examine supporting evidence and alternative hypotheses and discuss implications for vaccination strategies. (shrink)

In this chapter I review empirical studies directly testing the hypotheses of my 1973 paper "The Strength of Weak Ties" (hereafter "SWT") and work that elaborates those hypotheses theoretically or uses them to suggest new empirical research not discussed in my original formulation. Along the way, I will reconsider various aspects of the theoretical argument, attempt to plug some holes, and broaden its base.

Our pains can be more or less intense, our mental imagery can be more or less vivid, our perceptual experiences can be more or less striking. These degrees of intensity of conscious experiences are all manifestations of a phenomenal property I call mental strength. In this article, I argue that mental strength is a domain-general phenomenal magnitude; in other words, it is a phenomenal quantity shared by all conscious experiences that explains their degree of felt intensity. Mental strength has been (...) largely overlooked in favor of mental states’ type, representational contents, domain-specific phenomenology, or processes such as attention. Considering mental strength in our reflections about the mind illuminates debates about the relation of representational contents and phenomenal character, and it also helps address questions about the structure and functions of consciousness. Mental strength provides a unifying construct to model what is shared in the phenomenology of different types of conscious experiences. (shrink)

The strength of emotions in moral judgment and decision-making under risk The focus of this paper is the role of emotions in judgments and choices associated with moral issues. Study 1 shows that depending on the strength of emotions when making a moral decision, people become sensitive to the severity and the probability of harm that their decisions can bring to others. A possible interpretation is that depending on the strength of emotions, people in their moral judgments choose to be (...) either utilitarian or deontologist. In Study 2, following the priority heuristic model, we found that in situations in which the violation of moral norms does not evoke strong negative emotions, people are sensitive to quantitative risk parameters, and the decision-making process requires a relatively longer time. In moral situations in which a violation of the moral norm evokes strong emotions, decision-making is based on arguments other than quantitative risk parameters, and the process takes a shorter time. (shrink)

Richard Holton has presented an important criticism of two prominent accounts of action, a criticism that employs a notion of strength of will. Holton claims that these well-known accounts of action cannot explain cases in which an agent adheres to the dictates of a previous resolution in spite of a persistent desire to the contrary. In this chapter, I present an explanation and defense of Holton’s criticism of these accounts of action, and then I argue that while Holton highlights a (...) crucial deficiency in both, his own explanation of strength of will is problematic. (shrink)

Universes of types were introduced into constructive type theory by Martin-Löf [12]. The idea of forming universes in type theory is to introduce a universe as a set closed under a certain specified ensemble of set constructors, say $\mathcal{C}$ . The universe then “reflects” $\mathcal{C}$ .This is the first part of a paper which addresses the exact logical strength of a particular such universe construction, the so-called superuniverse due to Palmgren (cf. [16, 18, 19]).It is proved that Martin-Löf type theory (...) with a superuniverse, termed MLS, is a system whose proof-theoretic ordinal resides strictly above the Feferman-Schütte ordinal $\Gamma_0$ but well below the Bachmann-Howard ordinal. Not many theories of strength between $\Gamma_0$ and the Bachmann-Howard ordinal have arisen. MLS provides a natural example for such a theory. (shrink)

While argued to be fostering creativity, the effect of job crafting on creativity often turned out to be less effective than expected. The reason is that most existing studies focused on the top-down job design interventions. We proposed an elaborated theoretical model to explain the influence of strengths-based job crafting on employee creativity. Specifically, we examined the mediating effect of job self-efficacy and the moderating effect of workplace status based on self-affirmation theory. A sample of 480 employees and their (...) supervisors completed a battery of questionnaires. The results revealed that strengths-based job crafting was positively related to employee creativity, with job self-efficacy acting as a mediator for this relationship. Workplace status moderated both the direct and the indirect effects of job self-efficacy. For employees with a higher workplace status, strengths-based job crafting may generate more forces to promote employee creativity. The results suggest that strengths-based job crafting and workplace status can inspire employee creativity through a self-affirmation process. (shrink)

By obtaining several new results on Cook-style two-sorted bounded arithmetic, this paper measures the strengths of the axiom of extensionality and of other weak fundamental set-theoretic axioms in the absence of the axiom of infinity, following the author’s previous work [K. Sato, The strength of extensionality I — weak weak set theories with infinity, Annals of Pure and Applied Logic 157 234–268] which measures them in the presence. These investigations provide a uniform framework in which three different kinds of (...) reverse mathematics–Friedman–Simpson’s “orthodox” reverse mathematics, Cook’s bounded reverse mathematics and large cardinal theory–can be reformulated within one language so that we can compare them more directly. (shrink)

A growing body of research demonstrates the relevance of character strengths for flourishing in general, but also for important outcomes across different life domains. Studies have also shown that there are differences in the extent to which character strengths are applied, that is, perceived as relevant and shown in behavior in a given context, between work and private life, but they have not considered other life domains. This study aims to close this gap by examining the life domains (...) of work, education, leisure, close personal relationships, and romantic relationships. The present study investigates whether strengths-related behavior across different life domains explains additional variance in flourishing beyond the trait level of each respective character strength and studies differences in the relevance of character strengths and strengths-related behavior across different life domains, and examines their relationships with flourishing. A sample of 203 German-speaking adults completed self-reports assessing flourishing and character strengths. They also indicated which of the five life domains were personally relevant to them and reported the character strengths' perceived relevance and the frequency of displaying strengths-related behavior for each of these life domains separately. The results demonstrate that strengths-related behavior averaged across all relevant life domains explained unique variance in flourishing above the trait-level of character strengths in some cases, different life domains were characterized by specific profiles of character strength—regarding both their relevance and strength-related behavior. Moreover, character strengths and strengths-related behavior in different life domains both showed substantial correlations with flourishing. In some cases, these associations were domain-specific. In conclusion, we suggest that examining strengths-related behavior across different life domains represents a worthwhile addition to research on character strengths. (shrink)

Analytic processes reduce biases, but it is not known how or when these processes will be deployed. Based on an affective signal hypothesis, relatively strong affective reactions were expected to result in increased analytic processing and reduced bias in judgement. The valence and strength of affective reactions were manipulated through varying outcomes in a game or evaluative conditioning of a stimulus. Relatively strong positive or negative affective reactions resulted in less desirability bias. Bias reduction only occurred if participants had time (...) to deploy analytic processes and indicators of the degree of analytic processing (in the form of attentional control) predicted less bias. Affective processes have long been acknowledged as a source of bias, but these findings suggest affective processes are also integral to bias reduction. (shrink)

Jullien's indecomposability theorem states that if a scattered countable linear order is indecomposable, then it is either indecomposable to the left, or indecomposable to the right. The theorem was shown by Montalbán to be a theorem of hyperarithmetic analysis. We identify the strength of the theorem relative to standard reverse mathematics markers. We show that it lies strictly between weak [Formula: see text] choice and [Formula: see text] comprehension.

Moral intuitions are generally understood as automatic strong responses to moral facts. In this paper, I offer a metacognitive account according to which the strength of moral intuitions denotes the level of confidence of a subject. Confidence is a metacognitive appraisal of the fluency with which a subject processes information from a morally salient stimulus. I show that this account is supported by some empirical evidence, explains the main features of moral intuition and is preferable to emotional or quasi-perceptual views (...) of moral intuition. (shrink)

Strength is a central element of sport and therefore an equally central topic in sports science. In sports science, strength is dealt with primarily in biomechanics. Biomechanics reduces strength – legitimately – to a scientific subject. As a result, it loses sight of strength as a lifeworld phenomenon. The discipline that allows us to grasp strength as an everyday experience is phenomenology. This essay undertakes a phenomenological analysis of strength to uncover the diversity of strength phenomena in the lifeworld of (...) sport. The theoretical and methodological basis for this is Hermann Schmitz’s ‘new phenomenology’ (Neue Phänomenologie). With the help of new phenomenology, I first develop a real definition of strength (‘strength is an intrusive effect through one-sided incorporation’). Second, I work out the general structures of the phenomenon of ‘strength’, that is, a system comprising ten categories (‘pulling, pushing, centripetal, centrifugal, lifting, lowering, strong, weak, heavy, light’). Third, I use this system of categories for a phenomenology of sport-immanent strength phenomena. The paper thus makes a contribution to a pure phenomenology of sport. (shrink)

We argue that Cohen’s concept of inductive or ampliative probability facilitates proper explication of sufficient strength for non-demonstrative arguments conforming to the Toulmin model. The data and claims of such arguments are singular statements. We may epistemically classify the warrants of such arguments as empirical (either physical or personal), institutional, or evaluative. Backing evidence and rebutting considerations vary with the epistemic type of warrant, but in each case the notion of ampliative probability for arguments with warrants of that type can (...) be characterized. We may then use ampliative probability to define sufficient strength and related notions for Toulmin arguments. (shrink)

One objective of this paper is the determination of the proof-theoretic strength of Martin-Löf's type theory with a universe and the type of well-founded trees. It is shown that this type system comprehends the consistency of a rather strong classical subsystem of second order arithmetic, namely the one with Δ 2 1 comprehension and bar induction. As Martin-Löf intended to formulate a system of constructive (intuitionistic) mathematics that has a sound philosophical basis, this yields a constructive consistency proof of a (...) strong classical theory. Also the proof-theoretic strength of other inductive types like Aczel's type of iterative sets is investigated in various contexts.Further, we study metamathematical relations between type theories and other frameworks for formalizing constructive mathematics, e.g. Aczel's set theories and theories of operations and classes as developed by Feferman. (shrink)

In this paper, I present the fundamental ideas of a new theory of justification strength. This theory is based on the epistemological approach to argumentation. Even the thesis of a valid justification can be false for various reasons. The theory outlined here identifies such possible errors. Justification strength is equated with the degree to which such possible errors are excluded. The natural expression of this kind of justification strength is the (rational) degree of certainty of the belief in the thesis.

The ethical matrix is a participatory tool designed to structure ethical reflection about the design, the introduction, the development or the use of technologies. Its collective implementation, in the context of participatory decision-making, has shown its potential usefulness. On the contrary, its implementation by a single researcher has not been thoroughly analyzed. The aim of this paper is precisely to assess the strength of ethical matrixes implemented by a single researcher as a tool for conceptual normative analysis related to technological (...) choices. Therefore, the ethical matrix framework is applied to the management of high-level radioactive waste, more specifically to retrievable and non-retrievable geological disposal. The results of this analysis show that the usefulness of ethical matrixes is twofold and that they provide a valuable input for further decision-making. Indeed, by using ethical matrixes, implicit ethically relevant issues were revealed—namely issues of equity associated with health impacts and differences between close and remote future generations regarding ethical impacts. Moreover, the ethical matrix framework was helpful in synthesizing and comparing systematically the ethical impacts of the technologies under scrutiny, and hence in highlighting the potential ethical conflicts. (shrink)

In earlier work we introduced two systems for nonstandard analysis, one based on classical and one based on intuitionistic logic; these systems were conservative extensions of first-order Peano and Heyting arithmetic, respectively. In this paper we study how adding the principle of countable saturation to these systems affects their proof-theoretic strength. We will show that adding countable saturation to our intuitionistic system does not increase its proof-theoretic strength, while adding it to the classical system increases the strength from first- to (...) full second-order arithmetic. (shrink)

Background: Frailty is a common syndrome among older adults and patients with several comorbidities. Grip strength is a representative parameter of frailty because it is a valid indicator of current and long-term physical conditions in the general population and patients with severe mental illnesses. Physical and cognitive capacities of people with SMIs are usually impaired; however, their relationship with frailty or social functioning have not been studied to date. The current study aimed to determine if GS is a valid predictor (...) of changes in cognitive performance and social functioning in patients with type-2 diabetes mellitus and SMIs. Methods: Assessments of social functioning, cognitive performance, and GS were conducted in 30 outpatients with type 2 diabetes mellitus, 35 with major depressive disorder, 42 with bipolar disorder, 30 with schizophrenia, and 28 healthy controls, twice during 1-year, follow-up period. Descriptive analyses were conducted using a one-way analysis of variance for continuous variables and the chi-squared test for categorical variables. Differences between groups for the motor, cognitive, and social variables at T1 and T2 were assessed using a one-way analysis of covariance, with sex and age as co-variates. To test the predictive capacity of GS at baseline to explain the variance in cognitive performance and social functioning at T2, a linear regression analysis was performed. Results: Predictive relationships were found among GS when implicated with clinical, cognitive, and social variables. These relationships explained changes in cognitive performance after one year of follow-up; the variability percentage was 67.7%, in patients with type-2 diabetes mellitus and 89.1% in patients with schizophrenia. Baseline GS along with other variables, also predicted changes in social functioning in major depressive disorder, bipolar disorder, and schizophrenia, with variability percentages of 67.3, 36, and 59%, respectively. Conclusion: GS combined with other variables significantly predicted changes in cognitive performance and social functioning in people with SMIs or type-2 diabetes mellitus. Interventions aimed to improve the overall physical conditions of patients who have poor GS could be a therapeutic option that confers positive effects on cognitive performance and social functioning. (shrink)

Universes of types were introduced into constructive type theory by Martin-Löf [3]. The idea of forming universes in type theory is to introduce a universe as a set closed under a certain specified ensemble of set constructors, say ?. The universe then “reflects”?.This is the second part of a paper which addresses the exact logical strength of a particular such universe construction, the so-called superuniverse due to Palmgren (cf.[4–6]).It is proved that Martin-Löf type theory with a superuniverse, termed MLS, is (...) a system whose proof-theoretic ordinal resides strictly above the Feferman-Schütte ordinal Γ0 but well below the Bachmann-Howard ordinal. Not many theories of strength between Γ0 and the Bachmann-Howard ordinal have arisen. MLS provides a natural example for such a theory. In this second part of the paper the concern is with the with upper bounds. (shrink)

Saunders Mac Lane has drawn attention many times, particularly in his book Mathematics: Form and Function, to the system of set theory of which the axioms are Extensionality, Null Set, Pairing, Union, Infinity, Power Set, Restricted Separation, Foundation, and Choice, to which system, afforced by the principle, , of Transitive Containment, we shall refer as . His system is naturally related to systems derived from topos-theoretic notions concerning the category of sets, and is, as Mac Lane emphasises, one that is (...) adequate for much of mathematics. In this paper we show that the consistency strength of Mac Lane's system is not increased by adding the axioms of Kripke–Platek set theory and even the Axiom of Constructibility to Mac Lane's axioms; our method requires a close study of Axiom H, which was proposed by Mitchell; we digress to apply these methods to subsystems of Zermelo set theory , and obtain an apparently new proof that is not finitely axiomatisable; we study Friedman's strengthening of , and the Forster–Kaye subsystem of , and use forcing over ill-founded models and forcing to establish independence results concerning and ; we show, again using ill-founded models, that proves the consistency of ; turning to systems that are type-theoretic in spirit or in fact, we show by arguments of Coret and Boffa that proves a weak form of Stratified Collection, and that is a conservative extension of for stratified sentences, from which we deduce that proves a strong stratified version of ; we analyse the known equiconsistency of with the simple theory of types and give Lake's proof that an instance of Mathematical Induction is unprovable in Mac Lane's system; we study a simple set theoretic assertion—namely that there exists an infinite set of infinite sets, no two of which have the same cardinal—and use it to establish the failure of the full schema of Stratified Collection in ; and we determine the point of failure of various other schemata in . The paper closes with some philosophical remarks. (shrink)

Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law V from Frege's Grundgesetze. In this paper we study the strength of abstraction principles in the presence of predicative restrictions on the comprehension schema, and in particular we study a predicative Fregean theory which contains all the abstraction principles whose underlying equivalence relations can be proven to be equivalence (...) relations in a weak background second-order logic. We show that this predicative Fregean theory interprets second-order Peano arithmetic. (shrink)

Intonation plays an integral role in comprehending spoken language. Listeners can rapidly integrate intonational information to predictively map a given pitch accent onto the speaker's likely referential intentions. We use mouse tracking to investigate two questions: (a) how listeners draw predictive inferences based on information from intonation? and (b) how listeners adapt their online interpretation of intonational cues when these are reliable or unreliable? We formulate a novel Bayesian model of rational predictive cue integration and explore predictions derived under a (...) concrete linking hypothesis relating a quantitative notion of evidential strength of a cue to the moment in time, relative to the unfolding speech signal, at which mouse trajectories turn towards the eventually selected option. In order to capture rational belief updates after concrete observations of a speaker's behavior, we formulate and explore an extension of this model that includes the listener's hierarchical beliefs about the speaker's likely production behavior. Our results are compatible with the assumption that listeners rapidly and rationally integrate all available intonational information, that they expect reliable intonational information initially, and that they adapt these initial expectations gradually during exposition to unreliable input. All materials, data, and scripts can be retrieved here: https://osf.io/dnbuk/. (shrink)

We consider two models V1, V2 of ZFC such that V1 ⊆ V2, the cofinality functions of V1 and of V2 coincide, V1 and V2 have that same hereditarily countable sets, and there is some uncountable set in V2 that is not covered by any set in V1 of the same cardinality. We show that under these assumptions there is an inner model of V2 with a measurable cardinal κ of Mitchell order κ++. This technical result allows us to show (...) that changing cardinal characteristics without changing cofinalities or ω-sequences has consistency strength at least Mitchell order κ++. From this we get that the changing of cardinal characteristics without changing cardinals or ω-sequences has consistency strength Mitchell order ω1, even in the case of characteristics that do not stem from a transitive relation. Hence the known forcing constructions for such a change have lowest possible consistency strength. We consider some stronger violations of covering which have appeared as intermediate steps in forcing constructions. (shrink)

This paper is about the putative theoretical virtue of strength, as it might be used in abductive arguments to the correct logic in the epistemology of logic. It argues for three theses. The first is that the well-defined property of logical strength is neither a virtue nor a vice, so that logically weaker theories are not—all other things being equal—worse or better theories than logically stronger ones. The second thesis is that logical strength does not entail the looser characteristic of (...) scientific strength, and the third is that many modern logics are on a par—or can be made to be on a par—with respect to scientific strength. (shrink)

This chapter contains sections titled: Background MSI and Vacuity Action ‐ Desires and Ordinary Dispositions MSI and Agency References Further reading.

Hobbes says a great deal about the rights of subjects, particularly in Leviathan, and yet, despite his apparent insistence on the importance of the rights of the subject, the prevailing view amongst modern Hobbes scholars has been that rights of Hobbesian subjects are weak. The dominant view of Hobbesian rights as weak and insignificant is the view of modern Hobbes scholarship, which analyses Hobbes's political theory at great distance from his intellectual milieu and from the dramatic political events of the (...) time. Hobbesian absolutism is understood to rule out rights of any strength or significance on the part of Hobbesian subjects and particularly, any rights held against the sovereign. The significance of defining subjects' rights as Hohfeldian liberty rights is that liberty rights lack any correlative duties on the part of others. The sovereign's authority and right to rule are made dependent on his ability and willingness to protect the subjects' aggregate right to self‐preservation. (shrink)

In this study, the researchers investigated the relationships between character strengths and ethical engagement in online faculty. One of the ethical duties for higher education faculty is to engage in effective teaching practices. As online higher education becomes increasingly popular, online faculty also bear this duty. Numerous studies have shown that character strengths cultivate ethical behavior. Hence, we sought to determine the relationship between character strengths and ethical engagement in online faculty. Specifically, we focused on intellectual character (...) strengths, interpersonal character strengths, and emotional character strengths because of their relevance to online faculty’s teaching practices. Through correlational analyses, we learned that interpersonal and emotional character strengths were positively and moderately related to ethical engagement, whereas intellectual character strengths were weakly related to ethical engagement. The findings of this study provide insight into online faculty’s character strengths and ethical engagement. However, further research is needed to understand the role of character strengths and ethical engagement in promoting effective teaching practices in online higher education classrooms. (shrink)