Dynamic ordinal analysis is ordinal analysis for weak arithmetics like fragments of bounded arithmetic. In this paper we will define dynamic ordinals – they will be sets of number theoretic functions measuring the amount of sΠ b 1(X) order induction available in a theory. We will compare order induction to successor induction over weak theories. We will compute dynamic ordinals of the bounded arithmetic theories sΣ b n (X)−L m IND for m=n and m=n+1, n≥0. Different dynamic ordinals lead to (...) separation. In this way we will obtain several separation results between these relativized theories. We will generalize our results to further languages extending the language of bounded arithmetic. (shrink)

Zusammenfassung Hintergrund Stigmatisierung hat einen erheblichen Einfluss auf die Gesundheit verschiedener gesellschaftlicher Gruppen und trägt zu Ungleichheiten im Gesundheitswesen bei. Sexarbeit ist mit erheblichem sozialem Stigma verbunden, das sich nachteilig auf den Zugang von Sexarbeiter*innen zur Gesundheitsversorgung auswirkt. Die vorliegende explorative Studie gibt erste Einblicke in die Sichtweisen von Sexarbeiter*innen und Berater*innen in Deutschland auf den Zugang, die Bedürfnisse und die Barrieren von Sexarbeiter*innen in Bezug auf die Gesundheitsversorgung. Dabei lag der Fokus auf einem etablierten Netzwerk von Gesundheitsangeboten für Sexarbeiter*innen (...) in Bochum. Methoden Leitfadengestützte Interviews wurden mit 4 Berater*innen durchgeführt, die soziale und medizinische Beratung für Sexarbeiter*innen anbieten, sowie mit 3 Sexarbeiter*innen, die diese Angebote nutzen. Die Interviews wurden mittels qualitativer Inhaltsanalyse nach Kuckartz ausgewertet. Ergebnisse Es zeigten sich verschiedene Hürden bei der Inanspruchnahme von Gesundheitsversorgung, insbesondere aufgrund unzureichender Krankenversicherung oder fehlendem Wissen über den eigenen Krankenversicherungsstatus, Sprachbarrieren, Bürokratie, Mobilität und Diskriminierung in der Gesundheitsversorgung. Diskriminierung aufgrund von Sexarbeit überschnitt sich mit anderen Diskriminierungsformen, wie beispielsweise antislawischem Rassismus oder der Stigmatisierung von Schwangerschaftsabbrüchen. Spezifische Bedürfnisse und Barrieren wurden hinsichtlich psychischer Gesundheit angegeben, die sich als wichtiges Thema für Sexarbeiter*innen erwies. Die bestehenden kostenlosen, anonymen und zugänglichen Angebote für Sexarbeiter*innen, insbesondere aufsuchende Angebote, wurden als hilfreich beschrieben. Sexarbeiter*innen und Berater*innen wiesen auf einen Mangel an Angeboten für unterschiedliche Bedürfnisse von Sexarbeiter*innen hin, die über Tests auf sexuell übertragbare Infektionen und deren Behandlung hinausgehen, z. B. im Bereich der psychischen Gesundheit. Schlussfolgerung Nach wie vor bestehen Barrieren für den Zugang zur Gesundheitsversorgung, von denen viele besonders Sexarbeiter*innen mit Migrationsgeschichten aus osteuropäischen Ländern betreffen. Die Studie zeigt, dass die Etablierung antidiskriminierender Gesundheitsangebote für Sexarbeiter*innen notwendig ist. Bei der Entwicklung solcher Angebote sollten die Perspektiven von Sexarbeiter*innen eine zentrale Rolle einnehmen. (shrink)

We define and study a new restricted consistency notion RCon ∗ for bounded arithmetic theories T 2 j . It is the strongest ∀ Π 1 b -statement over S 2 1 provable in T 2 j , similar to Con in Krajíček and Pudlák, 29) or RCon in Krajı́ček and Takeuti 107). The advantage of our notion over the others is that RCon ∗ can directly be used to construct models of T 2 j . We apply this by (...) proving preservation theorems for theories of bounded arithmetic of the following well-known kind: The ∀ Π 1 b -separation of bounded arithmetic theories S 2 i from T 2 j is equivalent to the existence of a model of S 2 i which does not have a Δ 0 b -elementary extension to a model of T 2 j . More specific, let M ⊨ Ω 1 nst denote that there is a nonstandard element c in M such that the function n ↦ 2 log c is total in M . Let BLΣ 1 b be the bounded collection schema for Σ 1 b -formulas. We obtain the following preservation results: the ∀ Π 1 b -separation of S 2 i from T 2 j is equivalent to the existence of 1. a model of S 2 i +Ω 1 nst which is 1 b -closed w.r.t. T 2 j , 2. a countable model of S 2 i + BLΣ 1 b without weak end extensions to models of T 2 j. (shrink)

There exists a strong need for research in clinical sport psychology which does not merely gather information on prevalence rates for psychological disorders and case studies of affected athletes. Rather, research should also uncover the underlying psychological variables which increase the risk for depression and burnout in elite athletes. Many studies gather general factors (e.g. gender, injury, sport discipline) and stay on a more descriptive level. Both constructs (burnout and depression) are based on a temporal, stress-related process model assuming the (...) development of either syndrome results from unfavorable personal (e.g. dysfunctional attitudes, perfectionism, negative coping strategies) or environmental (e.g. cohesion) factors coexisting with severe stressors (i.e. chronic stress). Integrating this knowledge, we propose a shared model for depression and burnout in athletes: a sport specific diathesis-stress model. The present longitudinal study assesses data throughout one sporting season to analyze predictors for both constructs in junior elite athletes. Hierarchical multiple linear regression analyses resulted in six predictors for best model fit. The following factors demonstrated a significant impact on predicting (a) burnout or (b) depression scores at the end of the season: dysfunctional attitudes (a and b), coping strategies (a and b), perfectionism (a), recovery (b), stress (a) and the level of depression at onset (b). Variables such as cohesion or attributional style did not significantly predict depression or burnout. The study supports the structure of a process model (diathesis-stress model) for burnout and depression with the assumption of temporal progression. With some vulnerabilities and their temporal, developmental link identified, prevention can become athlete-specific, effective and economical. (shrink)

The complexity class of [Formula: see text]-polynomial local search problems is introduced and is used to give new witnessing theorems for fragments of bounded arithmetic. For 1 ≤ i ≤ k + 1, the [Formula: see text]-definable functions of [Formula: see text] are characterized in terms of [Formula: see text]-PLS problems. These [Formula: see text]-PLS problems can be defined in a weak base theory such as [Formula: see text], and proved to be total in [Formula: see text]. Furthermore, the [Formula: (...) see text]-PLS definitions can be skolemized with simple polynomial time functions, and the witnessing theorem itself can be formalized, and skolemized, in a weak base theory. We introduce a new [Formula: see text]-principle that is conjectured to separate [Formula: see text] and [Formula: see text]. (shrink)

We investigate the relation between intermediate predicate logics based on countable linear Kripke frames with constant domains and Gödel logics. We show that for any such Kripke frame there is a Gödel logic which coincides with the logic defined by this Kripke frame on constant domains and vice versa. This allows us to transfer several recent results on Gödel logics to logics based on countable linear Kripke frames with constant domains: We obtain a complete characterisation of axiomatisability of logics based (...) on countable linear Kripke frames with constant domains. Furthermore, we obtain that the total number of logics defined by countable linear Kripke frames on constant domains is countable. (shrink)

Seit fast 200 Jahren wird Clausewitz gelesen und interpretiert. Rasmus Beckmann erschließt seine Kriegstheorie den modernen Sozialwissenschaften. Dabei wird deutlich, dass sich Clausewitz keineswegs auf zwischenstaatliche Kriege beschränkt hat. Auch die asymmetrischen Kriege kann man durch seine Theorie besser analysieren und verstehen. Dies zeigt der Autor am Beispiel des Afghanistankrieges.

As forms of private self-regulation, multi-stakeholder initiatives have emerged as an important empirical phenomenon in global governance processes. At the same time, MSIs are also theoretically intriguing because of their inherent double nature. On the one hand, MSIs spell out CSR standards that define norms for corporate behavior. On the other hand, MSIs are also the result of corporate and stakeholder behavior. We combine the perspectives of institutional theory and club theory to conceptualize this double nature of MSIs. Based on (...) a stage model that looks at the interplay of actor and institutional dynamics, we generate insights into why actors join a voluntary MSI, how the various motivations and intentions of the actors influence the standard development, and how these as well as the MSI design are subsequently influenced by both external and internal dynamics. (shrink)

This article introduces an “ordonomic” approach to corporate citizenship. We believe that ordonomics offers a conceptual framework for analyzing both the social structure and the semantics of moral commitments. We claim that such an analysis can provide theoretical guidance for the changing role of business in society, especially in regard to the expectation and trend that businesses take a political role and act as corporate citizens. The systematicraison d'êtreof corporate citizenship is that business firms can and—judged by the criterion of (...) prudent self-interest—“should” take on an active role in rule-finding discourses and rule-setting processes with the intent of realizing a win-win outcome of the economic game. We identify—and illustrate—four ways that corporate citizens can employ moral commitments as a factor of production to enhance their processes of economic value creation. (shrink)

ABSTRACT:The notion of “democracy” has become a much-debated concept in scholarship on business ethics, management, and organization studies. The strategy of this paper is to distinguish between a principle of organization that fosters participation and a principle of legitimation that draws on consent. Based on this distinction, we highlight conceptual shortcomings of the literature on stakeholder democracy. We demonstrate that parts of the literature tend to confound ends with means. Many approaches employ type I democracy notions of participation and often (...) take for granted that this also improves type II democratic legitimation. We hold this to be a mistake. We provide examples of the ambiguity of organizational procedures and show that under some circumstances a decrease in the degree of participation may actually increase legitimation because a governance structure that results in higher productivity can provide higher benefits for all parties involved, serve their interests and therefore meet their agreement. Less type I democracy may mean more type II democracy. We believe this to be an important insight for judging the legitimacy of both capitalistic firms and competitive markets. (shrink)

Researchers rely on psychometric principles when trying to gain understanding of unobservable psychological phenomena disconfounded from the methods used. Psychometric models provide us with tools to support this endeavour, but they are agnostic to the meaning researchers intend to attribute to the data. We define method effects as resulting from actions which weaken the psychometric structure of measurement, and argue that solution to this confounding will ultimately rest on testing whether data collected fit a psychometric model based on a substantive (...) theory, rather than a search for a model that best fits the data. We highlight the importance of taking the notions of fundamental measurement seriously by reviewing distinctions between the Rasch measurement model and more generalised 2PL and 3PL IRT models. We then present two lines of research that highlight considerations of making method effects explicit in experimental designs. First, we contrast the use of experimental manipulations to study measurement reactivity during the assessment of metacognitive processes with factor-analytic research of the same. The former suggests differential performance-facilitating and -inhibiting reactivity as a function of other individual differences, whereas factor-analytic research suggests a ubiquitous monotonically predictive confidence factor. Second, we evaluate differential effects of context and source on within-individual variability indices of personality derived from multiple observations, highlighting again the importance of a structured and theoretically grounded observational framework. We conclude by arguing that substantive variables can act as method effects and should be considered at the time of design rather than after the fact, and without compromising measurement ideals. (shrink)

We determine the exact bounds for the length of an arbitrary reduction sequence of a term in the typed λ-calculus with β-, ξ- and η-conversion. There will be two essentially different classifications, one depending on the height and the degree of the term and the other depending on the length and the degree of the term.

This article introduces an “ordonomic” approach to corporate citizenship. We believe that ordonomics offers a conceptual framework for analyzing both the social structure and the semantics of moral commitments. We claim that such an analysis can provide theoretical guidance for the changing role of business in society, especially in regard to the expectation and trend that businesses take a political role and act as corporate citizens. The systematicraison d'êtreof corporate citizenship is that business firms can and—judged by the criterion of (...) prudent self-interest—“should” take on an active role in rule-finding discourses and rule-setting processes with the intent of realizing a win-win outcome of the economic game. We identify—and illustrate—four ways that corporate citizens can employ moral commitments as a factor of production to enhance their processes of economic value creation. (shrink)

We prove that the boundedness theorem of generalized recursion theory can be derived from the ω-completeness theorem for number theory. This yields a proof of the boundedness theorem which does not refer to the analytical hierarchy theorem.

This article contributes to the debate about the political role of the business firm. The article clarifies what is meant by the “political” role of the firm and how this political role relates to its economic role. To this end, the authors present an ordonomic concept of corporate citizenship and illustrate the concept by way of comparison with the Aristotelian idea of individual citizenship for the antique polis. According to our concept, companies take a political role if they participate in (...) rule-setting processes and rule-finding discourses. Though this political role of the corporation is in principle ambivalent, the authors conclude that in such processes of “new governance” the economic and political roles of the firm need not contradict each other but can follow the same win-win logic of individual self-perfection through cooperative social interactions. (shrink)

We propose a non-representationalist framework for deep learning relying on a novel method computational phenomenology, a dialogue between the first-person perspective (relying on phenomenology) and the mechanisms of computational models. We thereby propose an alternative to the modern cognitivist interpretation of deep learning, according to which artificial neural networks encode representations of external entities. This interpretation mainly relies on neuro-representationalism, a position that combines a strong ontological commitment towards scientific theoretical entities and the idea that the brain operates on symbolic (...) representations of these entities. We proceed as follows: after offering a review of cognitivism and neuro-representationalism in the field of deep learning, we first elaborate a phenomenological critique of these positions; we then sketch out computational phenomenology and distinguish it from existing alternatives; finally we apply this new method to deep learning models trained on specific tasks, in order to formulate a conceptual framework of deep-learning, that allows one to think of artificial neural networks’ mechanisms in terms of lived experience. (shrink)

The article offers an insight into road traffic accidents by unravelling both the internal elements and the social context of the so-called car–driver hybrid. It takes a critical perspective on the art of designing road safety. More importantly, it seeks to contribute to social studies of transport and mobility through development of analytical concepts within the discipline. The points of departure are the inherent ambiguities of mobility. The author suggests that ‘being in traffic’ is always determined by coexisting forms of (...) mobility and immobility. This ambivalent stage is then called motility. The author discusses car-drivers as motile hybrids, as they are mobile and immobile, as well as subjects and objects at the same time. In order to apply these concepts, the question of what happens to hybrids in crashes is addressed, employing Bruno Latour’s concept of ‘immutable mobiles’. The article concludes with a discussion of the social role of road safety experts, arguing that transport safety experts create a specific kind of spatio-temporal order within which the motile hybrid exists. It is the safety professional who decides when to take agency away from the subject and give it to the object, and it s/he who determines where to slow down and where to speed up the car–driver hybrid. (shrink)

This paper proves exponential separations between depth d-LK and depth -LK for every utilizing the order induction principle. As a consequence, we obtain an exponential separation between depth d-LK and depth -LK for . We investigate the relationship between the sequence-size, tree-size and height of depth d-LK-derivations for , and describe transformations between them. We define a general method to lift principles requiring exponential tree-size -LK-refutations for to principles requiring exponential sequence-size d-LK-refutations, which will be described for the Ramsey principle (...) and d=0. From this we also deduce width lower bounds for resolution refutations of the Ramsey principle. (shrink)

In dem Sammelband, der als Festschrift zum 65. Geburtstag von Franz Hundsnurscher erscheint, sind 47 Beiträge zu zwei thematischen Schwerpunkten versammelt, die im Werk Hundsnurschers von zentraler Bedeutung sind: Semantik und Dialoganalyse. Im ersten Teil werden neben grundlegenden Fragen der Semantik Aspekte der semantischen Beschreibung von Phraseologismen, des Fremdwortgebrauchs und des Grundwortschatzes diskutiert; neben synchronen (meist gebrauchstheoretischen) Untersuchungen zu Einzelwörtern und Quasisynonymengruppen im Deutschen stehen sprachhistorische und kontrastive Arbeiten. Vor allem mit theoretischen und methodologischen Fragen der Dialoganalyse, mit Fragen der (...) Analyse institutioneller Kommunikation (Politik, Recht, Wirtschaft) und literarischer Dialoge setzen sich die Beiträge des zweiten Teils auseinander. (shrink)

Inspired from Buchholz' ordinal analysis of ID1 and Beckmann's analysis of the simple typed λ-calculus we classify the derivation lengths for Gödel's system T in the λ-formulation.

Aktuelle bioethische Debatten werden vor allem von zwei Schwierigkeiten überschattet: zum einen von der Unklarheit des Begriffes menschlicher Autonomie. Hier geht es um individualethische Fragen, vor allem um Beginn und Ende menschlichen Lebens. Zum anderen bedroht die Verschiebung individueller Wissensträgerschaft zum anonymen Kollektivsubjekt angesichts einer zunehmenden Ökonomisierung des Gesundheitswesens das ärztliche Ethos des Helfens und Heilens. Diese und weitere konfliktgeladene Problemstellungen diskutiert Jan P. Beckmann in seinem neuen Buch.

Let T be Gödel's system of primitive recursive functionals of finite type in a combinatory logic formulation. Let $T^{\star}$ be the subsystem of T in which the iterator and recursor constants are permitted only when immediately applied to type 0 arguments. By a Howard-Schütte-style argument the $T^{\star}$ -derivation lengths are classified in terms of an iterated exponential function. As a consequence a constructive strong normalization proof for $T^{\star}$ is obtained. Another consequence is that every $T^{\star}$ -representable number-theoretic function is elementary (...) recursive. Furthermore, it is shown that, conversely, every elementary recursive function is representable in $T^{\star}$ .The expressive weakness of $T^{\star}$ compared to the full system T can be explained as follows: In contrast to $T$ , computation steps in $T^{\star}$ never increase the nesting-depth of ${\mathcal I}_\rho$ and ${\mathcal R}_\rho$ at recursion positions. (shrink)

Germany since 1990 has one of the strictest human embryo protection laws, yet according to the Stem Cell Act of 2002 allows, under strict conditions, the import and use of human embryonic stem cells (hESC) for high priority research goals. The author tries to show how this is taken to be coherent by the parliamentary majority (though not necessarily by the general public) in Germany. In doing so, he firstly looks into the chronicle of the debate in Germany showing its (...) different stages since 1999, then dwells upon the relation between the law and the role of ethics in this issue, and thirdly presents the two fundamentally different positions of the German debate, that is, that the human embryo created for IVF purposes is a human being and stands from its very beginnings under the constitutional principles of respect for, and protection of, human life versus the position that before being implanted the human embryo may become a human being and therefore belongs to the human species only potentially, so that its right to life protection may be assessable over against other high priority goals, such as research aiming at possible help for patients with life-endangering diseases. In spite of the Stem Cell Act of 2002, the debate of the German general public goes on, especially due to the recent EU 6th Research Framework Program which plans to also fund hESC research. (shrink)

Although the individuality of whole-body movements has been suspected for years, the scientific proof and systematic investigation that individuals possess unique movement patterns did not manifest until the introduction of the criteria of uniqueness and persistence from the field of forensic science. Applying the criteria of uniqueness and persistence to the individuality of motor learning processes requires complex strategies due to the problem of persistence in the learning processes. One approach is to examine the learning process of different movements. For (...) this purpose, it is necessary to differentiate between two components of movement patterns: the individual-specific component and the discipline-specific component. To this end, a kinematic analysis of the shot put, discus, and javelin throwing movements of seven high-performance decathletes during a qualification competition was conducted. In total, joint angle waveforms of 57 throws formed the basis for the recognition task of individual- and discipline-specific throwing patterns using a support vector machine. The results reveal that the kinematic throwing patterns of the three disciplines could be distinguished across athletes with a prediction accuracy of up to 100% (57 of 57 throws). However, athlete-specific throwing characteristics could also be identified across the three disciplines. Prediction accuracies of up to 52.6% indicated that up to 10 out of 19 throws of a discipline could be assigned to the correct athletes, based on only knowing these athletes from the kinematic throwing patterns in the other two disciplines. The results further suggest that individual throwing characteristics across disciplines are more pronounced in shot put and discus throwing than in javelin throwing. Applications for training and learning practice in sports and therapy are discussed. In summary, the chosen approach offers a broad field of application related to the search of individually optimal movement solutions in sports. (shrink)

Dieses Handbuch bietet erstmals einen umfassenden und systematischen Zugang zu den Theorien des Krieges. Der erste Teil des Werkes ist interdisziplinär angelegt und es werden verschiedene Kriegstheorien dargestellt – von anthropologischen bis hin zu religiösen Ansätzen. Der zweite Teil stellt zentrale Theoretiker des Krieges vor. Der dritte Teil enthält empirische Fallstudien vom Mittelalter bis in die Gegenwart zu Teilaspekten der Kriegstheorien. Insgesamt stellt der Band die Dynamik der theoretischen Entwicklung dar. Dabei berücksichtigt er die jeweiligen politischen, sozioökonomischen und technologischen Faktoren.