Volume 352 2011

Proof, Computation and Agency

Logic at the Crossroads

Editors:

ISBN: 978-94-007-0079-6 (Print) 978-94-007-0080-2 (Online)

Table of contents (19 chapters)

  1. Front Matter

    Pages i-xxiv

  2. Logic Today: Some Reflections

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-17

      What Is Mathematical Logic? A Survey

    3. No Access

      Book Chapter

      Pages 19-31

      Is There a Logic of Society?

  3. Logic and Mathematics

    1. Front Matter

      Pages 33-33

    2. No Access

      Book Chapter

      Pages 35-52

      What Is a Proof?

    3. No Access

      Book Chapter

      Pages 53-66

      A Visit to Tarski’s Seminar on Elimination of Quantifiers

    4. No Access

      Book Chapter

      Pages 67-78

      Deductive Systems of Fuzzy Logic

  4. Logic and Computation

    1. Front Matter

      Pages 79-79

    2. No Access

      Book Chapter

      Pages 81-97

      What Is the Difference Between Proofs and Programs?

    3. No Access

      Book Chapter

      Pages 99-114

      Zero-One Laws: Thesauri and Parametric Conditions

    4. No Access

      Book Chapter

      Pages 115-131

      Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic

    5. No Access

      Book Chapter

      Pages 133-144

      Two Applications of Epistemic Logic in Computer Security

    6. No Access

      Book Chapter

      Pages 145-180

      An Introduction to Quantum Computing

  5. Logic, Agency and Games

    1. Front Matter

      Pages 181-181

    2. No Access

      Book Chapter

      Pages 183-216

      Logic Games: From Tools to Models of Interaction

    3. No Access

      Book Chapter

      Pages 217-227

      In memory of Jasu Magan Bhana Panchia (1963–1991): Iterated Belief Revision in Dynamic Doxastic Logic

    4. No Access

      Book Chapter

      Pages 229-239

      Towards a Logical Analysis of Adjusted Winner

    5. No Access

      Book Chapter

      Pages 241-258

      Temporal Logic with Preferences and Reasoning About Games

  6. Logic, Language and Cognition

    1. Front Matter

      Pages 259-259

    2. No Access

      Book Chapter

      Pages 261-276

      From Sentence Meanings to Full Semantics

    3. No Access

      Book Chapter

      Pages 277-307

      Some Reflections on Discrete Mathematical Models in Behavioral, Cognitive and Social Sciences

  7. Perspectives from Indian Logic

    1. Front Matter

      Pages 309-309

    2. No Access

      Book Chapter

      Pages 311-331

      History and Development of Indian Logic: An Overview

    3. No Access

      Book Chapter

      Pages 333-353

      Indian Logic and Philosophy of Science: The Logic-Epistemology Link

    4. No Access

      Book Chapter

      Pages 355-371

      The Concept of Hetvābhāsa in Nyāya-śāstra