Skip to main content
Type-Logical Syntax

Type-Logical Syntax

Current price: $60.00
Publication Date: September 15th, 2020
The MIT Press
The MIT Press Bookstore
3 on hand, as of Apr 23 10:14am
On Our Shelves Now


A novel logic-based framework for representing the syntax-semantics interface of natural language, applicable to a range of phenomena.

In this book, Yusuke Kubota and Robert Levine propose a type-logical version of categorial grammar as a viable alternative model of natural language syntax and semantics. They show that this novel logic-based framework is applicable to a range of phenomena—especially in the domains of coordination and ellipsis—that have proven problematic for traditional approaches.

The type-logical syntax the authors propose takes derivations of natural language sentences to be proofs in a particular kind of logic governing the way words and phrases are combined. This logic builds on and unifies two deductive systems from the tradition of categorial grammar; the resulting system, Hybrid Type-Logical Categorial Grammar (Hybrid TLCG) enables comprehensive approaches to coordination (gapping, dependent cluster coordination, and right-node raising) and ellipsis (VP ellipsis, pseudogapping, and extraction/ellipsis interaction). It captures a number of intricate patterns of interaction between scopal operators and seemingly incomplete constituents that are frequently found in these two empirical domains. Kubota and Levine show that the hybrid calculus underlying their framework incorporates key analytic ideas from competing approaches in the generative syntax literature to offer a unified and systematic treatment of data that have posed considerable difficulties for previous accounts. Their account demonstrates that logic is a powerful tool for analyzing the deeper principles underlying the syntax and semantics of natural language.

About the Author

Yusuke Kubota is Associate Professor in the Theory and Typology Division at the National Institute for Japanese Language and Linguistics.

Robert Levine is Professor of Linguistics at Ohio State University.

Praise for Type-Logical Syntax

"This terrific book is open-access! [ . . . ] Kubota and Levine report on a decade of heavy lifting in their efforts to develop Hybrid Type-Logical Categorial Grammar (Hybrid TLCG), which they use to study a range of constructions that will make the heart of any syntactician beat faster: gapping, stripping, various exotic types of coordination, pseudogapping, ellipsis, islands, and more."—Journal of Linguistics