Logic, Language and Computation: Volume 2
Published on 30. June 1999
Book
Hardback
397 pages
978-1-57586-181-4 (ISBN)
Unfortunately, price unknown
No shipping information available
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
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.