The philosopher Patrick Suppes has developed a unique and influential approach to studying the foundations of science—he combines an understanding of the main principles of scientific theories in axio
This book is a French translation of seventeen papers by Donald Knuth on algorithms both in the field of analysis of algorithms and in the design of new algorithms. They cover fundamental concepts and
Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. Generalized Galois Logics develops a unif
This volume broadens our concept of reasoning and rationality to allow for a more pluralistic and situational view of human thinking as a practical activity. Drawing on contributors across disciplines
Referentialism has underappreciated consequences for our understanding of the ways in which mind, language, and world relate to one another. In exploring these consequences, this book defends a versio
Research on human intelligence has postulated that studying the structure and use of stories can provide important insight into the roots of self and the nature of thinking. In that spirit, this volum
Research on human intelligence has postulated that studying the structure and use of stories can provide important insight into the roots of self and the nature of thinking. In that spirit, this volu
Elegant analyses by linguists have been a point of pride since the time of the Neogrammarians. But ever since Chomsky's pioneering work on the goals of linguistic theory, this descriptive emphasis has
Referentialism has underappreciated consequences for our understanding of the ways in which mind, language, and world relate to one another. In exploring these consequences, this book defends a versio
While neuroscientists garner success in identifying brain regions and in analyzing individual neurons, ground is still being broken at the intermediate scale of understanding how neurons combine to en
This volume comprises a lively and thorough discussion between philosophers and Tyler Burge about Burge's recent, and already widely accepted, position in the theory of meaning, mind, and knowledge. T
One of the fundamental theses of this book is that logical consequence and logical truth are not simply given, but arise as conventions among the users of logic. Thus Syverson explains convention with
Linguistic mismatch phenomena involve semiotic functions that attach to forms in defiance of grammatical design features. Noun phrases, when used as predicates, provide one example: how do predicate n
The past twenty years have witnessed extensive collaborative research between computer scientists, logicians, linguists, philosophers, and psychologists. These interdisciplinary studies stem from the
Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal compute
The philosophy of mind has long been dominated by the view that mental states are identical with, constituted by, or grounded in brain states. Lynne Rudder Baker has been a persistent critic of this v
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
Interrogative constructions are the linguistic forms by which questions are expressed. Their analysis is of great interest to linguists, as well as to computer scientists, human-computer interface des
With the rise of the internet and the proliferation of technology to gather and organize data, our era has been defined as "the information age." With the prominence of information as a research conce
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 teac
This volume of essays is dedicated to Wilbur Knorr, an outstanding historian of science whose career was cut short much too early. Inspired by Knorr's work, this volume concentrates on the history of
Mixed category constructions like the English verbal gerund involve words that seem to be central members of more that one part of speech. This poses a problem for the standard view of syntactic categ
How can the meaning of language be represented by formal logic? Similar research regarding the semantics of natural language has suggested that standard, 'classical' logical systems must be extended t
Conversation and Community is an examination of the speech community in an Internet 'virtual community'. Based on ethnographic research on a community of users of a MUD, or 'multi-user dimension', the
It is becoming increasingly clear that the standard approach to argument linking in terms of 'thematic roles', which are determined by the lexical meaning of verbs, has some serious shortcomings. This
Self-deception is one of the topics that lends itself best to the task of exploring the possibilities of cross-fertilization between 'continental philosophy' and 'analytic philosophy'. Fifty years ago
During the last few years, a new approach to linguistic analysis has started to emerge. This approach, which has come to be known under various labels such as 'data-oriented parsing', 'corpus-based in
One of the most provocative projects in recent analytic philosophy has been the development of the doctrine of externalism, or, as it is often called, anti-individualism. While there is no agreement a
This volume is an outgrowth of the second Workshop on Logic, Language and Computation held at Stanford in the spring of 1993. The workshop brought together researchers interested in natural language t
This book is meant to be a primer, that is an introduction, to probability logic, a subject that appears to be in its infancy. Probability logic is a subject envisioned by Hans Reichenbach and largely
Logic and Representation brings together a collection of essays, written over a period of ten years, that apply formal logic and the notion of explicit representation of knowledge to a variety of prob
Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science and AI, lingui
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of
Cognitive science, with its guiding metaphor of the mind as a computer, has made substantial progress towards an understanding of how people comprehend and produce discourse. The essays in this book a
