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.