front cover of Selected Papers on Analysis of Algorithms
Selected Papers on Analysis of Algorithms
Donald E. Knuth
CSLI, 2000
Analysis of Algorithms is the fourth in a series of collected works by world-renowned computer scientist Donald Knuth. This volume is devoted to an important subfield of Computer Science that Knuth founded in the 1960s and still considers his main life's work. This field, to which he gave the name Analysis of Algorithms, deals with quantitative studies of computer techniques, leading to methods for understanding and predicting the efficiency of computer programs. Analysis of Algorithms, which has grown to be a thriving international discipline, is the unifying theme underlying Knuth's well known book The Art of Computer Programming. More than 30 of the fundamental papers that helped to shape this field are reprinted and updated in the present collection, together with historical material that has not previously been published. Although many ideas come and go in the rapidly changing world of computer science, the basic concepts and techniques of algorithmic analysis will remain important as long as computers are used.
[more]

front cover of Selected Papers on Fun and Games
Selected Papers on Fun and Games
Donald E. Knuth
CSLI, 2011

Donald E. Knuth’s influence in computer science ranges from the invention of methods for translating and defining programming languages to the creation of the TeX and METAFONT systems for desktop publishing. His award-winning textbooks have become classics that are often given credit for shaping the field, and his scientific papers are widely referenced and stand as milestones of development over a wide variety of topics. The present volume is the eighth in a series of his collected papers.

[more]

front cover of Self-Deception and Paradoxes of Rationality
Self-Deception and Paradoxes of Rationality
Edited by Jean-Pierre Dupuy
CSLI, 1998
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, in Being and Nothingness, Sartre defined the core notion of 'Bad Faith' as lying to oneself. On the other side of the Atlantic, self-deception has become one of the most exciting puzzles in the philosophy of mind, and a number of paradoxes encountered by the theory of rational choice involve that very same notion. One of the objectives is to show that bridges can be thrown over the gap between the two traditions, but also that both of them make self-deception too intrapsychic and suffer from a serious individualistic bias. The conference was intended to explore the intersubjective and social dimensions of self-deception.
[more]

front cover of Self-Reference
Self-Reference
Thomas Bolander, Vincent F. Hendricks, and Stig Andur Pedersen
CSLI, 2006
An anthology of previously unpublished essays from some of the most outstanding scholars working in philosophy, mathematics, and computer science today, Self-Reference reexamines the latest theories of self-reference, including those that attempt to explain and resolve the semantic and set-theoretic paradoxes. With a thorough introduction that contextualizes the subject for students, this book will be important reading for anyone interested in the general area of self-reference and philosophy.
[more]

front cover of Semantic Ambiguity and Underspecification
Semantic Ambiguity and Underspecification
Edited by Kees van Deemter and Stanley Peters
CSLI, 1996
Kees van Deemter and Stanley Peters Subject: Linguistics; Semantics; Ambiguity
[more]

front cover of The Semantic Basis of Argument Structure
The Semantic Basis of Argument Structure
Stephen Wechsler
CSLI, 1995
Stephen Wechsler Subject: Linguistics; Semantics; Grammar--Syntax
[more]

front cover of Semantic Properties of Diagrams and Their Cognitive Potentials
Semantic Properties of Diagrams and Their Cognitive Potentials
Atsushi Shimojima
CSLI, 2015
Why are diagrams sometimes so useful, facilitating our understanding and thinking, while at other times they can be unhelpful and even misleading? Drawing on a comprehensive survey of modern research in philosophy, logic, artificial intelligence, cognitive psychology, and graphic design, Semantic Properties of Diagrams and Their Cognitive Potentials reveals the systematic reasons for this dichotomy, showing that the cognitive functions of diagrams are rooted in the characteristic ways they carry information. In analyzing the logical mechanisms behind the relative efficacy of diagrammatic representation, Atsushi Shimojima provides deep insight into the crucial question: What makes a diagram a diagram?
[more]

front cover of The Semantics of Incorporation
The Semantics of Incorporation
From Argument Structure to Discourse Transparency
Donka F. Farkas and Henriëtte de Swart
CSLI, 2003
Distinguishing between discourse referents and thematic arguments, the analysis of incorporation proposed by Donka Farkas and Henriettë de Swart accounts for the relationship between morphological and semantic number, the contrasts between incorporated singulars and incorporated plurals, and various "shades" of discourse transparency. The framework of Discourse Representation Theory used is a theory well-suited for connecting sentence-level and discourse-level semantics.

The analysis presented in this book has important consequences for a cross-linguistic theory of anaphora. Linguists and logicians interested in discourse structure, cross-linguistic semantics, and the relationship between morpho-syntax and meaning will find this an engaging and innovative work.
[more]

front cover of The Semantics/Pragmatics Distinction
The Semantics/Pragmatics Distinction
Edited by Claudia Bianchi
CSLI, 2005
The contributors to this volume tend to agree on one thing: semantic theory cannot retain its traditional purity, free of pragmatic contextual considerations. This claim provides the setting for various provocative approaches to a precise definition of pragmatics and its reconciliation with semantics—a collection of leading-edge work examining the semantics/pragmatics dispute in terms of a broad range of phenomena, showing how these issues reach from linguistics into a number of other fields, and examining the role of pragmatics in different forms of cross-cultural communication.
[more]

front cover of Sign-Based Construction Grammar
Sign-Based Construction Grammar
Edited by Hans C. Boas and Ivan A. Sag
CSLI, 2012
This book offers a long-awaited unified and precise treatise on construction-based grammar. The approach to grammar presented here is the union of Berkeley Construction Grammar, as represented by the early work of Charles J. Fillmore and Paul Kay, with construction HPSG as pioneered by Ivan Sag, Carl Pollard, and others. The presentation of this theory in a detailed chapter by Sag presents the full outlines of a new approach to grammar. It reflects the confluence of two separate, although converging, traditions, and constitutes a novel synthesis.
[more]

front cover of The Situation in Logic
The Situation in Logic
Jon Barwise
CSLI, 1989
Situation theory and situation semantics are recent approaches to language and inforamtion, approaches first formulated by Jon Barwise amd John Perry in Situations and Attitudes (1983). The present volume collects some of Barwise's papers written since then, those directly concerned with relations between logic, situation theory, and situation semantics. Several appers appear here mfor the first time. JON BARWISE is director of the Symbolic Systems Program and professor of philosophy at Stanford University and a researcher at CSLI.
[more]

front cover of Situation Theory and Its Applications, Volume 1
Situation Theory and Its Applications, Volume 1
Edited by Robin Cooper, Kuniaki Mukai, and John Perry
CSLI, 1990
Situation Theory grew out of attempts by Jon Barwise in the late 1970s to provide semantics for "naked-infinitive" perceptual reports such as 'Claire saw Jon run'. Barwise's intuition was that Claire didn't just see Jon, an individual, but Jon doing something, a situation. Situations are individuals having properties and standing in relations. A theory of situations would allow us to study and compare various types of situations or situation-like entities, such as facts, events and scenes. One of the central themes of situation theory is that a theory of meaning and reference should be set within a general theory of information, one moreover that is rich enough to do justice to perception, communication and thought. By now many people have contributed to the development and application of situation theory, constrained by the need to account for certain kinds of semantic phenomena, and by the need to give a rigorous mathematical account of the principles of information that underwrite the theory. This volume presents work that evolved out of the First Conference on Situation Theory and Its Applications held by CSLI at Asilomar, California, in March 1989. The nineteen papers included here fall into three categories. Those in Part I explore logical and mathematical issues that arise within situation theory. The papers in Part II connect situation theory with other approaches to logical issues, while those in Part III apply various version of situation theory to a number of linguistic issues.
[more]

front cover of Situation Theory and Its Applications, Volume 2
Situation Theory and Its Applications, Volume 2
Edited by Jon Barwise, Jean Mark Gawron, Gordon Plotkin, and Syun Tutiya
CSLI, 1991
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, AI, linguistics, logic, philosophy, and mathematics, the theory is forging a common set of tools for the analysis of phenomena from all these fields. This volume presents work that evolved out of the Second Conference on Situation Theory and its Applications. Twenty-six essays exhibit the wide range of the theory, covering such topics as natural language semantics, philosophical issues about information, mathematical aplications, and the visual representation of the information in computer systems. Jon Barwise is a professor of philosophy, mathematics, and logic at indiana university in Bloomington. Jean Mark Gawron is a researcher at SRI International and a consultant at Hewlett-Packard Laboratories. Gordon Plotkin is a professor of theoretical computer science at the University of Edinburgh. Syun Tutiya is in the philosophy department at Chiba University in Japan. Center for the Study of Language and Information- Lecture Notes, Number 26
[more]

front cover of Situation Theory and Its Applications, Volume 3
Situation Theory and Its Applications, Volume 3
Edited by Peter Aczel, David Israel, Stanley Peters, and Yasuhiro Katagiri
CSLI, 1993
These essays evolved from research presented at the Third International Conference on situation theory and its applications. 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, linguistics, logic, philosophy, and mathematics, it aims to provide a common set of tools for the analysis of phenomena from all of these fields. The research presented in this volume reflects a growing international and interdisciplinary activity of importance to many fields concerned with the information. Peter Aczel is professor of mathematical logic and computer logic at Manchester University. David Israel is a senoir computer scientist in the Artificial Intelligence Center at SRI International abd a consulting professor in the Philosophy Department at Stanford University. Yasuhiro Katagiri is a research scientist in the Information Science Research Laboratory of NTT Basic Research Laboratories. Stanley Peters is professor of linguistics and symbolic systems at Stanford University.
[more]

front cover of Situations and Attitudes
Situations and Attitudes
Jon Barwise and John Perry
CSLI, 1983
In this provocative book, Barwise and Perry tackle the slippery subject of "meaning," a subject that has long vexed linguists, language philosophers, and logicians. Meaning does not exist solely within words and sentences but resides largely in the situation and the attitudes brought to it by those involved. The authors present an unusually lucid treatment of important innovations in the field of natural semantics, contending that the standard view of logic (as derived from Frege, Russell, and work in mathematics and logic) is inappropriate for many of the uses to which it has been put by scholars. In Situations and Attitudes they provide the basics of a realistic model-theoretic semantics of natural language, explain the main ideas of the theory, and contrast them with those of competing theories.
[more]

front cover of Slavic in Head-Driven Phrase Structure Grammar
Slavic in Head-Driven Phrase Structure Grammar
Edited by Robert D. Borsley and Adam Przepiórkowski
CSLI, 1999
This book is the first collection of papers on Slavic language within a formal non-transformational linguistic formalism. The articles presented here are concerned with all components of grammar, from semantics, through syntax and morphology, to phonology. In particular, the following phenomena are given HPSG analyses: syntax and semantics of negation, anaphor binding, syntax and morphology of auxiliaries, {\em wh}-extraction, syntax and morphology of case assignment, diathesis and voice, complement vs. adjunct distinction, and syntactic haplology. The main languages dealt with are Polish and Serbo-Croatian, but Russian, Czech and Bulgarian are also represented.
[more]

front cover of Sociolinguistic Variation
Sociolinguistic Variation
Data, Theory, and Analysis
Edited by Jennifer Arnold, Renee Blake, and Brad Davidson
CSLI, 1996
This volume collects selected papers from the twenty-third New Ways of Analyzing Variation (NWAV23) conference held at Stanford University. It is a collection of innovative papers on the newest developments in research on variation. The range of topics covered in this collection include: phonological variation, morphosyntactic variation, register and style, discourse, codeswitching, and language change. A foreword by John Rickford ties the collection together. This volume will be of interest to sociolinguists, sociologists, and any scholar interested in comparative linguistics.
[more]

front cover of Specifying Syntactic Structures
Specifying Syntactic Structures
Edited by Patrick Blackburn and Maarten de Rijke
CSLI, 1997
The papers in this book apply mathematical and logical methods to the description of linguistic structures. Such descriptions are useful for a variety of purposes. For example, they make it easier to design and debug software for dealing with human languages. The purpose of the volume is to introduce a number of new and better methods for describing linguistic structures. The volume contains contributions on the logical foundations of current syntactic theories, as well as on logical methods that lead to new ways of describing syntactic structures.
[more]

front cover of Statement and Referent
Statement and Referent
An Inquiry into the Foundations of our Conceptual Order
David Shwayder
CSLI, 2008

Plato’s Parmenides and Aristotle’s Metaphysics initiated the discussion of the “First Philosophy” in the Western canon. Here, David Shwayder continues this debate by considering statements as the fundamental bearers of truth-values. Systematically moving from action to utterance, Shwayder argues that the category of “bodies” is fundamental to the human scheme of conceptualization and that if we had no capacity to refer to bodies then we would be unable to address referents from other categories.

[more]

front cover of Structure, Alignment and Optimality in Swedish
Structure, Alignment and Optimality in Swedish
Peter Sells
CSLI, 2001
Very little research has been performed on the grammatical structure of sentences in Swedish. Structure, Alignment and Optimality in Swedish is one of the first books to explore the Swedish sentence structure, presenting an account of the order of the words and phrases within the sentence. The book uses the theoretical framework of Lexical-Functional Grammar (LFG), which provides syntactic analysis in terms of subject, object, topic, and focus, as well as part-of-speech analysis in terms of noun phrase and verb phrase. The book also uses Optimality Theory, a theory of constraint interpretation that allows constraints to conflict by allowing the satisfaction of certain constraints or requirements to lead to a grammatical structure even if less important constraints are violated.
[more]

front cover of The Structure of Complex Predicates in Urdu
The Structure of Complex Predicates in Urdu
Miriam Butt
CSLI, 1995
Complex predicates in a number of diverse languages present an interesting problem for formal linguistics as their overall semantics cannot be placed into a simple one-to-one correspondence with the syntactic or morphological pieces which form the complex predicate.  A central issue in the investigation of complex predicates thus is the interaction between syntax and semantics.

This book takes a detailed look at two differing complex predicates in the South Asian language Urdu.  The Urdu permissive in particular brings into focus the problem of the syntax-semantics mismatch.  An examination of the syntactic properties of this complex predicate shows that it is formed by the combination of two semantic heads, but that this combination is not mirrored in the syntax in terms of any kind of syntactic or lexical incorporation.
[more]

front cover of The Structure of Scientific Articles
The Structure of Scientific Articles
Applications to Citation Indexing and Summarization
Simone Teufel
CSLI, 2010
Finding a particular scientific document amidst a sea of thousands of other documents can often seem like an insurmountable task. The Structure of Scientific Articles shows how linguistic theory can provide a solution by analyzing rhetorical structures to make information retrieval easier and faster.
Through the use of an improved citation indexing system, this indispensable volume applies empirical discourse studies to pressing issues of document management, including attribution, the author’s stance towards other work, and problem-solving processes.
[more]

front cover of Studies in Language and Information
Studies in Language and Information
John Perry
CSLI, 2019
This book gathers together in one volume many influential papers by renowned philosopher of language John Perry.
[more]

front cover of Studies in Weak Arithmetics, Volume 1
Studies in Weak Arithmetics, Volume 1
Edited by Patrick Cégielski
CSLI, 2009

The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. In this volume, after a general presentation of weak arithmetics, the following topics are studied: the properties of integers of a real closed field equipped with exponentiation; conservation results for the induction schema restricted to first-order formulas with a finite number of alternations of quantifiers; a survey on a class of tools called pebble games; the fact that the reals e and pi have approximations expressed by first-order formulas using bounded quantifiers; properties of infinite pictures depending on the universe of sets used; a language that simulates in a sufficiently nice manner all  algorithms of a certain restricted class; the logical complexity of the axiom of infinity in some variants of set theory without the axiom of  foundation; and the complexity to determine whether a trace is included in another one.

[more]

front cover of Studies in Weak Arithmetics, Volume 2
Studies in Weak Arithmetics, Volume 2
Edited by Patrick Cégielski, Charalampos Cornaros, and Costas Dimitracopoulos
CSLI, 2013
The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. New Studies in Weak Arithmetics is dedicated to late Australian mathematician Alan Robert Woods (1953-2011), whose seminal thesis is published here for the first time. This volume also contains the unpublished but significant thesis of Hamid Lesan (1951-2006) as well as other original papers on topics addressed in Woods’s thesis and life’s work that were first presented at the 31st Journées sur les Arithmétiques Faibles meeting held in Samos, Greece, in 2012.
[more]

front cover of Studies in Weak Arithmetics, Volume 3
Studies in Weak Arithmetics, Volume 3
Edited by Patrick Cegielski, Ali Enayat, and Roman Kossak
CSLI, 2013
The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. This third volume in the weak arithmetics collection contains nine substantive papers based on lectures delivered during the two last meetings of the conference series Journées sur les Arithmétiques, held in 2014 at the University of Gothenburg, Sweden, and in 2015 at the City University of New York Graduate Center.
[more]

front cover of Surfaces and Superposition
Surfaces and Superposition
Field Notes on some Geometrical Excavations
Ernest W. Adams
CSLI, 2001
Buildings appear to rest on top of the earth's surface, yet the surface is actually permeated by the buildings' foundations-out of view. If a foundation's blueprints are unavailable, as in archaeology, excavation would be needed to discover what actually supports a specific building. Analogously, the fields of geometry and topology have easily observable concepts resting on the surface of theoretical underpinnings that have not been completely discovered, unearthed or understood. Moreover, geometrical and topological principles of superposition provide insight into probing the connections between accessible superstructures and their hidden underpinnings. This book develops and applies these insights broadly, from physics to mathematics to philosophy. Even analogies and abstractions can now be seen as foundational superpositions.

This book examines the dimensionality of surfaces, how superpositions can make stable frameworks, and gives a quasi-Leibnizian account of the relative `spaces' that are defined by these frameworks. Concluding chapters deal with problems concerning the spatio-temporal frameworks of physical theories and implications for theories of visual geometry. The numerous illustrations, while surprisingly simple, are satisfyingly clear.
[more]

front cover of Syntactic Theory
Syntactic Theory
A Formal Introduction, 2nd Edition
Ivan A. Sag, Thomas Wasow, and Emily M. Bender
CSLI, 2003
This second edition of Syntactic Theory: A Formal Introduction expands and improves upon a truly unique introductory syntax textbook. Like the first edition, its focus is on the development of precisely formulated grammars whose empirical predictions can be directly tested. There is also considerable emphasis on the prediction and evaluation of grammatical hypotheses, as well as on integrating syntactic hypotheses with matters of semantic analysis.

The book covers the core areas of English syntax from the last quarter century, including complementation, control, "raising constructions," passives, the auxiliary system, and the analysis of long distance dependency constructions. Syntactic Theory's step-by-step introduction to a consistent grammar in these core areas is complemented by extensive problem sets drawing from a variety of languages.

The book's theoretical perspective is presented in the context of current models of language processing, and the practical value of the constraint-based, lexicalist grammatical architecture proposed has already been demonstrated in computer language processing applications. This thoroughly reworked second edition includes revised and extended problem sets, updated analyses, additional examples, and more detailed exposition throughout.

Praise for the first edition:
"Syntactic Theory sets a new standard for introductory syntax volumes that all future books should be measured against."—Gert Webelhuth, Journal of Linguistics
[more]


Send via email Share on Facebook Share on Twitter