Refine
Year of publication
- 2010 (84) (remove)
Document Type
- Working Paper (84) (remove)
Has Fulltext
- yes (84)
Is part of the Bibliography
- no (84) (remove)
Keywords
- Film (4)
- Formale Semantik (4)
- Argumentationstheorie (3)
- Finanzkrise (3)
- Internetsprache (3)
- Logik (3)
- Normative Ordnungen (3)
- Verifikation (3)
- Asset Allocation (2)
- Außenpolitik (2)
Institute
- Center for Financial Studies (CFS) (29)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (12)
- Institute for Law and Finance (ILF) (11)
- Informatik (6)
- Institute for Monetary and Financial Stability (IMFS) (6)
- Extern (4)
- Wirtschaftswissenschaften (4)
- Gesellschaftswissenschaften (3)
- Institut für sozial-ökologische Forschung (ISOE) (2)
- Medizin (2)
The interactive verification system VeriFun is based on a polymorphic call-by-value functional language and on a first-order logic with initial model semantics w.r.t. constructors. This paper provides a reconstruction of the corresponding logic when partial functions are permitted. Typing is polymorphic for the definition of functions but monomorphic for terms in formulas. Equality of terms is defined as contextual equivalence based on observing termination in all contexts. The reconstruction also allows several generalizations of the functional language like mutual recursive functions and abstractions in the data values. The main results are: Correctness of several program transformations for all extensions of a program, which have a potential usage in a deduction system. We also proved that universally quantified equations are conservative, i.e. if a universally quantified equation is valid w.r.t. a program P, then it remains valid if the program is extended by new functions and/or new data types.
All of the papers in the volume except one (Kaji) take up some aspect of relative clause construction in some Bantu language. Kaji’s paper aims to account for how Tooro (J12; western Uganda) lost phonological tone through a comparative study of the tone systems of other western Uganda Bantu languages. The other papers examine a range of ways of forming relative clauses, often including non-restrictive relatives and clefts, in a wide range of languages representing a variety of prosodic systems.
Improvements in water infrastructure in developing countries are of major importance for achieving access to clean water. CuveWaters, a research based IWRM project, currently underway in Namibia, is testing different technical options to de-centralise water supply and upgrade sanitation. The Cuvelai Basin is affected by highly variable precipitation, mostly saline groundwater and a lack of perennial rivers. Water management is characterised by strong dependency on a water pipeline. Finding ways to improve the situation calls for a good grasp of the local situation regarding water utilisation patterns. Technologically sophisticated concepts can easily clash with users’ socio-cultural needs and everyday behaviour as well as their understanding of planning and maintenance. A demand-responsive approach has therefore been developed. It combines a qualitative socio-empirical perspective with participatory planning. This paper discusses method development, empirical application and results. The approaches aim is to support mutual learning as a basis for a sustainable change process.
In den Jahren 2006-2007 wurde die epiphytische Flechtenflora im Nordbezirk Moskaus erneut untersucht, um sie mit den Ergebnissen aus den Untersuchungen der Jahre 1988-1991 zu vergleichen. Statt 18 konnten nun 55 Flechtenarten nachgewiesen werden. Als Hauptursache für diese Zunahme wird die erhöhte Eutrophierung der Standorte angenommen.
Das Diskussionspapier versucht Dimensionen und Ausmaße von Ökonomisierungs- und Kommerzialisierungsprozessen in OECD-Gesundheitssystemen explorativ zu erörtern. Hierzu wird zunächst die Hypothese entwickelt, dass sich in den (meisten) OECD-Staaten eine hegemoniale gesundheitspolitische Strategie herausbildet, die als wettbewerbsbasierte Kostendämpfungspolitik bezeichnet wird. In der Folge werden die (mutmaßlichen) Auswirkungen von Ökonomisierungs- und Kommerzialisierungsprozessen diskutiert. Erstens wird beschrieben, wie die Monetarisierung der Arzt-Patienten-Beziehung zu einer Privatisierung des Gesundheitssystems führt. Zweitens wird die sich transformierende Arzt-Patienten-Beziehung als Dialektik von Demokratisierungs- und Ökonomisierungsprozessen dargestellt. Drittens beschäftigt sich der Beitrag mit Entwicklung einer neuen Gesundheitskultur, die die gesundheitliche Eigenverantwortung des Einzelnen betont, zugleich jedoch neuen Ausgrenzungs- und Stigmatisierungsprozessen den Weg zu ebnen droht. Abschließend wird ein in groben Zügen ein Forschungsprogramm umschrieben, welches Ökonomisierungs- und Kommerzialisierungsprozesse auf diesen drei Forschungsfeldern analytisch und bewertend unter die Lupe zu nehmen versucht.
The well-known proof of termination of reduction in simply typed calculi is adapted to a monomorphically typed lambda-calculus with case and constructors and recursive data types. The proof differs at several places from the standard proof. Perhaps it is useful and can be extended also to more complex calculi.
Im Rahmen einer Projektarbeit zum Thema Argumentationstheorie im WS 2008/09 haben sich die teilnehmenden Studentinnen und Studenten der Universität zu Köln das Ziel gesetzt, ca. 600 Kommentare zur Frage „Do smoking bans mean a cultural shift for Paris and Berlin?“ des „Have your say“-Forums der BBC auf ihre Argumentationsmuster hin zu analysieren. Die Ausgangsfrage im BBC-Forum richtete sich also nach dem „cultural shift“, also der kulturellen Veränderung, die das Rauchverbot in Kneipen und Cafés für die beiden Metropolen bedeuten könnte. Sehr bald ergab unsere Analyse jedoch, dass dies nicht die Frage war, die innerhalb der Kommentare im Zentrum der Aufmerksamkeit stand: Stattdessen wurde in erster Linie darüber diskutiert, wie das Rauchverbot generell – und zwar nicht nur in den beiden genannten Städten – bewertet werden sollte. Gut zwei Drittel der Beiträge bezogen klar Stellung für oder gegen ein Rauchverbot in der Gastronomie. Für unsere Analyse der Argumentationsmuster haben wir zum einen die klassischen argumentationstheoretisch relevanten Faktoren berücksichtigt wie Fallacies und verdeckte Prämissen. Hinzu kamen dann zwei weitere Arten von Parametern: erstens Faktoren, die in argumentationstheoretischen Abhandlungen eher nur am Rande berücksichtigt werden wie z.B. Evidenztyp und Überzeugungskraft, und zweitens Informationen, die speziell mit der Art des Diskussionsforums bzw. dem Inhalt der Diskussion zu tun haben, wie etwa Selbstauskünfte über das eigene Raucherverhalten.
Die vorliegende Arbeit geht hervor aus dem Hauptseminar „Argumentationstheorie“, das im Wintersemester 2008/09 am Institut für Linguistik der Universität zu Köln unter der Leitung von PD Dr. Leila Behrens abgehalten wurde. Ziel dieses Seminars war es, ausgehend von traditionellen Begriffen der Rhetorik, Dialektik und Logik, in die Terminologie sowie in zentrale Modelle der zeitgenössischen Argumentationsforschung einzuführen. Die dabei erworbenen Kenntnisse sollen im Folgenden bei der Analyse von Beiträgen eines Diskussionsforums im Internet angewendet werden. Hierbei handelt es sich um ein sogenanntes „newsforum“ der BBC mit dem Titel „Have Your Say“ (BBC 2008), in dem aktuelle Themen und Nachrichten von Internetnutzern weltweit diskutiert werden können. Im untersuchten Fall behandeln wir die Frage, wie mit der Unabhängigkeitserklärung des Kosovo vom 17. Februar 2008 umzugehen sei: „Should the world recognise an independent Kosovo?“ […]. Zu dieser Fragestellung wurden insgesamt 3195 Beiträge im Forum veröffentlicht, von denen hier 780 ausgewertet werden. Diese folgen chronologisch aufeinander und umfassen den Zeitraum zwischen 7:49 Uhr (mittlere Greenwich-Zeit) und 14:26 Uhr des 17. Februar 2008.
Dieses Arbeitspapier geht aus einem Hauptseminar zur Argumentationstheorie hervor, das [von Leila Behrens] im Wintersemester 2008/09 am Institut für Linguistik der Universität zu Köln gehalten [wurde]. In den beiden Arbeiten in diesem Band (Badtke et al. und Benning et al.) stellen die Studierenden dieses Hauptseminars die Ergebnisse vor, die sie (in zwei parallelen Projektgruppen mit unterschiedlichen Diskussionsgegenständen) bei der empirischen Analyse von Argumentationen in einem Internet-Forum gewonnen haben. Der Gegenstand der Diskussion betraf bei der einen Gruppe (Badtke et al.) die Unabhängigkeit des Kosovo, bei der anderen Gruppe (Benning et al.) die Einführung eines generellen Rauchverbots in europäischen Hauptstädten.