The aim of this paper is to clarify the notion of shared emotion. After contextualizing this notion within the broader research landscape on collective affective intentionality, I suggest that we reserve the term shared emotion to an affective experience that is phenomenologically and functionally ours: we experience it together as our emotion, and it is also constitutively not mine and yours, but ours. I focus on the three approaches that have dominated the philosophical discussion on shared emotions: cognitivist accounts, concern-based (...) accounts, and phenomenological fusion accounts. After identifying strengths and weaknesses of these approaches and summarizing the elements that a multifaceted theory of shared emotions requires, I turn to the work of the early phenomenologist Edith Stein to further advance an approach to shared emotions that combines the main strengths of Helm and Salmela’s concern-based accounts and Schmid’s phenomenological fusion account. According to this proposal, the sharedness of a shared emotion cannot be located in one element, but rather consists in a complex of interrelated features. (shrink)

In this article we discuss the notion of a linguistic universal, and possible sources of such invariant properties of natural languages. In the first part, we explore the conceptual issues that arise. In the second part of the paper, we focus on the explanatory potential of horizontal evolution. We particularly focus on two case studies, concerning Zipf's Law and universal properties of color terms, respectively. We show how computer simulations can be employed to study the large scale, emergent, consequences of (...) psychologically and psychologically motivated assumptions about the working of horizontal language transmission. (shrink)

This edited volume offers a new approach to understanding social conventions by way of Martin Heidegger. It connects the philosopher's conceptions of the anyone, everydayness, and authenticity with an analysis and critique of social normativity. Heidegger’s account of the anyone is ambiguous. Some see it as a good description of human sociality, others think of it as an important critique of modern mass society. This volume seeks to understand this ambiguity as reflecting the tension between the constitutive function of conventions (...) for human action and the critical aspects of conformism. It argues that Heidegger’s anyone should neither be reduced to its pejorative nor its constitutive dimension. Rather, the concept could show how power and norms function. This volume would be of interest to scholars and students of philosophy and the social sciences who wish to investigate the social applications of the works of Martin Heidegger. (shrink)

We study and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the realm of traditional set theory and introduce a new and interesting extension of which is conservative over.

In this paper we study applicative theories of operations and numbers with the non-constructive minimum operator in the context of a total application operation. We determine the proof-theoretic strength of such theories by relating them to well-known systems like Peano Arithmetic PA and the system <0 of second order arithmetic. Essential use will be made of so-called fixed-point theories with ordinals, certain infinitary term models and Church-Rosser properties.

An important finding of the game theoretic research on signaling games is the insight that under many circumstances, a signal obtains credibility by incurring costs to the sender. Therefore it seems questionable whether or not cheap talk—signals that are not payoff relevant—can serve to transmit information among rational agents. This issue is non-trivial in strategic interactions where the preferences of the players are not aligned. Researchers like Crawford & Sobel, Rabin, and Farrell demonstrated, however, that even in the case of (...) partially divergent interests, cheap talk may be informative. They assume that signals have an exogenously given meaning that is common knowledge between the players, and they explore the conditions under which such a signal is credible. This discussion has obvious relevance to the program of Gricean pragmatics in linguistics. According to Grice’s "Cooperative Principle”, this research tradition only considers scenarios where the interests of the players are aligned. Nevertheless, the assumption of differential signaling costs introduces an element of non-aligned interests. The present paper proposes a framework that combines these two research strands. Using an inference protocol of iterated best response, it gives a recipe for how the interlocutors derive rationalizable strategies from exogeneously given "literal” meanings of signals. No special assumptions about the alignment of interests or signaling costs are made. After introducing the formal model, the paper sketches several applications of this model to problems in linguistic pragmatics, like scalar implicatures, the division of pragmatic labor, and the interpretation of measure terms. (shrink)

We study the extension of Feferman’s operational set theory provided by adding operational versions of unbounded existential quantification and power set and determine its proof-theoretic strength in terms of a suitable theory of sets and classes.

In this paper, we discuss some formal properties of the model ofbidirectional Optimality Theory that was developed inBlutner (2000). We investigate the conditions under whichbidirectional optimization is a well-defined notion, and we give aconceptually simpler reformulation of Blutner's definition. In thesecond part of the paper, we show that bidirectional optimization can bemodeled by means of finite state techniques. There we rely heavily onthe related work of Frank and Satta (1998) about unidirectionaloptimization.

Wer hat sich nicht schon gefragt, was es mit unseren moralischen Überzeugungen auf sich hat: Spiegeln diese die Wahrheit in Sachen Moral wieder? Gibt es eine solche Wahrheit überhaupt? Oder sind moralische Überzeugungen eher das Produkt unserer Interessen und Neigungen, Ausdruck unserer Wünsche oder Mittel der Machtausübung, das bloße Ergebnis unserer Erziehung, unseres sozialen Umfelds oder gar eine List der Evolution? Ist es eine Illusion, wenn man glaubt, echte moralische Erkenntnisse gewinnen zu können? Kurzum: Kann die Moral Objektivität beanspruchen? Die (...) vorliegende Arbeit versucht, eine Antwort auf diese zentrale Frage der Metaethik zu geben. Dazu wird zunächst gezeigt, dass uns der Status der Moral ein Rätsel ist, weil wir dazu neigen, drei Thesen für wahr zu halten, die nicht zugleich wahr sein können. Die drei prinzipiell möglichen Strategien zur Auflösung dieses Trilemmas geraten jedoch in Schwierigkeiten, weil es bisher nicht gelungen ist, ein passendes Vergleichsobjekt für die Moral zu finden. In dieser Arbeit wird dafür argumentiert, dass die Moral in genau der gleichen Weise wie die Wissenschaft Objektivität beanspruchen kann. (shrink)

ArgumentAccording to Hermann von Helmholtz, free mobility of bodies seemed to be an essential condition of geometry. This free mobility can be interpreted either as matter of fact, as a convention, or as a precondition making measurements in geometry possible. Since Henri Poincaré defined conventions as principles guided by experience, the question arises in which sense experiential data can serve as the basis for the constitution of geometry. Helmholtz considered muscular activity to be the basis on which the form of (...) space could be construed. Yet, due to the problem of illusion inherent in the subject’s self-assessment of muscular activity, this solution yielded new difficulties, in that if the manifold is abstracted from rigid bodies which serve as empirical justification of the geometrical notion of space, then illusionary bodies will produce fictive manifolds. The present article is meant to disentangle these difficulties. (shrink)

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

We show that the principle of ω model reflection for Π1n − 1 formulas is equivalent over ACA0 to the scheme of Π1n bar induction. This extends and refines previous results of Friedman and Simpson.

We give a broad discussion of reflection principles in explicit mathematics, thereby addressing various kinds of universe existence principles. The proof-theoretic strength of the relevant systems of explicit mathematics is couched in terms of suitable extensions of Kripke–Platek set theory.

__In this paper I investigate unification as a virtue of explanation. I the first part of the paper I give a brief exposition of the unification account of Schurz and Lambert and Schurz. I illustrate the advantages of this account in comparison to the older unification accounts of Friedman and Kitcher. In the second part I discuss several comments and objections to the Schurz-Lambert account that were raised by Weber and van Dyck, Gijsberg and de Regt. In the third and (...) final part, I argue that explanation should be understood as a prototype concept which contains nomic expectability, causality and unification as prototypical virtues of explanations, although none of these virtues provides a sufficient and necessary "defining condition" of explanation. (shrink)

In this article we introduce and study the notion of operational closure: a transitive set d is called operationally closed iff it contains all constants of OST and any operation f∈d applied to an element a∈d yields an element fa∈d, provided that f applied to a has a value at all. We will show that there is a direct relationship between operational closure and stability in the sense that operationally closed sets behave like Σ1 substructures of the universe. This leads (...) to our final result that OST plus the axiom , claiming that any set is element of an operationally closed set, is proof-theoretically equivalent to the system KP+ of Kripke–Platek set theory with infinity and Σ1 separation. We also characterize the system OST plus the existence of one operationally closed set in terms of Kripke–Platek set theory with infinity and a parameter-free version of Σ1 separation. (shrink)

Buchholz’s Ω μ+1-rules provide a major tool for the proof-theoretic analysis of arithmetical inductive definitions. The aim of this paper is to put this approach into the new context of modal fixed point logic. We introduce a deductive system based on an Ω-rule tailored for modal fixed point logic and develop the basic techniques for establishing soundness and completeness of the corresponding system. In the concluding section we prove a cut elimination and collapsing result similar to that of Buchholz (Iterated (...) inductive definitions and subsystems of analysis: recent proof theoretic studies. Lecture notes in mathematics, vol. 897, pp. 189–233, Springer, Berlin, 1981). (shrink)

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.