A fragment with the same provably recursive functions as n iterated inductive definitions is obtained by restricting second order arithmetic in the following way. The underlying language allows only up to n + 1 nested second order quantifications and those are in such a way, that no second order variable occurs free in the scope of another second order quantifier. The amount of induction on arithmetical formulae only affects the arithmetical consequences of these theories, whereas adding induction for arbitrary formulae (...) increases the strength by one inductive definition. (shrink)

Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all the known results on definable functions of certain such theories can be reobtained in a uniform way.

Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped λ-calculus and Gödel’s is presented and analysed in the coalgebraic framework of non-wellfounded terms with so-called repetition constructors.The primitive recursive normalization function is uniformly continuous w.r.t. the natural metric on non-wellfounded terms. Furthermore, the number of necessary repetition constructors is locally related to the number of reduction steps needed to reach the normal form and its size.It is also shown how continuous normal (...) forms relate to derivations of strong normalizability in the typed λ-calculus and how this leads to new bounds for the sum of the height of the reduction tree and the size of the normal form.Finally, the methods are extended to an infinitary λ-calculus with ω-rule and permutative conversions and this is used to derive a strong form of normalization for an iterative version of Gödel’s system , leading to a value table semantics for number-theoretic functions. (shrink)

Consider the following restriction of the polymorphically typed lambda calculus . All quantifications are parameter free. In other words, in every universal type α.τ, the quantified variable α is the only free variable in the scope τ of the quantification. This fragment can be locally proven terminating in a system of intuitionistic second-order arithmetic known to have strength of finitely iterated inductive definitions.

In diesem Buch erscheint Kants Moralphilosophie in neuem Licht. Kants Bestimmung und Begründung des Moralprinzips wird gegen das Gros der bisherigen Forschung als konsistente Argumentation auf hohem Niveau aufgeschlüsselt. Das gut lesbare Buch klärt die Grundbegriffe von Kants Moralphilosophie und lässt sich als Kommentar zu deren als besonders schwierig empfundenen Teilen benutzen.

Ralf Dahrendorf (1929-2009) established modern sociology as a normal science in the traditional university in post-war Germany. After ten years as a Full Professor, he joins the German liberal party, then in opposition. He stands successfully in a regional and then a national election (Landtag, Bundestag). He serves as junior minister under chancellor Willy Brandt and becomes a European commissioner less than a year later. Upon his resignation from the European Commission, he makes the UK his home and becomes a (...) British subject, becomes knighted and later appointed Lord. The second half of his life, as an intellectual amid the powers and a liaison between England and the continent, as a self-described 'straddler', may have been even greater in importance than the first, with his meteoric rise as a highly visible professor of sociology and as German politician of national prominence. His analysis of society and democracy in Germany, though dated (1965) appears still for the most part as valid. Historically, his own elite positions mark transition periods in the process of generational change. (shrink)

In der 1970 gegr ndeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien ver ffentlicht. Gr ndungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), G nther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von J rgen Mittelstra mitherausgegeben.

*******Résume en français plus bas****** Karl Kraus’s favourable and conceptually complex comments of the portrait drawings byOskar Kokoschka in 1910 put us on the trail of a host of different phenomena of pictorial representation. Based on close-readings of several aphorisms by Kraus and drawings by Kokoschka, I suggest that there is something like realistic distortion and that the traditional concepts of style cannot account for all essential stylistic variations that are important in pictures. I argue that we need to introduce (...) the concept of subject specific style. This must be distinguished from other concepts such as signature style. I try to show how these conceptual distinctions are connected to the difference in representational range displayed by media that are based on traces, like photography, and by media based on testimony, like drawing or writing. *********** Résumé En 1910, Oskar Kokoschka produit une série de dessins pour la revue expressionniste berlinoise Der Sturm. L’un des portraits représente le satiriste Karl Kraus, un autre l’architecte Adolf Loos. Au même moment, Kraus fait paraître une série d’aphorismes qui commentent le travail de Kokoschka. Kraus part du travail de Kokoschka pour arriver à des principes généraux sur la représentation picturale. Une analyse des réflexions de l’écrivain et des deux dessins faits par Kokoschka nous permet non seulement de mieux comprendre comment un dessin peut saisir le caractère d’un modèle au-delà du physique, mais aussi de forger des concepts pour enrichir les notions de style traditionnelles. Nous soutenons dans notre article qu’il faut introduire l’idée d’un style à l’oeuvre pour compléter les notions de style habituelles.Le style à l’oeuvre peut être spécifique au sujet traité. Nous montrons en particulier comment le dessin permet des distorsions réalistes, difficiles à obtenir dans des médias basés sur la trace comme la photographie. (shrink)

The goal of this paper is to propose a unified approach to the split scope readings of negative indefinites, comparative quantifiers, and numerals. There are two main observations that justify this approach. First, split scope shows the same kinds of restrictions across these different quantifiers. Second, split scope always involves low existential force. In our approach, following Sauerland, natural language determiner quantifiers are quantifiers over choice functions, of type <<,t>,t>. In split readings, the quantifier over choice functions scopes above other (...) operators (such as intensional verbs like must or can). Determiner quantifiers leave a choice-function trace when they move and this trace combines with the noun restriction, which is interpreted low. That split scope always involves low existential force is derived, without stipulation, from Kratzer’s idea that low existential force can be achieved via binding (into the noun restriction). (shrink)

Attention is automatically allocated to stimuli that are opposite in valence to the current motivational focus (Rothermund, 2003; Rothermund, Voss, & Wentura, 2008). We tested whether this incongruency effect is due to affective–motivational counter-regulation or to an increased salience of stimuli that mismatch with cognitively activated information. Affective processing biases were assessed with a search task in which participants had to detect the spatial position at which a positive or negative stimulus was presented. In the motivational condition, positive or negative (...) affective–motivational states were induced by performance feedback after each trial. In the cognitive activation condition, participants memorised the word “good” or “bad” during the search task. The affective incongruency effect was replicated in the motivational condition, whereas an affective congruency effect obtained in the cognitive activation condition. These findings support an explanation of affective incongruency effects in terms of automatic counter-regulation that is motivational in nature. (shrink)

In the third and fourth parts of the book, Günther shows--in debate with Hare, Dworkin, and others--how argumentation on the appropriate application of norms and principles in morality and law is possible.

One of many writers inspired by Laurence Sterne's Tristram Shandy, the German novelist Jean Paul Richter coined the term 'Shandean humour' in his work of aesthetic theory. The essays in this volume investigate how Sterne's humour functions, the reasons for its enduring appeal, and what role it played in identity-construction and in the representation of melancholy. In tracing its hitherto under-recognised impact both on literary writers, such as Jean Paul and Herman Melville, and on philosophers, including Hegel and Marx, the (...) collection reveals that Shandean humour is a Grenzgänger - a point of commerce not only between Anglophone and German discourses, but also between literature and philosophy.Klaus Vieweg is Professor of Philosophy at the Friedrich Schiller University of Jena; James Vigus is postdoctoral research fellow at the Department of English and American Studies, Ludwig Maximilian University of Munich; Kathleen M. Wheeler is Reader in English Literature at the University of Cambridge. (shrink)

En la Filosofía del Derecho, Hegel dedica especial atención a uno de los problemas más preocupantes de las sociedades y los estados modernos: la inequitativa distribución de la riqueza y la consiguiente secuela de inequidades e injusticias sociales. En su análisis, Hegel enfatiza la idea de que la conformación de una sociedad civil justa y de un estado racional o de derecho, depende enteramente del reconocimiento, por parte de esas esferas, de los derechos de todos los individuos a gozar de (...) una vida material digna, que les permita no sólo el aseguramiento de las condiciones elementales de existencia, sino también la participación y el disfrute de los bienes materiales y espirituales que sustentan y dinamizan la vida en común. De acuerdo con el diagnóstico de Hegel, tal reconocimiento tiene, ciertamente, su punto de partida en la esferas del derecho abstracto y se prolonga en la esfera de la moralidad, en las que el individuo es reconocido como persona o sujeto moral, pero es sólo en la esfera superior de la eticidad donde el reconocimiento de todos los derechos que garantizan una vida digna, alcanza validez y necesidad universales, dado que es en dicha esfera, concretamente en la esfera del estado, donde dicho reconocimiento logra asegurarse en las diferentes instancias legales y jurídicas que lo componen. Tal es la vía por la cual la filosofía política de Hegel intenta ofrecer una salida a un problema que, como el señalado, sigue siendo una amenaza a las sociedades del presente y un cuestionamiento a las estructuras mismas del poder. Independientemente de la viabilidad de la solución ofrecida, la filosofía política de Hegel recaba aquí una vigencia pertinente e incuestionable. (shrink)

A real number x is computable iff it is the limit of an effectively converging computable sequence of rational numbers, and x is left computable iff it is the supremum of a computable sequence of rational numbers. By applying the operations “sup” and “inf” alternately n times to computable sequences of rational numbers we introduce a non-collapsing hierarchy {Σn, Πn, Δn : n ∈ ℕ} of real numbers. We characterize the classes Σ2, Π2 and Δ2 in various ways and give (...) several interesting examples. (shrink)

Friedrich Nietzsche has emerged as one of the most important and influential modern philosophers. For several decades, the book series Monographien und Texte zur Nietzsche-Forschung (MTNF) has set the agenda in a rapidly growing and changing field of Nietzsche scholarship. The scope of the series is interdisciplinary and international in orientation reflects the entire spectrum of research on Nietzsche, from philosophy to literary studies and political theory. The series publishes monographs and edited volumes that undergo a strict peer-review process. The (...) book series is led by an international team of editors, whose work represents the full range of current Nietzsche scholarship. (shrink)

In this book, linguists and philosophers combine to offer a unique insight not only into Grice's contribution to philosophy of language, but on his theories of natural and non-natural meaning, implicatures and the semantic-pragmatic distinction.

A favorite assumption of anglo-American scholarship is that locke's influence "pervaded the eighteenth century with an almost scriptural authority." examining the philosophy of the german enlightenment, This essay disputes the exaggerated importance ascribed to locke in the eighteenth century. Locke's influence was always limited by native traditions inimical to his thought. His empiricism could not compete with the leibniz-Wolff system in which all german philosophers, Including the lockean sympathizers, Were educated. It is true that around mid-Century and beyond locke attracted (...) a certain following, But those who accepted his theories were minor figures (popular philosophers) and exercised very little influence on the future course of german philosophy (kant). (shrink)

Im vorliegenden Buch stellt Klaus Oehler die Lehre vom noetischen und dianoetischen Denken bei Platon und Aristoteles dar und begründet damit erstmals die These, dass das für die neuzeitliche Philosophie zentrale Problem der Reflexion und des Selbstbewusstseins schon, wenn auch nicht in gleicher Weise, in der antiken Philosophie eine Rolle gespielt hat.

In recent years we have seen the rise of a new framework within the study of the mind, namely Predictive Processing. This framework essentially holds that the brain is a prediction machine constantly postulating perceptual models which are tested against incoming information. At the same time, the notion of the minimal or core self has become very influential as a way of explaining, or explaining away, pre-reflective self-awareness. The four most widely discussed alternatives for thinking through the metaphysical implications the (...) pre-reflective sense of self are the standard phenomenological view, the substance view, the no-self view and by now the relational view. In this paper, it is our objective to rethink the notion of the sense of self in the context of PP. Now, PP is often held to be a unifying framework that offers a new integrated account of perception, cognition, imagination, and indeed the pre-reflective sense of self. We will show, however, that PP has been taken to endorse rather too many different metaphysical accounts of self: that is, views about how we should regard the ultimate nature of self. What we need to do, if possible, is to use PP to constrain the theories on offer. Here we focus upon two central constraints that we think PP implies. These are, the mutability constraint and the multi-layereredness constraint. We argue that self-views laid out in terms of the PP framework are usually – to some degree – located within the four standard metaphysical accounts of self. However, we think that realist versions of self-accounts seem to have more trouble in respecting the PP constraints or requirements. The reason, or so we believe, is PP’s mutability constraint. This does not have to be the case and we, therefore, propose an alternative realist view – namely the pre-reflective situational self view – which is more adequate to fit the PP framework. (shrink)

In The History of the Race Idea: From Ray to Carus, Eric Voegelin places the rise of the race idea in the context of the development of modern philosophy.

This book provides insight into the work of Oswald Spengler (1880-1936), one of the most prophetic minds of the 20th century, whose dire historical predictions - world wars, ecological disasters, gigantic cities with unrestrained urban sprawl, increasing race conflicts, failure of nerve among the ruling elites, and rapid decline of cultural norms - have more than passed the test of time. Besides focusing on Spengler the prophet and the controversies which surrounded his name in the 1920s, this book also emphasizes (...) Spengler's pioneering role in the development of a comparative study of cultures based on biological principles. (shrink)

Según Hegel, la filosofía tiene que hacerse inmune contra las objeciones escépticas de la isosthenía. Esto sólo se logra mediante la inclusión del escepticismo auténtico. Dos momentos caracterizan el pirronismo originario como escepticismo radical o universal: la libertad del carácter y la libertad del pensamiento. La estrategia hegeliana de la inclusión o superación se refiere a la skepsis como forma de vida y de pensamiento La negatividad escéptica tendría entonces que ser instaurada en el propio pensamiento se tendría que llevar (...) a cabo la integración tanto en la perspectiva epistémica como en la práctico-ética, lo cual implícala superación de las debilidades de las dos partes del pirronismo. El legado pirrónico en el pensamiento de Hegel se muestra particularmente en la comprensión hegeliana del comienzo de la filosofía, en la decisión de "querer pensar con toda pureza”. (shrink)

›Streben‹ und das entsprechende abstrakte Hauptwort ›Strebung‹ bilden den Oberbegriff für alle konativen Zustände, d. h. für alle Zustände des Versuchens, Wollens und Angetriebenseins. Aristoteles verwendet den Begriff als Erster in terminologischer Weise : ›Streben‹ ist allgemeiner Begriff für zwei einander entgegengesetzte Modi des Strebens, nämlich Verfolgen und Meiden. Sie decken das Spektrum solcher motorischen Prozesse, bei denen Lebewesen sich intentional auf Bewegungsziele richten, vollständig ab.

Today’s social, economic, ecological and political state-of-affairs, the lack of confidence in business and political leaders and the associated rise of populist parties pose new and structurally different challenges to mankind. They are likely to be deepened in the course of the implementation of the Agenda 2030 for Sustainable Development. While all societal actors are called upon to reflect on their contribution to necessary reforms, business has a particularly important role to play. Competing with integrity today means much more than (...) compliance with law and regulation. The article discusses the necessity of top manager’s reflection on values and coherent practical action and uses the World Ethos body of thought as a compass. It also draws attention to the complexity of such a values management and stresses the importance of ethical leadership. (shrink)

Introduction The contributors to this volume were asked to write on some aspect of a problem area which has been the focus of much controversy, ...

In lieu of an abstract, here is a brief excerpt of the content:Experience or Interpretation:"What You See Is Not What You Read"Klaus OttmannMuseums of modern and contemporary art are growing at an unprecedented rate. New museums are being founded and existing ones are expanding exhibition spaces and acquiring more and more works of art. Concurrently, cultural institutions compete with a growing number of art fairs, biennials, galleries, and public collection spaces.Since the 1980s the focus of museums increasingly has been (...) on education and interpretation, which among other things has created a boom for audio guides and scholarly exhibition catalogs at the expense of the unmediated experience of works of art. Perhaps what is needed are exhibitions that present art again primarily as "experience," with minimal curatorial and didactic intervention. [End Page 13]I have borrowed the title of my essay from a lecture that was given by Nicolas Serota, the director of the Tate galleries in London, in 1996. His lecture was subtitled "The Dilemma of Museums of Modern Art."But the question of the presentation of art, and specifically, that of experience vs. interpretation, by no means originated in the last decades. It is at least as old a question as modern art itself, going as far back as the nineteenth-century French intellectual dispute on the museum between the poet Paul Valéry and the novelist Marcel Proust, as recounted with a sympathetic voice by the German philosopher and cultural critic Theodor Adorno in a short essay with the minimalist title "Valéry Proust Museum."There is much to be learned from reading this small text. Paul Valéry criticized the museum of his time (the Louvre) for creating confusion in the mind of the spectator by reducing the experience to the level of information only. No one would want to listen to ten orchestras at once, he argued, yet we are forced to apprehend, at the same moment, a seascape, a portrait, and a still-life, or worse, painting styles completely incompatible with each other. He warned that excess of information would lead to impoverishment of the senses, as art was becoming a matter of education. Valéry's view could be regarded as the conservative position.Marcel Proust's view was more modernist: he regarded the museum as the best place to view art. Devoid of décor and other commonplace distractions, its galleries symbolized for him the inner spaces into which the artist withdraws to create works of art.Both Valéry and Proust emphasized that art should be enjoyed. But while for Valéry art lost its vitality in the museum and effectively "died," Proust saw an afterlife of art in the museum and in the subjective stream of consciousness of the viewer.For Adorno, both views were too one-sided and extreme. Valéry's absolute unwavering contemplation of pure art takes the risk of neutralization, unless the work can point beyond itself toward a social context. Thus, a work of art is neither an embodiment of a Platonic idea, as Valéry believed, nor is it exclusively a reflection of the soul, as Proust understood it. Rather, in Adorno's view, art is a "force field" between the art and the viewer, both passive and active.In his 1931 lectures on "Art as Experience," the American philosopher John Dewey said:The trouble with existing theories [of art] is that they start from ready-made compartmentalization, or from a conception of art that "spiritualizes" it out of connection with the objects of concrete experience. The alternative, however, to such spiritualization is not a degrading... materialization of works of fine art, but a conception that discloses the way in which these works idealize qualities found in common experience.1 [End Page 14]In my book The Genius Decision: The Extraordinary and the Postmodern Condition, I describe the creative act as an active-passive leap that the artist is impelled to make and the viewer is challenged to repeat.Wittgenstein often spoke about the inexpressible, that which is beyond the limits of language. He called it "running against the boundaries of language." It is something any poet, musician, or painter is familiar with; they all run against boundaries of language, sound, or color... (shrink)