This book provides a synthesis of four versions of program semantic—srelational semantics, predicate transformer semantics, information systems, and domain theory—showing, through an exhaustive case study analysis, that it is possible to do back-and-forth translation from any of these versions of program semantics into any of the others, and demonstrating that while there are many variations of each, in principle they may be thought of as intertranslatable.

In this companion volume to Bricks and Mortar, Jeffrey Scarborough and Raymond Ravaglia present a series of essays written by senior instructors and division heads at the Stanford Online High School (SOHS). Written from the perspective of the online-learning practitioner, these essays discuss in detail the challenges of teaching particular disciplines, accomplishing particular pedagogical objectives, and fostering the habits of mind characteristic of students who have received deep education in a given discipline. Perspectives from the Disciplines also examines counseling, student services, and student life viewpoints as it discusses how a truly international community has been fostered at SOHS, and how SOHS’s student relationships are in many ways deeper and more intimate than those found in traditional secondary schools.

Not limited to merely mathematics, probability has a rich and controversial philosophical aspect. A Philosophical Introduction to Probability showcases lesser-known philosophical notions of probability and explores the debate over their interpretations. Galavotti traces the history of probability and its mathematical properties and then discusses various philosophical positions on probability, from the Pierre Simon de Laplace's “classical” interpretation of probability to the logical interpretation proposed by John Maynard Keynes. This book is a valuable resource for students in philosophy and mathematics and all readers interested in notions of probability.

Anthropologists claim to have made mankind aware of its own prehistory and its importance to human self-understanding. Yet, anthropologists seem hardly to have discovered their own discipline's prehistory or to have realized its importance. William Y. Adams attempts to rectify this myopic self-awareness by applying anthropology's own tools on itself and uncovering the discipline's debt to earlier thinkers.

Like most anthropologists, Adams had previously accepted the premise that anthropology's intellectual roots go back no further than the moral philosophy of the Enlightenment, or perhaps at the earliest to the humanism of the Renaissance. In this volume, Adams recognizes that many good ideas were anticipated in antiquity and that these ideas have had a lasting influence on anthropological models in particular. He has chosen five philosophical currents whose influence has been, and is, very widespread, particularly in North American anthropology: progressivism, primitivism, natural law, German idealism, and "Indianology". He argues that the influences of these currents in North American anthropology occur in a unique combination that is not found in the anthropologies of other countries. Without neglecting the anthropologies of other countries, this work serves as the basis for the explanation of the true historical and philosophical underpinnings of anthropology and its goals.

The use of diagrams in logic and geometry has encountered resistance in recent years. For a proof to be valid in geometry, it must not rely on the graphical properties of a diagram. In logic, the teaching of proofs depends on sentenial representations, ideas formed as natural language sentences such as "If A is true and B is true...." No serious formal proof system is based on diagrams.

This book explores the reasons why structured graphics have been largely ignored in contemporary formal theories of axiomatic systems. In particular, it elucidates the systematic forces in the intellectual history of mathematics which have driven the adoption of sentential representational styles over diagrammatic ones. In this book, the effects of historical forces on the evolution of diagrammatically-based systems of inference in logic and geometry are traced from antiquity to the early twentieth-century work of David Hilbert. From this exploration emerges an understanding that the present negative attitudes towards the use of diagrams in logic and geometry owe more to implicit appeals to their history and philosophical background than to any technical incompatibility with modern theories of logical systems.

In this volume, Maria Cerezo examines Wittgenstein's Tractatus Logico-Philosophicus as a response to some of Frege's and Russel's logical problems. In analyzing the tractarian conditions for the possibility of language, she explains the two main theories of the proposition in Tractatus: the truth-functions theory and the picture theory. Cerezo shows that Wittgenstein initially separates the account of the structure of a proposition from the explanation of its expression. However, contrary to his intention, the combination of these theories creates new difficulties, since the requirements of each theory cannot be fully respected by the others. Cerezo also argues that Wittgenstein's theory of language cannot be fully understood unless attention is paid to his theory of expression and his doctrine of projection by the metaphysical subject.

Compared to many languages, English has relatively fixed word order, but the ordering among phrases following the verb exhibits a good deal of variation. This monograph explores factors that influence the choice among possible orders of postverbal elements, testing hypotheses using a combination of corpus studies and psycholinguistic experiments. Wasow's final chapters explore how studies of language use bear on issues in linguistic theory, with attention to the roles of quantitative data and Chomsky's arguments against the use of statistics and probability in linguistics.

The Practical Guide to Syntactic Analysis is a resource for students and practitioners of syntax at all levels, addressing matters that textbooks do not explain. Relatively independent sections target issues ranging from the seductive metaphors of generative grammar and the character of linguistic argumentation to practical advice about both getting started and presenting analysis. This second edition adds a reference guide to over sixty grammatical phenomena that every syntactician should be familiar with.

There are multitudes of ways in which predicative constructions can be analyzed. In this book, Frank Van Eynde differentiates between the Fregean and Montagovian treatments of these constructions in order to better understand predicative constructions as a grammatical model. Although he focuses his arguments on English and Dutch, Van Eynde also includes analyses of other Indo-European and non-Indo-European languages in order to better explore phenomena that do not occur in the two primary languages of his study.

No word in English is shorter than the word ``I.'' And yet no word is more important in philosophy. When Descartes said ``I think therefore I am'' he produced something that was both about himself and a universal formula. The word ``I'' is called an ``indexical'' because its meaning always depends on who says it. Other examples of indexicals are ``you,'' ``here,'' ``this'' and ``now.''

John Perry discusses how these kinds of words work, and why they express important philosophical thoughts. He shows that indexicals pose a challenge to traditional assumptions about language and thought. Over the years a number of these papers, now included in this book, have sparked lively debates and have been influential in philosophy, linguistics and other areas of cognitive science.

With seven new papers, including the previously unpublished ``What Are Indexicals?,'' the present volume expands on an earlier version of this book published in the early nineties. Also included are the well-known papers ``Frege on Demonstratives,'' ``Cognitive Significance and New Theories of Reference,'' ``Evading the Slingshot,'' ``The Prince and the Phone booth'' (coauthored with Mark Crimmins), ``Fodor on Psychological Explanations'' (coauthored with David Israel), and related papers on situation semantics, direct reference, and the structure of belief. This book also includes afterwords written by the author that discuss responses to his work by Gareth Evans, Robert Stalnaker, Barbara Partee, Howard Wettstein and others.

The separation of syntax and morphology is a major principle in contemporary lexicalist theories. The syntactic theory of Lexical-Functional Grammar recognizes this separation on a structural level but argues that both are equal, interacting, and competing contributors in a functional setting. This book discusses the relationship between morphology and LFG, reintroducing two seminal papers on the theory's impact on morphology and presenting new material on current morphological issues, including the nature of morphosyntactic paradigms and the role of optimality theory.

Most computer programs that analyze spoken dialogue use a spoken command grammar, which limits what the user can say when talking to the system. To make this process simpler, more automated, and effective for command grammars even at initial stages of a project, the Regulus grammar compiler was developed by a consortium of experts—including NASA scientists. This book presents a complete description of both the practical and theoretical aspects of Regulus and will be extremely helpful for students and scholars working in computational linguistics as well as software engineering.