Proof, Computation and Agency

Logic at the Crossroads

AvJohan van Benthem,Amitabha Gupta

Häftad, Engelska, 2013

Del 352 i serien Synthese Library

1 652 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

1 652 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2013-05-29
Mått:155 x 235 x 22 mm
Vikt:598 g
Format:Häftad
Språk:Engelska
Serie:Synthese Library
Antal sidor:372
Upplaga:2011
Förlag:Springer
ISBN:9789400735811

Utforska kategorier

Innehållsförteckning

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.

Mer från samma författare

Logic in Games

Johan Van Benthem

Häftad, 2025

833 kr

Logic, Information and Agency

Johan van Benthem

Häftad, 2025

313 kr

Logical Dynamics of Information and Interaction

Johan van Benthem

Inbunden, 2011

1 769 kr

Del 156

Logic of Time

Johan van Benthem

Inbunden, 1991

1 652 kr

Logic and Scientific Methods

Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem

Inbunden, 1996

2 200 kr

Structures and Norms in Science

Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem

Inbunden, 1996

2 200 kr

Structures and Norms in Science

Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem

5 167 kr

Logical Dynamics of Information and Interaction

Johan van Benthem

Häftad, 2014

796 kr

Del 3

Age of Alternative Logics

Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser

Inbunden, 2006

1 653 kr

Age of Alternative Logics

Henk Visser, Manuel Rebuschi, Gerhard Heinzmann, Johan van Benthem

E-bok

2006

2 201 kr

Mer från samma serie

Combinators, λ-Terms and Proof Theory

S. Stenlund

Inbunden, 1972

1 102 kr

Proofs and Research Programmes: Lakatos at 100

Roman Frigg, J. McKenzie Alexander, Laurenz Hudetz, Miklos Rédei, Lewis Ross, John Worrall

Inbunden, 2025

555 kr

Knowledge from a Human Point of View

Ana-Maria Crețu, Michela Massimi

Häftad, 2020

556 kr

Indexical ‘I’

I. Brinck

Inbunden, 1997

1 104 kr

Sextus Empiricus’ Neo-Pyrrhonism

Plínio Junqueira Smith

Inbunden, 2022

1 449 kr

Sextus Empiricus’ Neo-Pyrrhonism

Plínio Junqueira Smith

Häftad, 2023

1 449 kr

Dispositionalism

Anne Sophie Meincke

Inbunden, 2020

1 543 kr

Del 200

Logic of Epistemology and the Epistemology of Logic

Jaakko Hintikka, Merrill B.P. Hintikka

Inbunden, 1989

1 652 kr

Del 200

Logic of Epistemology and the Epistemology of Logic

Jaakko Hintikka, Merrill B.P. Hintikka

Häftad, 1989

1 652 kr

Mathematical Intuition

R.L. Tieszen

Inbunden, 1989

2 200 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr