This translation focuses on publications by Donald E. Knuth, one of the world’s leading computer programmers, that were addressed primarily to a general audience rather than to specialists. These fifteen papers discuss the history of computer science from ancient Babylon to modern times and survey the field of computer science and the nature of algorithms.

Empirical and Experimental Methods in Cognitive/Functional Research consists of selected papers from the seventh meeting of the Conceptual Structure, Discourse, and Language Conference, held at the University of Alberta in October 2004. The papers fall into five main categories, reflecting the cognitive and functional orientation of the conference: reciprocity between lexis and syntax, semantic factors affecting form patterning, grammaticalization of basic verbs, form/meaning pairings in discourse, and experimental investigations of language/mind and language/use interactions. In addition, a plenary paper by Nick Evans on complex events, propositional overlay, and the special status of reciprocal clauses is included.

This volume considers and examines some of the phenomena that have led languages to be considered 'ergative'. Languages considered 'ergative' have only been sparsely studied, and many fundamental questions in their analysis seem at best incompletely answered. This volume fills that void by focussing on some of the basic issues: when ergativity should be analyzed as syntactic or morphological; whether languages can be divided into two classes of syntactically and morphologically ergative languages, and if so where the division should be drawn; and whether ergative arguments are always core roles or not. Christopher Manning's codification of syntactic approaches to dealing with ergative languages is based on a hypothesis he terms the 'Inverse Grammatical Relations hypothesis.' This hypothesis adopts a framework that decouples prominence at the levels of grammatical relations and argument structure. The result is two notions of subject: grammatical subject and argument structure subject and a uniform analysis of syntactically ergative and Philippine languages. These language groups, the syntactically ergative and Philippine languages, allow an inverse mapping in the prominence of the two highest terms between argument structure and grammatical relations. A level of argument structure is shown to be particularly well motivated by the examination of syntactically ergative languages. A study of Inuit, Tagalog, and Dyirbal shows that constraints on imperative addressee and controllee selection, antecendent of anaphors, and the controller of certain adverbial clauses are universally sensitive to argument structure. Thus, these phenomena are always accusative or neutral, explaining why passive agents and causes can generally bind reflexives. However, constraints on relativization, topicalization, focussing or questioning, specificity or wide scope, coreferential omission in coordination, etc. are shown to be universally sensitive to grammatical relations. Examining just these phenomena, which are sensitive to grammatical relations, it becomes evident that many languages are indeed syntactically ergative, and so must be countenanced by linguistic theory. This volume combines good scholarship with innovative ideas into an important work that will appeal to a wide range of linguists and scholars.

Subject: Philosophy; Belief and Doubt; Logic

The notion of fact, as a metaphysical category, is of fairly recent vintage. As a result, perhaps, it has not received the attention that has been accorded more traditional concepts. The present study, which integrates historical exposition with philosophical analysis, aims to help rectify this situation. The first chapter delimits the subject matter by distinguishing the metaphysical sense of the word "fact" from various epistemic and semantic ones, in the process distinguishing facts from propositions. Chapter Two is chiefly historical. The pressures that led to the positing of facts in the latter half of the nineteenth century are discussed in the context of the history of the the doctrine of relations, beginning with Aristotle and the Scholastics. Chapter Three takes up what the author considers the main argument in favor of admitting facts, which is due to F. H. Bradley. The fourth and final chapter considers several versions of a well-known argument against facts due originally to Frege and Church and examines the pros and cons of various ways of getting around it.

This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics. It provides one mathematical perspective encompassing all of these. This framework generates a new agenda of questions concerning dynamic inference and dynamic operators. The result is a mathematical theory of process models, simulations between these, and modal languages over them, which is developed in quite some detail. New results include theorems on expressive completeness, representation of styles of inference, and new kinds of decidable remodeling for standard logics. This theory is also confronted with practice in computer science, linguistics and philosophy.