Logique et Analyse is an international, peer-reviewed journal that publishes research in logic, philosophy of logic and/or mathematics, argumentation-theory, and analytical philosophy, broadly ...
The main goal of quantum logic is the bottom-up reconstruction of quantum mechanics in Hilbert space. Here we discuss the question whether quantum logic is an empirical structure or a priori valid.
The starting point for rigorous reasoning in mathematics is a system of axioms. An axiom is a statement that is assumed, without demonstration, to be true. It is usually self-evident, for example, ...