The topic of temporal meaning in texts has received considerable attention in recent years from scholars in linguistics, logical semantics, cognitive science, and artificial intelligence. Representing Time in Natural Language offers a systematic and detailed account of how we use temporal information contained in a text or in discourse to reason about the flow of time, inferring the order in which events happened when this is not explicitly stated. A new representational system is designed to formalize an appropriately context-dependent notion (...) of situated inference. The Dynamic Aspect Tree, representing temporal dependencies, constitutes a novel and important dynamic temporal logic, one that makes it easy to see "what follows when" from the information given in an ordinary English text. (shrink)

REFERENCES Barwise, J. & R. Cooper (1981) — 'Generalized Quantifiers and Natural Language', Linguistics and Philosophy 4:2159-219. Van Benthem, J. (1983a) — ' Five Easy Pieces', in Ter Meulen (ed.), 1-17. Van Benthem, J. (1983b) ...

Logically, weighting is transitive, but similarity is not, so clustering cannot be either. Entailments must help a child to review attribute lists more efficiently. Children's understanding of exceptions to generic claims precedes their ability to articulate explanations. So agency, as enabling constraint, may show coherent covariation with attributes, as mere extensional, observable effect of intensional entailments.

Meaning is made out of the world by our actions in certain situations. But there are so many different things we can do, few of which actually create meaning. Not only do we utter linguistic expressions, but we move, gesture, point; we plan our actions to satisfy particular goals, we form beliefs, presumptions and prejudices, as well as ascribe intentions to other actors. In this paper three ways of acting are singled out for their function in making meaning out of (...) the world: demonstrations, indications and experiments. The paper develops some Wittgensteinean themes, such as the priority of demonstration, the nature of pictorial representations and the relation between interpretation and calculation, in the terms and concepts of Situation Theory. It attempts to weave some important elements of Wittgenstein’s thought in with an account of situated meaning and interpretation, without embarking on any archeological adventure. The paper is intended as a contribution to the philosophical foundations of Situation Theory and a critical commentary to some of its published accounts. Although Situation Theory has been developed with a sharp awareness of its antecedents in Bertrand Russell’s work, as well as its immediate heritage of central aspects of David Kaplan’s account of demonstrative reference, to my knowledge its Wittgensteinean roots have not been traced. The account of demonstrations, indications and experiments advocated here shows not only that important philosophical concerns of Situation Theory have their precursors in Wittgenstein’s work, but also that some of his insights could profitably be absorbed into its new foundations for a theory of meaning. (shrink)

Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language semantics (...) includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts. For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language. (shrink)

Logicians have always found inspiration for new research in the ordinary language that is used on a daily basis and acquired naturally in childhood. Whereas the logical issues in the foundations of mathematics motivated the development of mathematical logic with its emphasis on notions of proof, validity, axiomatization, decidability, consistency, and completeness, the logical analysis of natural language motivated the development of philosophical logic with its emphasis on semantic notions of presupposition, entailment, modality, conditionals, and intensionality. The relation between research (...) programs in both mathematical and philosophical logic and natural language syntax and semantics as branches of theoretical linguistics has increased in importance throughout the last fifty years. This chapter reviews the development of one particularly interesting and lively area of interaction between formal logic and linguistics—the semantics of natural language. Research in this emergent field has proved fruitful for the development of empirically, cognitively adequate models of reasoning with partial information, sharing or exchanging information, dynamic interpretation in context, belief revision and other cognitive processes. (shrink)

Logically, weighting is transitive, but similarity is not, so clustering cannot be either. Entailments must help a child to review attribute lists more efficiently. Children's understanding of exceptions to generic claims precedes their ability to articulate explanations. So agency, as enabling constraint, may show coherent covariation with attributes, as mere extensional, observable effect of intensional entailments.

Modelling human reasoning characterizes the fundamental human cognitive capacity to describe our past experience and use it to form expectations as well as plan and direct our future actions. Natural language semantics analyzes dynamic forms of reasoning in which the real-time order determines the temporal relations between the described events, when reported with telic simple past-tense clauses. It provides models of human reasoning that could supplement ACT-R models.

Meaning is made out of the world by our actions in certain situations. But there are so many different things we can do, few of which actually create meaning. Not only do we utter linguistic expressions, but we move, gesture, point; we plan our actions to satisfy particular goals, we form beliefs, presumptions and prejudices, as well as ascribe intentions to other actors. In this paper three ways of acting are singled out for their function in making meaning out of (...) the world: demonstrations, indications and experiments. The paper develops some Wittgensteinean themes, such as the priority of demonstration, the nature of pictorial representations and the relation between interpretation and calculation, in the terms and concepts of Situation Theory. It attempts to weave some important elements of Wittgenstein’s thought in with an account of situated meaning and interpretation, without embarking on any archeological adventure. The paper is intended as a contribution to the philosophical foundations of Situation Theory and a critical commentary to some of its published accounts. Although Situation Theory has been developed with a sharp awareness of its antecedents in Bertrand Russell’s work, as well as its immediate heritage of central aspects of David Kaplan’s account of demonstrative reference, to my knowledge its Wittgensteinean roots have not been traced. The account of demonstrations, indications and experiments advocated here shows not only that important philosophical concerns of Situation Theory have their precursors in Wittgenstein’s work, but also that some of his insights could profitably be absorbed into its new foundations for a theory of meaning. (shrink)

In designing stratified models of human language, understanding notions of logical consequence and validity of inference require separating the aspects of meaning that vary between models from logical constants. Modelling meaning requires choices regarding the primitives, where the Fregean program is still offering us the fundamental insights on the role of truth, judgement, and grasping or sharing of thoughts.

Semantic realism fits Millikan's account of kind terms in its focus on information-theoretic abilities and strategic ways of gathering information in human communication. Instead of the traditional logical necessity, we should interpret rigid designation in a dynamic semantics as a legislative act to constrain possible ways in which our belief may change.

In the modular design of generative theory the syntax-semantics interface has accounted all along for meanings at the level of Logical Form. The syntax-pragmatics interface, on the other hand, is the result of what one may call the 'pragmatic turn' in the linguistic theory, where content is partitioned into given and new information. In other words, the structural division of the clause has been subjected to criteria of information, or discourse structure. Both interfaces require a structurally descriptive inventory whose specific (...) shapes can be motivated on theory-internal grounds only. The present collection of original articles develops the concept of these interfaces further. The papers in the first section focus on the syntax-semantics interface, those in the second section on the syntax-pragmatics interface. (shrink)

Validity of dynamic temporal reasoning is semantically characterized for English and Dutch aspectual adverbs in Discourse Representation Theory. This dynamic perspective determines how the content needs to be revised and what information is preserved across updates, when the order of premises is considered relevant. Resetting contextual parameters relies on modelling the basic aspectual polarity transitions and temporal reasoning extensionally. For intensional aspectual adverbials the speaker’s attitudes regarding past alternatives to and possible continuations of the current state come into play. Additional (...) considerations are offered for generalizing this system to the full logical space for linguistic universals, lexicalized quite differently in Dutch and English. (shrink)

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around (...) 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. (shrink)

The relationships between logic and natural language are multiverse. On the one hand, logic is a theory of argumentation, proving and giving reasons, and such activities are primarily carried out in natural language. This means that logic is, in a certain loose sense, about natural language. On the other hand, logic has found it useful to develop its own linguistic means which sometimes in a sense compete with those of natural language. This has led to the situation where the systems (...) of logic can be taken as interesting "models" of various aspects of natural language. Â Â Â Â Â Â Â The alliance of logic and linguistics has flowered especially from the beginning of the seventies, when scholars like Montague, Lewis, Cresswell, Partee and others showed how semantics of natural language can be explicated with the help certain suitable logical calculi and the corresponding model theory. (Montague went so far as to claim that in view of this, there is no principal difference between natural and formal languages - but this is, as far as I can see, rather misguiding.) Since that time, the interdisciplinary movement of formal semantics (associating not only linguists and logicians, but also philosophers, computer scientists, cognitive psychologists and others) has yielded a rich repertoire of formal theories of natural language, some of them (like Hintikka's game-theoretical semantics or the dynamic logic of Groenendijk and Stokhof) being based directly on logic, others (like the situation semantics of Barwise and Perry or DRT of Kamp) exploiting different formal strategies. Â Â Â Â Â Â Â Moreover, although the enterprise of formal semantics (i.e. of modeling natural language semantics by means of certain formal structures) seems to be the principal point of contact between linguistics and logic, there are also other cooperative enterprises. One of the most fruitful ones seems to be the logical analysis of syntax, which has resulted from elaboration of what was originally called categorial grammar. (However, even this enterprise can be seen as importantly stimulated by Montague.) Â Â Â Â Â Â Â All in all, the region in which logic and theoretical linguistics overlap has grown both in size and fertility.. (shrink)

Historically left to the margins, the topics of imagination and creativity have gained prominence in philosophy of science, challenging the once dominant distinction between ‘context of discovery’ and ‘context of justification’. The aim of this chapter is to explore imagination and creativity starting from issues within contemporary philosophy of science, making connections to these topics in other domains along the way. It discusses the recent literature on the role of imagination in models and thought experiments, and their comparison with fictions. (...) It then turns to the importance of constraints on imaginings in the scientific domain, as well as whether constraints can hinder creativity. The second part of the paper focuses on the social dimensions of science. It considers imagination and creativity of scientific communities, asks whether the institution of science promotes creativity (and whether we want it to) or if it encourages conservativeness, and ends with a reflection on the politics of imagination and creativity in science. (shrink)

Bred to provide human companionship, dogs eclipse all other species when it comes to reading the body language of people. Dog owners hunger for a complete rapport with their pets; in the dog the fantasy of empathetic resonance finds its ideal. But cross-species communication is never easy. Dog love can be a precious but melancholy thing. An attempt to understand human attachment to the _canis familiaris_ in terms of reciprocity and empathy, _Melancholia’s_ _Dog_ tackles such difficult concepts as intimacy and (...) kinship with dogs, the shame associated with identification with their suffering, and the reasons for the profound mourning over their deaths. In addition to philosophy and psychoanalysis, Alice A. Kuzniar turns to the insights and images offered by the literary and visual arts—the short stories of Ivan Turgenev and Franz Kafka, the novels of J. M. Coetzee and Rebecca Brown, the photography of Sally Mann and William Wegman, and the artwork of David Hockney and Sue Coe. Without falling into sentimentality or anthropomorphization, Kuzniar honors and learns from our canine companions, above all attending to the silences and sadness brought on by the effort to represent the dog as perfectly and faithfully as it is said to love. (shrink)

For too long the questions of how we treat animals and how we treat our fellow human beings have been considered separately. But the contours of the current animal crisis make it clear – the harms we are inflicting on the nonhuman world have devastating impacts on humans: zoonotic diseases caused by habitat destruction and animal exploitation have brought human life to a standstill; mass production of animals for food is poisoning the ground and contributing to catastrophic climate change. Animal (...) Crisis responds to this fractured relationship between human beings and animals by exploring the complex social and political contexts in which animals are harmed, revealing the connections between our callous and cruel attitudes to the animal world and those same attitudes towards vulnerable human groups. Marking a stark contrast to traditional theories in animal ethics, Alice Crary and Lori Gruen argue that there can be no animal liberation without human emancipation. Borrowing from critical social theory and ecofeminism, they build a framework for understanding and combatting the structural forces that shape and enable the diminishment of some for the advantage of a few, isolating critical resources that are crucial for animal and human emancipatory struggles alike. (shrink)

The concept of “health”, in Nietzsche’s philosophy, is not opposed to that of disease but incorporates it within itself. The paper aims to show how being in “good health” has, according to Nietzsche, a physiological significance that is intimately connected to aesthetics. Richard Wagner’s music is the iconic example of how rhythm from medicine can become poison and lead a body to décadence. Even in some patients with neurological diseases, musical rhythm can function as medicine, which does not work equally (...) for everyone but according to individual, embodied laws. (shrink)