Anaphora and Type Logical Grammar by Gerhard Jger
ThisbookdiscusseshowTypeLogicalGrammarcanbemodi?edinsuch awaythatasystematictreatmentofanaphoraphenomenabecomesp- sible without giving up the general architecture of this framework. By Type Logical Grammar, I mean the version of Categorial Grammar that arose out of the work of Lambek, 1958 and Lambek, 1961. There Ca- gorial types are analyzed as formulae of a logical calculus. In particular, the Categorial slashes are interpreted as forms of constructive impli- tion in the sense of Intuitionistic Logic. Such a theory of grammar is per se attractive for a formal linguist who is interested in the interplay between formal logic and the structure of language. What makes L- bekstyleCategorialGrammarevenmoreexcitingisthefactthat(asvan Benthem,1983pointsout)theCurry-Howardcorrespondence-acentral part of mathematical proof theory which establishes a deep connection betweenconstructivelogicsandthe?-calculus-suppliesthetypelogical syntax with an extremely elegant and independently motivated interface to model-theoretic semantics. Prima facie, anaphora does not ?t very well into the Categorial picture of the syntax-semantics interface. The Curry-Howard based composition of meaning operates in a local way, and meaning ass- bly is linear, i.e., every piece of lexical meaning is used exactly once. Anaphora, on the other hand, is in principle unbounded, and it involves by de?nition the multiple use of certain semantic resources. The latter problem has been tackled by several Categorial grammarians by ass- ing su?ciently complex lexical meanings for anaphoric expressions, but the locality problem is not easy to solve in a purely lexical way.-
Modal Semirings and Applications
-
The Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics
-
Graph Games and Logic Design
-
Logic and Fixed-Domain Reasoning
-
Algebraic Probabilistic Consistency
-
Inquisitive Logic
-
New Directions in Relevant Logic
-
Logics of Variable Inclusion
-
Heyting Algebras
-
Recent Trends in Philosophical Logic
-
Harmony and Paradox
-
60 Years of Connexive Logic
-
Logic and Implication
-
Contradictions, from Consistency to Inconsistency
-
Advanced ukasiewicz calculus and MV-algebras
-
Advances in Natural Deduction
-
Gentzen Calculi for Modal Propositional Logic
-
Truth and Falsehood
-
Quantum Computation and Logic
-
Foundations of the Theory of Parthood
-
Sheaves, Games, and Model Completions
-
Meaning and Proscription in Formal Logic
-
Toward Predicate Approaches to Modality
-
Dual Tableaux: Foundations, Methodology, Case Studies
-
Advances in Proof-Theoretic Semantics
-
Model Theory: The Algebraic Basics
-
Le Niewski's Systems of Logic and Foundations of Mathematics
-
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
-
Well-Quasi Orders in Computation, Logic, Language and Reasoning
-
Philosophy of Syntax
-
Descriptor Revision
-
Topological and Algebraic Structures in Fuzzy Sets
-
Dialetheism and its Applications
-
Protoalgebraic Logics
-
Towards Mathematical Philosophy
-
Displaying Modal Logic
-
Reasoning in Quantum Theory
-
Fuzzy Logic
-
Trends in Logic
| SKU | Unavailable |
| ISBN 13 | 9789048169924 |
| ISBN 10 | 9048169925 |
| Title | Anaphora and Type Logical Grammar |
| Author | Gerhard Jger |
| Series | Trends In Logic |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2010-10-28 |
| Number of pages | 290 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |