In his Complaint of Peace, the great sixteenth-century humanist Erasmus allows "Peace" to talk. Peace speaks as a plaintiff, protesting her shabby treatment at the hands of humankind and our ever-ready inclination to launch wars. Against this lure of warfare, Erasmus pits the higher task of peace-building, which can only succeed through the cultivation of justice and respect for all human life. First articulated in 1517, the complaint of peace has echoed through subsequent centuries and down to our age--an age (...) convulsed by world wars, holocausts, and ethnic cleansings. Distinguished political scientist Fred Dallmayr traces this complaint from the writings of Erasmus through the evolution of the "law of nations" to recent and contemporary co-plaintiffs in the West. He also highlights the role of non-Western thinkers and teachings in giving voice to "Peace." In addition to Erasmus, Dallmayr engages major thinkers such as Francisco de Vitoria, Hugo Grotius, Immanuel Kant, Hannah Arendt, Martin Heidegger, Mahatma Ghandi, the Dalai Lama, John Rawls, and Martha Nussbaum. This timely book urgently pleads for greater attentiveness to peace's complaint as an antidote to the prevailing culture of violence and the escalating danger of nuclear catastrophe. Dallmayr offers not only a compelling historical narrative, but powerful ethical and religious arguments vindicating the primacy of peace over violence and war. (shrink)

Globalization is often seen as a process of universal standardization under the auspices of market economics, technology, and hegemonic power. Resisting this process without endorsing parochial self-enclosure, Fred Dallmayr explores alternative visions that are rooted in distinct vernacular traditions and facilitate cross-cultural learning in an open-ended global arena.

This book provides an in-depth view of the current issues, problems and approaches in the computation of meaning as expressed in language. Aimed at linguists, computer scientists, and logicians with an interest in the computation of meaning, this book focuses on two main topics in recent research in computational semantics. The first topic is the definition and use of underspecified semantic representations, i.e. formal structures that represent part of the meaning of a linguistic object while leaving other parts unspecified. The (...) second topic discussed is semantic annotation. Annotated corpora have become an indispensable resource both for linguists and for developers of language and speech technology, especially when used in combination with machine learning methods. The annotation in corpora has only marginally addressed semantic information, however, since semantic annotation methodologies are still in their infancy. This book discusses the development and application of such methodologies. (shrink)

The effects of utterances such as cue phrases, keep-turn markers, and grounding signals cannot be characterized as changes to a shared record of the propositions under discussed: the simplest (and arguably most natural) way of characterizing the meaning of these utterances is in terms of a theory in which the conversational score is seen as a record of the discourse situation, or at least of the speech acts that have been performed. The problem then becomes to explain how discourse entities (...) are accessible. We consider three hypotheses about the dynamics of a speech act-based theory of the conversational score, and argue that they could be implemented with relatively minor modifications to the technical tools already introduced in theories such as Compositional DRT. (shrink)

"Each nation can do well, as in the life of individuals, only if things go equally well in all of her neighboring nations; the life of sciences is similar to that of states whose interest demands that everything be in order within individual states as properly as their relations be in good order among themselves. Understanding this correctly, the most important carriers of mathematical thoughts have always shown great interest in the law and order in neighboring sciences and, above all (...) for the benefit of mathematics, have cultivated the relations to the neighboring sciences, in particular to physics and epistemology. The essence of these relations and the ground of their fertility will be made most distinct, I believe, if I sketch to you that general method of inquiry which appears to grow more and more significant in modern mathematics; the axiomatic method, I mean." (David Hilbert, 1917). (shrink)

Diese großangelegte Studie, die überarbeitete Fassung einer von der Berliner Humboldt-Universität 1994 angenommenen Habilitationsschrift, behandelt das Phänomen der mystischen Erfahrung in der Philosophie.

We define the term \a set T of sentential-logical formulae grounds a sentential-logical formula A from a syntactic point of view\ in such a way that A is a syntactic sentential-logical consequence of T, and specific additional syntactic requirements regarding T and A are fulfilled. These additional requirements are developed strictly within the syntactics of sentential-logical languages, the three most important being new, namely: to be atomically minimal, to be minimal in degree, and not to be conjunction-like. Our approach is (...) independent of any specific sentential-logical calculus. (shrink)

ArgumentIn the decade between 1983 and 1993, Herbert Mehrtens in West Berlin and I in East Berlin communicated closely about our parallel work on mathematics under the National Socialist (NS) regime. For a short period (1988–89), we worked on a joint book on this topic. We agreed that the book should be based primarily on empirical historical material, using a theoretical approach largely guided by Mehrtens’ work on social systems in mathematics (Mehrtens1981, 1987a). However, parallel work for his habilitation thesis (...) on modernity in mathematics increasingly captivated Mehrtens’ interests. This, together with ongoing resistance among older mathematicians and the insecurities of our individual careers during times of considerable political change, particularly in East Germany, led to the failure of our joint project.This paper aims at reconstructing—mostly by drawing on correspondence—parts of the dialogue between Mehrtens and me at the time. Our dialogue was influenced by our different upbringing and socialization in the two parts of Germany, and by different, though complementary, views about the combination of empirical and theoretical approaches to the historiography of mathematics.In the epilogue, I describe how my later work in the decades from the 1990s on the history of mathematics profited much from Mehrtens’ early theoretical and empirical work but was less influenced by his book on modernity. That later work of mine was, however, mostly done at a time when Mehrtens had largely left the field and considered himself increasingly as a “cultural scientist” (Kulturwissenschaftler). (shrink)

This paper is divided into a surveying and argumentative part and a slightly longer documentary part, which is meant to verify or at least make more plausible claims made in the first part. The first part deals in broad outline with the relationship of Frank and von Mises to the Vienna Circle of Logical Empiricism on the one hand and to the physicists and mathematicians in the German-speaking world on the other. The varying special positions, partly the non-conformity of the (...) two Austrian scientists are emphasized, in particular, their adherence to Ernst Mach’s epistemology and their shared interest in probability theory and applied mathematics. The impact of emigration and the after-effects in the U.S. are discussed. This leads to new insights into the fine structure of the Vienna Circle and the latter’s relationship to German academia within ‘Weimar Culture’. P. Forman’s interpretation (1971) of von Mises’ position is critically discussed. The second, documentary part, uses recently discovered correspondence between Frank and von Mises, and, to a lesser extent, von Mises’ personal diary. It aims at further substantiating some of the introductory theses and will at the same time provide material for a thorough biographical appreciation of the two scholars and friends. (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)

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.

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)

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)

In der Reihe werden herausragende monographische Interpretationen von Nietzsches Werk im Ganzen oder von spezifischen Themen und Aspekten aus unterschiedlichen wissenschaftlichen Perspektiven veröffentlicht, vor allem aus philosophischer, literatur- und kommunikationswissenschaftlicher, soziologischer und historischer Sicht. Die Publikationen repräsentieren den aktuellen Stand. Jeder Band ist peer-reviewed.

This paper develops a semantics for a fragment of English that is based on the idea of `impossible possible worlds'. This idea has earlier been formulated by authors such as Montague, Cresswell, Hintikka, and Rantala, but the present set-up shows how it can be formalized in a completely unproblematic logic---the ordinary classical theory of types. The theory is put to use in an account of propositional attitudes that is `hyperfine-grained', i.e. that does not suffer from the well-known problems involved with (...) replacing expressions by logical equivalents. (shrink)

In this note, we review paradoxes like Russell’s, the Liar, and Curry’s in the context of intuitionistic logic. One may observe that one cannot blame the underlying logic for the paradoxes, but has to take into account the particular concept formations. For proof-theoretic semantics, however, this comes with the challenge to block some forms of direct axiomatizations of the Liar. A proper answer to this challenge might be given by Schroeder-Heister’s definitional freedom.

Recent publications (Henrich, Seeberg) claim that Kant has been profoundly influenced by contemporary publications on juridical deductions. I try to show, that this cannot be right. The introductory note of the “Transcendental Deduction” (Critique of Pure Reason A 84) poses two questions: “quid facti?” and “quid juris?”. The first is answered by the demonstration of the possibility of relations between pure concepts and pure intuition und sensations, the second by the implicit refutation of David Hume. Kant and his interpreters sustain (...) the possibility of using juridical concepts, that are neither related to real juridical facts nor are only metaphers, but have a special philosophical signification. But what should that be? (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.