Type Logical Syntax

Author : Yusuke Kubota,Robert D. Levine
Publisher : MIT Press
Page : 420 pages
File Size : 45,6 Mb
Release : 2020-09-15
Category : Language Arts & Disciplines
ISBN : 9780262360791

Get Book

Type-Logical Syntax by Yusuke Kubota,Robert D. Levine Pdf

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.

Author : Yusuke Kubota,Robert Levine
Publisher : Unknown
Page : 128 pages
File Size : 49,8 Mb
Release : 2016
Category : Categorial grammar
ISBN : 0262360802

Get Book

Type-logical Syntax by Yusuke Kubota,Robert Levine Pdf

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

Author : Yusuke Kubota,Robert D. Levine
Publisher : MIT Press
Page : 420 pages
File Size : 51,8 Mb
Release : 2020-09-15
Category : Language Arts & Disciplines
ISBN : 9780262539746

Get Book

Type-Logical Syntax by Yusuke Kubota,Robert D. Levine Pdf

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.

Author : Glyn Morrill
Publisher : Oxford University Press
Page : 253 pages
File Size : 40,9 Mb
Release : 2010-09-22
Category : Computers
ISBN : 9780199589852

Get Book

Categorial Grammar by Glyn Morrill Pdf

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.

Author : Bob Carpenter
Publisher : MIT Press
Page : 616 pages
File Size : 40,9 Mb
Release : 1998-07-24
Category : Language Arts & Disciplines
ISBN : 0262531496

Get Book

Type-Logical Semantics by Bob Carpenter Pdf

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.

Author : Mieszko Talasiewicz
Publisher : Springer Science & Business Media
Page : 192 pages
File Size : 49,7 Mb
Release : 2009-11-12
Category : Philosophy
ISBN : 9789048132881

Get Book

Philosophy of Syntax by Mieszko Talasiewicz Pdf

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.

Author : G.V. Morrill
Publisher : Springer Science & Business Media
Page : 312 pages
File Size : 50,5 Mb
Release : 2012-12-06
Category : Philosophy
ISBN : 9789401110426

Get Book

Type Logical Grammar by G.V. Morrill Pdf

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.

Author : Rudolf Carnap
Publisher : Routledge
Page : 368 pages
File Size : 45,9 Mb
Release : 2014-06-23
Category : Philosophy
ISBN : 9781317830603

Get Book

Logical Syntax of Language by Rudolf Carnap Pdf

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

Author : Rudolf Carnap
Publisher : Open Court Publishing
Page : 370 pages
File Size : 46,9 Mb
Release : 2002
Category : Language Arts & Disciplines
ISBN : 9780812695243

Get Book

The Logical Syntax of Language by Rudolf Carnap Pdf

Available for the first time in 20 years, here is the Rudolf Carnap's famous "principle of tolerance" by which everyone is free to mix and match the rules of language and logic. In The Logical Syntax of Language, Carnap explains how his entire theory of language structure came to him like a vision when he was ill. He postulates that concepts of the theory of logic are purely syntactical and therefore can be formulated in logical syntax.

Author : Mieszko Talasiewicz
Publisher : Springer
Page : 196 pages
File Size : 48,6 Mb
Release : 2009-11-13
Category : Electronic
ISBN : 9048132916

Get Book

Philosophy of Syntax by Mieszko Talasiewicz Pdf

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.

Author : Gerhard Jäger
Publisher : Springer Science & Business Media
Page : 301 pages
File Size : 48,8 Mb
Release : 2005-12-08
Category : Language Arts & Disciplines
ISBN : 9781402039058

Get Book

Anaphora and Type Logical Grammar by Gerhard Jäger Pdf

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.

Author : Gerhard Jäger
Publisher : Springer Science & Business Media
Page : 314 pages
File Size : 50,7 Mb
Release : 2005-08-26
Category : Computers
ISBN : 1402039042

Get Book

Anaphora and Type Logical Grammar by Gerhard Jäger Pdf

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.

Author : Rudolf Carnap
Publisher : Unknown
Page : 384 pages
File Size : 45,9 Mb
Release : 1964
Category : Logic, Symbolic and mathematical
ISBN : UOM:39076005303321

Get Book

The Logical Syntax of Language by Rudolf Carnap Pdf

Author : Andrew Carnie,Dan Siddiqi,Yosuke Sato
Publisher : Routledge
Page : 937 pages
File Size : 48,8 Mb
Release : 2014-04-29
Category : Language Arts & Disciplines
ISBN : 9781317751038

Get Book

The Routledge Handbook of Syntax by Andrew Carnie,Dan Siddiqi,Yosuke Sato Pdf

The study of syntax over the last half century has seen a remarkable expansion of the boundaries of human knowledge about the structure of natural language. The Routledge Handbook of Syntax presents a comprehensive survey of the major theoretical and empirical advances in the dynamically evolving field of syntax from a variety of perspectives, both within the dominant generative paradigm and between syntacticians working within generative grammar and those working in functionalist and related approaches. The handbook covers key issues within the field that include: • core areas of syntactic empirical investigation, • contemporary approaches to syntactic theory, • interfaces of syntax with other components of the human language system, • experimental and computational approaches to syntax. Bringing together renowned linguistic scientists and cutting-edge scholars from across the discipline and providing a balanced yet comprehensive overview of the field, the Routledge Handbook of Syntax is essential reading for researchers and postgraduate students working in syntactic theory.

Author : Sean A. Fulop
Publisher : Trafford Publishing
Page : 244 pages
File Size : 54,7 Mb
Release : 2004-10-14
Category : Science
ISBN : 9781412222181

Get Book

On the Logic and Learning of Language by Sean A. Fulop Pdf

This book presents the author's research on automatic learning procedures for categorial grammars of natural languages. The research program spans a number of intertwined disciplines, including syntax, semantics, learnability theory, logic, and computer science. The theoretical framework employed is an extension of categorial grammar that has come to be called multimodal or type-logical grammar. The first part of the book presents an expository summary of how grammatical sentences of any language can be deduced with a specially designed logical calculus that treats syntactic categories as its formulae. Some such Universal Type Logic is posited to underlie the human language faculty, and all linguistic variation is captured by the different systems of semantic and syntactic categories which are assigned in the lexicons of different languages. The remainder of the book is devoted to the explicit formal development of computer algorithms which can learn the lexicons of type logical grammars from learning samples of annotated sentences. The annotations consist of semantic terms expressed in the lambda calculus, and may also include an unlabeled tree-structuring over the sentence. The major features of the research include the following: We show how the assumption of a universal linguistic component---the logic of language---is not incompatible with the conviction that every language needs a different system of syntactic and semantic categories for its proper description. The supposedly universal linguistic categories descending from antiquity (noun, verb, etc.) are summarily discarded. Languages are here modeled as consisting primarily of sentence trees labeled with semantic structures; a new mathematical class of such term-labeled tree languages is developed which cross-cuts the well-known Chomsky hierarchy and provides a formal restrictive condition on the nature of human languages. The human language acquisition mechanism is postulated to be biased, such that it assumes all input language samples are drawn from the above "syntactically homogeneous" class; in this way, the universal features of human languages arise not just from the innate logic of language, but also from the innate biases which govern language learning. This project represents the first complete explicit attempt to model the aquisition of human language since Steve Pinker's groundbreaking 1984 publication, "Language Learnability and Language Development."