54,342 research outputs found
Lewis meets Brouwer: constructive strict implication
C. I. Lewis invented modern modal logic as a theory of "strict implication".
Over the classical propositional calculus one can as well work with the unary
box connective. Intuitionistically, however, the strict implication has greater
expressive power than the box and allows to make distinctions invisible in the
ordinary syntax. In particular, the logic determined by the most popular
semantics of intuitionistic K becomes a proper extension of the minimal normal
logic of the binary connective. Even an extension of this minimal logic with
the "strength" axiom, classically near-trivial, preserves the distinction
between the binary and the unary setting. In fact, this distinction and the
strong constructive strict implication itself has been also discovered by the
functional programming community in their study of "arrows" as contrasted with
"idioms". Our particular focus is on arithmetical interpretations of the
intuitionistic strict implication in terms of preservativity in extensions of
Heyting's Arithmetic.Comment: Our invited contribution to the collection "L.E.J. Brouwer, 50 years
later
Perspectives for proof unwinding by programming languages techniques
In this chapter, we propose some future directions of work, potentially
beneficial to Mathematics and its foundations, based on the recent import of
methodology from the theory of programming languages into proof theory. This
scientific essay, written for the audience of proof theorists as well as the
working mathematician, is not a survey of the field, but rather a personal view
of the author who hopes that it may inspire future and fellow researchers
Computer theorem proving in math
We give an overview of issues surrounding computer-verified theorem proving
in the standard pure-mathematical context. This is based on my talk at the PQR
conference (Brussels, June 2003)
Explaining the unobserved: why quantum mechanics is not only about information
A remarkable theorem by Clifton, Bub and Halvorson (2003)(CBH) characterizes
quantum theory in terms of information--theoretic principles. According to Bub
(2004, 2005) the philosophical significance of the theorem is that quantum
theory should be regarded as a ``principle'' theory about (quantum) information
rather than a ``constructive'' theory about the dynamics of quantum systems.
Here we criticize Bub's principle approach arguing that if the mathematical
formalism of quantum mechanics remains intact then there is no escape route
from solving the measurement problem by constructive theories. We further
propose a (Wigner--type) thought experiment that we argue demonstrates that
quantum mechanics on the information--theoretic approach is incomplete.Comment: 34 Page
Explaining the Unobserved: Why Quantum Theory Ain't Only About Information
A remarkable theorem by Clifton, Bub and Halvorson (2003) (CBH) characterizes quantum theory in terms of information--theoretic principles. According to Bub (2004, 2005) the philosophical significance of the theorem is that quantum theory should be regarded as a ``principle'' theory about (quantum) information rather than a ``constructive'' theory about the dynamics of quantum systems. Here we criticize Bub's principle approach arguing that if the mathematical formalism of quantum mechanics remains intact then there is no escape route from solving the measurement problem by constructive theories. We further propose a (Wigner--type) thought experiment that we argue demonstrates that quantum mechanics on the information--theoretic approach is incomplete
Integrals and Valuations
We construct a homeomorphism between the compact regular locale of integrals
on a Riesz space and the locale of (valuations) on its spectrum. In fact, we
construct two geometric theories and show that they are biinterpretable. The
constructions are elementary and tightly connected to the Riesz space
structure.Comment: Submitted for publication 15/05/0
Epistemology of Quantum Gravity
Quantum gravity has required the consideration of fundamental epistemological questions, which can be identified in philosophy with the mind-body problem and the problem of free will. These questions influenced the epistemology of quantum mechanics in the form of von Neumann's "psycho-physical parallelism" and the subsequent analysis of the thesis by Wigner that "the collapse of the wave packet" occurs in the mind of the "observer". Quantum gravity in cosmology involves the problem of the experimenter's freedom to change local physical conditions, a passive "observer". In any theory that describes a single universe, questions arise about the nature of causality in the traditional philosophical sense.
DOI: 10.13140/RG.2.2.24646.4256
- âŠ