A topos foundation for theories of physics: I. Formal languages for physics

This paper is the first in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. Classical physics arises when the topos is the category of sets. Other types of theory employ a different topos. In this paper, we discuss two different types of language that can be attached to a system S. The first is a propositional language PL(S); the second is a higher-order, typed language L(S). Both languages provide deductive systems with an intuitionistic logic. The reason for introducing PL(S) is that, as shown in Paper II of the series, it is the easiest way of understanding, and expanding on, the earlier work on topos theory and quantum physics. However, the main thrust o...

[1]  Andreas Döring.  Kochen–Specker Theorem for von Neumann Algebras , 2005 .

[2]  H. Margenau.  Reality in Quantum Mechanics , 1949, Philosophia Scientiæ.

[3]  Rafael D. Sorkin.  Causal Sets: Discrete Gravity (Notes for the Valdivia Summer School) , 2003 .

[4]  E. Specker,et al.  The Problem of Hidden Variables in Quantum Mechanics , 1967 .

[5]  Is it True; or is it False; or Somewhere in Between? The Logic of Quantum Theory , 2005 .

[6]  C. J. Isham,et al.  A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory , 2008 .

[7]  An Introduction to spin foam models of quantum gravity and BF theory , 1999, gr-qc/9905087.

[8]  P. Johnstone.  Sketches of an Elephant: A Topos Theory Compendium Volume 1 , 2002 .

[9]  A. Ashtekar.  100 Years Of Relativity , 2005 .

[10]  C. J. Isham,et al.  A Topos Perspective on the Kochen-Specker Theorem II. Conceptual Aspects and Classical Analogues , 1998 .

[11]  C. J. Isham,et al.  A Topos Foundation for Theories of Physics: IV. Categories of Systems , 2008 .

[12]  John L. Bell,et al.  Toposes and local set theories - an introduction , 1988 .

[13]  Karl Svozil,et al.  Quantum Logic , 1998, Discrete mathematics and theoretical computer science.

[14]  C. J. Isham,et al.  Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations , 1998, quant-ph/9803055.

[15]  C. J. Isham.  Topos theory and consistent histories: The internal logic of the set of all consistent sets , 1996 .

[16]  Craig Callender,et al.  Physics Meets Philosophy at the Planck Scale , 2001 .

[17]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[18]  Daniele Oriti,et al.  Approaches to Quantum Gravity: Approaches to Quantum Gravity , 2009 .

[19]  L. Smolin.  The case for background independence , 2005, hep-th/0507235.

[20]  C. Isham,et al.  Spacetime and the Philosophical Challenge of Quantum Gravity , 2001 .

[21]  C. Isham,et al.  Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity , 1999, gr-qc/9910005.

[22]  Fay Dowker.  Causal sets and the deep structure of spacetime , 2005 .

[23]  C. J. Isham.  Some Reflections on the Status of Conventional Quantum Theory when Applied to Quantum Gravity , 2002 .

[24]  C. J. Isham,et al.  Topos Perspective on the Kochen=nSpeckerTheorem: III. Von Neumann Algebras as theBase Category , 1999 .

[25]  J. Lambek,et al.  Introduction to higher order categorical logic , 1986 .

[26]  A. Connes,et al.  Background independent geometry and Hopf cyclic cohomology , 2005, math/0505475.

[27]  C. J. Isham,et al.  A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ{sup o}(A):Ï lowbar âR{sup sccue} lowbar , 2007 .

[28]  R. Goldblatt.  Topoi, the Categorial Analysis of Logic , 1979 .

[29]  C. Isham,et al.  The Representation of Physical Quantities With Arrows δ̆ o ( A ) : Σ → , 2007 .

[30]  Mendel Sachs,et al.  Quantum Theory and the Schism in Physics , 1985 .

[31]  C. J. Isham,et al.  Topos Perspective on the Kochen–Specker Theorem: IV. Interval Valuations , 2001 .

[32]  I. Moerdijk,et al.  Sheaves in geometry and logic: a first introduction to topos theory , 1992 .

[33]  W. Heisenberg,et al.  Philosophic Problems Of Nuclear Science , 1952 .

[34]  J. Cheney,et al.  A sequent calculus for nominal logic , 2004, LICS 2004.

[35]  Generic predictions of quantum theories of gravity , 2006, hep-th/0605052.

[36]  M. L. Dalla Chiara,et al.  Quantum Logic , 2001 .

[37]  A. Kock.  Synthetic Differential Geometry , 1981 .

[38]  P. Johnstone,et al.  REVIEWS-Sketches of an elephant: A topos theory compendium , 2003 .

[39]  Andrés Gomberoff,et al.  Lectures on quantum gravity , 2005 .

[40]  Samson Abramsky,et al.  A categorical semantics of quantum protocols , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..