CSLI Publications logo
new books
catalog
series
knuth books
contact
for authors
order
search
CSLI Publications
Facebook CSLI Publications RSS feed
CSLI Publications Newsletter Signup Button
 
Logic, Convention, and Common Knowledge cover

Logic, Convention, and Common Knowledge

A Conventionalist Account of Logic

Paul F. Syverson

Logic, Convention, and Common Knowledge presents the thesis that logic is conventional, that logical consequence and logical truth are not simply given; they arise as conventions. This is a response to Quine's position that conventionalist accounts of logic must be either trivial or vacuous.

Following Lewis, convention is explained within a game-theoretic framework to be a kind of equilibrium between the strategies of players. Although Lewis ultimately abandoned that account, it is argued that conventions are still reasonably treated as coordination equilibria.

Convention and coordination are ordinarily assumed to require common knowledge. Barwise's shared-situation approach to common knowledge is examined in detail and illustrated by Gray's classic coordination problem from distributed computing, where two generals can only communicate with each other through unreliable means. Though this problem is widely thought to be provably unsolvable, a solution is provided—based on the limitations of the generals' reasoning abilities.

Epistemic logic, expressive enough to represent and reason about common knowledge, is developed to capture such limited reasoning. The logic is shown to be sound and complete with respect to a presented situation semantics.

Returning to Quine's critique and explaining how conventions can arise even when common knowledge is available only after a convention arises, this book's conclusion completes the justification for a conventionalist view of logic.

Paul Syverson is a mathematician in the Center for High Assurance Computer Systems at the Naval Research Laboratory.

Read an excerpt from this book.

Contents

  • Foreword
  • Acknowledgements
  • 1 Conventionalism: Setting Out the Problem
  • 2 Games and Equilibria
  • 3 Conventions
  • 4 Common Knowledge and Coordination
  • 5 Conventional Knowledge and Belief
  • 6 The Origins of Mutual Understanding
  • 7 A Logic of Familiarity
  • 8 Three Grades of Epiatemic Involvement
  • 9 A Logic of Awareness
  • 10 Convention Revisited
  • 11 Conventions in Logic
  • References
  • Index

11/1/2002

ISBN (Paperback): 1575863928 (9781575863924)
ISBN (Cloth): 157586391X (9781575863917)
ISBN (Electronic): 1575869276 (9781575869278)

Add to Cart
View Cart

Check Out

Distributed by the
University of
Chicago Press

pubs @ csli.stanford.edu