Logic, Language and Computation: Volume 2
Published on 1. June 1999
Book
Paperback/Softback
398 pages
978-1-57586-180-7 (ISBN)
Description
Ideas from theoretical computer science continue to have an important influence on areas of philosophy and linguistics. The papers contained in this volume by some of the most influential computer scientists, linguists, logicians and philosophers of today cover subjects such as channel theory, presupposition and constraints, the modeling of discourse, and belief. The contributors include: Jon Barwise, who shows how the ideas of channel theory fit in with non-monotonic logic; Jelle Gerbrandy shows how ideas from dynamic logic can be used to study the notion of common knowledge among groups of agents; Wiebe van der Hoek and Maarten de Rijke provide ideas from theoretical computer science to a more philosophical area, belief revision; Rohit Parikh proposes a solution to one of the problems of belief revision; Paul Skokowski discusses Fred Dretske's theory of content; and Thomas Ede Zimmermann discusses the notions of discourse referent and information states.
More details
Series
Language
English
Place of publication
Stanford
United States
Target group
Professional and scholarly
Product notice
Paperback (trade)
Dimensions
Height: 228 mm
Width: 152 mm
Thickness: 154 mm
Weight
555 gr
ISBN-13
978-1-57586-180-7 (9781575861807)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Content
1. State spaces, local logics, and non-monotonicity; 2. Presupposition commodation: a plea for common sense; 3. A dynamic syntax/semantics interface; 4. Dynamic epistemic logic; 5. Bare plurals, situations and discourse context; 6. Interleaved contractions; 7. Putting channels on the map: a channel-theoretic semantics of maps?; 8. Disjunctive information; 9. Information, relevance and social decisionmaking: some principles and results of decision-theoretic semantics; 10. Hyperproof: abstraction, visual preference and multimodality; 11. Structured argument generation in a logic-based KB-system; 12. Beliefs, belief revision, and splitting languages; 13. Prolegomena to a theory of disability, inability and handicap; 14. Constraint-preserving representations; 15. Information, belief and causal role; 16. Takahashi: proving through commutative diagrams; 17. Topology via constructive logic; 18. Remarks on the epistemic role of discourse referents; 19. Constrained functions and semantic information.