Der Beitrag untersucht die Langeweile auf klinischem Terrain und als literarisches/philosophisches Sujet in Abgrenzung zu benachbarten Phänomenen wie Muße, Müßiggang und Faulheit. Da sich das Phänomen Langeweile im Bedeutungsspektrum zwischen »horror vacui« (Kant) und »Windstille der Seele« (Nietzsche) einer definitorischen Klarheit entzieht, schlägt die Autorin anhand klinischer Vignetten vor, drei Qualitäten und regulierende Funktionen der Langweile zu differenzieren: eine vernichtende, mit »Desobjektalisierung« (Green) einhergehende Langeweile, eine als Abwehr eines traumabedingten Ich-Verlusts fungierende Langeweile sowie eine Langeweile als kreativer Übergangsraum. Freuds Gedanken (...) über die Existenz von »lustvolle(n) Spannungen und unlustige(n) Entspannungen« enthalten eine triebökonomische Perspektive, die einen Blick auf sehr unterschiedliche Lust- und Unlustqualitäten der Langeweile erlaubt. (shrink)

When, if at all, can a federal political order expel a member state against its will? In political theory, expulsion has—unlike the scenario of secession as voluntary separation—so far received no...

Waiting lists are a standard approach to managing excess demand in elective health care. While waiting times are an important policy issue, the ethical validity of the first come, first served (FCFS) principle as such is rarely questioned. Presenting a psychiatric day hospital where all eligible patients have roughly equal claims as a case study, we criticize the reflex use of FCFS for allocation of elective psychiatric care, consider conditions under which this may not be the optimal strategy, and discuss (...) alternatives. We conclude that in our example prioritizing more recent referrals (last come, first served [LCFS]) makes more sense, clinically and ethically. Where several referrals arrive (near-)simultaneously under LCFS, we propose that a higher level of scrutiny be applied to detect possible good reasons for prioritizing one of them. We believe that our observations can be applied to other health care settings that share relevant characteristics with our case. (shrink)

SUMMARYThe article examines a technocratic vision of empire arising in Britain in the late nineteenth and early twentieth centuries and its implications for the theorization of empires, the legitimation of large-scale political orders, and their spatial imagination. The role of the Roman model for the British in the decades after 1870 as a resource of policy advice, legitimation, and identity-building serves as a case study for analyzing the role of historical precedence for imperial elites. This analysis opens the perspective onto (...) a notion of empire that significantly differs from the one discussed in recent debates on liberalism and empire: British political actors and observers delineate a concept of empire that is not universalist, but heterogeneous, hierarchical, and technocratic. (shrink)

We show that many principles of first-order arithmetic, previously only known to lie strictly between [Formula: see text]-induction and [Formula: see text]-induction, are equivalent to the well-foundedness of [Formula: see text]. Among these principles are the iteration of partial functions of Hájek and Paris, the bounded monotone enumerations principle by Chong, Slaman, and Yang, the relativized Paris–Harrington principle for pairs, and the totality of the relativized Ackermann–Péter function. With this we show that the well-foundedness of [Formula: see text] is a (...) far more widespread than usually suspected. Further, we investigate the [Formula: see text]-iterated version of the bounded monotone iterations principle, and show that it is equivalent to the well-foundedness of the -height [Formula: see text]-tower [Formula: see text]. (shrink)

Let the chain antichain principle (CAC) be the statement that each partial order on $\mathbb{N}$ possesses an infinite chain or an infinite antichain. Chong, Slaman, and Yang recently proved using forcing over nonstandard models of arithmetic that CAC is $\Pi^1_1$-conservative over $\text{RCA}_0+\Pi^0_1\text{-CP}$ and so in particular that CAC does not imply $\Sigma^0_2$-induction. We provide here a different purely syntactical and constructive proof of the statement that CAC (even together with WKL) does not imply $\Sigma^0_2$-induction. In detail we show using a (...) refinement of Howard's ordinal analysis of bar recursion that $\text{WKL}_0^\omega+\text{CAC}$ is $\Pi^0_2$-conservative over PRA and that one can extract primitive recursive realizers for such statements. Moreover, our proof is finitary in the sense of Hilbert's program. CAC implies that every sequence of $\mathbb{R}$ has a monotone subsequence. This Bolzano-Weierstraß}-like principle is commonly used in proofs. Our result makes it possible to extract primitive recursive terms from such proofs. We also discuss the Erdős-Moser principle, which—taken together with CAC—is equivalent to $\text{RT}^2_2$. (shrink)

This paper addresses the strength of Ramsey's theorem for pairs ($RT^2_2$) over a weak base theory from the perspective of 'proof mining'. Let $RT^{2-}_2$ denote Ramsey's theorem for pairs where the coloring is given by an explicit term involving only numeric variables. We add this principle to a weak base theory that includes weak König's Lemma and a substantial amount of $\Sigma^0_1$-induction (enough to prove the totality of all primitive recursive functions but not of all primitive recursive functionals). In the (...) resulting theory we show the extractability of primitive recursive programs and uniform bounds from proofs of $\forall\exists$-theorems. There are two components of this work. The first component is a general proof-theoretic result, due to the second author, that establishes conservation results for restricted principles of choice and comprehension over primitive recursive arithmetic PRA as well as a method for the extraction of primitive recursive bounds from proofs based on such principles. The second component is the main novelty of the paper: it is shown that a proof of Ramsey's theorem due to Erdős and Rado can be formalized using these restricted principles. So from the perspective of proof unwinding the computational content of concrete proofs based on $RT^2_2$ the computational complexity will, in most practical cases, not go beyond primitive recursive complexity. This even is the case when the theorem to be proved has function parameters f and the proof uses instances of $RT^2_2$ that are primitive recursive in f. (shrink)

We investigate the strength of the existence of a non-principal ultrafilter over fragments of higher-order arithmetic. Let [Formula: see text] be the statement that a non-principal ultrafilter on ℕ exists and let [Formula: see text] be the higher-order extension of ACA0. We show that [Formula: see text] is [Formula: see text]-conservative over [Formula: see text] and thus that [Formula: see text] is conservative over PA. Moreover, we provide a program extraction method and show that from a proof of a strictly (...) [Formula: see text] statement ∀ f ∃ g A qf in [Formula: see text] a realizing term in Gödel's system T can be extracted. This means that one can extract a term t ∈ T, such that ∀ f A qf). (shrink)

The aim of this paper is to determine the logical and computational strength of instances of the Bolzano-Weierstraß principle and a weak variant of it.We show that BW is instance-wise equivalent to the weak König’s lemma for Σ01-trees . This means that from every bounded sequence of reals one can compute an infinite Σ01-0/1-tree, such that each infinite branch of it yields an accumulation point and vice versa. Especially, this shows that the degrees d ≫ 0′ are exactly those containing (...) an accumulation point for all bounded computable sequences.Let BWweak be the principle stating that every bounded sequence of real numbers contains a Cauchy subsequence . We show that BWweak is instance-wise equivalent to the cohesive principle and—using this—obtain a classification of the computational and logical strength of BWweak. Especially we show that BWweak does not solve the halting problem and does not lead to more than primitive recursive growth. Therefore it is strictly weaker than BW. We also discuss possible uses of BWweak. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)

In this paper we study with proof-theoretic methods the function(al) s provably recursive relative to Ramsey's theorem for pairs and the cohesive principle (COH). Our main result on COH is that the type 2 functional provably recursive from $RCA_0 + COH + \Pi _1^0 - CP$ are primitive recursive. This also provides a uniform method to extract bounds from proofs that use these principles. As a consequence we obtain a new proof of the fact that $WKL_0 + \Pi _1^0 - (...) CP + COH$ is $\Pi _1^0 $ -conservative over PRA. Recent work of the first author showed that $\Pi _1^0 + CP + COH$ is equivalent to a weak variant of the Bolzano-Weierstraß principle. This makes it possible to use our results to analyze not only combinatorial but also analytical proofs. For Ramsey's theorem for pairs and two colors $\left( {RT_2^2 } \right)$ we obtain the upper bounded that the type 2 functionals provable recursive relative to $RCA_0 + \sum\nolimits_2^0 {IA + RT_2^2 } $ are in T₁. This is the fragment of Gödel's system T containing only type 1 recursion—roughly speaking it consists of functions of Ackermann type. With this we also obtain a uniform method for the extraction of T₁-bounds from proofs that use RT2..... Moreover, this yields a new proof of the fact that $WKL_0 + \sum\nolimits_2^0 {IA} + RT_2^2 $ is $\Pi _1^0 $ -conservative over $RCA_0 + \sum\nolimits_2^0 { - IA} $ . The results are obtained in two steps: in the first step a term including Skolem functions for the above principles is extracted from a given proof. This is done using Gödel's functional interpretation. After this the term is normalized, such that only specific instances of the Skolem functions are used. In the second step this term is interpreted using $\Pi _1^0 $ -comprehension. The comprehension is then eliminated in favor of induction using either elimination of monotone Skolem functions (for COH) or Howard's ordinal analysis of bar recursion (for $RT_2^2 $. (shrink)

Let ${2-\textsf{RAN}}$ be the statement that for each real X a real 2-random relative to X exists. We apply program extraction techniques we developed in Kreuzer and Kohlenbach (J. Symb. Log. 77(3):853–895, 2012. doi:10.2178/jsl/1344862165), Kreuzer (Notre Dame J. Formal Log. 53(2):245–265, 2012. doi:10.1215/00294527-1715716) to this principle. Let ${{\textsf{WKL}_0^\omega}}$ be the finite type extension of ${\textsf{WKL}_0}$ . We obtain that one can extract primitive recursive realizers from proofs in ${{\textsf{WKL}_0^\omega} + \Pi^0_1-{\textsf{CP}} + 2-\textsf{RAN}}$ , i.e., if ${{\textsf{WKL}_0^\omega} + \Pi^0_1-{\textsf{CP}} (...) + 2-\textsf{RAN} \, {\vdash} \, \forall{f}\, {\exists}{x} A_{qf}(f,x)}$ then one can extract from the proof a primitive recursive term t(f) such that ${A_{qf}(f,t(f))}$ . As a consequence, we obtain that ${{\textsf{WKL}_0}+ \Pi^0_1 - {\textsf{CP}} + 2-\textsf{RAN}}$ is ${\Pi^0_3}$ -conservative over ${\textsf{RCA}_0}$. (shrink)

The objective of this study is to provide an overview over the ethical issues relevant to the assessment, implementation, and use of smart-glasses. The purpose of the overview is to facilitate deliberation, decision making, and the formation of knowledge and norms for this emerging technology. An axiological question-based method for human cognitive enhancement including an extensive literature search on smart-glasses is used to identify relevant ethical issues. The search is supplemented with relevant ethical issues identified in the literature on human (...) cognitive enhancement and in the study of the technical aspects of smart-glasses. Identified papers were subject to traditional content analysis: 739 references were identified of which 247 were regarded as relevant for full text examinations, and 155 were included in the study. A wide variety of ethical issues with smart-glasses have been identified, such as issues related to privacy, safety, justice, change in human agency, accountability, responsibility, social interaction, power and ideology. Smart-glasses are envisioned to change individual human identity and behavior as well as social interaction. Taking these issues into account appears to be relevant when developing, deliberating, deciding on, implementing, and using smart-glasses. (shrink)

1) Daß das Ich »nothwendig Identität des Subjects und Objects« sei, und zwar »schlechthin«: Diese These hat Fichte in der 2. Aufl. der WL 1794 bekräftigt. Das klingt denn doch nach einer cartesianischen Absolutsetzung des Ich. Die Aporien oder Begründungsschwierigkeit der Frage wissender Selbstbeziehung, die daraus entstehen, wenn das Ich als Instanz den Akten des Erkennens vorausgesetzt wird, die die Identität des Ich gerade erst plausibel machen sollen, brauche ich hier nicht auszuführen. Es reicht nicht hin, die »Identität des Subjekts« (...) durch das bloß »dem Gedanken angehängte Ich« zu bezeichnen. Was diesen höchsten Punkt aller Transzendental-Philosophie angeht, hat Hölderlin einen Lösungsansatz formuliert, der darin besteht - und darauf sollen die folgenden Skizzen hinweisen –, daß dasjenige, was als Identität eines Subjekts gedacht wird, als Relation zu begreifen ist. Sinn und Vermögen der Erinnerung erlangen in diesem Zusammenhang grundlegende Bedeutung. (shrink)

En varias oportunidades, el filósofo francés Maurice Merleau-Ponty plantea que hay una "carne del lenguaje" que se puede entender como la comprensión paradójica de sí y del otro en el seno mismo del lenguaje; esta "carne" está en relación con el desarrollo de la vida humana y da testimonio del cambio en los individuos que, observándose a sí mismos, quieren ser individuos nuevos a cada momento. Siguiendo a Merleau-Ponty, el presente ensayo se propone reconocer la condición del ser reinventado continuamente (...) por la expresión del lenguaje. On several occasions, the French philosopher Maurice Merleau-Ponty says there is a "flesh of language" that can be understood as a paradoxical understanding of self and the other within the same language. This "flesh" is related to the development of human life and bears witness to the change in individuals, observing themselves, who want to be new individuals each time. Following Merleau-Ponty, this essay proposes to recognize the condi-tion of being continually reinvented by the expression of language. (shrink)

We show how one can obtain solutions to the Arzelà‐Ascoli theorem using suitable applications of the Bolzano‐Weierstraß principle. With this, we can apply the results from and obtain a classification of the strength of instances of the Arzelà‐Ascoli theorem and a variant of it. Let be the statement that each equicontinuous sequence of functions contains a subsequence that converges uniformly with the rate and let be the statement that each such sequence contains a subsequence which converges uniformly but possibly without (...) any rate. We show that is instance‐wise equivalent, over, to the Bolzano‐Weierstraß principle and that is instance‐wise equivalent, over, to, and thus to the strong cohesive principle (). Moreover, we show that over the principles, and are equivalent. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Michael’s Story or the Paradox of NormalcyMichael KreuzerI was born in Montreal in 1974. My parents were both “older.” My mother was almost 45; my father was in his 50’s. I have a sister who is six years older than me. What I know about my mother’s prenatal care is that it was quite basic.I was premature. My mother’s due date was in mid–August, however I showed up about (...) three weeks earlier. I know that initially upon my birth I was declared male. However, upon closer examination, a few “abnormalities” of my genitals were found. I urinated through a small hole at the base of my penis; adjacent to this hole was another opening, barely big enough for a Q–tip. My scrotum was empty; my gonads had not descended.The doctors who examined me decided that they could not assign a gender without further testing. They told my mother I would need to remain in the hospital until such testing was completed. Apparently not being able to determine sex/gender is a life–threatening condition that requires hospitalization.It was determined that I had a uterus and it was presumed that my undescended gonads were ovaries (not verified by biopsy). There was a small vaginal opening behind my small urethral opening. Structures such as the labia were not developed. I found out later my vagina had fistulated into both my urethra and my perineum. Karyotyping was performed resulting in 46,XX with a diagnosis of female pseudo–hermaphroditism. My parents were informed that in spite of my external genitalia I was female and I would never develop as a male. I would require “corrective surgeries” which should be performed as soon as possible so I would not have any issues with my gender identity. They were even told that I would be able to become pregnant if I had the surgeries. In fact, I never ovulated and I have a small unicornuate uterus.My father refused all surgeries on my behalf most likely because he was a full–blooded Navajo who had suffered from abuse in an Indian boarding school during his childhood in New Mexico. His family was traditional, and because they didn’t adapt to prevailing Christian values, he and several of his siblings were removed from their parents. My dad was the oldest of 12 children and by the time his youngest siblings were born, the practice to take children away from their families had been changed.I think my father was deeply traumatized by his childhood and did not associate much with his family, nor did he want to visit the reservation. He spoke the language but never encouraged us to learn it. He did teach us some of the traditions. He told me about the nadleh, which is the other gender besides male and female in the Navajo tradition. There are two kinds of nadleh, which are almost like male–to–female and female–to–male transsexuals. Mostly I educated myself later and learned about the Navajo belief system in which the creation story is an important part. In the Navajo tradition, the creation story tells of First Man and First Woman; the first children born to them are the Hermaphrodite Twins. [End Page E7]My father was a US Army Master Sergeant, which was an unusual career for a man of his origins; he was a veteran of the Second World War. After he left the army he took his family to Montreal where he had a job in security. I think he preferred to live outside the U.S. He used to say that in Germany, where he had managed to stay for a long time while serving in the Army, he was just another American soldier. In spite of his career, he had a deep mistrust for “white people.” I remember he used to say that he was in the Army because this was his country long before the white people came and he loved it. He did not love the people who governed it. All this very much played into the decision not to listen to the doctors’ recommendations about surgery. My... (shrink)

This paper “on the logics of language” discusses the fundamental role which the reality of language plays in the thinking of Hölderlin as well as in Hegel. Common to both is the emphasis on the ‘Wirklichkeit der Sprache’ – in the double sense of this phrase: the reality language is, and the reality language has. At the same time there is, of course, the great difference that for Hegel the logic of language fulfils itself in the ‘work of the concept(s)’ (...) [“Arbeit des Begriffs”], while for Hölderlin it is fulfilled in forms of poetry or in the broader sense of poetic work. The paper explores the origins, conceptual basics and consequences of the dialectic between moving ‘from language to logics’ in Hegel and moving ‘from logics to language’ in Hölderlin. The main works of Hegel considered here are Die Phänomenologie des Geistes, Wissenschaft der Logik and some parts of the Enzyklopädie (1830); from Hölderlin the focus is on the theoretical fragments Seyn, Urtheil, …, Das untergehende Vaterland … and Wenn der Dichter einmal des Geistes mächtig ist …. One central issue treated by exploring the discussion between Hegel and Hölderlin is their respective concepts of memory and its development. Reflecting on the connection between the power of imagination and the necessity of forms of utterance is the other. The primary aim of the paper is to explain the relevance that Hölderlin’s poetic work has in philosophical perspective – a relevance which can be explained in relation to Hegel. (shrink)

The essay treats the development of Hegels concepts of imagination, recollection and memory. Mentalistic restrictions which are significant for the Enzyklopädie der philosophischen Wissenschaften (1830) are confronted with central arguments in the Phänomenologie des Geistes and the Wissenschaft der Logik, but especially with Hölderlins concept of a „procedure of the poetic mind“. The discoveries Hölderlin makes let realize what the hegelian keyword of a „sign making phantasy“ promises.

Nineteen newly-transliterated letters between Ferdinand Christian Baur and his friend Ludwig Friedrich Heyd are presented. Seventeen of them were written by Baur, and two by Heyd in the period between 10th February 1836 and 16th January 1842. A further sixteen earlier letters were already published by Carl Egbert Hester in 1993. The correspondence between the two close friends cover a broad range of subjects, predominantly historical, as well as family, scientific, political themes and particularly university politics. The key personal topic (...) is the death of Baur’s wife in 1839 and the consequences of this for their children. The scientific themes concern firstly Baur’s efforts to assist Heyd in his research into the history of Württemberg, and to promote these works to publishers. Secondly, the letters document the reaction of the two to David Friedrich Strauß’s work “Das Leben Jesu”, and how their views changed during this correspondence. The central political themes of the letters relate primarily to appointments within Tübingen University, and in particular to previously unknown attacks on Baur’s own position there. Further discussions concern two politically arranged festivals; the Buchhändlerfest of 1840, and the 25th coronation anniversary of King Wilhelm I. of Württemberg in 1841, at which Baur gave a courageous speech on the political situation in Württemberg. Of particular interest in the letters previously transliterated by Hester are two topics, firstly the “Polish Petition” regarding the political situation in Poland in the 1830s, and secondly regarding the constitution of Tübingen University. To better understand the significance of these private letters and their openness, a short biography of Heyd is included. (shrink)

This book, which is the fruit of papers presented at the seventh Cambridge French Graduate Conference, offers innovative analyses of how space can provide metaphors for human thoughts, utterances and experiences. The authors cross-fertilise different approaches to the significance of space as a thematic and structuring principle in French and Francophone poetry, prose, philosophy and film. They are interested in three broad areas of enquiry: how spaces can be suffused with explorations of identity; how the dividing work done by maps (...) marks and makes spaces; and how particular questions are thrown up by urban spaces. Throughout, the book examines the symbiotic relationship between internal and external, between delimitation and difference. (shrink)