front cover of Language and Grammar
Language and Grammar
Studies in Mathematical Linguistics and Natural Language
Edited by Claudia Casadio, Philip Scott, and Robert Seely
CSLI, 2004
The application of logic to grammar is a fundamental issue in philosophy and has been investigated by such renowned philosophers as Leibniz, Bolzano, Frege, and Husserl. Language and Grammar examines categorial grammars and type-logical grammars, two linguistic theories that play a significant role in this area of study yet have been overshadowed until recently. The prominent scholars contributing to this volume also explore the impact of the Lambek program on linguistics and logical grammar, producing, ultimately, an exciting and important resource that demonstrates how type-logical grammars are promising future models of reasoning and computation.
[more]

front cover of Language and Learning for Robots
Language and Learning for Robots
Colleen Crangle and Patrick Suppes
CSLI, 1994
Robot technology will find wide-scale use only when a robotic device can be given commands and taught new tasks in a natural language. How could a robot understand instructions expressed in English? How could a robot learn from instructions? Crangle and Suppes begin to answer these questions through a theoretical approach to language and learning for robots and by experimental work with robots.

The authors develop the notion of an instructable robot—one which derives its intelligence in part from interaction with humans. Since verbal interaction with a robot requires a natural language semantics, the authors propose a natural-model semantics which they then apply to the interpretation of robot commands. Two experimental projects are described which provide natural-language interfaces to robotic aids for the physically disabled. The authors discuss the specific challenges posed by the interpretation of "stop" commands and the interpretation of spatial prepositions.

The authors also examine the use of explicit verbal instruction to teach a robot new procedures, propose ways a robot can learn from corrective commands containing qualitative spatial expressions, and discuss the machine-learning of a natural language use to instruct a robot in the performance of simple physical tasks. Two chapters focus on probabilistic techniques in learning.
[more]

front cover of Language and Sexuality
Language and Sexuality
Contesting Meaning in Theory and Practice
Edited by Kathryn Campbell-Kibler, Robert J. Podesva, Sarah Roberts, and Andrew
CSLI, 2001
Language and Sexuality explores the question of how linguistic practices and ideologies relate to sexuality and sexual identity, opening with a discussion of the emerging field of "queer linguistics" and moving from theory into practice with case studies of language use in a wide variety of cultural settings. The resulting volume combines the perspectives of the field's top scholars with exciting new research to present new ideas on the ways in which language use intersects with sexual identity.
[more]

front cover of Language and the Creative Mind
Language and the Creative Mind
Edited by Michael Borkent, Barbara Dancygier, and Jennifer Hinnell
CSLI, 2013
This volume brings together papers from the 11th Conceptual Structure, Discourse and Language Conference, held in Vancouver in May 2012. In the last few years, the cognitive study of language has begun to examine the interaction between language and other embodied communicative modalities, such as gesture, while at the same time expanding the traditional limits of linguistic and cognitive enquiry into creative domains such as music, literature, and visual images. Papers in this collection show how the study of language paves the way for these new areas of investigation. They bring issues of multimodal communication to the attention of linguists, while also looking through and beyond language into various domains of human creativity. This refreshed view of the relations across various communicative domains will be important not only to linguists, but also to all those interested in the creative potential of the human mind.
[more]

front cover of Language at Work
Language at Work
Analyzing Communication Breakdown in the Workplace to Inform Systems Design
Keith Devlin and Duska Rosenberg
CSLI, 1996
People are very creative in their use of language. This observation was made convincingly by Chomsky in the 1950s and is generally accepted in the scientific communities concerned with the study of language. Computers, on the other hand, are neither creative, flexible, nor adaptable. This is in spite of the fact that their ability to process language is based largely on the grammars developed by linguists and computer scientists. Thus, there is a mismatch between the observed human creativity and our ability as theorists to explain it. Language at Work examines grammars and other descriptions of language by combining the scientific and the practical. The scientific motivation is to unite distinct intellectual traditions, mathematics and descriptive social science, which have tried to provide an adequate explanation of language and its use on their own to no avail. This volume argues that Situation Theory, a theory of information couched in mathematics, has provided a uniform framework for the investigation of the creative aspects of language use. The application of Situation Theory in the study of language use in everyday communication to improve human/computer interaction is explored and espoused.
[more]

front cover of Language, Culture, and Mind
Language, Culture, and Mind
Edited by Michel Achard and Suzanne Kemmer
CSLI, 2003
Language, Culture, and Mind is a stimulating collection exploring the ways that cognitive, social, and cultural categories are revealed through language. Contributors use methods such as psycholinguistic experiments and observations of natural discourse to probe how such categories are organized, with grammatical and semantic analyses—in modern cognitive frameworks—augmenting these approaches. Some of the phenomena studied include the linguistic expression of space and causality; aspect, classifiers, negation, and complement constructions; and metaphor, metonymy, and conceptual blending across different domains of human experience. The result is a fresh perspective on the way language relates to thought and culture.
[more]

front cover of Language from a Cognitive Perspective
Language from a Cognitive Perspective
Grammar, Usage, and Processing
Edited by Emily M. Bender and Jennifer E. Arnold
CSLI, 2011

This book is a collection of papers on language processing, usage, and grammar, written to commemorate the career of Thomas Wasow on the occasion of his sixty-fifth birthday. Wasow has been professor of linguistics and philosophy at Stanford University since 1973, and is affiliated with the Symbolic Systems Program. He has made significant contributions to the study of English syntax, psycholinguistics, and philosophy of linguistics.

[more]

front cover of Language, Proof, and Logic
Language, Proof, and Logic
Second Edition
Dave Barker-Plummer, Jon Barwise, and John Etchemendy
CSLI, 2011

Language Proof and Logic is available as a physical book with the software included and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at gradegrinder.net.

The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to undergraduates in philosophy, computer science, mathematics, and linguistics.

Introductory material is presented in a systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.

The software package includes four programs:

Tarski's World, a new version of the popular program that teaches the basic first-order language and its semantics;

Fitch, a natural deduction proof environment for giving and checking first-order proofs;

Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);

Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.

Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows and Macintosh systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at gradegrinder.net.

The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.

[more]

front cover of Layers of Aspect
Layers of Aspect
Patricia Cabredo Hofherr and Brenda Laca
CSLI, 2010

The eight articles in this volume reexamine the syntactic and semantic analyses of aspect that have been proposed mainly on the basis of aspectual expressions in English. The authors contrast expressions sharing an analogous morpho-syntactic make-up and some core distributional and semantic properties, drawing on a wide range of new empirical data from languages as diverse as Syrian Arabic, Urdu, Brazilian Portuguese, Russian, Indonesian, and German. The papers address four aspect-related problems in particular: the grammatical and semantic constraints on the different readings of the present perfect, the semantic and syntactic analysis of auxiliaries, the impact of adverbial expressions on the aspectual properties of the sentence, and morphology-semantics mapping.

[more]

front cover of Learnable Classes of Categorial Grammars
Learnable Classes of Categorial Grammars
Makoto Kanazawa
CSLI, 1998
This book investigates the learnability of various classes of classical categorial grammars within the Gold paradigm of identification in the limit from positive data. Learning from structure and learning from flat strings are considered. The class of k-valued grammars, for k = 1,2,3,..., is shown to be learnable both from structures and from strings, while the class of least-valued grammars and the class of least-cardinality grammars are shown to be learnable from structures. In proving these learnable results, crucial use is made of a theorem on the concept known as finite elasticity. The learning algorithms used in this work build on Buszkowski and Penn's algorithm for finding categorial grammars from input consisting of functor-argument structures.
[more]

front cover of Lectures on Contemporary Syntactic Theories
Lectures on Contemporary Syntactic Theories
An Introduction to Government-Binding Theory, Generalized Phrase Structure Grammar, and Lexical-Function Grammar
Peter Sells
CSLI, 1985
Sells provides an introduction to the most important aspects of three major contemporary syntactic theories. A strong linguiustic background is not presupposed, and a brief introductory chapter is included for the nonlinguist. PETER SELLS is a postdoctoral research affliate at CSLI. 1/1/1985 ISBN (Paperback): 0937073148 ISBN (Cloth): 093707313X Subject: Linguistics; Grammar--Syntax; Government-Binding Theory
[more]

front cover of Lectures on Deixis
Lectures on Deixis
Charles Fillmore
CSLI, 1997
This volume presents the author's view of the scope of linguistic description, insofar as the field of linguistics touches on questions of the meanings of sentences. Fillmore takes the subject matter of linguistics, in its grammatical, semantic and pragmatic sub-divisions, to include the full catalogue of knowledge which the speakers of a language can be said to possess about the structure of the sentences in their language, and their knowledge about the appropriate use of these sentences. In the author's view, the special explanatory task of linguistics is to discover the principles which underlie such knowledge. Fillmore chooses to study the range of information which the speakers of a language possess about the sentences in their language by thoroughly examining one simple English sentence.
[more]

front cover of Lectures on Linear Logic
Lectures on Linear Logic
A. S. Troelstra
CSLI, 1992
Linear logic is an example of a "resource-sensitive" logic, keeping track of the number of times data of given types are used. Formulas in linear logic represent either the data themselves or data types, whereas in ordinary logic a formula is a proposition. If ordinary logic is a logic of truth, linear logic is a logic of actions. Linear logic and its implications are explored in depth in this volume. Particular attention has been given to the various formalisms for linear logic, embeddings of classical and intuitionistic logic into linear logic, the connection with certain types of categories, the "formulas-as-types" paradigm for linear logic and associated computational interpretations, and Girard's proof nets for classical linear logic as an analogue of natural deduction. It is also shown that linear logic is undecidable. A final section, contributed by D. Roorda, presents a proof of strong normalization for cut elimination in linear logic. Linear logic is of interest to logicians and computer scientists, and shows links with many other topics, such as coherence theorems in category theory, the theory of Petri nets, and abstract computing machines without garbage collection
[more]

front cover of Let's Speak Twi
Let's Speak Twi
A Proficiency Course in Akan Language and Culture
Adams Bodomo, Charles Marfo, and Lauren Hall-Lew
CSLI, 2010

Let’s Speak Twi is an introductory language-learning textbook for speakers of English and other languages who seek proficiency in Akan Twi, the most widely used and understood native language of Ghana. Included in the book are several practice exercises and activities; an extensive range of culturally relevant topics and dialogues; lists of idiomatic, colloquial, and euphemistic expressions; a reference glossary; and tips on culturally appropriate behavior.

[more]

front cover of Lexical and Constructional Aspects of Linguistic Explanation
Lexical and Constructional Aspects of Linguistic Explanation
Edited by Gert Webelhuth, Jean-Pierre Koenig, and Andreas Kathol
CSLI, 1999

front cover of A Lexical Approach to Italian Cliticization
A Lexical Approach to Italian Cliticization
Paola Monachesi
CSLI, 1999
This volume examines the behavior of clitics both in Italian and in certain southern Italian dialects in order to show that, even within a single language, clitics exhibit different properties. Monachesi argues against the existence of a special class 'clitics' whose elements exhibit variable behavior. Instead, she decomposes and assimilates their properties to those of well established categories. Motivations are thus provided for treating Italian object clitics as affixes. It is shown that both their morphosyntactic and their phonological behavior argue in favor of this assumption. Under this view, a lexicalist analysis is proposed which takes into account the phonological, morphological, and syntactic properties of Italian clitics.
[more]

front cover of Lexical Matters
Lexical Matters
Edited by Ivan A. Sag and Anna Szabolcsi
CSLI, 1992
This volume contains new research on the lexicon and its relation to other aspects of linguistics. These essays put forth empirical arguments to claim that specific theoretical assumptions concerning the lexicon play a crucial role in resolving problems pertaining to other componenets of grammer. Topics include: syntactic/semantic interface in the areas of aspect, argument structure, and thematic roles; lexicon-based accounts of quirky case, anaphora, and control; the boundary between the lexicon and the syntax in the domains of sentence comprehension and nominal compounding; and the possibility of extending nthe concpet of blocking beyond the traditional lexicon. Ivan Sag is a professor of linguistics at Stanford University. Anna Szabolcsi is an associate professor of linguistics at UCLA. Center for the Study of Language and Information- Lecture Notes, Number 24
[more]

front cover of Lexical Relations
Lexical Relations
Jean-Pierre Koenig
CSLI, 1999
The thrust of this book is to provide a model of lexical relations which reconciles the lexicon's idiosyncratic and productive aspects. Building on work in Head-driven Phrase-Structure Grammar, an organization of lexical knowledge is proposed--- called the Type Underspecified Hierarchical Lexicon--- through which partial regularities, medium-size generalization, and truly productive processes receive a unified model. Its basic thesis is that all lexical relations reduce to categorization (the membership of the two related lexemes in a common category) and that category intersection is the only mechanism needed to model lexical processes provided lexical items can be stored partially underspecified as to their category membership. Aside from the conceptual simplification that results from this move, the book demonstrates that several empirical and theoretical benefits accrue to this architecture; in particular, many salient properties of morphological processes are shown to reduce to inherent, formal properties of the organization of the lexicon.
[more]

front cover of Lexical Semantics in LFG
Lexical Semantics in LFG
Edited by Miriam Butt and Tracy Holloway King
CSLI, 2006
Available for the first time in years, Lexical Semantics in LFG is a reissue of the groundbreaking "Papers in Lexical Functional Grammar." It spans a diverse range of topics, including Italian unaccusatives, Malayalam causatives, derived nominals, resultatives, and non-nominative subjects in Icelandic. With its emphasis on representations of lexical semantic information that allow operations on predicate-argument relations and grammatical relations to be independent of structural configurations, the text will be of interest to both scholars and students of linguistics.
[more]

front cover of Lexical-Functional Grammar
Lexical-Functional Grammar
An Introduction to Parallel Constraint-Based Syntax
Yehuda N. Falk
CSLI, 2001
With this textbook, Yehuda N. Falk provides an introduction to the theory of Lexical-Functional Grammar, aimed at both students and professionals who are familiar with other generative theories and now wish to approach LFG. Falk examines LFG's relation to more conventional theories—like Government/Binding or the Minimalism Program—and, in many respects, establishes its superiority.
[more]

front cover of Linguistic Databases
Linguistic Databases
Edited by John Nerbonne
CSLI, 1998
Linguistics Databases explains the increasing use of databases in linguistics. Specifically, the works presented in this collection report on database activities in phonetics, phonology, lexicography and syntax, comparative grammar, second-language acquisition, linguistic fieldwork, and language pathology. The volume presents the specialized problems of multi-media (especially audio) and multilingual texts, including those in exotic writing systems. Various implemented solutions are discussed, and the opportunities to use existing, minimally structured text repositories are presented.
[more]

front cover of Linguistic Form and Its Computation
Linguistic Form and Its Computation
Edited by Christian Rohrer, Antje Rossdeutscher, and Hans Kamp
CSLI, 2001
This volume presents results of the Collaborative Research Center "Linguistic Foundations for Computational Linguistics" at the Universities of Stuttgart and Tubingen, whose goal has been to foster interaction between theoretical and computational linguistics. The papers here address topics including syntax, syntax-semantics interface, syntax-pragmatics interface, discourse, methods for lexicon induction, and the challenges of ambiguity.
[more]

front cover of Linguistic Individuals
Linguistic Individuals
Almerindo E. Ojeda
CSLI, 1993
The goal of semantics is the insightful identification of the set of meanings that human language can express- the contruction of what has been called the metaphysics of natural language. A formal attempt to contruct such a metaphysics has generally involved identifying a set of individuals referred to as the universe of discourse. Until recently, however, semanticists have had little to say about the structure of this set. Ojeda argues that the structure of the set of linguistic individuals is a mereology, that is, the domain of discourse is made up of kinds and the instantiations of kinds. His argument forms the four main slections of this work. The first examines the semantics of countability (countable stems, number inflection, adjectives of measure, and determiners); the second explores the semantics of uncountability (the individuation of reference, and non-Boolean mass predicates); the third takes up the semantics of nominality (the mereological homogenetiy of mouns and the constraints on nouns in classifier languages); and the last investigates the semantics of the conceptional neauter, a pronominal category discussed by Otto Jesperson. Ojeda's investigations contribute to the characterization of linguistiv individuals and proide for a new basis for the semantics of individuation. Almerindo E. Ojeda is a professor of linguistics at the University of California at Davis. Center for the Study of Language and Information- Lecture Notes, Number 7
[more]

front cover of Linguistic Issues in Language Technology Vol 9
Linguistic Issues in Language Technology Vol 9
Perspectives on Semantic Representations for Textual Inference
Edited by Cleo Condoravdi, Valeria de Paiva, and Annie Zaenen
CSLI, 2014
Linguistic Issues in Language Technology (LiLT) is an open-access journal that focuses on the relationships between linguistic insights and language technology. In conjunction with machine learning and statistical techniques, deeper and more sophisticated models of language and speech are needed to make significant progress in both existing and newly emerging areas of computational language analysis. The vast quantity of electronically accessible natural language data (text and speech, annotated and unannotated, formal and informal) provides unprecedented opportunities for data-intensive analysis of linguistic phenomena, which can in turn enrich computational methods. Taking an eclectic view on methodology, LiLT provides a forum for this work. In this volume, contributors offer new perspectives on semantic representations for textual inference.
[more]

front cover of Linguistics and Computation
Linguistics and Computation
Edited by Jennifer S. Cole, Georgia M. Green, and Jerry L. Morgan
CSLI, 1995
This volume is a collection covering the diverse areas of psycholinguistics, syntax, computational linguistics and phonology. Abney's paper on Chunks provides an interesting new approach to phrase structure, motivated by psycholinguist data, something that is rarely done. Berwick and Fong provide a history of computational implementations of (Chomskyan) Transformational Grammar. Cole's phonology paper, arguing from Chamorro and English stress that cyclicity is not needed in phonology, is also preceded by a one-and-a-half-page introduction on why this is relevant to computation. Coleman's contribution summarises work on computational phonology and describes the York Talk speech synthesis system. Hirschberg and Sproat's paper describes a system they have written to assign pitch accent to unrestricted text in an RT&T text-to-speech system. This is very much applied natural language processing, but their system represents a more thorough-going attempt at doing this well than has been previously attempted, and this appears to be the first write-up of this work. Johnson and Moss introduce Stratified Feature Grammar, a formal model of language, inspired by Relational Grammar but formalised by using and extending tools developed in the unification grammar community. Finally, Nakazawa extends further Tomita's work so that computer science LR parsing methods can be applied to natural language grammars, here feature-based grammars.
[more]

front cover of The Linguistics of Punctuation
The Linguistics of Punctuation
Geoffrey Nunberg
CSLI, 1990
Geoffrey Nunberg challenges a widespread assumption that the linguistic structure of written languages is qualitatively identical to that of spoken language: It should no longer be necessary to defend the view that written language is truly language, but it is surprising to learn of written-language category indicators that are realized by punctuation marks and other figural devices.' He shows that traditional approaches to these devices tend to describe the features of written language exclusively by analogy to those of spoken language, with the result that punctuation has been regarded as an unsystematic and deficient means for presenting spoken-language intonation. Analysed in its own terms, however, punctuation manifests a coherent linguistic subsystem of 'text-grammar' that coexists in writing with the system of 'lexical grammar' that has been the traditional object of linguistic inquiry. A detailed analysis of the category structure of English text-sentences reveals a highly systematic set of syntactic and presentational rules that can be described in terms independent of the rules of lexical grammar and are largely matters of the tacit knowledge that writers acquire without formal instruction. That these rules obey constraints that are structurally analogous to those of lexical grammar leads Nunberg to label the text-grammar an 'application' of the principles of natural language organization to a new domain. Geoffrey Nunberg is a researcher at Xerox Palo Alto Research Center.
[more]

front cover of LingVis
LingVis
Visual Analytics for Linguistics
Edited by Miriam Butt, Annette Hautli-Janisz, and Verena Lyding
CSLI, 2018
This volume collects landmark research in a burgeoning field of visual analytics for linguistics, called LingVis. Combining linguistic data and linguistically oriented research questions with techniques and methodologies developed in the computer science fields of visual analytics and information visualization, LingVis is motivated by the growing need within linguistic research for dealing with large amounts of complex, multidimensional data sets. An innovative exploration into the future of LingVis in the digital age, this foundational book both provides a representation of the current state of the field and communicates its new possibilities for addressing complex linguistic questions across the larger linguistic community.
[more]

front cover of Linking by Types in the Hierarchical Lexicon
Linking by Types in the Hierarchical Lexicon
Anthony R. Davis
CSLI, 2001
Actions are described by verbs whose subjects, objects, and other complements refer to various participants in those actions. What linguistic principles determine which participants are referred to by each component of a verb?

Many previous approaches to this problem have employed a set of thematic roles, such as agent and patient, to classify varieties of participants. The alternative developed here fits within the framework of Head-Driven Phrase Structure Grammar while utilizing typed feature structures, certain basic features of verb meaning, a hierarchical classification of verb meanings, and constraints from more general to more specific word classes. Relying on no special mechanisms or components of grammar, this book is unique in its ability to account for the observed range of verb types in human languages with a simple yet widely applicable set of principles.
[more]

front cover of Literate Programming
Literate Programming
Donald E. Knuth
CSLI, 1992
This anthology of essays from Donald Knuth, "the father of computer science," and the inventor of literate programming includes early essays on related topics such as structured programming, as well as The Computer Journal article that launched literate programming itself. Many examples are given, including excerpts from the programs for TeX and METAFONT. The final essay is an example of CWEB, a system for literate programming in C and related languages.

This volume is first in a series of Knuth's collected works.
[more]

front cover of Local Constraints vs. Economy
Local Constraints vs. Economy
David E. Johnson and Shalom Lappin
CSLI, 1999
The book offers a detailed critique of the economy-of-derivation model of grammar that has emerged within the framework of Chomsky's Minimalist Program. It looks at the conceptual and computational complexity problems as well as the empirical consequences of both global and local economy principles. The book compares the economy-of-derivation model with a local constraint model of grammar that does not invoke conditions on sets of derivations or on possible operations in a derivation. It argues that the pure local constraint model of grammar avoids the complexity problems resulting from economy-of-derivation principles and provides a more satisfactory explanation of the linguistic facts that economy theorists have cited in support of their approach. The local constraint model also allows for a more natural and empirically well-motivated grammatical architecture than the one postulated by the Minimalist Program.
[more]

front cover of Logic and Pragmatism
Logic and Pragmatism
Selected Essays by Giovanni Vailati
Claudia Arrighi, Paola Cantu, Mauro de Zan, and Patrick Suppes
CSLI, 2009

Logic and Pragmatism features a number of the key writings of Giovanni Vailati (1863–1909), the Italian mathematician and philosopher renowned for his work in mechanics, geometry, logic, and epistemology. The selections in this book—many of which are available here for the first time in English—focus on Vailati’s significant contributions to the field of pragmatism. Accompanying these pieces are introductory essays by the volume’s editors that outline the traits of Vailati’s pragmatism and provide insights into the scholar’s life.

[more]

front cover of Logic and Representation
Logic and Representation
Robert C. Moore
CSLI, 1993
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 problems in artificial intelligence, natural language semantics, and the philosophy of mind and language. Particular attention is paid to modeling and reasoning about knowledge and belief, including reasoning about one's own beliefs, and the semantics of sentences about knowledge and belief. Robert C. Moore begins by exploring the role of logic in artificial intelligence, considering logic as an analytical tool., as a basis for reasoning systems, and as a programming language. He then looks at various logical analyses of propositional attitudes, including possible-world models, syntactic models, and models based on Russellian propositions. Next Moore examines autoepistemic logic, a logic for modeling reasoning about one's own beliefs. Rounding out the volume is a section on the semantics of natural language, including a survey of problems in semantic representation; a detailed study of the relations among events, situations, and adverbs; and a presentation of a unification-based approach to semantic interpretation. Robert C. Moore is principal scientist of the Artificial Intelligence Center of SRI International.
[more]

front cover of Logic and Visual Information
Logic and Visual Information
Eric M. Hammer
CSLI, 1995

front cover of Logic Colloquium '92
Logic Colloquium '92
Edited by Lázló Csirmaz, Dov M. Gabbay, and Maarten de Rijke
CSLI, 1995
Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszpre;m, Hungary, in August 1992. Two of the main themes of the event were algebraic logic, and axiomatisability and decidability of logical systems. The present volume contains a selection of papers that grew out of invited and contributed talks on these themes. Most of the papers have a strong interdisciplinary flavour as they investigate logical properties of formal systems by studying algebraic properties of corresponding classes of algebras, or vice versa. The remaining papers focus on connected areas from model theory and the combination of logics. This is a useful and timely volume on algebraic logic and related areas, with contributions by leading people in the field.
[more]

front cover of Logic, Convention, and Common Knowledge
Logic, Convention, and Common Knowledge
A Conventionalist Account of Logic
Paul F. Syverson
CSLI, 2002
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 within a game-theoretic framework, as a kind of equilibrium between the strategies of players in a game where they share common knowledge of events—a revisiting of Lewis's Convention that argues that convention can be reasonably treated as coordination equilibria. Most strikingly, a realistic solution is provided for Gray's classic coordination problem, wherein two generals can only communicate with each other through unreliable means.
[more]

front cover of Logic, Langage and Computation, Volume 2
Logic, Langage and Computation, Volume 2
Edited by Lawrence S. Moss, Jonathan Ginzburg, and Maarten de Rijke
CSLI, 1999
The fields of logic, linguistics and computer science are intimately related, and modern research has uncovered a wide range of connections. This collection focuses on work that is based on the unifying concept of information. This collection of nineteen papers covers subjects such as channel theory, presupposition and constraints, the modeling of discourse, and belief. They were all presented at the 1996 Conference on Information-Theoretic Approaches to Logic, Language, Information, and Computation.
[more]

front cover of Logic, Language and Computation
Logic, Language and Computation
Edited by Jerry Seligman and Dag Westerståhl
CSLI, 1996
Subject: Linguistics; Logic; Computational Linguistics
[more]

front cover of Logic, Language and Computation, Volume 3
Logic, Language and Computation, Volume 3
Edited by Patrick Blackburn, Nick Braisby, Lawrence Cavedon, and Atsushi Shimoji
CSLI, 2001
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 concept, there has arisen an increasing appreciation of the intertwined nature of fields such as logic, linguistics, and computer science that answer the questions about information and the ways it can be processed. The many research traditions do not agree about the exact nature of information. By bringing together ideas from diverse perspectives, this book presents the emerging consensus about what a conclusive theory of information should be. The book provides an introduction to the topic, work on the underlying ideas, and technical research that pins down the richer notions of information from a mathematical point of view.

The book contains contributions to a general theory of information, while also tackling specific problems from artificial intelligence, formal semantics, cognitive psychology, and the philosophy of mind. There is focus on the dynamics of information flow, and also a consideration of static approaches to information content; both quantitative and qualitative approaches are represented.
[more]

front cover of Logical Reasoning with Diagrams and Sentences
Logical Reasoning with Diagrams and Sentences
Using Hyperproof
Dave Barker-Plummer, Jon Barwise, and John Etchemendy
CSLI, 2016
The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully crafted combination of textbook, desktop, and online materials. This package is sure to be an essential resource in a range of courses incorporating logical reasoning, including formal linguistics, philosophy, mathematics, and computer science.

Unlike traditional formal treatments of reasoning, this package uses both graphical and sentential representations to reflect common situations in everyday reasoning where information is expressed in many forms, such as finding your way to a location using a map and an address. It also teaches students how to construct and check the logical validity of a variety of proofs—of consequence and non-consequence, consistency and inconsistency, and independence—using an intuitive proof system which extends standard proof treatments with sentential, graphical, and heterogeneous inference rules, allowing students to focus on proof content rather than syntactic structure. Building upon the widely used Tarski’s World and Language, Proof and Logic courseware packages, Logical Reasoning with Diagrams and Sentences contains more than three hundred exercises, most of which can be assessed by the Grade Grinder online assessment service; is supported by an extensive website through which students and instructors can access online video lectures by the authors; and allows instructors to create their own exercises and assess their students’ work.

Logical Reasoning with Diagrams and Sentences is an expanded revision of the Hyperproof courseware package.
[more]

front cover of Logics of Time and Computation
Logics of Time and Computation
Robert Goldblatt
CSLI, 1992
"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic completeness, decidability, and expressability results in a variety of logics of the three kinds considered." -Rohit Parikh, reviewing the first edition in the Journal of Symbolic Logic. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Golblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order defiability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next , anduntil; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, intorducing a connective for the parallel execution of commands. A seperate section is devoted to the quantificational dynamic logic. Numerous excercises are included for use in the classroom. Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Center for the Study of Language and Information- Lecture Notes, Number 7
[more]


Send via email Share on Facebook Share on Twitter