Ḥikāyat Abī al-Qāsim: A Literary Banquet. By Emily Selove. Edinburgh Studies in Classical Arabic Literature. Edinburgh: Edinburgh University Press, 2016. Pp. x + 200. $120, £70.

Relief after Hardship: The Ottoman Turkish Model for The Thousand and One Days. By Ulrich Marzolph. Series in Fairy-Tale Studies. Detroit: Wayne State University Press, 2017. Pp. viii + 151. $39.99.

At the beginning of the 21st century the conditio humana cannot be understood nationally or locally but only globally. This constitutes a revolution in the social sciences. The `sociological imagination' so far has basically been a nation state imagination. The main problem is how to redefine the sociological frame of reference in the horizon of a cosmopolitan imagination. For the purpose of empirical research I distinguish between three concepts: interconnectedness, liquid modernity and cosmopolitization from within. The latter is a kind (...) of class analysis after class analysis, which takes on board globalization internalized. For the purposes of social analysis, therefore, it is necessary to distinguish systematically between the national manifestation on the one hand and cosmopolitan reality of `global flows', currents of information, symbols, money, risks, people, social inequalities, on the other. This internal involuntary and often unseen cosmopolitanization from below of the national sphere of experience is occurring, however, with the power of economic globalization. So what does inner `cosmopolitanization' mean? The key concepts and questions of a way of life, such as nourishment, production, identity, fear, memory, pleasure, fate, power and politics, can no longer be located and understood nationally, but only globally whether in the shape of globally shared collective futures, capital flows, impending ecological or economic catastrophes, global foodstuff chains, transnational power games, or the `Esperanto' of pop music. In this article I look at transformation in the understanding of space-time, of identity, of the production paradigms, as well as at the resulting consequences for key sociological concepts like class and power and, within this frame, point to certain dilemmas of cosmopolitanism. (shrink)

Berger, U., Total sets and objects in domain theory, Annals of Pure and Applied Logic 60 91-117. Total sets and objects generalizing total functions are introduced into the theory of effective domains of Scott and Ersov. Using these notions Kreisel's Density Theorem and the Theorem of Kreisel-Lacombe-Shoenfield are generalized. As an immediate consequence we obtain the well-known continuity of computable functions on the constructive reals as well as a domain-theoretic characterization of the Heriditarily Effective Operations.

Der transzendentalen Subjektivität als sinngebender Instanz liegt in der Husserlschen Phänomenologie ein fundamentaler, der Reflexion nicht zugänglicher Bewusstseinsbereich zugrunde: die absolute Subjektivität.Das basale Defizit der epistemisch ausgerichteten Phänomenologie Husserls ist die Unmöglichkeit einer unmittelbaren Selbstreferenzialität in Bezug auf das eigene Selbst-Bewusstsein. Ausgehend von einem ersten Zugang zur Präreflexivität bei Sartre wird auf Grundlage eines radikalisierten phänomenologischen Designs Michel Henrys und Jean-Luc Marions die Struktur dieser basalen Bewusstseinssphäre systematisch entwickelt.

The discourse on climate politics so far is an expert and elitist discourse in which peoples, societies, citizens, workers, voters and their interests, views and voices are very much neglected. So, in order to turn climate change politics from its head onto its feet you have to take sociology into account. There is an important background assumption which shares in the general ignorance concerning environmental issues and, paradoxically, this is in corporated in the specialism of environmental sociology itself — this (...) is the category of ‘the environment’. If ‘the environment’ only includes everything which is not human, not social, then the concept is sociologically empty. If the concept includes human action and society, then it is scientifically mistaken and politically suicidal. (shrink)

At the beginning of the 21st century the conditio humana cannot be understood nationally or locally but only globally. This constitutes a revolution in the social sciences. The `sociological imagination' so far has basically been a nation state imagination. The main problem is how to redefine the sociological frame of reference in the horizon of a cosmopolitan imagination. For the purpose of empirical research I distinguish between three concepts: interconnectedness , liquid modernity and cosmopolitization from within. The latter is a (...) kind of class analysis after class analysis, which takes on board globalization internalized. For the purposes of social analysis, therefore, it is necessary to distinguish systematically between the national manifestation on the one hand and cosmopolitan reality of `global flows', currents of information, symbols, money, risks, people, social inequalities, on the other. This internal involuntary and often unseen cosmopolitanization from below of the national sphere of experience is occurring, however, with the power of economic globalization. So what does inner `cosmopolitanization' mean? The key concepts and questions of a way of life, such as nourishment, production, identity, fear, memory, pleasure, fate, power and politics, can no longer be located and understood nationally, but only globally whether in the shape of globally shared collective futures, capital flows, impending ecological or economic catastrophes, global foodstuff chains, transnational power games, or the `Esperanto' of pop music. In this article I look at transformation in the understanding of space-time, of identity, of the production paradigms, as well as at the resulting consequences for key sociological concepts like class and power and, within this frame, point to certain dilemmas of cosmopolitanism. (shrink)

The paper reformulates empirical naturalism by 4 theses, points out a Popperian trend to its resuscitation, argues for its central thesis by rejecting formal objections that the good cannot be defined by any, any descriptive, or any empirical, concept, and material objections that the good is something different from happiness, esp, that it is justice, and conjectures about a motive for rejecting naturalism.

This book answers questions about secularization: Does it dissolve religion, or transform it into faith in a universally valid value? Is it restricted to the west or can it occur everywhere? Using ideas of Max Weber, the book conceives secularization as a process comparable to the rational development of science and production. What is the value secularization propagates? Sifting historical texts, Steinvorth argues the value is authenticity, to be understood as being true to one's talents developed in activities that are (...) done for their own sake and provide life with meaning, and as unconditionally commanded. How can a value be unconditionally demanded? This question leads to an investigation of the self that combines Kant's ideas on the conditions of the possibility of experience with modern brain science, and to the metaphysical deliberation whether to prefer a world with creatures able to do both good and evil to one without them. It is not enough, however, to point to facts. We rather need to understand what secularization, religion and their possible rationality consist inches Max Weber's sociology of religion has provided us with the conceptual means to do so, which this book develops. Secularization is rediscovered as the same progress of rationality in the sphere of religion that we find in the development of the spheres of science, art, the economy and politics or public affairs. It proves to be the perfection rather than the dissolution of religion - a perfection that consists in recognizing authenticity as the successor of the absolute of religion. (shrink)

We present an extension of Heyting arithmetic in finite types called Uniform Heyting Arithmetic that allows for the extraction of optimized programs from constructive and classical proofs. The system has two sorts of first-order quantifiers: ordinary quantifiers governed by the usual rules, and uniform quantifiers subject to stronger variable conditions expressing roughly that the quantified object is not computationally used in the proof. We combine a Kripke-style Friedman/Dragalin translation which is inspired by work of Coquand and Hofmann and a variant (...) of the refined A-translation due to Buchholz, Schwichtenberg and the author to extract programs from a rather large class of classical first-order proofs while keeping explicit control over the levels of recursion and the decision procedures for predicates used in the extracted program. (shrink)

This article differentiates between three different axes of conflict in world risk society. The first axis is that of ecological conflicts, which are by their very essence global. The second is global financial crises, which, in a first stage, can be individualized and nationalized. And the third, which suddenly broke upon us on September 11th, is the threat of transnational terror networks, which empowers governments and states. Two sets of implications are drawn: first, there are the political dynamics of world (...) risk society. In an age where trust and faith in God, class and progress have largely disappeared, humanity's common fear has proved the last - ambivalent - resource for making new bonds. Second, the methodological nationalism that preoccupies the sociological imagination has to be overcome and a `methodological cosmopolitism' has to be created. (shrink)

philosophical investigations, reasoning, subject-matter.

https://www.amazon.co.uk/Philosophy-Future-Limits-Conditions-Philosophizing/dp/1872152104/ref=sr_1_9 ?s=books&ie=UTF8&qid=1494929448&sr=1-9.

Philosophical investigations, reasoning, subject-matter https://www.amazon.com/Philosophical-Notes-Explorations-Insights-v/dp/1874440999/ref=la_B001K87NZ6_1 _1?s=books&ie=UTF8&qid=1494928623&sr=1-1 https://www.amazon.com/Philosophical-Notes-Explorations-Insights-v/dp/1874440999/ref=la_B001K87NZ6_1 _1?s=books&ie=UTF8&qid=1494928623&sr=1-1.

Images, notions, terms, frames of reference for consciousness https://www.amazon.com/Philosophical-Problems-Consciousness-Reality-I/dp/1872152309/ref=asap_bc?ie=U TF8.

https://www.amazon.co.uk/Pensee-Philosophizing-Philosophical-Thoughts-Investigations/dp/1874440700/r ef=sr_1_12?s=books&ie=UTF8&qid=1494929448&sr=1-12.

https://www.amazon.com/Philosophical-Universes-Consciousness-Experience-Understanding/dp/1874440050/ ref=asap_bc?ie=UTF8.

This paper describes formalizations of Tait's normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs programs are machine-extracted that implement variants of the well-known normalization-by-evaluation algorithm. The case study is used to test and compare the program extraction machineries of the three proof assistants in a non-trivial setting.

The concept of the national is often perceived, both in public and academic discourse as the central obstacle for the realization of cosmopolitan orientations. Consequently, debates about the nation tend to revolve around its persistence or its demise. We depart from this either-or perspective by investigating the formation of the ‘cosmopolitan nation’ as a facet of world risk society. Modern collectivities are increasingly preoccupied with debating, preventing and managing risks. However, unlike earlier manifestations of risk characterized by daring actions or (...) predictability models, global risks can no longer be calculated or forecast. Accordingly, more influence accrues to the perception of risk, largely constructed by media representations. Cosmopolitanized risk collectivities are engendered through the anticipation of endangered futures which are, for the most part, communicated through an increasingly global media scape. While global media events produce shared exposure, risk conceptions retain distinctive political-cultural features as their respective meanings are prefigured by path-dependent pasts. Nevertheless, the promulgation of risk societies, we argue, results in a reimagination of nationhood which takes place in the context of: global norms (e.g. human rights); globalized markets; transnational migrations; global generations and their embeddedness in civil society movements; and the local interpenetration of world religions to name but a few of the global backdrops shaping new associational intersections. We develop our argument in four interrelated steps. Contrary to essentialized notions of nationalism or universal versions of cosmopolitanism, we address the cosmopolitan reconfiguration of nationhood by differentiating between presumptions of thick belonging and the actual proliferation of cosmopolitan affiliations. In a second step we overcome the territorial fixation of the social sciences by shifting our attention to temporal dimensions, with a particular focus on competing conceptions of the future. In a third step we demonstrate how these cosmopolitan transformations of nationhood are taking place in the context of a world risk society regime that marshals a set of cosmopolitan imperatives situating the global other in our midst. In a fourth step we illustrate these developments by exploring how the mediatization of risk, and concomitant notions of the future, contribute to the reimagination of cosmopolitan risk collectivities. (shrink)

Dr. theol. Ulrich H.J. Körtner ist Professor für Systematische Theologie an der Evangelisch-Theologischen Fakultät der Universität Wien.

This book, inspired by the sociologist Günter Dux, co-edited by the historian Hans Ulrich Vogel, and introduced by Mark Elvin, is a collective intellectual ...

Building on previous work by Coquand and Spiwack [T. Coquand, A. Spiwack, A proof of strong normalisation using domain theory, in: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, LICS’06, IEEE Computer Society Press, 2006, pp. 307–316] we construct a strict domain-theoretic model for the untyped λ-calculus with pattern matching and term rewriting which has the property that a term is strongly normalising if its value is not . There are no disjointness or confluence conditions imposed (...) on the rewrite rules, and under a mild but necessary condition completeness of the method is proven. As an application, we prove strong normalisation for barrecursion in higher types combined with polymorphism and non-deterministic choice. (shrink)