Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Logic at the Crossroads, 2 Vols.

Proof, Computation and Agency Games, Norms and Reasons
TaschenbuchKartoniert, Paperback
650 Seiten
Englisch
Springer Netherlandserschienen am30.09.20122012
Provides an overview of Logic and its relationship with other disciplines, and some of the emerging areas in terms. This set brings out an inspiring paradigm, called 'Social Software', the study of patterns of social interaction by means of techniques from logic and computer science.mehr

Produkt

KlappentextProvides an overview of Logic and its relationship with other disciplines, and some of the emerging areas in terms. This set brings out an inspiring paradigm, called 'Social Software', the study of patterns of social interaction by means of techniques from logic and computer science.
Zusammenfassung
Volume I: Proof, Computation and Agency:

Brings out an inspiring paradigm, called 'Social Software', the study of patterns of social interaction by means of techniques from logic and computer science

Demonstrates how an extended view of logic can join forces with the social sciences, game theory or social choice theory, in studying patterns and procedures in social agency, and systematizing this field

Represents a unique meeting between Indian logicians and an elite of international colleagues who have been involved with the current renaissance of Logic in India

Volume II: Games, Norms and Reasons:

Consists of first-rate papers by a remarkable group of internationally prominent authors interacting with their Indian colleagues and upcoming young researchers worldwide

Highlights emerging research programmes and new academic fields by exploring aspects of norms, reasons, preferences and beliefs in human agency

Includes a Festschrift dedicated to Rohit Parikh commemorating his 70th birthday. This collection of essays, written by his colleagues and friends, reflects both the impact of his work and his long and distinguished academic career that continues to be productive and influential
Details
ISBN/GTIN978-94-007-0920-1
ProduktartTaschenbuch
EinbandartKartoniert, Paperback
Erscheinungsjahr2012
Erscheinungsdatum30.09.2012
Auflage2012
Seiten650 Seiten
SpracheEnglisch
Gewicht1241 g
IllustrationenApprox. 650 p. 2 volume-set.
Artikel-Nr.16592771

Inhalt/Kritik

Inhaltsverzeichnis
Volume I: Proof, Computation and AgencyPreface.- Introduction.- I LOGIC TODAY: SOME REFLECTIONS.- 1. What is Mathematical Logic? A Survey; John N. Crossley.- 2. Is there a Logic of Society?; Rohit Parikh.- II LOGIC AND MATHEMATICS.- 3. What is a Proof?; John N. Crossley.- 4. A Visit to Tarski's Seminar on Elimination of Quantifiers; Wilfrid Hodges.- 5. Deductive Systems of Fuzzy Logic; Petr Hajek.- III LOGIC AND COMPUTATION.- 6. What is the difference between Proofs and Programs?; John N. Crossley.- 7. Zero-One Laws: Thesauri and Parametric Conditions; Yuri Gurevich and Andreas Blass.- 8. Recent Developments of Feedback Coding, and its relations with Many-valued Logic; Daniele Mundici and Ferdinando Cicalese.- 9. Two Applications of Epistemic Logic in Computer Security; Ron van der Meyden.- 10. An Introduction to Quantum Computing; Noson Yanofsky.- IV LOGIC, AGENCY AND GAMES.- 11. Logic Games: From Tools to Models of Interaction; Johan van Benthem.- 12. Iterated Belief Revision in Dynamic Doxastic Logic; Krister Segerberg.- 13. Towards a Logical Analysis of Adjusted Winner; Eric Pacuit.- 14. Temporal Logic with Preferences and Reasoning about Games; G. Venkatesh.- V LOGIC, LANGUAGE AND COGNITION.- 15. From Sentence Meanings to Full Semantics; Wilfrid Hodges.- 16. Some Reflections on Discrete Mathematical Models in Behavioral, Cognitive and Social Sciences; D. B. Acharya and Shalini Joshi.- VI PERSPECTIVES FROM INDIAN LOGIC.- 17. Indian Logic: An Overview; K. Ramasubramanian.- 18. Indian Logic and Philosophy of Science: the Logic-Epistemology Link; Sundar Sarukkai.- 19. The Concept of Hetvabhasa´ in Nyaya-sastra; K. Ramasubramanian.- Notes on Contributors. Bibliography.Volume II: Games, Norms and ReasonsPreface.- Introduction.- PART I.- 1. Why Meaning Intentions are Degenerate; Akeel Bilgrami.- 2. Redoing the Foundations of Decision Theory; Lawrence E. Blume, David A. Easley and Joseph Y. Halpern.- 3. A Noteon Adjusted Winner; Eric Pacuit, Rohit Parikh and Samer Salame.- 4. Modal Logic for Lexicographic Preference Aggregation; Patrick Girard.- 5. Syllogistic Logic with Complements; Lawrence Moss.- 6. Introduction to Unary Inductive Logic; Jeff Paris.- 7. From Unary to Binary Inductive Logic; Jeff Paris and A. Vencovska.- 8. Merging Information; Sujata Ghosh and Fernando R. Velazquez-Quesada.- 9. Challenges for Decidable Epistemic Logics from Security Protocols; R. Ramanujam and S.P. Suresh.- PART II.- Introduction: Tribute to Rohit Parikh.- 1. No-fi -Regret: A Connection between Computational Learning Theory and Game Theory; Amy Greenwald, Amir Jafari and Casey Marks.- 2. Why Do We Need Justification Logic?; Sergei Artemov.- 3. The Realization Theorem for S5: A Simple, Constructive Proof; Melvin Fitting.- 4. A Proof-Theoretic Approach to Mathematical Knowledge Management; Dexter Kozen and Ganesh Ramanarayanan.- 5. From Parikh's Theorem to Many-Sorted Spectra; Johann A. Makowsky.- 6. A Fresh Look at Propositional Dynamic Logic and Game Logic; Jan van Eijck and Rineke Verbrugge.- 7. Bounded Rationality: Models for some Fast and Frugal Heuristics; Horacio Arlo-Costa and Arthur Paul Pedersen.- 8. Axiom of Distinction in Social Software; Vincent F. Hendricks.- Notes on the Contributors.mehr