We propose two admissible closures $${\mathbb{A}({\sf PTCA})}$$ and $${\mathbb{A}({\sf PHCA})}$$ of Ferreira’s system PTCA of polynomial time computable arithmetic and of full bounded arithmetic (or polynomial hierarchy computable arithmetic) PHCA. The main results obtained are: (i) $${\mathbb{A}({\sf PTCA})}$$ is conservative over PTCA with respect to $${\forall\exists\Sigma^b_1}$$ sentences, and (ii) $${\mathbb{A}({\sf PHCA})}$$ is conservative over full bounded arithmetic PHCA for $${\forall\exists\Sigma^b_{\infty}}$$ sentences. This yields that (i) the $${\Sigma^b_1}$$ definable functions of $${\mathbb{A}({\sf PTCA})}$$ are the polytime functions, and (ii) the $${\Sigma^b_{\infty}}$$ definable (...) functions of $${\mathbb{A}({\sf PHCA})}$$ are the functions in the polynomial time hierarchy. (shrink)

Studies report that psychotherapists overestimate their own performance. This study aimed to examine if the self-assessment bias in psychotherapists differs between therapeutic orientations and/or between social comparison groups. Psychotherapists gave subjective estimations of their professional performance compared to two social comparison groups. They further rated the proportion of their patients recovering, improving, not changing, or deteriorating. In total, N = 229 Austrian psychotherapists participated in the online survey. Psychotherapists rated their own performance on average at M = 79.11 relative to (...) “all psychotherapists” vs. at M = 77.76 relative to “psychotherapists with the same therapeutic approach”. This was not significantly different between therapeutic orientations. A significant interaction between social comparison group and therapeutic orientation revealed a drop of self-assessement bias in social comparison group “same approach” vs. “all psychotherapists” in psychodynamic and humanistic therapists. Psychotherapists overestimated the proportion of patients recovering, improving and underestimated the proportion of patients not changing and deteriorating, with no differences between orientations. The self-assessment bias did not differ between therapeutic orientations, but the social comparison group appears to be an important variable. A major drawback is that results have not been connected to patient-reported outcome or objectively rated performance parameters. (shrink)

The COVID-19 pandemic has had unprecedented effects on our daily lives. This study aimed to assess the quality of life at two time points during the COVID-19 pandemic with lockdown restrictions according to gender, age, and urbanization level. Qualtrics® recruited representative Austrian population samples in April 2020 and December 2020/January 2021. ANOVAs and the Bonferroni-corrected post-hoc tests were conducted to investigate differences between April and December 2020 and to compare with pre-pandemic data. Although the quality of life changed from pre-pandemic (...) to April 2020, there were no significant changes between April and December. Living location, gender, and age showed an effect on the quality of life. All domains of quality of life have decreased since the onset of the pandemic, and this decline has been maintained over the course of the first year of the pandemic. Creative measures should be implemented to assist people in improving one or more areas of quality of life, within the lockdown restrictions to improve the overall wellbeing of the population. (shrink)

We observe that removing contraction from a standard sequent calculus for first-order predicate logic preserves completeness for the modal fragment.

The aim of this study was to investigate the impact of different coping styles on situational coping in everyday life situations and gender differences. An ecological momentary assessment study with the mobile health app TrackYourStress was conducted with 113 participants. The coping styles Positive Thinking, Active Stress Coping, Social Support, Support in Faith, and Alcohol and Cigarette Consumption of the Stress and Coping Inventory were measured at baseline. Situational coping was assessed by the question “How well can you cope with (...) your momentary stress level” over 4 weeks. Multilevel models were conducted to test the effects of the coping styles on situational coping. Additionally, gender differences were evaluated. Positive Thinking and Active Stress Coping had significant positive impacts on situational coping in the total sample. For women, Social Support had a significant positive effect on situational coping. For men, Active Stress Coping had a significant positive effect on situational coping. Women had higher scores on the SCI scale Social Support than men. These results suggest that different coping styles could be more effective in daily life for women than for men. Taking this into account, interventions tailored to users’ coping styles might lead to better coping outcomes than generalized interventions. (shrink)

The starting point of this article is an old question asked by Feferman in his paper on Hancock's conjecture [6] about the strength of ${\rm ID}_{1}^{\ast}$. This theory is obtained from the well-known theory ID₁ by restricting fixed point induction to formulas that contain fixed point constants only positively. The techniques used to perform the proof-theoretic analysis of ${\rm ID}_{1}^{\ast}$ also permit to analyze its transfinitely iterated variants ${\rm ID}_{\alpha}^{\ast}$. Thus, we eventually know that $|\widehat{{\rm ID}}_{\alpha}|=|{\rm ID}_{\alpha}^{\ast}|$.

The main purpose of this article is to present new material concerning Leibniz's use of indivisibles and infinitesimals in his early mathematical texts. Most of these texts are contained in hitherto unpublished manuscripts and are soon to be printed in volume VII, 4 of the Academy Edition. They present examples which illustrate how Leibniz operated with concepts such as indivisibles and infinitesimals in that period of his development.

Moral disengagement is the process by which individuals mitigate the consequences of their own violations of moral standards. Although MD is understood to be co-determined by culture norms, no study has yet explored the extent to which MD applied to safety at work fosters safety violations, nor the role of organizational culture as a predictor of JS-MD. The current study seeks to address this gap in the literature by examining individual- and organizational-level factors that explain why employees fail to report (...) workplace accidents. We tested a latent variable structural model positing organizational culture typologies as predictors of JS-MD, which in turn is expected to mediate the relationship with accident underreporting. Using data from 1033 employees in 28 Italian organizations, findings suggest that bureaucratic safety culture was related to lower levels of JS-MD, whereas technocratic safety culture was related to greater JS-MD. In turn, JS-MD positively predicted employee accident underreporting and fully mediated the relationship between culture and underreporting. Theoretical and practical implications are discussed in light of the increasing focus on underreporting as well as the adverse individual and organizational consequences of failing to report workplace accidents. (shrink)

Thomas Reid saw the three subjects of logic, rhetoric, and the fine arts as closely cohering aspects of one endeavor that he called the culture of the mind. This was a topic on which Reid lectured for many years in Glasgow, and this volume presents as near a reconstruction of these lectures as is now possible. Though virtually unknown today, this material in fact relates closely to Reid's published works and in particular to the late Essays on the Intellectual (...) Powers of Man and Essays on the Active Powers of Man. When composing these works, Reid drew primarily on his lectures on "pneumatology," which presented a theory of the mental powers, broadly conceived. These lectures were basic to the course on the culture of the mind that explained the cultivation of the mental powers. Although the Essays also included some elements from the material on the culture of the mind, the bulk of the latter was left in manuscript form, and Alexander Broadie's edition restores this important extension of Reid's overall work. In addition, this volume continues the attractive combination of manuscript material and published work, in this case Reid's important and well-known essay on Aristotle's logic. This text was corrupted in earlier editions of Reid's works and is now restored to the state in which Reid left it. This volume underscores Reid's great and growing significance, viewed both as a historical figure and as a philosopher. At the same time, it is of great interdisciplinary importance. While the material emerges directly from the core of Reid's philosophy, as now understood, it will appeal widely to people in literary, cultural, historical, and communications studies. In this regard, the present volume is a true fruit of the Scottish Enlightenment. (shrink)

Issues of reliability are claiming center-stage in the epistemology of machine learning. This paper unifies different branches in the literature and points to promising research directions, whilst also providing an accessible introduction to key concepts in statistics and machine learning---as far as they are concerned with reliability.

Teaching and research are organised differently between subject domains: attempts to construct typologies of higher education institutions, however, often do not include quantitative indicators concerning subject mix which would allow systematic comparisons of large numbers of higher education institutions among different countries, as the availability of data for such indicators is limited. In this paper, we present an exploratory approach for the construction of such indicators. The database constructed in the AQUAMETH project, which includes also data disaggregated at the disciplinary (...) level, is explored with the aim of understanding patterns of subject mix. For six European countries, an exploratory and descriptive analysis of staff composition divided in four large domains (medical sciences, engineering and technology, natural sciences and social sciences and humanities) is performed, which leads to a classification distinguishing between specialist and generalist institutions. Among the latter, a further distinction is made based on the presence or absence of a medical department. Preliminary exploration of this classification and its comparison with other indicators show the influence of long term dynamics on the subject mix of individual higher education institutions, but also underline disciplinary differences, for example regarding student to staff ratios, as well as national patterns, for example regarding the number of PhD degrees per 100 undergraduate students. Despite its many limitations, this exploratory approach allows defining a classification of higher education institutions that accounts for a large share of differences between the analysed higher education institutions. (shrink)

The words quoted above distill the common secular conception of death. If we decline the traditional religious reassurances of an afterlife, or their fuzzy new age equivalents, and instead take the hard-boiled and thoroughly modern materialist view of death, then we likely end up with Gonzalez-Cruzzi. Rejecting visions of reunions with loved ones or of crossing over into the light, we anticipate the opposite: darkness, silence, an engulfing emptiness. But we would be wrong.

The purpose of this study was to examine individual and organizational antecedents and consequences of safety-related moral disengagement. Using Conservation of Resources theory, social exchange theory, and psychological contract breach as a theoretical foundation, this study tested the proposition that higher job insecurity is associated with greater levels of subsequent safety-related moral disengagement, which in turn is related to reduced safety performance. Moreover, we examined whether perceived organizational and supervisor support buffered or intensified the impact of job insecurity on moral (...) disengagement. Using a two-wave lagged design, anonymous survey data collected from N = 389 working adults in the U.S. supported the hypothesized moderated mediation model. Specifically, the conditional indirect effects of job insecurity on safety performance via moral disengagement were intensified as levels of perceived organizational and supervisor support increased. These results suggest that the threat of job insecurity may prompt employee moral disengagement; this effect is even stronger among employees who perceived higher levels of organizational and supervisor support. We interpret these counterintuitive findings in light of increasingly insecure contemporary work arrangements and how these may give rise to potentially unethical safety-related decision making and behavior. (shrink)

If one compares Hans Blumenberg with the dominant contemporary German-speaking characters of philosophy and heads of their own schools, Husserl, Heidegger and Adorno, then one sees that Blumenberg’s understanding of philosophy proves tobe emphatically unemphatic, withdrawn, and deeply stacked. He exchanges the big bills of those philosophies for small coins: Philosophy is attention first, thoughtfulness second, consolation third, and memory fourth. – An introduction is evidence of the reorientation that Blumenberg undertook in the 1950s with regard to his Catholic-theological and (...) Heideggerian philosophical beginnings. This led him to redefine the modern age from one of crisis to one of overcoming the crisis. (shrink)

Buchkritik über: Chaim Perelman/Lucie Olbrechts-Tyteca: Die neue Rhetorik. Eine Abhandlung über das Argumentieren. Herausgegeben von Josef Kopperschmidt. Übersetzt von Freyr R. Varwig in Zusammenarbeit mit dem Herausgeber. Überarbeitet für die Drucklegung von Hans-Jörg Ehni in Zusammenarbeit mit dem Herausgeber, 2 Bände. Frommann-Holzboog Verlag, Stuttgart-Bad Canstatt 2004, 821 S.

The Sophists owe their place in the history of philosophy to Plato – but also their bad reputation. He uses them to profile his image of the philosopher against them. For him, sophistry is the ultimate in distance from philosophy while at the same time being close to philosophy; it is as related to this »as the wolf is to the dog«. I first trace the negative exaggeration of sophistry and the sophists in Plato, which is reflected in the ineradicable (...) negative connotation of »sophist« and »sophistic«. The great intellectual-historical importance of the Sophists does not lie primarily in what they independently contributed to philosophy, but in the establishment of a conception of rhetoric as we encounter it in Isocrates, which became the most important educational institution in antiquity alongside and before philosophy. (shrink)

This paper is an exposition and evaluation of the Agustín Rayo's views about the epistemology and metaphysics of mathematics, as they are presented in his book The Construction of Logical Space.

This volume is a study of the influence of Timaeus on the development of Western cosmology in three axial periods of European culture: Late Antiquity, Middle Ages and Renaissance.

In Spescha and Strahm [15], a system of explicit mathematics in the style of Feferman [6] and [7] is introduced, and in Spescha and Strahm [16] the addition of the join principle to is studied. Changing to intuitionistic logic, it could be shown that the provably terminating operations of are the polytime functions on binary words. However, although strongly conjectured, it remained open whether the same holds true for the corresponding theory with classical logic. This note supplements a proof of (...) this conjecture. (shrink)

Examines how the educations of America's first four presidents, and in particular their scholarly devotion to ancient Greek and Roman classics, informed the beliefs and ideals that shaped the nation's constitution and government.

v. 1. Editorial introduction -- v. 2. The English and Latin texts (i) -- v. 3. The English and Latin texts (ii).

Let ≺ be a primitive recursive well-ordering on the natural numbers and assume that its order-type is greater than or equal to the proof-theoretic ordinal of the theory T. We show that the proof-theoretic strength of T is not increased if we add the negation of the statement which formalizes transfinite induction along ≺.

We give a corrected definition for the paper [1] mentioned in the title.

The Suslin operator is a type-2 functional testing for the well-foundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoretic strength has been analyzed in Jäger and Strahm [18]. This article provides a more direct approach to the computation of the upper bounds in question. Several theories featuring the Suslin operator are embedded into ordinal theories tailored for dealing with non-monotone inductive definitions that enable a smooth definition of the application relation.

In this article we show how to use the result in Jäger and Probst [7] to adapt the technique of pseudo-hierarchies and its use in Avigad [1] to subsystems of set theory without foundation. We prove that the theory KPi0 of admissible sets without foundation, extended by the principle (Σ-FP), asserting the existence of fixed points of monotone Σ operators, has the same proof-theoretic ordinal as KPi0 extended by the principle (Σ-TR), that allows to iterate Σ operations along ordinals. (...) By Jäger and Probst [6] we conclude that the metapredicative Mahlo ordinal φ ω00 is also the ordinal of KPi0+(Σ-FP). Hence the relationship between fixed points and iteration persists in the framework of set theory without foundation. (shrink)

Name der Zeitschrift: Klio Jahrgang: 96 Heft: 1 Seiten: 346-349.