Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static environment. Such a picture is provided by so-called possible worlds semantics, a paradigm which is surveyed in this book, both as to its external sources of motivation and as to the internal dynamics of the resulting program. In particular, Manual of Intensional Logic presents the major classical topics, including modal logic, tense logic, and conditional logic, all of which illustrate motivations coming from philosophy and linguistics. The Book also discusses recent computational applications in computer science and AI. Finally, Manual of Intensional Logic takes up recent developments in the study of language and information making themselves felt in the area. The Book examines the role of partial information--with illustrations drawn from different branches of Intensional Logic--and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers and theories of types.
"synopsis" may belong to another edition of this title.
Johan van Benthem is the University Professor of logic, emeritus at the University of Amsterdam, the Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and the Jin Yuelin Chaired Professor of Logic at Tsinghua University Beijing.
"About this title" may belong to another edition of this title.
US$ 3.75 shipping within U.S.A.
Destination, rates & speedsSeller: HPB-Red, Dallas, TX, U.S.A.
hardcover. Condition: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_396047211
Quantity: 1 available
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Condition: Good. No dust wrapper. Text unmarked. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-Y-027-00081
Quantity: 1 available
Seller: INDOO, Avenel, NJ, U.S.A.
Condition: New. Brand New. Seller Inventory # 9780937073308
Quantity: Over 20 available
Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.
Hardcover. Condition: new. Hardcover. Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static environment. Such a picture is provided by so-called possible worlds semantics, a paradigm which is surveyed in this book, both as to its external sources of motivation and as to the internal dynamics of the resulting program. In particular, Manual of Intensional Logic presents the major classical topics, including modal logic, tense logic, and conditional logic, all of which illustrate motivations coming from philosophy and linguistics. The Book also discusses recent computational applications in computer science and AI. Finally, Manual of Intensional Logic takes up recent developments in the study of language and information making themselves felt in the area. The Book examines the role of partial information--with illustrations drawn from different branches of Intensional Logic--and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers and theories of types. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780937073308
Quantity: 1 available
Seller: avelibro OHG, Dinkelscherben, Germany
23 x 15,5 cm. Condition: Gut. 2. Edition Revised and Expanded. IX, 135 Seiten CSLI Lecture Notes 1 - Innen sauberer, guter Zustand. Leineneinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Einband sehr gut erhalten. In Englischer Sprache B10-03-04D|S95 Sprache: Englisch Gewicht in Gramm: 425. Seller Inventory # 81597
Quantity: 1 available
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. Series: Center for the Study of Language & Information - Lecture Notes. Num Pages: 146 pages, Illustrations. BIC Classification: PBCD. Category: (U) Tertiary Education (US: College). Dimension: 236 x 157 x 17. Weight in Grams: 416. . 1988. 2 Rev ed. Hardback. . . . . Seller Inventory # V9780937073308
Quantity: 15 available
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Series: Center for the Study of Language & Information - Lecture Notes. Num Pages: 146 pages, Illustrations. BIC Classification: PBCD. Category: (U) Tertiary Education (US: College). Dimension: 236 x 157 x 17. Weight in Grams: 416. . 1988. 2 Rev ed. Hardback. . . . . Books ship from the US and Ireland. Seller Inventory # V9780937073308
Quantity: 15 available
Seller: AussieBookSeller, Truganina, VIC, Australia
Hardcover. Condition: new. Hardcover. Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static environment. Such a picture is provided by so-called possible worlds semantics, a paradigm which is surveyed in this book, both as to its external sources of motivation and as to the internal dynamics of the resulting program. In particular, Manual of Intensional Logic presents the major classical topics, including modal logic, tense logic, and conditional logic, all of which illustrate motivations coming from philosophy and linguistics. The Book also discusses recent computational applications in computer science and AI. Finally, Manual of Intensional Logic takes up recent developments in the study of language and information making themselves felt in the area. The Book examines the role of partial information--with illustrations drawn from different branches of Intensional Logic--and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers and theories of types. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9780937073308
Quantity: 1 available