Type-Logical Syntax
Type-Logical Syntax

Author: Yusuke Kubota

Publisher: MIT Press

Published: 2020-09-15

Total Pages: 420

ISBN-13: 0262360799

DOWNLOAD EBOOK

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.

Type-logical Syntax
Type-logical Syntax

Author: Yusuke Kubota

Publisher:

Published: 2016

Total Pages:

ISBN-13: 9780262360807

DOWNLOAD EBOOK

"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."--

Categorial Grammar
Categorial Grammar

Author: Glyn Morrill

Publisher: Oxford University Press

Published: 2010-09-22

Total Pages: 253

ISBN-13: 0199589852

DOWNLOAD EBOOK

This book provides a state-of-the-art introduction to categorial grammar, a type of formal grammar which analyses expressions as functions or according to a function-argument relationship. The book's focus is on linguistic, computational, and psycholinguistic aspects of logical categorial grammar, i.e. enriched Lambek Calculus. Glyn Morrill opens with the history and notation of Lambek Calculus and its application to syntax, semantics, and processing. Successive chapters extend the grammar to a number of significant syntactic and semantic properties of natural language. The final part applies Morrill's account to several current issues in processing and parsing, considered from both a psychological and a computational perspective. The book offers a rigorous and thoughtful study of one of the main lines of research in the formal and mathematical theory of grammar, and will be suitable for students of linguistics and cognitive science from advanced undergraduate level upwards.

Type-Logical Semantics
Type-Logical Semantics

Author: Bob Carpenter

Publisher: MIT Press

Published: 1998-07-24

Total Pages: 616

ISBN-13: 9780262531498

DOWNLOAD EBOOK

Based on an introductory course on natural-language semantics, this book provides an introduction to type-logical grammar and the range of linguistic phenomena that can be handled in categorial grammar. It also contains a great deal of original work on categorial grammar and its application to natural-language semantics. The author chose the type-logical categorial grammar as his grammatical basis because of its broad syntactic coverage and its strong linkage of syntax and semantics. Although its basic orientation is linguistic, the book should also be of interest to logicians and computer scientists seeking connections between logical systems and natural language. The book, which stepwise develops successively more powerful logical and grammatical systems, covers an unusually broad range of material. Topics covered include higher-order logic, applicative categorial grammar, the Lambek calculus, coordination and unbounded dependencies, quantifiers and scope, plurals, pronouns and dependency, modal logic, intensionality, and tense and aspect. The book contains more mathematical development than is usually found in texts on natural language; an appendix includes the basic mathematical concepts used throughout the book.

Philosophy of Syntax
Philosophy of Syntax

Author: Mieszko Talasiewicz

Publisher: Springer Science & Business Media

Published: 2009-11-12

Total Pages: 192

ISBN-13: 9048132886

DOWNLOAD EBOOK

Since 1970-ties in the theory of syntax of natural language quite a number of competing, incommensurable theoretic frameworks have emerged. Today the lack of a leading paradigm and kaleidoscope of perspectives deprives our general understanding of syntax and its relation to semantics and pragmatics. The present book is an attempt to reestablish the most fundamental ideas and intuitions of syntactic well-formedness within a new general account. The account is not supposed to compete with any of today’s syntactic frameworks, but to provide a deeper understanding of why these frameworks succeed or fail when they do and to show a new way for cooperation between logicians and linguists which may lead in future to a unified, yet more specific account.

Type Logical Grammar
Type Logical Grammar

Author: G.V. Morrill

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 312

ISBN-13: 9401110425

DOWNLOAD EBOOK

This book sets out the foundations, methodology, and practice of a formal framework for the description of language. The approach embraces the trends of lexicalism and compositional semantics in computational linguistics, and theoretical linguistics more broadly, by developing categorial grammar into a powerful and extendable logic of signs. Taking Montague Grammar as its point of departure, the book explains how integration of methods from philosophy (logical semantics), computer science (type theory), linguistics (categorial grammar) and meta-mathematics (mathematical logic ) provides a categorial foundation with coverage including intensionality, quantification, featural polymorphism, domains and constraints. For the first time, the book systematises categorial thinking into a unified program which is at once both logically secured, and a practical tool for pure lexical grammar development with type-theoretic semantics. It should be of interest to all those active in computational linguistics and formal grammar and is suitable for use at advanced undergraduate, postgraduate, and research levels.

Logical Syntax of Language
Logical Syntax of Language

Author: Rudolf Carnap

Publisher: Routledge

Published: 2014-06-23

Total Pages: 369

ISBN-13: 1317830601

DOWNLOAD EBOOK

This is IV volume of eight in a series on Philosophy of the Mind and Language. For nearly a century mathematicians and logicians have been striving hard to make logic an exact science. But a book on logic must contain, in addition to the formulae, an expository context which, with the assistance of the words of ordinary language, explains the formulae and the relations between them; and this context often leaves much to be desired in the matter of clarity and exactitude. Originally published in 1937, the purpose of the present work is to give a systematic exposition of such a method, namely, of the method of " logical syntax".

Philosophy of Syntax
Philosophy of Syntax

Author: Mieszko Talasiewicz

Publisher: Springer

Published: 2009-11-13

Total Pages: 196

ISBN-13: 9789048132911

DOWNLOAD EBOOK

This book proposes an original treatment of quantification, and it formulates insightful general principles of syntactic analysis. Its main message is that categorical grammar is the most plausible framework for logical syntax of natural language.

Anaphora and Type Logical Grammar
Anaphora and Type Logical Grammar

Author: Gerhard Jäger

Publisher: Springer Science & Business Media

Published: 2005-12-08

Total Pages: 301

ISBN-13: 1402039050

DOWNLOAD EBOOK

Type Logical Grammar is a framework that emerged from the synthesis of two traditions: Categorial Grammar from formal linguistics and substructural logics from logic. Grammatical composition is conceived as resource conscious logical deduction. Such a grammar is necessarily surface oriented and lexicalistic. The Curry-Howard correspondence supplies an elegant compositional mapping from syntax to semantics. Anaphora does not seem to fit well into this framework. In type logical deductions, each resource is used exactly once. Anaphora, however, is a phenomenon where semantic resources are used more than once. Generally admitting the multiple use of lexical resources is not possible because it would lead to empirical inadequacy and computational intractability. This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while avoiding these consequences. To this end, the grammar logic is enriched with a connective that specifically deals with anaphora. After giving a self-contained introduction into Type Logical Grammar in general, the book discusses the formal properties of this connective. In the sequel, Jäger applies this machinery to numerous linguistic phenomena pertaining to the interaction of pronominal anaphora, VP ellipsis and quantification. In the final chapter, the framework is extended to indefiniteness, specificity and sluicing.

Logical Syntax of Language
Logical Syntax of Language

Author: Rudolf Carnap

Publisher: Psychology Press

Published: 2000

Total Pages: 376

ISBN-13: 9780415225533

DOWNLOAD EBOOK

First Published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.