A selection of papers presented at the international conference `Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term `applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain.
The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated. Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation.
The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguistics.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Preface. Pragmatic Reasoning. A Model-Based Theory; J. Bell. Verb-Phrase Ellipsis in Dynamic Semantics; J. van Eijck, N. Francez. Optimization of Deduction for Multi-Modal Logics; O. Gasquet. Are Types Needed for Natural Language? F. Kamareddine. Indexical Dynamics; I. Lewin. Implicit and Explicit Definability in Modal and Temporal Logics; L. Maksimova. Evolving Algebras and Mathematical Models of Language; L.S. Moss, D.E. Johnson. Information States in Situation Theory; L. Pólos, M. Masuch. Logic Finite Automata; K.U. Schulz, D.M. Gabbay. Dynamic Aspect Trees; J. Seligman, A. ter Meulen. Logic as a Foundation for a Cognitive Theory of Modality Assignment; K. Stenning. Meeting a Modality? Restricted Permutation for the Lambek Calculus; Y. Venema. Update Semantics for Propositional Texts; C. Vermeulen. Index.
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 34,26 per la spedizione da Irlanda a U.S.A.
Destinazione, tempi e costiEUR 3,43 per la spedizione in U.S.A.
Destinazione, tempi e costiDa: killarneybooks, Inagh, CLARE, Irlanda
Hardcover. Condizione: Good. Condizione sovraccoperta: Good. Hardcover, viii + 392 pages, NOT ex-library. Missing the title page. Interior is clean and bright throughout, with unmarked text, free of inscriptions and stamps, firmly bound. Boards show small indentations to edges. Untorn dust jacket with dark shelfworn and dusty marks, moderate creasing along the edges, a bit of rubbing to upper spine and edges. -- This collection explores the reciprocal relationship between logical theory and the study of natural language, showcasing a paradigm shift from static, sentence-level analysis to dynamic, text-level interpretation. Central to the volume is the dynamic turn in semantics, which treats meaning not as a fixed truth condition but as the potential to change an agent's information state. Frameworks such as dynamic semantics, update semantics, and situation theory are deployed to model the incremental processing of texts and discourses. These procedural approaches are applied to a range of complex linguistic phenomena, including verb-phrase ellipsis, anaphora, indexicality, tense, and aspect, demonstrating how a context-dependent view of interpretation can resolve long-standing puzzles. Beyond specific applications, the contributions engage in fundamental methodological debates, questioning the necessity of type theory, exploring the cognitive foundations of modality assignment, and investigating the properties of various modal, temporal, and substructural logics like the Lambek calculus. The inquiry extends to the computational and mathematical underpinnings of language, with chapters on evolving algebras as models of linguistic processes, the optimization of deduction for multi-modal systems, and the use of finite automata in logical grammars. Ultimately, the volume argues for a view of applied logic not merely as a tool for linguistic analysis, but as a field that is itself transformed and enriched by the challenges posed by the dynamic nature of human language. -- Contents: Preface; Pragmatic Reasoning: A Model-Based Theory / John Bell; Verb-Phrase Ellipsis in Dynamic Semantics / Jan van Eijck & Nissim Francez; Optimization of Deduction for Multi-Modal Logics / Olivier Gasquet; Are Types Needed for Natural Language? / Fairouz Kamareddine; Indexical Dynamics / Ian Lewin; Implicit and Explicit Definability in Modal and Temporal Logics / Larisa Maksimova; Evolving Algebras and Mathematical Models of Language / ?Lawrence S. Moss & David E. Johnson; Information States in Situation Theory / Laszlo Polos & Michael Masuch; Logic Finite Automata / Klaus U. Schulz & Dov Gabbay; Dynamic Aspect Trees / Jerry Seligman & Alice ter Meulen; Logic as a Foundation for a Cognitive Theory of Modality Assignment / Keith Stenning; Meeting a Modality? Restricted Permutation for the Lambek Calculus / Yde Venema; Update Semantics for Propositional Texts / Cees Vermeulen; Index. Codice articolo 007126
Quantità: 1 disponibili
Da: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Hardcover. Condizione: Fine. Mint condition. Codice articolo mon0000431523
Quantità: 1 disponibili
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New. Codice articolo ABLIING23Feb2416190181808
Quantità: Più di 20 disponibili
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Hardcover. Condizione: new. Hardcover. A selection of papers presented at the international conference `Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term `applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain. The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated. Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation. The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguistics. Includes a selection of papers presented at the international conference 'Applied Logic: Logic at Work', held in Amsterdam in December 1992. The papers in this work focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780792334323
Quantità: 1 disponibili
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In. Codice articolo ria9780792334323_new
Quantità: Più di 20 disponibili
Da: moluna, Greven, Germania
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A selection of papers presented at the international conference `Applied Logic: Logic at Work , held in Amsterdam in December 1992. Nowadays, the term `applied logic has a very wide meaning, as numerous applications of logical methods in computer scienc. Codice articolo 5967400
Quantità: Più di 20 disponibili
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. 404. Codice articolo 263103395
Quantità: 4 disponibili
Da: preigu, Osnabrück, Germania
Buch. Condizione: Neu. Applied Logic: How, What and Why | Logical Approaches to Natural Language | M. Masuch (u. a.) | Buch | viii | Englisch | 1995 | Springer Netherland | EAN 9780792334323 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Codice articolo 101953580
Quantità: 5 disponibili
Da: Majestic Books, Hounslow, Regno Unito
Condizione: New. Print on Demand pp. 404 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam. Codice articolo 5825916
Quantità: 4 disponibili
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condizione: New. Includes a selection of papers presented at the international conference 'Applied Logic: Logic at Work', held in Amsterdam in December 1992. The papers in this work focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. Editor(s): Polos, Laszlo; Masuch, Michael. Series: Synthese Library. Num Pages: 392 pages, biography. BIC Classification: HPL; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 26. Weight in Grams: 1680. . 1995. Hardback. . . . . Codice articolo V9780792334323
Quantità: 15 disponibili