Logic, Language and Computation: Volume 2 - Rilegato

Ginzburg, Jonathan; Moss, Lawrence; Rijke, Maarten De

Rilegato

ISBN 10: 157586181X ISBN 13: 9781575861814

Casa editrice: The Center for the Study of Language and Information Publications, 1999

Riassunto

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.

Su questo libro

Descrizione del libro

The fields of logic, linguistics and computer science are intimately related, and modern research has uncovered a wide range of connections. The papers contained in this volume cover subjects such as channel theory, presupposition and constraints, the modeling of discourse, and belief.

Contenuti

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.

Dettagli dell'edizione

• Editore: The Center for the Study of Language and Information Publications
• Data di pubblicazione: 1999
• Lingua: Inglese
• ISBN 10: 157586181X
• ISBN 13: 9781575861814
• Rilegatura: Copertina rigida
• Numero di pagine: 397
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile