183 research outputs found
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 of our programme utilises the more powerful language L(S) and
its representation in an appropriate topos.Comment: 36 pages, no figure
Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism
This essay examines the philosophical significance of -logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of -logical validity can then be countenanced within a coalgebraic logic, and -logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of -logical validity correspond to those of second-order logical consequence, -logical validity is genuinely logical, and thus vindicates a neo-logicist conception of mathematical truth in the set-theoretic multiverse. Second, the foregoing provides a modal-computational account of the interpretation of mathematical vocabulary, adducing in favor of a realist conception of the cumulative hierarchy of sets
Modal homotopy type theory
Chapter IV of a book which looks to demonstrate what philosophy can gain from the new formal language of modal homotopy type theory. Here I explore how we should understand the addition of modalities to homotopy type theory. This chapter will sit between modified versions of http://philsci-archive.pitt.edu/13448/ and http://philsci-archive.pitt.edu/11809/
- …