Recent scholarship (Goodwin & Darley, 2008) on the meta-ethical debate between objectivism and relativism has found people to be mixed: they are objectivists about some issues, but relativists about others. The studies discussed here sought to explore this further. Study 1 explored whether giving people the ability to identify moral issues for themselves would reveal them to be more globally objectivist. Study 2 explored people's meta-ethical commitments more deeply, asking them to provide verbal explanations for their judgments. This revealed that (...) while people think they are relativists, this may not always be the case. The explanations people gave were sometimes rated by outside (blind) coders as being objective, even when given a relativist response. Nonetheless, people remained meta-ethical pluralists. Why this might be is discussed. (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)

Bd. 1. 1791-1794.--Bd. 2. 1793-1795.--Bd. 3.--1794-1796.--Bd. 4. 1797-1798.--Bd. 5. 1798-1799.--Bd. 6. 1799-1800.--Bd. 7. 1800-1801.--Bd. 8. 1801-1806.--Bd. 9. 1806-1807.--Bd. 10. 1808-1812.

The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.

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)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

Small wonder: finitude and its horizons -- The underside of modernity: Adorno, Heidegger, and Dussel -- Empire or cosmopolis: civilization at the crossroads -- Confronting empire: a tribute to Arundhati Roy -- Speaking truth to power: in memory of Edward Said -- Critical intellectuals in a global age: toward a global public sphere -- Social identity and creative praxis: hommage á Merleau-Ponty -- Nature and artifact: Gadamer on human health -- Borders or horizons?: an older debate revisited -- Empire and (...) faith: sacred non-sovereignty -- Appendix: A. The dignity of difference: a salute to Jonathan Sacks -- B. Religion and rationality: Habermas and the early Frankfurt school -- Nomolatry and fidelity: a response to Charles Taylor. (shrink)

Ambiguities in natural language can multiply so fast that no person or machine can be expected to process a text of even moderate length by enumerating all possible disambiguations. A sentence containing $n$ scope bearing elements which are freely permutable will have $n!$ readings, if there are no other, say lexical or syntactic, sources of ambiguity. A series of $m$ such sentences would lead to $(n!)^m$ possibilities. All in all the growth of possibilities will be so fast that generating readings (...) first and testing their acceptability afterwards will not be feasible. -/- This insight has led a series of researchers to adopt a level of representation at which ambiguities remain unresolved. The idea here is not to generate and test many possible interpretations but to first generate one `underspecified' representation which in a sense represents all its complete specifications and then use whatever information is available to further specify the result. -/- One central hypothesis in the paper will be that the relation between an underspecified representation and its full representations is not so much the relation between one structure and a set of other structures but is in fact the relation between a description (a set of logical sentences) and its models. (shrink)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

Es geht um Carnaps Konstitution der Qualitätsklassen (qual) mittels der Methode der Quasianalyse. Diese Konstitutionsmethode hat Carnap in seinem Werk Der logische Außau der Welt verwendet. Es wird gezeigt, daß Carnaps Qualitätsdefinition sowohl an technischen als auch an grundsätzlichen Mängeln scheitert. Des weiteren werden Verbesserungsvorschläge der Camapschen Methode, die von Brockhaus, Goodman, Moulines und Eberle gemacht worden sind, untersucht und als inadäquat nachgewiesen.

Mythen dienen der Bewaltigung praktischer gesellschaftlicher Probleme, sie bieten Anleitungen zum poietischen und praktisch-politischen Handeln - dies bildet das einigende Band der im vorliegenden Buch versammelten Beitrage. Aus dem Inhalt: Jan Assmann: Tod, Staat, Kosmos: Dimensionen des Mythos im Alten Agypten Stefan Breuer: Das Dritte Reich Michael Friedrich: Chinesische Mythen Bodo Guthmuller: Europa - Kontinent und antiker Mythos Joachim Heinzle: Unsterblicher Heldengesang. Die Nibelungen als nationaler Mythos der Deutschen Klaus Koch: Vom Mythos zum Monotheismus im alten Israel Jurgen Leonhardt/Katharina Krause: (...) Poesie und Bild: Die Actaeon-Geschichte in Ovids Metamorphosen. Stefan M. Maul: Altorientalische Schopfungsmythen Herfried Munkler: Der Antifaschismus als Grundungsmythos der DDR Reimar Schefold: Die mehrstimmige Botschaft: Manner- und Frauenperspektiven in indonesischen Mythen Renate Schlesier: Freuds Dionysos Arbogast Schmitt: Mythos bei Platon". (shrink)

In Good Jew, Bad Jew Steven Friedman argues that the meaning of anti-Semitism favoured by the Israeli government and its allies prioritises loyalty to the Israeli state over identification with the Jewish people. On this view, ‘good Jews’ are those who support the Israeli state, and ‘bad Jews’ are those who criticise Zionism. This framing reflects a discursive transition over decades linked to the desire to make Israel part of Europe politically and culturally. Not only has the Zionist version of (...) anti-Semitism inverted traditional notions of Jewishness but it has transformed ‘Jewishness’ from the ‘other’ to whiteness, to an ally of white supremacists. This racial embrace goes hand in glove with the brutal practice of colonial violence evident in Gaza. Friedman makes his case drawing on the work African scholars such as Biko, Fanon and Mamdani, Southern scholars such as Ashis Nandy, as well as established scholars of the North. (shrink)

Kant said that existence is not a predicate and Russell agreed, arguing that a sentence such as ‘The king of France exists’, which seems to attribute existence to the king of France, really has a logical form that is not reflected in the surface structure of the sentence at all. While the surface form of the sentence consists of a subject and a predicate, the underlying logical form, according to Russell, is the formula given in. This formula obviously has no (...) subjectpredicate form and in fact has no single constituent that corresponds to the verb phrase ‘exists’ in the surface sentence. ∃x∀y The importance of Russell’s analysis becomes clear when we consider ‘The king of France does not exist’. If this sentence would attribute non-existence to the king it should entail that there is someone who does not exist, just as ‘Mary doesn’t like bananas’ entails that there is someone who doesn’t like bananas. Thus the idea that all sentences have subject-predicate form has led some philosophers to the view that there are objects that lack existence. This embarrassing position can be avoided once Russell’s analysis is accepted: if ‘The king of France does not exist’ is formalised as the negation of formula, no unwanted consequences follow. (shrink)

In this paper it is shown how a formal theory of interpretation in Montague’s style can be reconciled with a view on meaning as a social construct. We sketch a formal theory in which agents can have their own theory of interpretation and in which groups can have common theories of interpretation. Frege solved the problem how different persons can have access to the same proposition by placing the proposition in a Platonic realm, independent from all language users but accessible (...) to all of them. Here we explore the alternative of letting meaning be socially constructed. The meaning of a sentence is accessible to each member of a linguistic community because the way the sentence is to be interpreted is common knowledge among the members of that community. Misunderstandings can arise when the semantic knowledge of two or more individuals is not completely in sync. (shrink)

In mathematical languages and in predicate logic coreferential terms can be interchanged in any sentence without altering the truth value of that sentence. Replacing 3 + 5 by 12 − 4 in any formula of arithmetic will never lead from truth to falsity or from falsity to truth. But natural languages are different in this respect. While in some contexts it is always allowed to interchange coreferential terms, other contexts do not admit this. An example of the first sort of (...) context is likes bananas: for any two coreferential noun phrases A and B the sentence A likes bananas is true if and only if B likes bananas is. A context that does not allow intersubstitution of coreferents is The Ancients knew that appears at dawn. If we fill the hole with the noun phrase the Morning Star we get the true (1a), while if we plug in the Evening Star we get the false (1b). Yet the Morning Star and the Evening Star both refer to the planet Venus and are thus coreferential. (shrink)

In der Kritik der Urteilskraft steht: „Schön ist das, was in der bloßen Beurtheilung gefällt. Hieraus folgt von selbst, dass es ohne alles Interesse gefallen müsse.“. Die Bestimmung in der Klammer entspricht nicht der Kantischen Intention und wird dem einleitenden „also“ nicht gerecht. Die gesamte Argumentation des Geschmacksurteils ist so aufgebaut, dass der ästhetische Geschmack gegen zwei Fronten abgegrenzt wird, den Hedonismus und den Rationalismus ; der erste identifiziert den Geschmack mit einem Wohlgefallen am Angenehmen, also dem, „was den Sinnen (...) in der Empfindung gefällt“, der zweite mit dem, was „durch den bloßen Begriff gefällt.“ Das Schönheitsurteil steht zwischen sinnlicher Empfindung und bestimmtem Begriff; hierbei interessiert sich Kant verständlicherweise nicht für die Frage, wie die bloße Sinnesempfindung zu ihrer Artikulation in einem Urteil des Geschmacks z.B. in der Pariser Garküche kommt. (shrink)

This book presents results of an international conference which addressed the interaction of aesthetical and technological dimensions within the formation of contemporary society. The contributions discuss the production of time and space, self and nature, individual and society in the image of technology. They focus on the productive tensions and convergences between aesthetic and technological concepts when implemented in everyday life. The volume contains - among others - texts about technologies of visualisation, the aesthetics of warfare and the design of (...) technological lifeworlds. (shrink)