Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to Π11-CA0. Ordinal analysis and the (Schwichtenberg-Wainer) subrecursive hierarchies play a central role and are (...) used in proving the 'modified finite Ramsey' and 'extended Kruskal' independence results for PA and Π11-CA0. Part III develops the theoretical underpinnings of the first author's proof assistant MINLOG. Three chapters cover higher-type computability via information systems, a constructive theory TCF of computable functionals, realizability, Dialectica interpretation, computationally significant quantifiers and connectives and polytime complexity in a two-sorted, higher-type arithmetic with linear logic. (shrink)

According to psychoanalysis there is a relationship between gaining insight and therapeutic success. To clarify this relationship it is necessary to differentiate regions of psychoanalytic theory. On the one hand there are foundational theories - personality and aetiological theory - on the other hand there are technological theories: they explain the therapeutic process and generate rules for therapeutic intervention. The latter are supported by the former, but cannot be logically derived from them. The link between the mediation of self-knowledge and (...) the improvement of the state of the patient is a theoretical and practical issue of psychoanalysis: theoretically it is a hypothesis that has to be proved by empirical investigation. Practically it is an aim to be fulfilled. A therapeutic theory should list the conditions that are necessary for this. (shrink)

This thought-provoking book discusses the concept of progress in economics and investigates whether any advance has been made in its different spheres of research. The authors look back at the history, successes and failures of their respective fields and thoroughly examine the notion of progress from an epistemological and methodological perspective. The idea of progress is particularly significant as the authors regard it as an essentially contested concept which can be defined in many ways – theoretically or empirically; locally or (...) globally; or as encouraging or impeding the existence of other research traditions. The authors discuss the idea that for progress to make any sense there must be an accumulation of knowledge built up over time rather than the replacement of ideas by each successive generation. Accordingly, they are not concerned with estimating the price of progress, reminiscing in the past, or assessing what has been lost. Instead they apply the complex mechanisms and machinery of the discipline to sub-fields such as normative economics, monetary economics, trade and location theory, Austrian economics and classical economics to critically assess whether progress has been made in these areas of research. -/- Bringing together authoritative and wide-ranging contributions by leading scholars, this book will challenge and engage those interested in philosophy, economic methodology and the history of economic thought. It will also appeal to economists in general who are interested in the advancement of their profession. (shrink)

English summary: The conference papers collected in this volume focus on Platonism in the Byzantine Middle Ages and Italian Renaissance. Authors considered are Maximos and Psellos, as well as Nicolas Cusanus, the Florentine Platonics of the 15th century, up to Pico della Mirandola. German description: Zu den charakteristischen Aspekten der italienischen Renaissance gehort ein esoterisch gepragter Platonismus, der wesentlich auf Vorlaufern im byzantinischen Mittelalter beruht. Von besonderer Bedeutung sind dabei die Chaldaeischen Orakel und der Hermetismus; weiterhin treten neben die Hinwendung (...) zur Weisheit des alten Agypten vielfaltige Varianten des Interesses an Platonismus und Esoterik. Diese Themen, dazu Phanomene der spateren Rezeptionsgeschichte bis in die Zeit der Aufklarung, waren Gegenstand einer Tagung, die vom 19. bis 23. Juli 2010 in Frankfurt am Main stattfand. Die im vorliegenden Sammelband enthaltenen Beitrage gehen auf diese Veranstaltung zuruck. Im Mittelpunkt stehen dabei aus byzantinischer Zeit Schriften des Maximos und des Psellos, aus der Renaissance Texte von Nikolaus von Kues und den Florentiner Platonikern des fruhen 15. Jahrhunderts bis zu Giovanni Pico della Mirandola. Weitere Beitrage gelten Malerei (Benozzo Gozzoli), Architektur (Leon Battista Alberti, Filarete) und dem Interesse an magischen Gemmen. Auf die spatere Rezeptionsgeschichte zielen Artikel zu Jean Le Clerc und den Freimaurern bis ins 18. Jahrhundert. (shrink)

Helmut Peukert; Beyond the Present State of Affairs: Bildung and the Search for Orientation in Rapidly Transforming Societies, Journal of Philosophy of Educatio.

Helmut Peukert; Beyond the Present State of Affairs: Bildung and the Search for Orientation in Rapidly Transforming Societies, Journal of Philosophy of Educatio.

Motivated by Drerup’s and Terhart’s stimulating contribution (Analyse & Kritik 1/80) to the notorious “Critical Rationalism and Contemporary Politics” -affair with its fatal repercussions on Popper’s original position. Part One of this paper discusses the development of Popperian philosophy of science and society from the hopeful beginnings to the rather unsatisfactory present state, with the main emphasis on the separate fate of his Social Philosophy in German speaking countries. A reconstruction and evaluation of this development is made in comparison to (...) Popper’s basic idea of an open-minded Social Philosophy and critical Social Science. The German mainstream development adds to Popper’s own radically liberal interpretation a positivistic, a normativistic and a conformistic phase, thus leading this degenerating research programme to the present philosophical stagnation and badly compensating political reideologization. The intellectual as well as the institutional causes and consequences of the deviant German case are analysed. − This exposition of the present state of reception is to be completed, in Part Two, by an analysis of the resulting state of problems with regard to the remaining chances for the realization of the original Popperian programme just-mentioned in contemporary rebuilding. (shrink)

This paper is a fragment of the book “Kaja od Radosława, czyli historia Hubalowego Krzyża”, which was published by Warszawskie Wydawnictwo Literackie Muza in 2006. It will be published by the American publisher The Military History Press under the title “Kaia Savior of the Hubal Cross”. Covering a century of Polish history, it is full of tragic and compelling events. Such historic events as Polish life in Siberia, Warsaw before the war, the German occupation, the Warsaw Uprising, life in Ostaszków, (...) and the rebuilding of Warsaw are included.The hero Kaia is a woman, christened Cesaria, whose father was expelled to Siberia in 1905 for conspiring against the tsar. Kaia spent her early childhood there, and the family lived near the mountain Altaj. A chapter shows how the Polish community lived there, organized their daily lives, etc. In 1922, the family returned to free Poland, the train trip back taking almost a year. This ordeal is highlighted as a series of stops sometimes lasting for weeks because of heavy snow accumulation, the men shoveling a pathway for the train to pass through, many deaths occurring from the frigid cold with the “caboose” used as a mortuary for Poles to be returned to their homeland for burial. Kaia entered the school system, was eventually educated as an architect, and then World War II started. She lived under the German occupation for the first few years, and later became a conspirator by helping the underground movement. She joined the Armia Krajowa in 1942. At considerable risk, her apartment became a meeting place for the conspirators.After Hubal’s death, one of his couriers gave Kaia the Hubal Cross Virtuti Militari. The cross was with her for the ensuing 50 years. During the Warsaw Uprising, in which she was a courier, she carried the cross around her neck. Many times, she had to travel via the Warsaw underground sewer system. Twice, she was wounded. After the Warsaw Uprising collapsed, she went to the east territory to look for her mother. She was captured by the Russian NKVD in Białystok and sent to Ostaszków. An interesting scene describes one of many interrogations: the Russian interrogator asks if she knows about the cross. Her reply causes a puzzled look on his face. The cross was never discovered (she had hidden it in a specially made shoe). Protection of the Virtuti Militari Cross, which at first had been a challenge to Kaia to survive the Uprising and Russian imprisonment, later became a symbol of courage and determination of the Polish people. In 1946, Kaia returned to Poland very ill and weighing only 38 kg (83.6 pounds). Eventually recovering her health, she worked as an architect involved in the rebuilding of Warsaw totally decimated by the Germans.In the Warsaw Uprising chapter, Kaia’s diary is included, and the book relates the scenes and events that she described. One such experience is most moving. It was a quiet moment, i.e. the shooting had subsided. On a warm beautiful August night, she was sitting, enjoying the quiet alone when, a young man sat down next to her. He was a colleague from architectural school. Together, a few months earlier, they had attended a university ball, and Kaia remembered him as always being funny and amusing. Then, she noticed he was missing one eye and part of his chin. He returned her gaze and jokingly said, “I still have one eye left”. And then, he quietly sang a popular song that they had danced the waltz to… “Not to be in love on such a beautiful night is a sin”… Kaia had to be in the same mood as he was and smiled. A few days later, half of his body was covered in ruins…he could not be helped. His death lasted several days, and he is buried in Powązki Cemetery, like many soldiers of the Uprising. (shrink)

Complexity is one of the most promising fields of modern science, and this book explores the new perspectives opening up when we consider systems made up of many similar or identical constituents.

Die Publikation bietet einen geschichtlichen Überblick über die Auseinandersetzung bedeutender Philosophen mit dem ältesten Problem der Philosophie: dem Leib-Seele-Problem. Wenn auch philosophischen Ursprungs, reflektieren die ausgewählten Philosophen die Bezüge zu theologischen, psychologischen, psychosomatischen, naturwissenschaftlichen und medizinischen Dimensionen dieses Problems. Im Vordergrund steht dabei die Herausarbeitung aller Aspekte des Leib-Seele-Problems. So beschäftigen sich die Herausgeber dieses Bandes mit den Fragen, ob Leib und Seele wirklich verschieden oder identisch sind, wie sie aufeinander einwirken und ob die Seele nach dem Tod weiter bestehen (...) kann. (shrink)

Repetition priming of object identification refers to the phenomenon whereby experience with an object induces systematic changes in subsequent processing of that same object. This data-driven form of priming is distinct from conceptually-driven priming. To date, considerable controversy exists about whether data-driven priming reflects facilitation in perceptual processing or mediation by preexisting object representations. The present study concerned priming of recognizing familiar and unfamiliar faces and how this priming is influenced by face inversion, which interferes with perceptual face processing. Perceptual (...) and representation-based loci conjointly contributed to priming; the perceptual locus was operative similarly for familiar and unfamiliar faces, whereas the representation-based locus was only invoked for familiar faces and resulted in a response-time reduction triple the magnitude of that from the perceptual locus. The results constrain theoretical accounts of data-driven priming by indicating that improved identification can result from the combination of perceptual and representation-based facilitation. (shrink)

He finds the key in the concept of responsibility, which implies not only the freedom and flexibility of responsiveness to others but also a guiding ideal of ...

an der Universität Göttingen gehaltenen Vcwlesung über Hauptstücke aus der Phänomenologie und Theorie der Erkenntnis,l ist annähernd voll­ ständig erhalten; die Blätter des V cwlesungsmanuskripts zur Phänomenologie des inneren Zeitbewußtseins liegen verstreut in den Konvoluten F I 6 und 2 F I 8 des Husserl-Archivs zu Löwen. Allerdings fußt der Erste Teil des Erstdrucks, dessen Bezeichnung als Die Vorlesungen über das innere Zeit­ bewußtsein aus dem Jahre 1905 gleichwohl auch in vcwliegender Neuausgabe beibehalten wurde, nur zum Teil noch, und auch (...) in diesem Teil mit be­ trächtlichen Abweichungen, auf dem Text des ursprünglichen Vcwlesungs­ manuskripts des Jahres I905; und umgekehrt hat nur ein Teil des Textes des ursprünglichen Vcwlesungs-Manuskripts - mit den erwähnten Abwand­ lungen - Eingang in den Ersten Teil des Erstdrucks gefunden. Wo der Text dieses Ersten Teils des Erstdrucks dem des ursprünglichen Vcwlesungs­ manuskripts entspricht, wurde er er mit diesem verglichen, und ollensicht­ liche Irrtümer im Erstdruck wurden berichtigt; in den Textkritischen Anmer­ kungen ist dann mit dem Vermerk nach dem Ms. verbessert die Text­ fassung des Erstdrucks wiedergegeben. Ferner wurde in den Textkritischen Anmerkungen vcwliegender Neuausgabe überall der ursprüngliche und voll­ ständige· Text des Vorlesungsmanuskripts von I905 wiedergegeben, auf dessen Zusammenhang die entsprechenden Teile des Erstdrucks zurückgehen, wo dieser von ienem abweicht. Einige zum V cwlesungsmanuskript gehörige Blätter, deren Text sich iedoch nicht zusammenhängend dem übrigen einfügt, wurden im vcwliegenden Band unter B (S. 135-382) mit abgedruckt. Die 1 Vgl. oben die "Einleitung des Herausgebers", S. XIV-XVII. (shrink)

Keine ausführliche Beschreibung für "Die Gewinnversicherung" verfügbar.