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)

Diagonalization is a transversal theme in Logic. In this work, it is shown that there exists a common origin of several diagonalization phenomena — paradoxes and Löb's Theorem. That common origin comprises a common reasoning and a common logical structure. We analyse the common structure from a philosophical point-of-view and we draw some conclusions.

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)

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)

The paper reproduces a hitherto unpublished report of 1902 by the mathematician of Göttingen, Felix Klein, to the Prussian ministry of education on his travels, in 1893 and 1896, to the United States. Introduction and commentary stress the relation of this document to the beginnings of German foreign cultural policy, in particular to the German-American professors' exchange program since 1905.

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)

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)

Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen’s original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer (...) science such as automated theorem proving and type theory. (shrink)

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 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.