Search

Wie funktioniert der Handel für Obst und Gemüse und welche Rolle spielt dabei die Materialität? Linda Hering beschreibt die Entwicklung und spezifische Formung des Obst- und Gemüsemarktes in Deutschland. Dabei geht sie auf die Rolle von konfligierenden Qualitätskonventionen ein und zeigt, wie materielle Formen Bewertungspraktiken stabilisieren. Die Konzeption von Obst und Gemüse als Biofakte ermöglicht dabei neue Einsichten in die Organisation des Handels. So werden unterschiedliche Erwartungen verschiedener Kontexte in die Waren eingeschrieben, am Ort des Verkaufs jedoch nur selektiv sichtbar gemacht.

Wie funktioniert der Handel für Obst und Gemüse und welche Rolle spielt dabei die Materialität? Die Autorin beschreibt die Entwicklung und spezifische Formung des Obst- und Gemüsemarktes in Deutschland. Dabei geht sie auf die Rolle von konfligierenden Qualitätskonventionen ein und zeigt, wie materielle Formen Bewertungspraktiken stabilisieren. Die Konzeption von Obst und Gemüse als Biofakte ermöglicht dabei neue Einsichten in die Organisation des Handels. So werden unterschiedliche Erwartungen verschiedener Kontexte in die Waren eingeschrieben, am Ort des Verkaufs jedoch nur selektiv sichtbar gemacht.

This book is meant to encourage. It unites relational thinking with a new way of acting. The goal: a free, fair and vibrant society. But what we are used to is deeply rooted in our minds, in our everyday lives, in the market and the state. Silke Helfrich and David Bollier uncover traditional patterns of thought and design a program for a successful cooperation, a different political understanding and a caring economy. They focus on practices, showing how we pursue common goals in diversity. In practice, houses and vehicles can be built in a similar way to Wikipedia. The book also encourages us to think like a "Commoner". It offers a language for the world of tomorrow. It not only changes the economy and politics - it changes us. Dieses Buch soll Mut machen. Es vereint ein beziehungsreiches Denken mit einer neuen Art zu handeln. Das Ziel: eine freie, faire und lebendige Gesellschaft. Doch das Gewohnte hat sich tief eingegraben in unseren Köpfen, in unserem Alltag, in Markt und Staat. Silke Helfrich und David Bollier legen überkommene Denkmuster frei und entwerfen ein Programm für ein gelingendes Miteinander, ein anderes Politikverständnis und ein sorgendes Wirtschaften. Im Mittelpunkt stehen dabei Commons-Praktiken. Sie zeigen, wie wir in Verschiedenheit gemeinsame Ziele verfolgen. Ganz praktisch können so Häuser und Fahrzeuge in ähnlicher Weise wie die Wikipedia entstehen. Das Buch stiftet zudem an, wie ein "Commoner" zu denken. Es bietet eine Sprache für die Welt von morgen. Es verändert nicht nur die Wirtschaft und die Politik - es verändert uns.

Gleichmut ist die politische Signatur der gegenwärtigen Wissenschaft des Ökonomischen: Zu Beginn des 21. Jahrhunderts sind die Wirtschaftswissenschaften durch einen Denkstil geprägt, der nicht nur übergriffig ist - er tendiert auch zur gewaltförmigen Durchsetzung geschichtsphilosophischer Eindeutigkeiten. Die gesellschaftliche Vollzugswirklichkeit dieses abtötenden Denkens charakterisiert sich als Abschaffung des politischen Streits und Ringens darum, diese Welt besser zu machen. Lars Hochmann weigert sich, diesen Skandal länger hinzunehmen: Für Optimismus zu skeptisch - jedoch nicht frei von Hoffnung und Lust -, zeigt er, dass und wie den Wirtschaftswissenschaften die Liebe zur Welt noch immer ein Weg sein kann.

Ausgangspunkt für diesen Beitrag ist das Interesse an der alltäglichen, gelebten Präsenz und an Gestaltung und Körperlichkeit, Subjektivität und Kultur. Zu deren Verständnis bemühe ich einen Körperlichkeit berücksichtigenden und auf Erfahrung beruhenden, phänomenologischen Ansatz. Auf welche Weise sind Körperlichkeit, als Ausführung expressiver Formen, und kulturelle Identität verflochten? Wie werden Intersubjektivität und Kultur durch das Leben produziert? Hierzu werden lebendige Körperbilder aus einer ästhetisch-phänomenologischen Perspektive analysiert, die diese als inter-subjektives, "schwingendes" Feld versteht, das eine erfahrungsbasierte Annäherung an Bewegung im Sinne eines dynamischen Daseinsrepertoires eröffnet. Diese werden als alltägliche Geschehnisse rekonstruiert, die im Tanz des Präsenz ausgedrückt werden. URN: urn:nbn:de:0114-fqs0802355, The inspiration for this paper comes from an interest in the living movement of everyday life and from an interest in the stories of the felt sense of embodiment, subjectivity and culture. A phenomenological approach is used to get an embodied and experiential understanding of sensitive form and meaning. How are embodiment as performance of expressive form and cultural identities interwoven? How are intersubjectivity and culture performed? The living body images are analysed from an aesthetic-phenomenological perspective highlighting the living body as an inter-subjective, "vibrational" field that deepens the experiential understanding of everyday movement as performance of dynamic repertoires of existence. These become everyday events expressed as the dance of the now. URN: urn:nbn:de:0114-fqs0802355, La inspiración para este artículo es el interés por el vivo movimiento de la vida diaria y el interés en las historias del sentido asumido de la corporeidad, subjetividad y cultura. Se realiza un enfoque fenomenológico para alcanzar a un entendimiento experiencial y corpóreo de forma y significado sensible. ¿Como se entrelazan las identidades culturales y la incorporación como performance de forma expresiva ? ¿Como se representan la intersubjetividad y la cultura? Las imágenes del cuerpo vivo son analizadas desde una perspectiva estética-fenomenológica subrayando el cuerpo vivo como un campo inter-subjetivo, "vibracional" que profundiza el entendimiento experiencial del movimiento cotidiano como performance de repertorios dinámicos de existencia. Estos llegan a ser eventos cotidianos expresados como el baile del ahora. URN: urn:nbn:de:0114-fqs0802355

Program verification increases the degree of confidence that a program will perform correctly. Manual verification is an error-prone and tedious task. Its automation is highly desirable. The verification methodology reduces the reasoning about temporal properties of program computations to testing the validity of implication between auxiliary first-order assertions. The synthesis of such auxiliary assertions is the main challenge for automated tools. There already exist successful tools for the verification of safety properties. These properties require that some "bad'; states never appear during program computations. The tools construct invariants, which are auxiliary assertions for safety. Invariants are computed symbolically by applying techniques of abstract interpretation. Liveness properties require that some "good'; states will eventually appear in every computation. The synthesis of auxiliary assertions for the verification of liveness properties is the next challenge for automated verification tools. This dissertation argues that transition invariants can provide a new basis for the development of automated methods for the verification of liveness properties. We support this thesis as follows. We introduce a new notion of auxiliary assertions called transition invariant. We apply this notion to propose a proof rule for the verification of liveness properties. We provide a viable approach for the automated synthesis of transition invariants by abstract interpretation, which automates the proof rule. For this purpose, we introduce a transition predicate abstraction. This abstraction does not have an inherent limitation to preserve only safety properties. Most liveness properties of concurrent programs only hold under certain assumptions on non-deterministic choices made during program executions. These assumptions are known as fairness requirements. A direct treatment of fairness requirements in a proof rule is desirable. We specialize our proof rule for the direct accounting of two common ways of specifying fairness. Fairness requirements can be imposed either on program transitions or on sets of programs states. We treat both cases via abstract-transition programs and labeled transition invariants respectively. We have developed a basis for the construction of automated tools that can not only prove that a program never does anything bad, but can also prove that the program eventually does something good. Such proofs increase our confidence that the program will perform correctly. Programmverifikation stärkt unsere Überzeugung darin, dass ein Programm korrekt funktionieren wird. Manuelle Verifikation ist fehleranfällig und mühsam. Deren Automatisierung ist daher sehr erwünscht. Die allgemeine Vorgehensweise bei der Verifikation besteht darin, die temporale Argumentation über die Programmberechnungen auf die Überprüfung der Gültigkeit von Implikation zwischen Hilfsaussagen in Prädikatenlogik zu reduzieren. Die größte Herausforderung in der Automatisierung von Verifikationsmethoden liegt in der automatischen Synthese solcher Hilfsaussagen. Es gibt bereits erfolgreiche Werkzeuge für die automatische Verifikation von Safety-Eigenschaften.Diese Eigenschaften erfordern, dass keine ';unerwünschten" Programmzustände in Berechnungen auftreten. Die Werkzeuge synthetisieren Invarianten, die Hilfsaussagen für die Verifikation von Safety-Eigenschaften darstellen. Invarianten werden symbolisch, mit Hilfe von Techniken der abstrakten Interpretation berechnet. Liveness-Eigenschaften erfordern, dass bestimmte ';gute" Zustände irgendwann in jeder Berechnung vorkommen. Die Synthese von Hilfsaussagen für die Verifikation von Liveness-Eigenschaften ist die nächste Herausforderung für automatische Werkzeuge. Diese Dissertation vertritt die Auffassung, dass Transitionsinvarianten (engl.: transition invariants) eine neu Basis für die Entwicklung automatischer Methoden für die Verifikation von Liveness-Eigenschaften bereitstellen können. Wir unterstützen diese These wie folgt. Wir führen einen neuen Typ von Hilfsaussagen ein, der als Transitionsinvariante bezeichnet wird. Wir benutzen Transitionsinvariante, um eine Beweisregel für die Verifikation von Liveness-Eigenschaften zu entwickeln.Wir stellen einen praktikablen Ansatz für die Synthese von Transitionsinvarianten basierend auf der abstrakten Interpretation vor und automatisieren dadurch die Beweisregel. Zu diesem Zweck führen wir eine Transitionsprädikaten-Abstraktion (engl.: transition predicate abstraction) ein. Diese Abstraktion ist nicht darauf beschränkt, nur Safety-Eigenschaften erhalten zu können. Die meisten Liveness-Eigenschaften nebenläufiger Programme gelten nur unter bestimmten Annahmen bzgl. der nicht-deterministischen Wahl, die bei den Programmberechnungen getroffen wird. Diese Annahmen sind als Fairness-Anforderungen bekannt und deren direkte Berücksichtigung in einer Beweisregel ist wünschenswert. Wir spezialisieren unsere Beweisregel für die direkte Behandlung von zwei verbreiteten Arten von Fairness-Spezifikationen. Zum einem berücksichtigen wir die Fairness-Anforderungen an Programmübergänge durch abstrakte Transitionsprogramme (engl.: abstract-transition programs). Zum anderen werden die durch Zustandsmengen angegebenen Fairness-Anforderungen mit Hilfe von markierten Transitionsinvarianten (engl.: labeled transition invariants) behandelt. Wir haben eine Basis für die Entwicklung automatischer Werkzeuge bereitgestellt, die beweisen können, dass ein Programm nicht schadet und dass das Programm etwas Gutes bewirkt. Solche Beweise stärken unsere Überzeugung darin, dass das Programm korrekt funktionieren wird.