Edmund Burke is considered the father of conservatism. With his ‘Reflections on the French Revolution’ (1790), Burke presented a work that was already controversial at the time of its publication. In Burke’s understanding, people and their social institutions are historical beings that are subject to change but unchanging in the face of all change. The central concept in Burke’s argument is heritage, which encompasses both collective, historical memory and social organisation, and specifically refers to constitutional traditions. Society is hierarchically structured (...) and forms an organic unit based on a necessary balance between the principles of continuity and regeneration. According to Burke, the state is the coagulated historical rationality of people who must be taken at least as seriously as contemporaries in their efforts to shape a good order. With contributions by Michael Becker, Norbert Campagna, Oliver Hidalgo, Jürgen Kamm, Skadi Siiri Krause, Thomas Lau, Ulrich Niggemann, Henning Ottmann, Volker Reinhardt and Rüdiger Voigt. (shrink)

A technical artefact is often described in two ways: by means of a physicalistic model of its structure and dynamics, and by a functional account of the contributions of the components of the artefact to its capacities. These models do not compete, as different models of the same phenomenon in physics usually do; they supplement each other and cohere. Coherence is shown to be the result of a mapping of role-contributions on physicalistic relations that is brought about by the concept (...) of function. It results a sandwich-like structure of the two models, which can be reconstructed as a two-sorted theory element. (shrink)

This paper develops a formal framework to model a process in which the formation of individual opinions is embedded in a deliberative exchange with others. The paper opts for a low-resolution modeling approach and abstracts away from most of the details of the social-epistemic process. Taking a bird's eye view allows us to analyze the chances for the truth to be found and broadly accepted under conditions of cognitive division of labour combined with a social exchange process. Cognitive division of (...) labour means that only some individuals are active truth seekers, possibly with different capacities. Both mathematical tools and computer simulations are used to investigate the model. As an analytical result, the Funnel Theorem states that under rather weak conditions on the social process, a consensus on the truth will be reached if all individuals possess an arbitrarily small capacity to go for the truth. The Leading the pack Theorem states that under certain conditions even a single truth seeker may lead all individuals to the truth. Systematic simulations analyze how close agents can get to the truth depending upon the frequency of truth seekers, their capacities as truth seekers, the position of the truth (more to the extreme or more in the centre of an opinion space), and the willingness to take into account the opinions of others when exchanging and updating opinions. (shrink)

This volume takes on both issues and examines the relationship between organisms and artifacts from the perspective of functionality.

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)

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)

In this note we show that over a strong intuitionistic base theory, the recursive comprehension principle \ -CA does not imply the disjunctive Markov principle MP\.

In the discussion about consequences of the release of genetically modified (GM) crops, the meaning of the term “environmental damage” is difficult to pin down. We discuss some established concepts and criteria for understanding and evaluating such damages. Focusing on the concepts of familiarity, biological integrity, and ecosystem health, we argue that, for the most part, these concepts are highly ambiguous. While environmental damage is mostly understood as significant adverse effects on conservation resources, these concepts may not relate directly to (...) effects on tangible natural resources but rather to parameters of land use or ecological processes (e.g., the concept of biological integrity). We stress the importance of disclosing the normative assumptions underlying damage concepts and procedures for the evaluation of damages by GM crops. A conceptualization of environmental damage should precede its operationalization. We recommend an unambiguous definition for damage developed earlier and recommend that evaluation criteria be based on this. However, a general damage definition cannot replace case-specific operationalization of damage, which remains an important future challenge. (shrink)

This paper assesses Sarkar's ([2003]) deflationary account of genetic information. On Sarkar's account, genes carry information about proteins because protein synthesis exemplifies what Sarkar calls a ‘formal information system’. Furthermore, genes are informationally privileged over non-genetic factors of development because only genes enter into arbitrary relations to their products (in virtue of the alleged arbitrariness of the genetic code). I argue that the deflationary theory does not capture four essential features of the ordinary concept of genetic information: intentionality, exclusiveness, asymmetry, (...) and causal relevance. It is therefore further removed from what is customarily meant by genetic information than Sarkar admits. Moreover, I argue that it is questionable whether the account succeeds in demonstrating that information is theoretically useful in molecular genetics. Introduction Sarkar's Information System The Pre-theoretic Features of Genetic Information 3.1 Intentionality 3.2 Exclusiveness 3.3 Asymmetry 3.4 Causal relevance Theoretical Usefulness Conclusion CiteULike Connotea Del.icio.us What's this? (shrink)

We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete one-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has a Borel complete reduct, and if a theory T is not $\omega $ -stable, then the elementary diagram of some countable model of T has a Borel complete reduct.

In [15], [16] G. Kreisel introduced the no-counterexample interpretation (n.c.i.) of Peano arithmetic. In particular he proved, using a complicated ε-substitution method (due to W. Ackermann), that for every theorem A (A prenex) of first-order Peano arithmetic PA one can find ordinal recursive functionals Φ A of order type 0 which realize the Herbrand normal form A H of A. Subsequently more perspicuous proofs of this fact via functional interpretation (combined with normalization) and cut-elimination were found. These proofs however do (...) not carry out the no-counterexample interpretation as a local proof interpretation and don't respect the modus ponens on the level of the no-counterexample interpretation of formulas A and A → B. Closely related to this phenomenon is the fact that both proofs do not establish the condition (δ) and--at least not constructively-- (γ) which are part of the definition of an 'interpretation of a formal system' as formulated in [15]. In this paper we determine the complexity of the no-counterexample interpretation of the modus ponens rule for (i) PA-provable sentences, (ii) for arbitrary sentences A, B ∈ L(PA) uniformly in functionals satisfying the no-counterexample interpretation of (prenex normal forms of) A and A → B, and (iii) for arbitrary A, B ∈ L(PA) pointwise in given α( 0 ) -recursive functionals satisfying the no-counterexample interpretation of A and A → B. This yields in particular perspicuous proofs of new uniform versions of the conditions (γ), (δ). Finally we discuss a variant of the concept of an interpretation presented in [17] and show that it is incomparable with the concept studied in [15], [16]. In particular we show that the no-counterexample interpretation of PA n by α( n (ω))-recursive functionals (n ≥ 1) is an interpretation in the sense of [17] but not in the sense of [15] since it violates the condition (δ). (shrink)

Few bioethicists are educated with a view into nursing. Thus, much of the conceptual and empirical research on ethical issues in nursing practice has been conducted by nurse ethicists themselves and, to a lesser degree, by individuals with a strong interest in nursing ethics. Although this work has internally shaped nursing practice, education, and policy, the broader field of bioethics has seldom examined and acknowledged the everyday ethical concerns of practicing nurses and their important contributions to bioethics discourse. In this (...) special report of the Hastings Center Report —the first to focus on nursing—Christine Grady, Ann Hamric, and I, along with consulting editor Nancy Berlinger, strive to give voice to the contributions of nurses in addressing some of our obstinate everyday ethics and health policy challenges. (shrink)

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.

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)

The Hangman Paradox has a simple solution. The amazing refutation of the judge's decree rests on the axiom of knowledge-conservation. This axiom is false under unfavourable conditions. You can have a perfect piece of knowledge in the ordinary sense, i.e. a true justified conviction, and yet be unable to conserve it. More interesting than its solution is the element of self-reference, connecting the Hangman via Moore's Paradox and Buridan's Epistemic Paradox with the Liar. This one, I think, has also a (...) natural solution, but less simple. The basic idea is given here, but the technical treatment goes far beyond this paper. It requires a strong, but conservative, extension of classical and three-valued logic to a six-valued logic with infinitely many levels of reflection. (shrink)

In reply to H. Bußhoff's paper I give another outline of Lakatos' approach to normative theories in order to reduce the misunderstandings Bußhoff seems to have fallen victim to. . In particular, I try to show that he is wrong in claiming there is a vicious circle in this approach or my interpretation of it . Finally, I expose for criticism his alternative methodology of political science which propagates a theory of a "third type", suggesting that he takes too little (...) seriously problems he calls academical although their importance has been shown not only by Lakatos but by political philosophers as Rawls and Nozick. (shrink)

The paper's aim is to contribute to a better understanding of Weber's methodology by clarifying the difference of Weber's concept of Verstehen from Dilthey's concept of Verstehen, and by answering the question of how Weber's claim to objectivity of his Verstehende Soziologie is compatible with his claim that the specific method of his Verstehende Soziologie, the idealtypical construction, is empirically irrefutable. My thesis is that there are three classes of ideal types in Weber: concepts of 'historical individuals', concepts of 'objective (...) possibilities' and idealtypical classifying concepts. Common to them is the end to grasp the individual character of a social phenomenon. Their different functions in realizing this end justify to describe Weber's Verstehende Soziologie as a system, in which social phenomena are presented as if they were the result of conscious human decisions. (shrink)

I understand the claim that there is a right to work as the claim that involuntary unemployment is an injustice that requires of justice enforcement institutions to stop it. I argue that in present conditions of high productivity it is more consistent with the liberal tradition to proclaim a right to develop one’s capabilities than a right to work. The steps of my argument are: (1) An important though not the only reason for considering unemployment unjust has been what I (...) call the Promethean idea of society. (2) The Promethean idea is implied by the liberal idea of rights. (3) There are two conceptions of the Promethean idea, the centralist and the autonomous one. (4) Only the latter is acceptable. (5) Involuntary unemployment is unjust even if the dole is decently high. (6) The injustice of unemployment can be stopped only by institutions that enable everyone to use their capabilities in realizing the Promethean idea. (7) One such institution is basic income. (8) As employment is not necessary for survival, we should replace the right to work with a right to develop one’s capabilities. (shrink)

Darwin’s explanation of biological speciation in terms of variation and natural selection has revolutionised biological thought. However, while his principle of natural selection, the fitness principle, has shaped biology until the present, its interpretation changed more than once during the almost 150 years of its history. The most striking change of the status of the principle is that, in the middle of the 20th century, it transmutated from an often disputed, groundbreaking insight into a tautology. Moreover, not only the interpretation (...) of the fitness principle, but the whole body of biological knowledge was subjected to significant modifications. In this paper, I relate modifications of the fitness principle to those of the respective body of biological knowledge. This body of knowledge is conceived as a Quinean web of belief. After an exposition of Darwin’s conception of the principle, which equated fitness with adaptedness to the environment, several of its changes are analysed with respect to different webs of biological knowledge. It is concluded that the different interpretations and the reshaping of the fitness principle are rational responses to the modified systems of background knowledge, which saved the coherence of the web of biological knowledge in each single case. (shrink)

Bd. 1. Rechts- und staatsphilosophische Analysen und Positionen -- Bd. 2. Materielle und formelle strafrechtsprobleme.

Das Phänomen des Ethischen ist dem Konflikt der Interpretationen ausgesetzt. Er äußert sich nicht nur in ethischen Kontroversen, sondern auch als Konflikt ethischer Grundkonzeptionen und Menschenbilder. Verstärkt wird in jüngster Zeit über das spezifische Profil evangelischer Ethik und Urteilsbildung nachgedacht. Die Beiträge dieses Buches konfrontieren entsprechende Bemühungen mit der provokanten These R. Bultmanns, es gebe gar keine christliche Ethik, sofern darunter einer Theorie über das verstanden werde, was Christen zu tun und zu lassen haben.

The nationwide supply with the afferings of Palliative Care is a generally acknowledged aim. But it is disputed whether it is a sufficient alternative to death on demand or assisted suicide. This is being discussed on a European level. But what the current discussion is Jacking of, are empirical studies regarding the culture of dying. The case study at hand Iooks into the basic social and cultural conditions in a large city. It also discusses the consequences of religious change and (...) the inter-religious situation on the palliativemovement and their relation to the churches. (shrink)

Biographical note: Thomas Alkemeyer (Dr. phil.) ist Professor für Soziologie und Sportsoziologie an der Carl von Ossietzky Universität Oldenburg. Ulrich Bröckling (Dr. phil.) ist Professor für Kultursoziologie an der Albert-Ludwigs-Universität Freiburg. Tobias Peter (Dr. rer. pol.) ist wissenschaftlicher Mitarbeiter am Institut für Soziologie der Albert-Ludwigs-Universität Freiburg.

There are many different kinds of questions. -/- I have mentioned a few of them here- -/- Philosophy: Aims, Methods, Rationale Paperback – 2018 by Ulrich de Balbian (Author) -/- ISBN-10 : 1985719150 ISBN-13 : 978-1985719156 -/- In this meta-philosophical study I commence with an investigation of Wisdom. I then continue with ane xploration of the institutionalization of the subject and the professionalization of those involved in it. Thien I show that philosophizing resembles and attempts to do theorizing. The (...) 9 questions, etc of the Socratic Method and details of the Philosophical Toolkit occur throughout different stages of theorizing as one level and one dimension of it. Traditional philosophy is no longer viable, relevant and acceptable. It might be possible to continue doing philosophizing in traditional ways. It is possible to continue fabricating fictional realities in the manner of the Pre-Socratics, Spinoza, Leibniz, Husserl, Hegel, Plato, et al. It is possible to devise pictures of realities and depictions of human consciousness and cognition like Descartes or in the Kantian manner. One of the major issues with traditional philosophy is its lack of self-awareness, the absence of meta-cognition. This lack of meta-cognition of traditional philosophers leads to the creation of all sorts of questionable phenomena and fake problems. Traditional philosophy, metaphysics, ontology, epistemology, ethics, philosophy of sciences, religion, arts, etc are little more than the possibilities, limits and restrictions enabled and allowed by the philosopher's methodology, techniques and tools. It is most likely possible to envisage a project to devise a collection or synthesis of many alternative realities by means of the insights and theories of theoretical physics, mathematics, bio-chemistry, biology and other sciences, the depictions produced by the arts and pictures of realities presented by the humanities. If such a system of pictures of reality is philosophically relevant and meaningful is however another matter. It is possible to continue fabricating fictional realities in the manner of the Pre-Socratics, Spinoza, Leibniz, Husserl, Hegel, Plato, et al. It is possible to devise pictures of realities and depictions of human consciousness and cognition like Descartes or in the Kantian manner. -/- Some of these questions, certain kinds of questions are relevant to philosophy, to the doing of philosophy or philosophizing. -/- What are the aims of different kinds of questions? -/- What are their objectives and purposes? -/- How are their relevant to the doing of philosophy? -/- How are they related to philosophizing? -/- These are some of the topics that will be touched on, tacitly and explicitly, in this exploration. -/- I travel through the exploration of concepts and their role in questions, how concepts can be viewed as interconnected and being interpreted as forming a system or set of ideas and being employed to devise a theory, good, bad or indifferent. -/- . (shrink)