Articoli correlati a Proof, Computation and Agency: Logic at the Crossroads:...
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti:
Foreword.- Preface.- 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 Hájek.- III LOGIC AND COMPUTATION.- 6. What is the Difference between Proofs and Programs?; John N. Crossley.- 7. Zero-One Laws: Thesauri and Parametric Conditions; Andreas Blass and Yuri Gurevich.- 8. Recent Developments of Feedback Coding and its Relations with Many-valued Logic; Ferdinando Cicalese and Daniele Mundici.- 9. Two Applications of Epistemic Logic in Computer Security; Ron van der Meyden.- 10. An Introduction to Quantum Computing; Noson S. 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; B. D. Acharya and Shalini Joshi.- VI PERSPECTIVES FROM INDIAN LOGIC.- 17. History and Development of 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2013
- ISBN 10 9400735812
- ISBN 13 9789400735811
- RilegaturaCopertina flessibile
- Numero di pagine396
- RedattoreVan Benthem Johan, Gupta Amitabha, Parikh Rohit
Compra nuovo
Scopri di più su questo articolo
EUR 155,53
Spese di spedizione:
EUR 2,42
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Proof, Computation and Agency : Logic at the Crossroads
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo 19714069-n
Compra nuovo
EUR 155,53
Convertire valuta
Immagini fornite dal venditore
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library) [Paperback ]
Da:
Valutazione libreria
Descrizione libro Soft Cover. Condizione: new. Codice articolo 9789400735811
Compra nuovo
EUR 158,04
Convertire valuta
Foto dell'editore
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352)
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo ABLIING23Apr0412070050352
Compra nuovo
EUR 168,57
Convertire valuta
Foto dell'editore
Proof, Computation and Agency : Logic at the Crossroads
Print on Demand
Da:
Valutazione libreria
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9789400735811_lsuk
Compra nuovo
EUR 162,06
Convertire valuta
Immagini fornite dal venditore
Proof, Computation and Agency : Logic at the Crossroads
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo 19714069-n
Compra nuovo
EUR 162,05
Convertire valuta
Immagini fornite dal venditore
Proof, Computation and Agency
Editore:
Springer Netherlands Mai 2013
(2013)
ISBN 10: 9400735812
ISBN 13: 9789400735811
Nuovo
Taschenbuch
Quantità: 2
Da:
Valutazione libreria
Descrizione libro Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other. 396 pp. Englisch. Codice articolo 9789400735811
Compra nuovo
EUR 160,49
Convertire valuta
Immagini fornite dal venditore
Proof, Computation and Agency
Editore:
Springer Netherlands
(2013)
ISBN 10: 9400735812
ISBN 13: 9789400735811
Nuovo
Brossura
Quantità: > 20
Da:
Valutazione libreria
Descrizione libro Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. -offers a mixture of well-established authors and a new generation of feminist scholars-the relative dearth of collected volumes devoted to feminist epistemology in the last decade lends significance to the broad-ranging collection-represents significant de. Codice articolo 5826603
Compra nuovo
EUR 136,16
Convertire valuta
Immagini fornite dal venditore
Proof, Computation and Agency : Logic at the Crossroads
Editore:
Springer Netherlands
(2013)
ISBN 10: 9400735812
ISBN 13: 9789400735811
Nuovo
Taschenbuch
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other. Codice articolo 9789400735811
Compra nuovo
EUR 164,03
Convertire valuta
Foto dell'editore
Proof, Computation and Agency
Print on Demand
Da:
Valutazione libreria
Descrizione libro Condizione: New. Print on Demand pp. 396 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 108538784
Compra nuovo
EUR 212,84
Convertire valuta
Foto dell'editore
Proof, Computation and Agency
Da:
Valutazione libreria
Descrizione libro Condizione: New. This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. Editor(s): Benthem, Johan van; Gupta, Amitabha; Parikh, Rohit. Series: Synthese Library. Num Pages: 372 pages, biography. BIC Classification: HPDF; HPK; HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 605. . 2013. Paperback. . . . . Codice articolo V9789400735811
Compra nuovo
EUR 210,73
Convertire valuta