Logical Syntax of Language PDF Download

Author: Rudolf Carnap
Publisher: Routledge
ISBN: 1317830598
Category : Philosophy
Languages : en
Pages : 368

View

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

Author: Yusuke Kubota
Publisher: MIT Press
ISBN: 0262539748
Category : Language Arts & Disciplines
Languages : en
Pages : 420

View

Book Description
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: Norbert Hornstein
Publisher: MIT Press
ISBN: 9780262081375
Category : Language Arts & Disciplines
Languages : en
Pages : 196

View

Book Description
How is the meaning of natural language interpreted? Taking as its point of departure the logical problem of natural language acquisition, this book elaborates a theory of meaning based on syntactical rather than semantical processes. Copyright © Libri GmbH. All rights reserved.

Author: Edward P. Stabler
Publisher: MIT Press
ISBN: 9780262193153
Category : Language Arts & Disciplines
Languages : en
Pages : 468

View

Book Description
By formalizing recent syntactic theories for natural languages Stabler shows how their complexity can be handled without guesswork or oversimplification. By formalizing recent syntactic theories for natural languages in the tradition of Chomsky's Barriers, Stabler shows how their complexity can be handled without guesswork or oversimplification. He introduces logical representations of these theories together with special deductive techniques for exploring their consequences that will provide linguists with a valuable tool for deriving and testing theoretical predictions and for experimenting with alternative formulations of grammatical principles. Stabler's novel approach allows results to be deduced with straightforward calculations and provides a systematic framework for tackling the problem of how speakers can infer the properties of an utterance from principles of the grammar. The special treatment of equality, induction principles, and inclusion of a general method for collecting structures from proofs means that sophisticated linguistic arguments can be carried out in detail, giving a rich perspective to issues in linguistic theory and parsing.

Author: Rudolf Carnap
Publisher:
ISBN:
Category :
Languages : en
Pages : 0

View

Book Description

Author: Bob Carpenter
Publisher: MIT Press
ISBN: 9780262531498
Category : Language Arts & Disciplines
Languages : en
Pages : 616

View

Book Description
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: Rudolf Carnap
Publisher: Burns & Oates
ISBN:
Category : Philosophy
Languages : en
Pages : 116

View

Book Description
'My endeavour in these pages is to explain the main features of the method of philosophizing which we, the Vienna Circle, use, and by using try to develop further. It is the method of the logical analysis of science, or more precisely, of the syntactical analysis of scientific language.... The purpose of the book -- as of the lectures -- is to give a first impression of our method and of the direction of our questions and investigations to those who are not yet acquainted with them.' -- From the Preface.

Author: David W. Agler
Publisher: Rowman & Littlefield
ISBN: 1442217421
Category : Mathematics
Languages : en
Pages : 397

View

Book Description
Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Symbolic Logic: Syntax, Semantics, and Proof introduces students to the fundamental concepts, techniques, and topics involved in deductive reasoning. Agler guides students through the basics of symbolic logic by explaining the essentials of two classical systems, propositional and predicate logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs. This text makes this often confounding topic much more accessible with step-by-step example proofs, chapter glossaries of key terms, hundreds of homework problems and solutions for practice, and suggested further readings.

Author: Rudolf Carnap
Publisher: Open Court Publishing
ISBN: 9780812695236
Category : Philosophy
Languages : en
Pages : 402

View

Book Description
Available for the first time in 20 years, here are two important works from the 1920s by the best-known representative of the Vienna Circle. In The Logical Structure of the World, Carnap adopts the position of "methodological solipsism" and shows that it is possible to describe the world from the immediate data of experience. In his Pseudoproblems in Philosophy, he asserts that many philosophical problems are meaningless.

Author: Gennaro Chierchia
Publisher: Oxford University Press
ISBN: 0199697973
Category : Language Arts & Disciplines
Languages : en
Pages : 481

View

Book Description
In a fundamental investigation of language and human reasoning, Gennaro Chierchia looks at how syntactic and inferential processes interact through the study of polarity sensitive and free choice items. He reformulates the semantics of focus and scope and the pragmatics of implicature as part of the recursive semantic system.