This paper presents a formal account of how to determine the discourse relations between propositions introduced in a text, and the relations between the events they describe. The distinct natural interpretations of texts with similar syntax are explained in terms of defeasible rules. These characterise the effects of causal knowledge and knowledge of language use on interpretation. Patterns of defeasible entailment that are supported by the logic in which the theory is expressed are shown to underly temporal interpretation.

This paper presents a novel account of focal stress and pitch contour in English dialogue. We argue that one should analyse and treat focus and pitch contour jointly, since (i) some pragmatic interpretations vary with contour (e.g., whether an utterance accepts or rejects; or whether it implicates a positive or negative answer); and (ii) there are utterances with identical prosodic focus that in the same context are infelicitous with one contour, but felicitous with another. We offer an account of two (...) distinct pitch contours that predicts the correct felicity judgements and implicatures, outclassing other models in empirical coverage or formality. Prosodic focus triggers a presupposition, where what is presupposed and how the presupposition is resolved depends on prosodic contour. If resolving the presupposition entails the proffered content, then the proffered content is uninteresting and hence the utterance is in-felicitous. Otherwise, resolving the presupposition may lead to an implicature. We regiment this account in SDRT. (shrink)

In this paper, we offer a novel analysis of presuppositions, paying particular attention to the interaction between the knowledge resources that are required to The analysis has two main features. First, we capture an analogy between presuppositions, anaphora and scope ambiguity (cf. van der Sandt 1992), by utilizing semantic under-specification (c£ Reyle 1993). Second, resolving this underspecification requires reasoning about how the presupposition is rhetorically connected to the discourse context. This has several consequences. First, since pragmatic information plays a role (...) in computing the rhetorical relation, it also constrains the interpretation of presuppositions. Our account therefore provides a formal framework for analysing problematic data, which require pragmatic reasoning. Second, binding presuppositions to the context via rhetorical links replaces accommodating them, in the sense of adding them to the context (cf. Lewis 1979). The treatment of presupposition is thus generalized and integrated into the discourse update procedure. We formalize this approach in SDRT (Asher 1993; Lascarides & Asher 1993), and demonstrate that it provides a rich framework for interpreting presuppositions, where semantic and pragmatic constraints are integrated. (shrink)

In face-to-face interaction, speakers make multimodal contributions that exploit both the linguistic resources of spoken language and the visual and spatial affordances of gesture. In this paper, we argue that, in formulating and understanding such multimodal contributions, interlocutors apply the same principles of coherence that characterize the interpretation of natural language discourse. In particular, we use a close analysis of a series of naturally-occurring embodied discourses to argue for two key generalizations. First, communicators and their audiences draw on coherence relations (...) to establish interpretive connections between successive gestures and between gestures and speech. Second, coherence relations facilitate meaning-making by resolving the underspecified meaning of each communicative act through constrained inference over entities, propositions, and spatial frames made salient in the prior discourse. Our approach to gesture interpretation improves on previous work in better accounting for its flexibility, in capturing its constraints, and in laying the groundwork for formal and computational models. At the same time, it shows that gesture provides an important source of evidence to sharpen the theory of coherence relations and contextual resolution. (shrink)

Most models of rational action assume that all possible states and actions are pre-defined and that preferences change only when beliefs do. But several decision and game problems lack these features, calling for a dynamic model of preferences: preferences can change when unforeseen possibilities come to light or when there is no specifiable or measurable change in belief. We propose a formally precise dynamic model of preferences that extends an existing static model. Our axioms for updating preferences preserve consistency while (...) minimising change, like Hansson’s :1–28, 1995). But unlike prior models of preference change, ours supports default reasoning with partial preference information, which is essential to handle decision problems where the decision tree isn’t surveyable. We also show that our model avoids problems for other models of preference change discussed in Spohn. (shrink)

One way to construct semantic representations in a robust manner is to enhance shallow language processors with semantic components. Here, we provide a model theory for a semantic formalism that is designed for this, namely Robust Minimal Recursion Semantics (RMRS). We show that RMRS supports a notion of entailment that allows it to form the basis for comparing the semantic output of different parses of varying depth.

Several recent theories of linguistic representation treat the lexicon as a highly structured object, incorporating fairly detailed semantic information, and allowing multiple aspects of meaning to be represented in a single entry (e.g. Pustejovsky, 1991; Copestake, 1992; Copestake and Briscoe, 1995). One consequence of these approaches is that word senses cannot be thought of as discrete units which are in one-to-one correspondence with lexical entries. This has many advantages in allowing an account of systematic polysemy, but leaves the problem of (...) accounting for effects such as zeugma and the absence of crossed readings, which have traditionally been explained in terms of multiple lexical entries, but which can also arise in examples where other criteria demand that a single entry be involved. Copestake and Briscoe (1995) claimed that these cases could be explained by discourse coherence, but did not describe how this might work. We remedy this here, by formalising a general pragmatic principle which encapsulates discourse effects on word meaning. We demonstrate how it contributes to the creation of zeugma and the non-availability of crossed readings. (shrink)

A semantic framework for interpreting dialogue should provide an account of the content that is mutually accepted by its participants. The acceptance by one agent of another’s contribution crucially involves the theory of what that contribution means; A’s acceptance of B’s contribution means that the content of B’s contribution must be integrated into A’s extant commitments.1 For assertions, traditionally assumed to express a proposition formalised as a set of possible worlds, it was clear how the integration should go: acceptance meant (...) intersecting the newly accepted proposition with the set of worlds representing the content of the agent’s prior commitments. Dynamic semantics (e.g., Asher (1989)) refined this picture by replacing intersection with the operation of dynamic update. The way to treat the negative counterpart of acceptance—namely, rejection—is also clear in principle: A s rejection of B’s assertion means that the negation of the content of B’s contribution should be integrated with the content of A’s prior commitments. However, acceptance and rejection don’t just happen with assertions. These speech acts can happen with questions as well. That is, an agent can choose to address the issues raised by the questioner; he can also choose to reject them. The explicit acceptance of a question can be conveyed by providing a direct answer or by an explicit admittance that one doesn’t know an answer; explicit rejection by uttering I won’t answer. (shrink)

We present a formal analysis of iconic coverbal gesture. Our model describes the incomplete meaning of gesture that’s derivable from its form, and the pragmatic reasoning that yields a more specific interpretation. Our formalism builds reported.

Humans face many game problems that are too large for the whole game tree to be used in their deliberations about action, and very little is understood about how they cope in such scenarios. However, when a human player’s chosen strategy is conditioned on her limited perspective of how the game might progress, then it should be possible to manipulate her into changing her planned move by mentioning a possible outcome of an alternative move. This paper demonstrates that human players (...) can be manipulated this way: in the game The Settlers of Catan, where negotiation is only a small part of what one must do to win the game thereby generating uncertainty about which outcomes to the negotiation are good and which are bad, the likelihood that a player accepts a trade offer that deviates from their declared preferred strategy is higher if it is accompanied by a description of what that trade offer can lead to. (shrink)

We define an order independent version of default unification on typed feature structures. The operation is one where default information in a feature structure typed with a more specific type, will override default information in a feature structure typed with a more general type, where specificity is defined by the subtyping relation in the type hierarchy. The operation is also able to handle feature structures where reentrancies are default. We provide a formal semantics, prove order independence and demonstrate the utility (...) of this version of default unification in several linguistic applications. First, we show how it can be used to define multiple orthogonal default inheritance in the lexicon in a fully declarative fashion. Secondly, we show how default lexical specifications (introduced via default lexical inheritance) can be made to usefully persist beyond the lexicon and interact with syntagmatic rules. Finally, we outline how persistent default unification might underpin default feature propagation principles and a more restrictive and constraint-based approach to lexical rules. (shrink)

We propose a method for automatically identifying rhetorical relations. We use supervised machine learning but exploit cue phrases to automatically extract and label training data. Our models draw on a variety of linguistic cues to distinguish between the relations. We show that these feature-rich models outperform the previously suggested bigram models by more than 20%, at least for small training sets. Our approach is therefore better suited to deal with relations for which it is difficult to automatically label a lot (...) of training data because they are rarely signalled by unambiguous cue phrases (e.g., Continuation). (shrink)

In this paper, we investigate the representation of negated sentences in Minimal Recursion Semantics (Copestake, Flickinger, Pollard, & Sag, 2005). We begin with its treatment in the English Resource Grammar (Flickinger, 2000, 2011), a broad-coverage implemented HPSG (Pollard & Sag, 1994), and argue that it is largely a suitable representation for English, despite possible objections. We then explore whether it is suitable for typologically different languages: namely, those that express sentential negation via inflection on the verb, particularly Turkish and Inuktitut. (...) We find that the interaction between negation and intersective modifiers requires a change to the way in which (at least) one of them contributes to semantic composition, and we argue for adapting the analysis of intersective modifiers. (shrink)

An essential part of natural language understanding, and hence of formal semantics, is the interpretation of temporal expressions. But the very variety of temporal phenomena---such as tense, aspect, aktionsart, temporal adverbials, and the temporal structure of extended text---has tended to result in formal semantic analyses using a wide variety of formal tools, often of a complex nature. It seems important to try and find unifying perspectives on this work, and above all, to try and gain some insight into the logical (...) resources needed to deal with natural language temporal phenomena. (shrink)

In this paper, we address several puzzles concerning speech acts, particularly indirect speech acts. We show how a formal semantictheory of discourse interpretation can be used to define speech acts and to avoid murky issues concerning the metaphysics of action. We provide a formally precise definition of indirect speech acts, including the subclass of so-called conventionalized indirect speech acts. This analysis draws heavily on parallels between phenomena at the speech act level and the lexical level. First, we argue that, just (...) as co-predication shows that some words can behave linguistically as if they're `simultaneously' of incompatible semantic types, certain speech acts behave this way too. Secondly, as Horn and Bayer (1984) and others have suggested, both the lexicon and speech acts are subject to a principle of blocking or "preemption by synonymy": Conventionalized indirect speech acts can block their `paraphrases' from being interpreted as indirect speech acts, even if this interpretation is calculable from Gricean-style principles. We provide a formal model of this blocking, and compare it with existing accounts of lexical blocking. (shrink)

In this paper, we address several puzzles concerning speech acts,particularly indirect speech acts. We show how a formal semantictheory of discourse interpretation can be used to define speech actsand to avoid murky issues concerning the metaphysics of action. Weprovide a formally precise definition of indirect speech acts, includingthe subclass of so-called conventionalized indirect speech acts. Thisanalysis draws heavily on parallels between phenomena at the speechact level and the lexical level. First, we argue that, just as co-predicationshows that some words can (...) behave linguistically as if they're `simultaneously'of incompatible semantic types, certain speech acts behave this way too.Secondly, as Horn and Bayer (1984) and others have suggested, both thelexicon and speech acts are subject to a principle of blocking or ``preemptionby synonymy'': Conventionalized indirect speech acts can block their`paraphrases' from being interpreted as indirect speech acts, even ifthis interpretation is calculable from Gricean-style principles. Weprovide a formal model of this blocking, and compare it withexisting accounts of lexical blocking. (shrink)

In this paper, we offer a novel analysis of bridging, paying particular attention to definite descriptions. We argue that extant theories don't do justice to the way different knowledge resources interact. In line with Hobbs (1979), we claim that the rhetorical connections between the propositions introduced in the text play an important part. But our work is distinct from his in that we model how this source of information interacts with compositional and lexical semantics. We formalize bridging in a framework (...) known as SDRT (Asher 1993). We demonstrate that this provides a richer, more accurate interpretation of definite descriptions than has been offered so far. (shrink)

’s glue logic for computing logical form dynamic. This allows us to model a dialogue agent’s understanding of what the update of the semantic representation of the dialogue would be after his next contribution, including the effects of the rhetorical moves that he is contemplating performing next. This is a pre-requisite for developing a model of how agents reason about what to say next. We make the glue logic dynamic by using a dynamic public announcement logic ( pal ). We (...) extend pal with a particular variety of default reasoning suited to reasoning about discourse—this default reasoning being an essential component of inferring the pragmatic effects of one’s dialogue moves. We add to the pal language a new type of announcement, known as ceteris paribus announcement, and this is used to model how an agent anticipates the (default) pragmatic effects of his next dialogue move. Our extended pal validates certain intuitive patterns of default inference that existing pal s for practical reasoning do not. We prove that the dynamic glue logic has a pspace validity problem, and as such is no more complex than pal with multiple $${\square}$$ operators. (shrink)

In this paper we explore how compositional semantics, discourse structure, and the cognitive states of participants all contribute to pragmatic constraints on answers to questions in dialogue. We synthesise formal semantic theories on questions and answers with techniques for discourse interpretation familiar from computational linguistics, and show how this provides richer constraints on responses in dialogue than either component can achieve alone.

A. H. Louie's More Than Life Itself is an exploratory journey in relational biology, a study of life in terms of the organization of entailment relations in living systems. This book represents a synergy of the mathematical theories of categories, lattices, and modelling, and the result is a synthetic biology that provides a characterization of life. Biology extends physics. Life is not a specialization of mechanism, but an expansive generalization of it. Organisms and machines share some common features, but organisms (...) are not machines. Life is defined by a relational closure that places it beyond the reach of physicochemical and mechanistic dogma, outside the reductionistic universe, and into the realm of impredicativity. Function dictates structure. Complexity brings forth living beings. (shrink)

This book argues for the use of nonideal theory in social ontology. The central claim is that a paradigm shift is underway in contemporary social ontology, from ideal to nonideal, and that this shift should be fully followed through. To develop and defend this central claim, the first step is to show that the key questions and central dividing lines within contemporary social ontology can be fruitfully reconstructed as a clash between two worlds, referred to as ideal and nonideal social (...) ontology. Ideal social ontology is characterized by consensus and cooperation, while nonideal social ontology is characterized by conflict and contestation. The second step is to show that, when taken together, objections to the standard model of ideal social ontology (the dominant version of ideal social ontology) imply that this model needs to be given up in favor of nonideal social ontology. In other words, we should look to nonideal rather than ideal social ontology for core concepts. The third step is to offer a positive account, called the power view, of nonideal social ontology. This account places the concept of social power at the core of a general theory of the social world and replaces the flat and narrow conception of power in ideal social ontology with a richer and more extensive conception. In addition, it rectifies a shortcoming in nonideal social ontology by attending to class, which has been notably and oddly overlooked in the literature. (shrink)

This companion is a cutting-edge primer to critical forms of the posthumanities and the feminist posthumanities, aimed at students and researchers who want to catch up with the recent theoretical developments in various fields in the humanities, such as new media studies, gender studies, cultural studies, science and technology studies, human animal studies, postcolonial critique, philosophy and environmental humanities. It contains a collection of nineteen new and original short chapters introducing influential concepts, ideas and approaches that have shaped and developed (...) new materialism, inhuman theory, critical posthumanism, feminist materialism, and posthuman philosophy. A resource for students and teachers, this comprehensive volume brings together established international scholars and emerging theorists, for timely and astute definitions of a moving target – posthuman humanities and feminist posthumanities. (shrink)

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...) trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

I. Ókor -- II. A középkor és a reneszánsz -- III. Az újkor.

On fundamentals of Vedanta and science; a study.

Desde la aparición, en 1927, de su obra central Ser y tiempo, Martin Heidegger ha sido y sigue siendo considerado por amplios sectores de opinión como el filósofo más importante del siglo XX. Frente a esta sobrevaloración del filósofo de los Bosques Negros, Heleno Saña procede, en su documentadísimo libro, a una crítica de la filosofía heideggeriana, intentando demostrar que está basada en una tergiversación e instrumentalización sistemáticas de la terminología y los conceptos esenciales de la filosofía clásica. El resultado (...) final de sus ejercicios hermenéuticos y sus continuos malabarismos lingüísticos, es un irracionalismo de índole claramente nihilista, por su culto implícito y explícito a la muerte. En este sentido es altamente significativo que a la biografía y a la filosofía heideggerianas pertenezcan su adhesión al nacionalsocialismo y la glorificación de Alemania como la “raza de los señores” por excelencia, tema al que Heleno Saña dedica la debida atención. Uno de los signos distintivos de este ensayo es el de la claridad con que expone sus tesis, de manera que el libro no está pensado solo para eruditos, sino para todas las personas interesadas en ampliar sus conocimientos culturales y filosóficos. (shrink)

La admirable riqueza cultural y artística del Renacimiento esconde una desoladora miseria y aquella "edad de la abundancia" contrasta con una inmensa pobreza. Lejos de ser una broma o una pesadilla, la celebrada Utopía de Tomás Moro fue antes que nada un desafío insoslayable, pues proponía que ninguna sociedad merece tal nombre si tolera la miseria de un solo pobre. Rico y pobre explora la cuestión en ese libro de 1516 y en otros del escritor londinense para concluir con un (...) esbozo de su vida a la luz de la pobreza como virtud indispensable y libertadora. He aquí un hombre afortunado que no fue indiferente ante el infortunio de tantos y que vio en la humanitas la virtud por excelencia que lleva a una constante atención y cuidado del prójimo. Inspirado por un cambio de actitud en su época, así como por su fe cristiana y la mejor tradición estoica, mostró una robusta preocupación sobre el tema subrayando el valor social que debe tener toda riqueza, tanto a nivel estatal como individual, destacando la grave obligación cívica de los ricos y la necesidad que tienen todos, ricos y pobres, de empeñarse en la práctica de cierto desprendimiento y generosidad si no quieren mermar su propia humanidad y fallecer en su avaricia. La percepción de la miseria había cambiado de tal manera que su remedio ya no podía estar en una u otra limosna en plazas e iglesias, sino en la acción bien pensada y perentoria de todo gobierno que se tenga por justo. Sir Tomás Moro, privilegiado desde la cuna y seguro en su trabajo profesional, vio la pobreza de tantos como un desastre social, pero uno que, al mismo tiempo, debería llevar a todo ser humano a ver en el desprendimiento y generosidad una excelencia o virtud que alumbra la "otra" libertad, y tan íntima y valiosa que en su caso brilló aun en la prisión y ante el horror de una muerte injusta y atroz." -- Page 4 of cover. (shrink)

A. A. Long’s study of Greek notions of mind and human selfhood is anchored in questions of universal interest. What happens to us when we die? How is the mind or soul related to the body? Are we responsible for our own happiness? Can we achieve autonomy? Long shows that Greek thinkers’ modeling of the mind gave us metaphors that we still live by.