Many philosophers believe there to be a fundamental difference between the present and past and future times, but they tend to disagree amongst themselves about what this difference is. Some think that the present is singled out by consciousness, while others believe that it marks the position to which the flow of time has advanced. According to presentism, the current moment is ontologically privileged: nothing exists that is not present. My aim in this chapter is to argue that this particular (...) attempt at distinguishing the present from other times is unsuccessful. (shrink)

The article critically analyses the gaps and the analytical potential in Jürgen Habermas’s The Structural Transformation of the Public Sphere concerning corporate discourses and debates. It is shown that Habermas only analyses the field of work in abstract terms, neglecting in particular corporate public spheres. In contrast, corporate public spheres are developed as an analytical concept, expressed by companies in the form of institutionalized co-determination, situationally granted opportunities for participation and self-willed public spheres of workers. These three fields are discussed (...) using empirical examples. It is shown that corporate public spheres are eroded by precarization and instrumentalized by management. Furthermore, digitalization is working towards a comprehensive algorithmic control of corporate public spheres by companies, but also towards new autonomous communication networks that establish proletarian public spheres, so that both refeudalization and revitalization of corporate public spheres can be observed. (shrink)

Darwin’s claim about natural selection is reconstructed as an empirical claim about a causal connection leading from the match of the physiology of an individual and its environment to leaving surviving progeny. Variations in this match, Darwin claims, cause differences in the survival of the progeny. Modern concepts of fitness focus the survival side of this chain. Therefore, the assumption that evolutionary theory wants to explain reproductive success in terms of a modern concept of fitness has given rise to the (...) so-called tautology problem. It is shown that the tautology problem reappears in the treatment of fitness proxies in today’s experimental evolutionary biology when these proxies are considered to indicate fitness only. Taking Darwin’s empirical claim seriously suggests, by contrast, that fitness proxies are first of all measures of the match between organism and environment, which I call the organism’s ‘fittedness’. At the same time, they are indeed related to reproductive success. Thus looking in both directions, at fitness and at fittedness, they are janiform. Acknowledging this situation not only allows for rejection of the tautology objection, but also for integration of Darwin’s argument into current evolutionary biology. It is suggested that this helps reframe and alleviate the dispute between the Modern Synthesis and the Extended Evolutionary Synthesis. (shrink)

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

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' (C. Wright Mills) 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 (David Held et al.), liquid modernity (Zygmunt Bauman) (...) 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)

This article assesses the tension between cosmopolitan and communitarian approaches to the ethics of migration by analysing how the Protestant Church in Germany (EKD) has responded to the current so-called migration crisis in Europe. I argue that the statements of the EKD frame people on the move either as migrants or as Muslims. These frames come with competing ethical consequences. Whereas migrants are presented as passive victims in need of some form of support by Christians, Muslims are presented as active (...) victimisers in need of some form of suppression by Christians. However, when the then chairman of the EKD shook hands with people on the move who were arriving at Munich station in the summer of 2015, the surplus of meaning communicated in this encounter demonstrated that these people cannot be reduced to their respective framing, thus resisting the construction of both the cosmopolitan migrant frame and the communitarian Muslim frame. Accordingly, I advocate for a re-conceptualisation of the theological ethics of migration which takes multi-faith practices, such as these handshakes, as a point of departure. (shrink)

Die englische Wikipedia erklärt ihn als »a collection of political philosophies and movements that uphold liberty as a core principle.« Doch diese Beschreibung trifft auch auf den Liberalismus zu. Den Libertarismus unterscheidet vom Liberalismus etwas, das ihn öffentlichkeitswirksam und in den USA zu einer politischen Partei machte.

_Essays on Politics and Society_ brings together the most significant writings on the topic by the acclaimed Victorian historian, social critic, and essayist Thomas Carlyle. This volume includes some of his most well-known and influential pieces, such as "Characteristics" and "Chartism." In keeping with the Norman and Charlotte Strouse Edition of the Writings of Thomas Carlyle, these essays are accompanied by a thorough historical introduction to the material, extensive notes providing historical and cultural context while expanding on references and allusions, (...) and a textual apparatus that carefully details and explains the editorial decisions made in reconciling the editions of each essay. (shrink)

Kohlenbach, U., Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation, Annals of Pure and Applied Logic 64 27–94.We consider uniqueness theorems in classical analysis having the form u ε U, v1, v2 ε Vu = 0 = G→v 1 = v2), where U, V are complete separable metric spaces, Vu is compact in V and G:U x V → is a constructive function.If is proved by arithmetical means from analytical assumptions x (...) εXy ε Yx z ε Z = 0) only , then we can extract from the proof of → an effective modulus of uniqueness, which depends on u, k but not on v1,v2, i.e., u ε U, v1, v2 ε Vu, k εG, G 2-φuk→dv2-itk). Such a modulus φ can e.g. be used to give a finite algorithm which computes the zero of G on Vu with prescribed precision if it exists classically.The extraction of φ uses a proof-theoretic combination of functional interpretation and pointwise majorization. If the proof of → uses only simple instances of induction, then φ is a simple mathematical operation. (shrink)

Als eine wesentliche Schwäche des strukturalistischen Theorienkonzepts musste die Vagheit erscheinen, mit der die Unterscheidung zwischen bezüglich einer Theorie theoretischen und nichttheoretischen Funktionen bisher belastet war. In der vorliegenden Untersuchung wird ein formal präzises, pragmatisch nichtrelativiertes Kriterium für T-Theoretizität vorgestellt. Erste Schritte zur Klärung seiner Bedeutung für die holistische Sichtweise erfahrungswissenschaftlicher Theorien werden unternommen.

What does it mean to do philosophy historically, and when does the legend of philosophy begin? When Hegel tried to give a logical explanation of philosophy's history, was he doing the same thing as Eduard Zeller in his account of Creek thought, or Kuno Fischer in his narrative of modern philosophy? l do not believe so, and I shall sugges t in the following that we should carefully differentiate between the different activities commonly referred to as the history of philosophy. (...) I will point out the enormous productivity of the 19th century in terms of printed books devoted to the history of philosophy. I will also point to the context in which these were produced and used rather than examining individual works or authors. There is an entirely new context in the 19th century, which is the study of philosophy. A proper culture developed around the historical interest in philosophy, and it is this culture I want to sketch here. (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.

The aim of the paper is this: Instead of presenting a provisional and necessarily insufficient characterization of what mathematical physics is, I will ask the reader to take it just as that, what he or she thinks or believes it is, yet to be prepared to revise his opinion in the light of what I am going to tell. Because this is precisely, what I intend to do. I will challenge some of the received or standard views about mathematical physics (...) and replace them by a more sophisticated picture, which takes into account the methodological and philosophical roots of mathematical physics in Göttingen. (shrink)

Among naturalistic theories of biological functions, only those that do not reduce functions to actual causal roles allow for a distinction of function and dysfunction. Most prominent among those t...

An original analysis of the parallels between the arrested moment in photography and in the traumatized psyche.

It is well known by now that large parts of mathematical reasoning can be carried out in systems which are conservative over primitive recursive arithmetic PRA . On the other hand there are principles S of elementary analysis which are known to be equivalent to arithmetical comprehension and therefore go far beyond the strength of PRA . In this paper we determine precisely the arithmetical and computational strength of weaker function parameter-free schematic versions S− of S, thereby exhibiting different levels (...) of strength between these principles as well as a sharp borderline between fragments of analysis which are still conservative over PRA and extensions which just go beyond the strength of PRA. (shrink)

This article opens with general and historical remarks on philosophy of science's problems with the concept of discovery. Then, drawing upon simple examples of Watson's and Crick's non-philosophical usage, I characterize phrases of the type "x discovers y" semantically. It will subsequently be shown how widespread philosophical discussion on discovery violates the semantic constraints of phrases of the type "x discovers y." Then I provide a philosophical reconstruction of "x discovers y" that is in keeping with the "folk" notion of (...) discovery. The philosophical ingredients of this approach are taken from a certain aspect of action theory and from epistemological reliabilism. The approach draws upon the concept of superior action and connects this concept to progressive research. In contrast to normal actions, superior actions are primarily explained by competencies. This perspective includes reminders of what some nineteenth-century philosopher-scientists had advocated as a competence-oriented view on scientific research. Finally, this approach is applied to the case of Watson's and Crick's discovery. (shrink)

With this article we introduce a new article category in the journal, as announced in this issue's editorial--Viewpoints & Discussion. Articles under this category are intended to provide authentic and qualified opinions on topics relevant to the journal. These articles and follow-up discussions will pass through an accelerated, mainly editorial, review process. We invite readers to respond to such articles by sharing their personal thoughts and experiences, as well as to initiate new discussions. We hope these contributions will make the (...) journal a site for lively discussions on research practice. For this first "Viewpoint" we have selected a topic that should be of interest to many readers: What key research competencies will researchers and professionals need to have in the future? To introduce the topic, we look into a recent comparative study on this question that compares the situation in eight research-intensive countries. Reports on the study are available for free download, which can serve as a basis for discussion. In keeping with the idea of "Viewpoints & Discussion," no claim to offering a systematic and scholarly account of the topic is intended; the only aim is to throw a spotlight on a theme of current interest and to suggest a few pertinent conjectures and questions for discussion. (shrink)

Human, anthropo-centered and subject-oriented social and cultural practices, specialized disciplines such as sciences, humanities and arts, as well as everyday and common sense existence employ and are constituted by means of frames of reference (and the tools and techniques they employ) are intersubjectively These things enable consciousness, knowing that and know how skills and appitudes, but simultaneously impose conditions, restrictions, assumptions and pre-suppositions. These conditions,limits and their underlying paradigms are endlessly refined, altered, modified, extended, transformed and replaced.

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 purpose of this study was to test a causal model of ethical conflict in practice and autonomy in a sample of 254 nurse practitioners working in the primary care areas of family health, pediatrics, adult health and obstetrics/gynecology in the state of Maryland. A test of the model was conducted using a path analytic approach with LISREL 8.30 hypothesizing individual, organizational and societal/market factors influencing ethical conflict in practice and autonomy. Maximum likelihood estimation was used to estimate the parameters (...) most likely to have generated the data. Forty-five percent of the total variance in ethical conflict was explained by the variables of ethical environment and ethical concern. Ethical concern, idealistic philosophy, ethics education in continuing education, percentage of client population enrolled in managed care, and market penetration explained 15% of the total variance in autonomy. The findings of this study indicate that the causal model of ethical conflict in practice and autonomy is consistent with the data and contributed to a fuller understanding of clinical decision making associated with practicing in a managed care environment. The final model supported a conceptual framework that is inclusive of three domains: individual, organizational and societal/market variables. (shrink)

Modern science is, to a large extent, a model-building activity. But how are models contructed? How are they related to theories and data? How do they explain complex scientific phenomena, and which role do computer simulations play here? These questions have kept philosophers of science busy for many years, and much work has been done to identify modeling as the central activity of theoretical science. At the same time, these questions have been addressed by methodologically-minded scientists, albeit from a different (...) point of view. While philosophers typically have an eye on general aspects of scientific modeling, scientists typically take their own science as the starting point and are often more concerned with specific methodological problems. There is, however, also much common ground in middle, where philosophers and scientists can engage in a productive dialogue, as the present volume demonstrates. To do so, the editors of this volume have invited eight leading scientists from cosmology, climate science, social science, chemical engeneering and neuroscience to reflect upon their modeling work, and eight philosophers of science to provide a commentary. (shrink)