If payoffs are tickets for binary lotteries, which involve only two money prizes, then rationality requires expected value maximization in tickets. This payoff scheme was increasingly used to induce risk neutrality in experiments. The experiment presented here involved lottery choice and evaluation tasks. One subject group was paid in binary lottery tickets, another directly in money. Significantly greater deviations from risk neutral behavior are observed with binary lottery payoffs. This discrepancy increases when subjects have easy access to the alternatives' expected (...) values and mean absolute deviations. Behavioral regularities are observed at least as often as with direct money payoffs. (shrink)

In this paper I want to deal with game theory, experience and rationality, and I will try to put these into historical perspective.

The order of stages in a multistage game is often interpreted by looking at earlier stages as involving more long term decisions. For the purpose of making this interpretation precise, the notion of a delay supergame of a bounded multistage game is introduced. A multistage game is bounded if the length of play has an upper bound. A delay supergame is played over many periods. Decisions on all stages are made simultaneously, but with different delays until they become effective. The (...) earlier the stage the longer the delay. A subgame perfect equilibrium of a bounded multistage game generates a subgame perfect equilibrium in every one of its delay supergames. This is the first main conclusion of the paper. A subgame perfect equilibrium set is a set of subgame perfect equilibria all of which yield the same payoffs, not only in the game as a whole, but also in each of its subgames. The second xmain conclusion concerns multistage games with a unique subgame perfect equilibrium set and their delay supergames which are bounded in the sense that the number of periods is finite. If a bounded multistage game has a unique subgame perfect equilibrium set, then the same is true for every one of its bounded delay supergames. Finally the descriptive relevance of multistage game models and their subgame perfect equilibria is discussed in the light of the results obtained. (shrink)

The paper re-expresses arguments against the normative validity of expected utility theory in Robin Pope (1983, 1991a, 1991b, 1985, 1995, 2000, 2001, 2005, 2006, 2007). These concern the neglect of the evolving stages of knowledge ahead (stages of what the future will bring). Such evolution is fundamental to an experience of risk, yet not consistently incorporated even in axiomatised temporal versions of expected utility. Its neglect entails a disregard of emotional and financial effects on well-being before a particular risk is (...) resolved. These arguments are complemented with an analysis of the essential uniqueness property in the context of temporal and atemporal expected utility theory and a proof of the absence of a limit property natural in an axiomatised approach to temporal expected utility theory. Problems of the time structure of risk are investigated in a simple temporal framework restricted to a subclass of temporal lotteries in the sense of David Kreps and Evan Porteus (1978). This subclass is narrow but wide enough to discuss basic issues. It will be shown that there are serious objections against the modification of expected utility theory axiomatised by Kreps and Porteus (1978, 1979). By contrast the umbrella theory proffered by Pope that she has now termed SKAT, the Stages of Knowledge Ahead Theory, offers an epistemically consistent framework within which to construct particular models to deal with particular decision situations. A model by Caplin and Leahy (2001) will also be discussed and contrasted with the modelling within SKAT (Pope, Leopold and Leitner 2007). (shrink)

ZusammenfassungEine Analyse empirisch ausgerichteter Beiträge zu sportsoziologischen Themen und Fragestellungen in der vorliegenden Zeitschrift zeigt, dass gängige sozialwissenschaftliche Erklärungsmodelle bzw. Erklärungsansätze selten zum Einsatz gelangen. Es dominiert meist eine beschreibende und verstehende Methodologie. Dies führt u. a. zu einem Defizit von Erklärungswissen und in Folge wohl auch zu einer verlangsamten Theoriefundierung innerhalb der Sportsoziologie. Um die „erklärende Soziologie“ zu forcieren, werden die aktuell in der Soziologie detailreich und auch kontrovers diskutierten methodischen Erklärungsmodelle und Ansätze einschließlich ihrer Voraussetzungsbedingungen skizzierend dargestellt. (...) Dies geschieht in der Hoffnung, die methodologische Anwendungslücke zu minimieren, da eine auf Erkenntniszuwächse ausgerichtete Sportsoziologie nicht auf eine kriterienorientierte Methodologie verzichten sollte. (shrink)

_Heidegger's Hidden Sources_ documents for the first time Heidegger's remarkable debt to East Asian philosophy. In this groundbreaking study, Reinhard May shows conclusively that Martin Heidegger borrowed some of the major ideas of his philosophy - on occasion almost word for word - from German translations of Chinese Daoist and Zen Buddhist classics. The discovery of this astonishing appropriation of non-Western sources will have important consequences for future interpretations of Heidegger's work. Moreover, it shows Heidegger as a pioneer of (...) comparative philosophy and transcultural thinking. (shrink)

_Heidegger's Hidden Sources_ documents for the first time Heidegger's remarkable debt to East Asian philosophy. In this groundbreaking study, Reinhard May shows conclusively that Martin Heidegger borrowed some of the major ideas of his philosophy - on occasion almost word for word - from German translations of Chinese Daoist and Zen Buddhist classics. The discovery of this astonishing appropriation of non-Western sources will have important consequences for future interpretations of Heidegger's work. Moreover, it shows Heidegger as a pioneer of (...) comparative philosophy and transcultural thinking. (shrink)

Die gängige Unterscheidung zwischen 'Modellen von etwas' und 'Modellen für etwas' basiert weitgehend auf der Zuordnung der einen zu den Wissenschaften, der anderen zu den Künsten und den entwerfenden Disziplinen. Diese Aufteilung hält einer näheren Untersuchung nicht Stand. Zudem hat sie die Einsicht vereitelt, dass und wie Forschen und Entwerfen im Modell ineinander verflochten sind.

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

English summary: The wide-ranging work of Ernst Fraenkel lead to the foundation of postwar political science. In his role as "American in Berlin," Fraenkel helped shape the foundation of modern comparative government theory. Fraenkel's impressive, and in retrospect exemplary, biography, from being a Jewish labor lawyer in the Third Reich to an emigrant to the United States, allowed for him to be described as a commanding figure of the young field of political science of the Adenauer era. Reinhard Dorn (...) illuminates Fraenkel's integrative state and constitutional understanding in two parts. In the first section, he presents foundations and individual components of constitutional-sociological thought, whereby he focuses particular attention on sociological and policy-sociological aspects. The second section documents the performance range of Fraenkel's constitution sociology by comparing Anglo-American and continental European constitutional thinking with its respective constitutional reality, all based on his own interdisciplinary analysis. German text. German description: Die Beschaftigung mit dem breit gefacherten Werk von Ernst Fraenkel fuehrt zu den Grundlagen der Nachkriegs-Politikwissenschaft. In seiner Rolle als Amerikaner in Berlin hat Fraenkel das Fundament der modernen vergleichenden Regierungslehre mitgestaltet. Dabei hat Fraenkels beeindruckende und im Rueckblick exemplarisch wirkende Biographie vom juedischen Arbeitsrechtler und Rechtsanwalt im Dritten Reich ueber den Emigranten in die USA zur Portalfigur der jungen Politikwissenschaft der Adenauer-Ara seine Verfassungsvergleiche erst ermoglicht.In zwei Teilen beleuchtet Reinhard Dorn Fraenkels integratives Staats- und Verfassungsverstandnis: Im ersten Abschnitt stellt er Grundlagen und einzelne Bestandteile seines verfassungssoziologischen Denkens dar, wobei er insbesondere auf soziologische und politiksoziologische Aspekte eingeht. Der zweite Abschnitt dokumentiert die Leistungsbreite von Fraenkels Verfassungssoziologie, indem - ausgehend von dessen eigenen interdisziplinaren Analysen - angloamerikanisches und kontinentaleuropaisches Verfassungsdenken der jeweiligen Verfassungsrealitat gegenuebergestellt wird. (shrink)

Measurement instruments assessing multiple emotions during epistemic activities are largely lacking. We describe the construction and validation of the Epistemically-Related Emotion Scales, which measure surprise, curiosity, enjoyment, confusion, anxiety, frustration, and boredom occurring during epistemic cognitive activities. The instrument was tested in a multinational study of emotions during learning from conflicting texts. The findings document the reliability, internal validity, and external validity of the instrument. A seven-factor model best fit the data, suggesting that epistemically-related emotions should be conceptualised in terms (...) of discrete emotion categories, and the scales showed metric invariance across the North American and German samples. Furthermore, emotion scores changed over time as a function of conflicting task information and related significantly to perceived task value and use of cognitive and metacognitive learning strategies. (shrink)

In many of his writings Russell developed a theory of time, highly interesting both from a philosophical and from a logical point of view. Strangely enough, this has not acquired general attention. The most important relational properties of the duration and points of time will be presented. In addition, Russell's considerations on the existence and density of time points will be critically analysed and systematically reconstructed. A. G. Walker's explication of the concept of time point is unlike that of Russell. (...) His theory of time reflects the Dedekindian concept of cut. Walker's constructions will be modified in a suitable way and supplemented so that it becomes possible to prove the continuity of the temporal series. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

This book radically simplifies Montague Semantics and generalizes the theory by basing it on a partial higher order logic. The resulting theory is a synthesis of Montague Semantics and Situation Semantics. In the late sixties Richard Montague developed the revolutionary idea that we can understand the concept of meaning in ordinary languages much in the same way as we understand the semantics of logical languages. Unfortunately, however, he formalized his idea in an unnecessarily complex way - two outstanding researchers in (...) the field even compared his work to a `Rube Goldberg machine.' Muskens' work does away with such unnecessary complexities, obtains a streamlined version of the theory, shows how partialising the theory automatically provides us with the most central concepts of Situation Semantics, and offers a simple logical treatment of propositional attitude verbs, perception verbs and proper names. (shrink)

In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the right (...) set-up is chosen. Our logic L4 has a semantics that also underlies Belnap’s [4] and is related to the logic of bilattices. L4 is in focus most of the time, but it is also shown how results obtained for L4 can be transferred to several variants. (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 paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...) somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

We explore the different meanings of “quantum uncertainty” contained in Heisenberg’s seminal paper from 1927, and also some of the precise definitions that were developed later. We recount the controversy about “Anschaulichkeit”, visualizability of the theory, which Heisenberg claims to resolve. Moreover, we consider Heisenberg’s programme of operational analysis of concepts, in which he sees himself as following Einstein. Heisenberg’s work is marked by the tensions between semiclassical arguments and the emerging modern quantum theory, between intuition and rigour, and between (...) shaky arguments and overarching claims. Nevertheless, the main message can be taken into the new quantum theory, and can be brought into the form of general theorems. They come in two kinds, not distinguished by Heisenberg. These are, on one hand, constraints on preparations, like the usual textbook uncertainty relation, and, on the other, constraints on joint measurability, including trade-offs between accuracy and disturbance. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...) comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

Sustainable development (SD) – that is, “Development that meets the needs of current generations without compromising the ability of future generations to meet their needs and aspirations” – can be pursued in many different ways. Stakeholder relations management (SRM) is one such way, through which corporations are confronted with economic, social, and environmental stakeholder claims. This paper lays the groundwork for an empirical analysis of the question of how far SD can be achieved through SRM. It describes the so-called SD–SRM (...) perspective as a distinctive research approach and shows how it relates to the wider body of stakeholder theory. Next, the concept of SD is operationalized for the microeconomic level with reference to important documents. Based on the ensuing SD framework, it is shown how SD and SRM relate to each other, and how the two concepts relate to other popular concepts such as Corporate Sustainability and Corporate Social Responsibility. The paper concludes that the significance of societal guiding models such as SD and of management approaches like CSR is strongly dependent on their footing in society. (shrink)

We consider several puzzles of bounded rationality. These include the Allais- and Ellsberg paradox, the disjunction effect, and related puzzles. We argue that the present account of quantum cognition—taking quantum probabilities rather than classical probabilities—can give a more systematic description of these puzzles than the alternate treatments in the traditional frameworks of bounded rationality. Unfortunately, the quantum probabilistic treatment does not always provide a deeper understanding and a true explanation of these puzzles. One reason is that quantum approaches introduce additional (...) parameters which possibly can be fitted to empirical data but which do not necessarily explain them. Hence, the phenomenological research has to be augmented by responding to deeper foundational issues. In this article, we make the general distinction between foundational and phenomenological research programs, explaining the foundational issue of quantum cognition from the perspective of operational realism. This framework is motivated by assuming partial Boolean algebras. They are combined into a uniform system via a mechanism preventing the simultaneous realization of perspectives. Gleason’s theorem then automatically leads to a distinction between probabilities that are defined by pure states and probabilities arising from the statistical mixture of pure states. This formal distinction relates to the conceptual distinction between risk and ignorance. Another outcome identifies quantum aspects in dynamic macro-systems using the framework of symbolic dynamics. Finally, we discuss several ideas that are useful for justifying complementarity in cognitive systems. (shrink)

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies thatgrammatical (...) object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (shrink)

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies thatgrammatical (...) object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (shrink)

Taking the lead from orthodox quantum theory, I will introduce a handy generalization of the Boolean approach to propositions and questions: the orthoalgebraic framework. I will demonstrate that this formalism relates to a formal theory of questions (or ‘observables’ in the physicist’s jargon). This theory allows formulating attitude questions, which normally are non-commuting, i.e., the ordering of the questions affects the answer behavior of attitude questions. Further, it allows the expression of conditional questions such as “If Mary reads the book, (...) will she recommend it to Peter?”, and thus gives the framework the semantic power of raising issues and being informative at the same time. In the case of commuting observables, there are close similarities between the orthoalgebraic approach to questions and the Jäger/Hulstijn approach to question semantics. However, there are also differences between the two approaches even in case of commuting observables. The main difference is that the Jäger/Hulstijn approach relates to a partition theory of questions whereas the orthoalgebraic approach relates to a ‘decorated’ partition theory (i.e. the elements of the partition are decorated by certain semantic values). Surprisingly, the orthoalgebraic approach is able to overcome most of the difficulties of the Jäger/Hulstijn approach. Furthermore, the general approach is suitable to describe the different types of (non-commutative) attitude questions as investigated in modern survey research. Concluding, I will suggest that an active dialogue between the traditional model-theoretic approaches to semantics and the orthoalgebraic paradigm is mandatory. (shrink)

Non-therapeutic circumcision violates boys’ right to bodily integrity as well as to self-determination. There is neither any verifiable medical advantage connected with the intervention nor is it painless nor without significant risks. Possible negative consequences for the psychosexual development of circumcised boys (due to substantial loss of highly erogenous tissue) have not yet been sufficiently explored, but appear to ensue in a significant number of cases. According to standard legal criteria, these considerations would normally entail that the operation be deemed (...) an ‘impermissible risk’—neither justifiable on grounds of parental rights nor of religious liberty: as with any other freedom right, these end where another person's body begins. Nevertheless, after a resounding decision by a Cologne district court that non-therapeutic circumcision constitutes bodily assault, the German legislature responded by enacting a new statute expressly designed to permit male circumcision even outside of medical settings. We first criticise the normative foundations upon which such a legal concession seems to rest, and then analyse two major flaws in the new German law which we consider emblematic of the difficulty that any legal attempt to protect medically irrelevant genital cutting is bound to face. (shrink)